diff options
Diffstat (limited to 'resources')
| -rw-r--r-- | resources/CL/stdint.h | 3 | ||||
| -rw-r--r-- | resources/OpenCL.cfg | 1 |
2 files changed, 3 insertions, 1 deletions
diff --git a/resources/CL/stdint.h b/resources/CL/stdint.h index 6db5e110..a9dd63a4 100644 --- a/resources/CL/stdint.h +++ b/resources/CL/stdint.h @@ -7,7 +7,6 @@ // typedef unsigned __int64 uint64_t; #else -// only needed for src generation, not later at compile time typedef signed char int8_t; typedef unsigned short int16_t; typedef int int32_t; @@ -20,6 +19,8 @@ typedef unsigned int uintptr_t; typedef unsigned int size_t; + + // FIXME workaround prevent re-defininition of int16_t in types.h # define __int8_t_defined /* Greatest-width integer types */ diff --git a/resources/OpenCL.cfg b/resources/OpenCL.cfg index 768ebe9f..6a39180f 100644 --- a/resources/OpenCL.cfg +++ b/resources/OpenCL.cfg @@ -25,6 +25,7 @@ Opaque long cl_kernel Opaque long cl_event Opaque long cl_sampler +# TODO doublecheck if not int Opaque long cl_platform_id Opaque long cl_device_id |