11(* setup.ml generated for the first time by OASIS v0.3.0 *)
22
33(* OASIS_START *)
4- (* DO NOT EDIT (digest: 4f2751487ce181081e99de1028e4c41a ) *)
4+ (* DO NOT EDIT (digest: 34b827fa7f40294929d50e745345a17a ) *)
55(*
66 Regenerated by OASIS v0.4.5
77 Visit http://oasis.forge.ocamlcore.org for more information and
@@ -6981,7 +6981,7 @@ let setup_t =
69816981 alpha_features = [] ;
69826982 beta_features = [] ;
69836983 name = " sqlite3" ;
6984- version = " 4.0.2 " ;
6984+ version = " 4.0.3 " ;
69856985 license =
69866986 OASISLicense. DEP5License
69876987 (OASISLicense. DEP5Unit
@@ -6994,7 +6994,7 @@ let setup_t =
69946994 copyrights =
69956995 [
69966996 " (C) 2007-2010 Jane Street Holding LLC <opensource@janestreet.com>" ;
6997- " (C) 2010-2015 Markus Mottl <markus.mottl@gmail.com>" ;
6997+ " (C) 2010-2016 Markus Mottl <markus.mottl@gmail.com>" ;
69986998 " (C) 2005-2012 Christian Szegedy <csdontspam@metamatix.com>"
69996999 ];
70007000 maintainers =
@@ -7073,6 +7073,16 @@ let setup_t =
70737073 Some " Try to check against a homebrewed sqlite3" ;
70747074 flag_default = [(OASISExpr. EBool true , false )]
70757075 });
7076+ Flag
7077+ ({
7078+ cs_name = " loadable_extensions" ;
7079+ cs_data = PropList.Data. create () ;
7080+ cs_plugin_data = []
7081+ },
7082+ {
7083+ flag_description = Some " Enable loadable extensions" ;
7084+ flag_default = [(OASISExpr. EBool true , true )]
7085+ });
70767086 Library
70777087 ({
70787088 cs_name = " sqlite3" ;
@@ -7093,6 +7103,15 @@ let setup_t =
70937103 [
70947104 (OASISExpr. EBool true ,
70957105 [" -g" ; " -O2" ; " -fPIC" ; " -DPIC" ]);
7106+ (OASISExpr. ENot
7107+ (OASISExpr. EFlag " loadable_extensions" ),
7108+ [
7109+ " -g" ;
7110+ " -O2" ;
7111+ " -fPIC" ;
7112+ " -DPIC" ;
7113+ " -DSQLITE3_DISABLE_LOADABLE_EXTENSIONS"
7114+ ]);
70967115 (OASISExpr. EAnd
70977116 (OASISExpr. EFlag " strict" ,
70987117 OASISExpr. ETest (" ccomp_type" , " cc" )),
@@ -7105,7 +7124,27 @@ let setup_t =
71057124 " -pedantic" ;
71067125 " -Wextra" ;
71077126 " -Wunused" ;
7108- " -Wno-long-long"
7127+ " -Wno-long-long" ;
7128+ " -Wno-keyword-macro"
7129+ ]);
7130+ (OASISExpr. EAnd
7131+ (OASISExpr. EAnd
7132+ (OASISExpr. EFlag " strict" ,
7133+ OASISExpr. ETest (" ccomp_type" , " cc" )),
7134+ OASISExpr. ENot
7135+ (OASISExpr. EFlag " loadable_extensions" )),
7136+ [
7137+ " -g" ;
7138+ " -O2" ;
7139+ " -fPIC" ;
7140+ " -DPIC" ;
7141+ " -Wall" ;
7142+ " -pedantic" ;
7143+ " -Wextra" ;
7144+ " -Wunused" ;
7145+ " -Wno-long-long" ;
7146+ " -Wno-keyword-macro" ;
7147+ " -DSQLITE3_DISABLE_LOADABLE_EXTENSIONS"
71097148 ])
71107149 ];
71117150 bs_cclib =
@@ -7523,14 +7562,14 @@ let setup_t =
75237562 };
75247563 oasis_fn = Some " _oasis" ;
75257564 oasis_version = " 0.4.5" ;
7526- oasis_digest = Some " \t ÿ¾%³~;¹× \t =ïÿ \\ ¶ " ;
7565+ oasis_digest = Some " \026 Á2=èì- \007\130 B \026 ù \151 Ù " ;
75277566 oasis_exec = None ;
75287567 oasis_setup_args = [] ;
75297568 setup_update = false
75307569 };;
75317570
75327571let setup () = BaseSetup. setup setup_t;;
75337572
7534- # 7535 " setup.ml"
7573+ # 7574 " setup.ml"
75357574(* OASIS_STOP *)
75367575let () = setup () ;;
0 commit comments