Fix OpenCL devices exploring at parmes building for non opencl environments. Add a Froggy environment configuration file.

Update single precision patch. Fix OpenCL default platform and device id for building in non-OpenCL environment.