Vendors/lmdb: add CFLAGS

This commit is contained in:
Vincent Bernardoff 2018-07-26 13:24:28 +02:00 committed by Pierre Chambart
parent ccc61dbbc4
commit 4a436c2f18
No known key found for this signature in database
GPG Key ID: 43680A46F2530FCE

View File

@ -1,4 +1,8 @@
let () = let () =
let oc = open_out "c_flags.sexp" in let oc = open_out "c_flags.sexp" in
output_string oc (if Sys.word_size = 32 then "(-DMDB_VL32)" else "()") ; 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 "") ;
close_out oc close_out oc