fixup! Add float16 support

Author: igarnier

src/configure/gen_c_primitives.ml

@@ -135,7 +135,7 @@ let () =
       |[_,C.C_define.Value.String s] -> s
       |_ -> failwith ("unable to find string definition for " ^ l) in
     print_string header;
-    let has_float16 = Int.equal (import_int "FLOAT16_AVAILABLE") 1 in
+    let has_float16 = (import_int "FLOAT16_AVAILABLE") = 1 in
     let c_primitives = c_primitives has_float16 in
     generate "sizeof" "int" (fun { size } ->
       match size with

src/ctypes/ctypes_float16_availability.h

@@ -6,8 +6,8 @@
  */
 
 
-#ifndef CTYPES_FLOAT16_COMPATIBILITY_H
-#define CTYPES_FLOAT16_COMPATIBILITY_H
+#ifndef CTYPES_FLOAT16_AVAILABILITY_H
+#define CTYPES_FLOAT16_AVAILABILITY_H
 
 #define __STDC_WANT_IEC_60559_TYPES_EXT__
 #include <float.h>
@@ -33,4 +33,4 @@
 /* float16_available : unit -> bool */
 extern value ctypes_float16_available(value unit);
 
-#endif /* CTYPES_FLOAT16_COMPATIBILITY_H */
+#endif /* CTYPES_FLOAT16_AVAILABILITY_H */