Skip to content

Commit 6b34935

Browse files
committed
Remove compatibility definitions
Add ocaml includes after user includes
1 parent 7795852 commit 6b34935

File tree

13 files changed

+25
-12
lines changed

13 files changed

+25
-12
lines changed

lib/generate.ml

Lines changed: 2 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -5,6 +5,7 @@ let print_h cout =
55
output_string cout "#include <inttypes.h>\n"
66

77
let print_c cout =
8+
output_string cout "#define CAML_NAME_SPACE\n";
89
output_string cout "#include <caml/mlvalues.h>\n";
910
output_string cout "#include <caml/memory.h>\n";
1011
output_string cout "#include <caml/alloc.h>\n";
@@ -32,13 +33,13 @@ let to_file ?(in_header = false) ?(prefix = "camlid_") ?(headers = [])
3233
(Printf.sprintf "#ifndef %s\n#define %s\n" basename basename);
3334
output_string cout_c (Printf.sprintf "#include \"%s\"\n" filename_h));
3435
print_h cout_h;
35-
print_c cout_c;
3636
List.iter
3737
(fun header -> Printf.fprintf cout_h "#include \"%s\"\n" header)
3838
headers;
3939
List.iter
4040
(fun header -> Printf.fprintf cout_c "#include \"%s\"\n" header)
4141
definitions;
42+
print_c cout_c;
4243
let cout_ml = open_out (basename ^ ".ml") in
4344
header_ml cout_ml;
4445
final_print ~prefix ~ml:cout_ml ~c:cout_c ~h:cout_h ML

tests/abstract/mylib_stub.c

Lines changed: 2 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,13 +1,14 @@
11
// generated using generator.exe and camlid
22
#include <stddef.h>
33
#include <inttypes.h>
4+
#include "lib.h"
5+
#define CAML_NAME_SPACE
46
#include <caml/mlvalues.h>
57
#include <caml/memory.h>
68
#include <caml/alloc.h>
79
#include <caml/custom.h>
810
#include <stdio.h>
911
#include <string.h>
10-
#include "lib.h"
1112
typedef int * camlid_abstract;
1213
static void camlid_c2ml(value * v, camlid_abstract * c){
1314
*v = caml_alloc((sizeof(camlid_abstract) + sizeof(value) - 1) / sizeof(value), Abstract_tag);

tests/array/mylib_stub.c

Lines changed: 2 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,13 +1,14 @@
11
// generated using generator.exe and camlid
22
#include <stddef.h>
33
#include <inttypes.h>
4+
#include "lib.h"
5+
#define CAML_NAME_SPACE
46
#include <caml/mlvalues.h>
57
#include <caml/memory.h>
68
#include <caml/alloc.h>
79
#include <caml/custom.h>
810
#include <stdio.h>
911
#include <string.h>
10-
#include "lib.h"
1112
struct camlid_array_s { intptr_t* t; size_t len; };
1213
typedef struct camlid_array_s camlid_array;
1314
static void camlid_ml2c(value * v, camlid_array * c){

tests/convert/mylib_stub.c

Lines changed: 2 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,12 +1,13 @@
11
// generated using generator.exe and camlid
22
#include "mylib_stub.h"
3+
#include "defs.h"
4+
#define CAML_NAME_SPACE
35
#include <caml/mlvalues.h>
46
#include <caml/memory.h>
57
#include <caml/alloc.h>
68
#include <caml/custom.h>
79
#include <stdio.h>
810
#include <string.h>
9-
#include "defs.h"
1011
static void camlid_c2ml1(value * v, camlid_result * c){
1112
CAMLparam0();
1213
CAMLlocal1(tmp);

tests/cudd/defs.h

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,5 @@
11
#include "mylib_stub.h"
2+
#include <stdio.h>
23

34
static DdManager* cudd_init(void){
45
return Cudd_Init(0, 0, CUDD_UNIQUE_SLOTS, CUDD_CACHE_SLOTS, 0);

tests/cudd/mylib_stub.c

Lines changed: 2 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,12 +1,13 @@
11
// generated using generator.exe and camlid
22
#include "mylib_stub.h"
3+
#include "./defs.h"
4+
#define CAML_NAME_SPACE
35
#include <caml/mlvalues.h>
46
#include <caml/memory.h>
57
#include <caml/alloc.h>
68
#include <caml/custom.h>
79
#include <stdio.h>
810
#include <string.h>
9-
#include "./defs.h"
1011
static void caml_cudd_init(DdManager* * i){ Cudd_Quit(*i); free(*i); }
1112
static void caml_cudd_finalize_op(value v){
1213
caml_cudd_init(((DdManager* *) Data_custom_val(v)));

tests/custom/mylib_stub.c

Lines changed: 2 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,13 +1,14 @@
11
// generated using generator.exe and camlid
22
#include <stddef.h>
33
#include <inttypes.h>
4+
#include "lib.h"
5+
#define CAML_NAME_SPACE
46
#include <caml/mlvalues.h>
57
#include <caml/memory.h>
68
#include <caml/alloc.h>
79
#include <caml/custom.h>
810
#include <stdio.h>
911
#include <string.h>
10-
#include "lib.h"
1112
static void camlid_finalize_op(value v){
1213
finalize_ptr(((int * *) Data_custom_val(v)));
1314
}

tests/inout/mylib_stub.c

Lines changed: 2 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,13 +1,14 @@
11
// generated using generator.exe and camlid
22
#include <stddef.h>
33
#include <inttypes.h>
4+
#include "lib.h"
5+
#define CAML_NAME_SPACE
46
#include <caml/mlvalues.h>
57
#include <caml/memory.h>
68
#include <caml/alloc.h>
79
#include <caml/custom.h>
810
#include <stdio.h>
911
#include <string.h>
10-
#include "lib.h"
1112
typedef intptr_t * camlid_ref;
1213
extern intptr_t camlid_stub_f_nat(intptr_t p){
1314
CAMLparam0();

tests/input/mylib_stub.c

Lines changed: 2 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,13 +1,14 @@
11
// generated using generator.exe and camlid
22
#include <stddef.h>
33
#include <inttypes.h>
4+
#include "./lib.h"
5+
#define CAML_NAME_SPACE
46
#include <caml/mlvalues.h>
57
#include <caml/memory.h>
68
#include <caml/alloc.h>
79
#include <caml/custom.h>
810
#include <stdio.h>
911
#include <string.h>
10-
#include "./lib.h"
1112
extern value camlid_stub_f(intptr_t p){
1213
CAMLparam0();
1314
int p1 = ((int) { 0 });

tests/no_arg_no_value/mylib_stub.c

Lines changed: 2 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,12 +1,13 @@
11
// generated using generator.exe and camlid
22
#include <stddef.h>
33
#include <inttypes.h>
4+
#include "lib.h"
5+
#define CAML_NAME_SPACE
46
#include <caml/mlvalues.h>
57
#include <caml/memory.h>
68
#include <caml/alloc.h>
79
#include <caml/custom.h>
810
#include <stdio.h>
911
#include <string.h>
10-
#include "lib.h"
1112
extern value camlid_stub_f(void){CAMLparam0();f();CAMLreturn(Val_unit);}
1213

0 commit comments

Comments
 (0)