2018-05-24 13:32:15 +02:00
|
|
|
let () =
|
|
|
|
|
let oc = open_out "c_flags.sexp" in
|
2018-07-26 13:24:28 +02:00
|
|
|
let w = "-W -Wall -Wno-unused-parameter -Wbad-function-cast -Wuninitialized" in
|
|
|
|
|
let thread = "-pthread" in
|
|
|
|
|
let opt = "-O2 -g" in
|
|
|
|
|
Printf.fprintf oc "(%s %s %s %s)" w thread opt
|
|
|
|
|
(if Sys.word_size = 32 then "-DMDB_VL32" else "") ;
|
2018-05-24 13:32:15 +02:00
|
|
|
close_out oc
|
