Commit 67548aad authored by erwan's avatar erwan

Build: move to dune 2.0

parent c10bed2a
Pipeline #32904 passed with stages
in 2 minutes and 33 seconds
(lang dune 1.11)
(lang dune 2.0)
......@@ -10,7 +10,7 @@ $(EXPDIR):
%.cmxs: %.ml
ocamlfind ocamlopt -shared -o $*.cmxs -package rdbg graphics.cmxa $*.ml
ocamlfind ocamlopt -shared -o $*.cmxs -package rdbg,graphics graphics.cmxa $*.ml
clean:
......
......@@ -4,7 +4,6 @@
(libraries camlidl)
; (wrapped false)
(modules Ezdl Inspect)
(c_names Ezdl_c Inspect_c)
(c_flags -fPIC)
(foreign_stubs (language c) (names Ezdl_c Inspect_c) (flags -fPIC))
(synopsis "Easy dynamic linking of C functions from ocaml.")
)
......@@ -4,8 +4,8 @@
(libraries camlidl)
(wrapped false)
(modules Bdd)
(c_names gbdd_cml gbdd)
(c_flags -x c++ -g -O2 -fno-operator-names -fPIC)
(foreign_stubs (language c) (names gbdd_cml gbdd)
(flags -x c++ -g -O2 -fno-operator-names -fPIC))
(c_library_flags -lstdc++)
(synopsis "gbddml: A BDD library in C + an ocaml wrapper")
)
......@@ -2,7 +2,7 @@
(name lutinRun)
(public_name lutin)
(libraries polka num rdbg camlidl str unix ezdl gbddml gmp)
(c_names lutinUtils_stubs lutinUtils_c myuid)
(foreign_stubs (language c) (names lutinUtils_stubs lutinUtils_c myuid))
(wrapped false)
(library_flags (-linkall))
; (install_c_headers myuid)
......
......@@ -4,11 +4,10 @@
(wrapped false)
(libraries num gmp camlidl)
(modules Polka PolkaIO Vector Matrix Poly Polka_parser Polka_lexer)
(c_flags -O3 -fPIC -DPOLKA_NUM=3 -I$pkg_camlidl -I/usr/local/include/)
(c_names polka_c internal bit satmat cherni vector_c matrix_c poly_c
vector_caml matrix_caml poly_caml polka_caml)
(foreign_stubs (language c)
(names polka_c internal bit satmat cherni vector_c matrix_c poly_c
vector_caml matrix_caml poly_caml polka_caml)
(flags -O3 -fPIC -DPOLKA_NUM=3 -I$pkg_camlidl -I/usr/local/include/))
(synopsis "polka: convex polyhedron library by Bertrand Jeannet (now part of apron).")
)
(ocamllex polka_lexer)
......
lib: [
"_build/install/default/lib/lutin/META"
"_build/install/default/lib/lutin/auto2Lucky.cmi"
"_build/install/default/lib/lutin/auto2Lucky.cmt"
"_build/install/default/lib/lutin/auto2Lucky.cmti"
"_build/install/default/lib/lutin/auto2Lucky.cmx"
"_build/install/default/lib/lutin/auto2Lucky.ml"
"_build/install/default/lib/lutin/auto2Lucky.mli"
"_build/install/default/lib/lutin/autoGen.cmi"
"_build/install/default/lib/lutin/autoGen.cmt"
"_build/install/default/lib/lutin/autoGen.cmti"
"_build/install/default/lib/lutin/autoGen.cmx"
"_build/install/default/lib/lutin/autoGen.ml"
"_build/install/default/lib/lutin/autoGen.mli"
"_build/install/default/lib/lutin/bddd.cmi"
"_build/install/default/lib/lutin/bddd.cmt"
"_build/install/default/lib/lutin/bddd.cmti"
"_build/install/default/lib/lutin/bddd.cmx"
"_build/install/default/lib/lutin/bddd.ml"
"_build/install/default/lib/lutin/bddd.mli"
"_build/install/default/lib/lutin/checkEnv.cmi"
"_build/install/default/lib/lutin/checkEnv.cmt"
"_build/install/default/lib/lutin/checkEnv.cmti"
"_build/install/default/lib/lutin/checkEnv.cmx"
"_build/install/default/lib/lutin/checkEnv.ml"
"_build/install/default/lib/lutin/checkEnv.mli"
"_build/install/default/lib/lutin/checkType.cmi"
"_build/install/default/lib/lutin/checkType.cmt"
"_build/install/default/lib/lutin/checkType.cmx"
"_build/install/default/lib/lutin/checkType.ml"
"_build/install/default/lib/lutin/ckIdentInfo.cmi"
"_build/install/default/lib/lutin/ckIdentInfo.cmt"
"_build/install/default/lib/lutin/ckIdentInfo.cmti"
"_build/install/default/lib/lutin/ckIdentInfo.cmx"
"_build/install/default/lib/lutin/ckIdentInfo.ml"
"_build/install/default/lib/lutin/ckIdentInfo.mli"
"_build/install/default/lib/lutin/ckTypeEff.cmi"
"_build/install/default/lib/lutin/ckTypeEff.cmt"
"_build/install/default/lib/lutin/ckTypeEff.cmti"
"_build/install/default/lib/lutin/ckTypeEff.cmx"
"_build/install/default/lib/lutin/ckTypeEff.ml"
"_build/install/default/lib/lutin/ckTypeEff.mli"
"_build/install/default/lib/lutin/coAlgExp.cmi"
"_build/install/default/lib/lutin/coAlgExp.cmt"
"_build/install/default/lib/lutin/coAlgExp.cmti"
"_build/install/default/lib/lutin/coAlgExp.cmx"
"_build/install/default/lib/lutin/coAlgExp.ml"
"_build/install/default/lib/lutin/coAlgExp.mli"
"_build/install/default/lib/lutin/coIdent.cmi"
"_build/install/default/lib/lutin/coIdent.cmt"
"_build/install/default/lib/lutin/coIdent.cmti"
"_build/install/default/lib/lutin/coIdent.cmx"
"_build/install/default/lib/lutin/coIdent.ml"
"_build/install/default/lib/lutin/coIdent.mli"
"_build/install/default/lib/lutin/coTraceExp.cmi"
"_build/install/default/lib/lutin/coTraceExp.cmt"
"_build/install/default/lib/lutin/coTraceExp.cmti"
"_build/install/default/lib/lutin/coTraceExp.cmx"
"_build/install/default/lib/lutin/coTraceExp.ml"
"_build/install/default/lib/lutin/coTraceExp.mli"
"_build/install/default/lib/lutin/constraint.cmi"
"_build/install/default/lib/lutin/constraint.cmt"
"_build/install/default/lib/lutin/constraint.cmti"
"_build/install/default/lib/lutin/constraint.cmx"
"_build/install/default/lib/lutin/constraint.ml"
"_build/install/default/lib/lutin/constraint.mli"
"_build/install/default/lib/lutin/draw.cmi"
"_build/install/default/lib/lutin/draw.cmt"
"_build/install/default/lib/lutin/draw.cmti"
"_build/install/default/lib/lutin/draw.cmx"
"_build/install/default/lib/lutin/draw.ml"
"_build/install/default/lib/lutin/draw.mli"
"_build/install/default/lib/lutin/dune-package"
"_build/install/default/lib/lutin/exp.cmi"
"_build/install/default/lib/lutin/exp.cmt"
"_build/install/default/lib/lutin/exp.cmti"
"_build/install/default/lib/lutin/exp.cmx"
"_build/install/default/lib/lutin/exp.ml"
"_build/install/default/lib/lutin/exp.mli"
"_build/install/default/lib/lutin/expEval.cmi"
"_build/install/default/lib/lutin/expEval.cmt"
"_build/install/default/lib/lutin/expEval.cmti"
"_build/install/default/lib/lutin/expEval.cmx"
"_build/install/default/lib/lutin/expEval.ml"
"_build/install/default/lib/lutin/expEval.mli"
"_build/install/default/lib/lutin/expand.cmi"
"_build/install/default/lib/lutin/expand.cmt"
"_build/install/default/lib/lutin/expand.cmti"
"_build/install/default/lib/lutin/expand.cmx"
"_build/install/default/lib/lutin/expand.ml"
"_build/install/default/lib/lutin/expand.mli"
"_build/install/default/lib/lutin/exprUtil.cmi"
"_build/install/default/lib/lutin/exprUtil.cmt"
"_build/install/default/lib/lutin/exprUtil.cmti"
"_build/install/default/lib/lutin/exprUtil.cmx"
"_build/install/default/lib/lutin/exprUtil.ml"
"_build/install/default/lib/lutin/exprUtil.mli"
"_build/install/default/lib/lutin/fGen.cmi"
"_build/install/default/lib/lutin/fGen.cmt"
"_build/install/default/lib/lutin/fGen.cmti"
"_build/install/default/lib/lutin/fGen.cmx"
"_build/install/default/lib/lutin/fGen.ml"
"_build/install/default/lib/lutin/fGen.mli"
"_build/install/default/lib/lutin/formula_to_bdd.cmi"
"_build/install/default/lib/lutin/formula_to_bdd.cmt"
"_build/install/default/lib/lutin/formula_to_bdd.cmti"
"_build/install/default/lib/lutin/formula_to_bdd.cmx"
"_build/install/default/lib/lutin/formula_to_bdd.ml"
"_build/install/default/lib/lutin/formula_to_bdd.mli"
"_build/install/default/lib/lutin/genOcamlGlue.cmi"
"_build/install/default/lib/lutin/genOcamlGlue.cmt"
"_build/install/default/lib/lutin/genOcamlGlue.cmx"
"_build/install/default/lib/lutin/genOcamlGlue.ml"
"_build/install/default/lib/lutin/glue.cmi"
"_build/install/default/lib/lutin/glue.cmt"
"_build/install/default/lib/lutin/glue.cmti"
"_build/install/default/lib/lutin/glue.cmx"
"_build/install/default/lib/lutin/glue.ml"
"_build/install/default/lib/lutin/glue.mli"
"_build/install/default/lib/lutin/gne.cmi"
"_build/install/default/lib/lutin/gne.cmt"
"_build/install/default/lib/lutin/gne.cmti"
"_build/install/default/lib/lutin/gne.cmx"
"_build/install/default/lib/lutin/gne.ml"
"_build/install/default/lib/lutin/gne.mli"
"_build/install/default/lib/lutin/guard.cmi"
"_build/install/default/lib/lutin/guard.cmt"
"_build/install/default/lib/lutin/guard.cmti"
"_build/install/default/lib/lutin/guard.cmx"
"_build/install/default/lib/lutin/guard.ml"
"_build/install/default/lib/lutin/guard.mli"
"_build/install/default/lib/lutin/lexeme.cmi"
"_build/install/default/lib/lutin/lexeme.cmt"
"_build/install/default/lib/lutin/lexeme.cmti"
"_build/install/default/lib/lutin/lexeme.cmx"
"_build/install/default/lib/lutin/lexeme.ml"
"_build/install/default/lib/lutin/lexeme.mli"
"_build/install/default/lib/lutin/liblutinRun_stubs.a"
"_build/install/default/lib/lutin/loopWeights.cmi"
"_build/install/default/lib/lutin/loopWeights.cmt"
"_build/install/default/lib/lutin/loopWeights.cmti"
"_build/install/default/lib/lutin/loopWeights.cmx"
"_build/install/default/lib/lutin/loopWeights.ml"
"_build/install/default/lib/lutin/loopWeights.mli"
"_build/install/default/lib/lutin/luc2alice.cmi"
"_build/install/default/lib/lutin/luc2alice.cmt"
"_build/install/default/lib/lutin/luc2alice.cmx"
"_build/install/default/lib/lutin/luc2alice.ml"
"_build/install/default/lib/lutin/luc2c.cmi"
"_build/install/default/lib/lutin/luc2c.cmt"
"_build/install/default/lib/lutin/luc2c.cmti"
"_build/install/default/lib/lutin/luc2c.cmx"
"_build/install/default/lib/lutin/luc2c.ml"
"_build/install/default/lib/lutin/luc2c.mli"
"_build/install/default/lib/lutin/lucFGen.cmi"
"_build/install/default/lib/lutin/lucFGen.cmt"
"_build/install/default/lib/lutin/lucFGen.cmti"
"_build/install/default/lib/lutin/lucFGen.cmx"
"_build/install/default/lib/lutin/lucFGen.ml"
"_build/install/default/lib/lutin/lucFGen.mli"
"_build/install/default/lib/lutin/lucky.cmi"
"_build/install/default/lib/lutin/lucky.cmt"
"_build/install/default/lib/lutin/lucky.cmti"
"_build/install/default/lib/lutin/lucky.cmx"
"_build/install/default/lib/lutin/lucky.ml"
"_build/install/default/lib/lutin/lucky.mli"
"_build/install/default/lib/lutin/lutErrors.cmi"
"_build/install/default/lib/lutin/lutErrors.cmt"
"_build/install/default/lib/lutin/lutErrors.cmx"
"_build/install/default/lib/lutin/lutErrors.ml"
"_build/install/default/lib/lutin/lutExe.cmi"
"_build/install/default/lib/lutin/lutExe.cmt"
"_build/install/default/lib/lutin/lutExe.cmti"
"_build/install/default/lib/lutin/lutExe.cmx"
"_build/install/default/lib/lutin/lutExe.ml"
"_build/install/default/lib/lutin/lutExe.mli"
"_build/install/default/lib/lutin/lutLexer.cmi"
"_build/install/default/lib/lutin/lutLexer.cmt"
"_build/install/default/lib/lutin/lutLexer.cmx"
"_build/install/default/lib/lutin/lutLexer.ml"
"_build/install/default/lib/lutin/lutParser.cmi"
"_build/install/default/lib/lutin/lutParser.cmt"
"_build/install/default/lib/lutin/lutParser.cmti"
"_build/install/default/lib/lutin/lutParser.cmx"
"_build/install/default/lib/lutin/lutParser.ml"
"_build/install/default/lib/lutin/lutParser.mli"
"_build/install/default/lib/lutin/lutPredef.cmi"
"_build/install/default/lib/lutin/lutPredef.cmt"
"_build/install/default/lib/lutin/lutPredef.cmx"
"_build/install/default/lib/lutin/lutPredef.ml"
"_build/install/default/lib/lutin/lutProg.cmi"
"_build/install/default/lib/lutin/lutProg.cmt"
"_build/install/default/lib/lutin/lutProg.cmti"
"_build/install/default/lib/lutin/lutProg.cmx"
"_build/install/default/lib/lutin/lutProg.ml"
"_build/install/default/lib/lutin/lutProg.mli"
"_build/install/default/lib/lutin/lutinRun.a"
"_build/install/default/lib/lutin/lutinRun.cma"
"_build/install/default/lib/lutin/lutinRun.cmi"
"_build/install/default/lib/lutin/lutinRun.cmt"
"_build/install/default/lib/lutin/lutinRun.cmti"
"_build/install/default/lib/lutin/lutinRun.cmx"
"_build/install/default/lib/lutin/lutinRun.cmxa"
"_build/install/default/lib/lutin/lutinRun.cmxs"
"_build/install/default/lib/lutin/lutinRun.ml"
"_build/install/default/lib/lutin/lutinRun.mli"
"_build/install/default/lib/lutin/lutinUtils.cmi"
"_build/install/default/lib/lutin/lutinUtils.cmt"
"_build/install/default/lib/lutin/lutinUtils.cmti"
"_build/install/default/lib/lutin/lutinUtils.cmx"
"_build/install/default/lib/lutin/lutinUtils.ml"
"_build/install/default/lib/lutin/lutinUtils.mli"
"_build/install/default/lib/lutin/mainArg.cmi"
"_build/install/default/lib/lutin/mainArg.cmt"
"_build/install/default/lib/lutin/mainArg.cmti"
"_build/install/default/lib/lutin/mainArg.cmx"
"_build/install/default/lib/lutin/mainArg.ml"
"_build/install/default/lib/lutin/mainArg.mli"
"_build/install/default/lib/lutin/ne.cmi"
"_build/install/default/lib/lutin/ne.cmt"
"_build/install/default/lib/lutin/ne.cmti"
"_build/install/default/lib/lutin/ne.cmx"
"_build/install/default/lib/lutin/ne.ml"
"_build/install/default/lib/lutin/ne.mli"
"_build/install/default/lib/lutin/opam"
"_build/install/default/lib/lutin/parsers.cmi"
"_build/install/default/lib/lutin/parsers.cmt"
"_build/install/default/lib/lutin/parsers.cmti"
"_build/install/default/lib/lutin/parsers.cmx"
"_build/install/default/lib/lutin/parsers.ml"
"_build/install/default/lib/lutin/parsers.mli"
"_build/install/default/lib/lutin/poly_draw.cmi"
"_build/install/default/lib/lutin/poly_draw.cmt"
"_build/install/default/lib/lutin/poly_draw.cmti"
"_build/install/default/lib/lutin/poly_draw.cmx"
"_build/install/default/lib/lutin/poly_draw.ml"
"_build/install/default/lib/lutin/poly_draw.mli"
"_build/install/default/lib/lutin/polyhedron.cmi"
"_build/install/default/lib/lutin/polyhedron.cmt"
"_build/install/default/lib/lutin/polyhedron.cmti"
"_build/install/default/lib/lutin/polyhedron.cmx"
"_build/install/default/lib/lutin/polyhedron.ml"
"_build/install/default/lib/lutin/polyhedron.mli"
"_build/install/default/lib/lutin/prevar.cmi"
"_build/install/default/lib/lutin/prevar.cmt"
"_build/install/default/lib/lutin/prevar.cmti"
"_build/install/default/lib/lutin/prevar.cmx"
"_build/install/default/lib/lutin/prevar.ml"
"_build/install/default/lib/lutin/prevar.mli"
"_build/install/default/lib/lutin/prog.cmi"
"_build/install/default/lib/lutin/prog.cmt"
"_build/install/default/lib/lutin/prog.cmti"
"_build/install/default/lib/lutin/prog.cmx"
"_build/install/default/lib/lutin/prog.ml"
"_build/install/default/lib/lutin/prog.mli"
"_build/install/default/lib/lutin/reactive.cmi"
"_build/install/default/lib/lutin/reactive.cmt"
"_build/install/default/lib/lutin/reactive.cmti"
"_build/install/default/lib/lutin/reactive.cmx"
"_build/install/default/lib/lutin/reactive.ml"
"_build/install/default/lib/lutin/reactive.mli"
"_build/install/default/lib/lutin/rif.cmi"
"_build/install/default/lib/lutin/rif.cmt"
"_build/install/default/lib/lutin/rif.cmti"
"_build/install/default/lib/lutin/rif.cmx"
"_build/install/default/lib/lutin/rif.ml"
"_build/install/default/lib/lutin/rif.mli"
"_build/install/default/lib/lutin/sol_nb.cmi"
"_build/install/default/lib/lutin/sol_nb.cmt"
"_build/install/default/lib/lutin/sol_nb.cmti"
"_build/install/default/lib/lutin/sol_nb.cmx"
"_build/install/default/lib/lutin/sol_nb.ml"
"_build/install/default/lib/lutin/sol_nb.mli"
"_build/install/default/lib/lutin/solver.cmi"
"_build/install/default/lib/lutin/solver.cmt"
"_build/install/default/lib/lutin/solver.cmti"
"_build/install/default/lib/lutin/solver.cmx"
"_build/install/default/lib/lutin/solver.ml"
"_build/install/default/lib/lutin/solver.mli"
"_build/install/default/lib/lutin/store.cmi"
"_build/install/default/lib/lutin/store.cmt"
"_build/install/default/lib/lutin/store.cmti"
"_build/install/default/lib/lutin/store.cmx"
"_build/install/default/lib/lutin/store.ml"
"_build/install/default/lib/lutin/store.mli"
"_build/install/default/lib/lutin/syntaxe.cmi"
"_build/install/default/lib/lutin/syntaxe.cmt"
"_build/install/default/lib/lutin/syntaxe.cmx"
"_build/install/default/lib/lutin/syntaxe.ml"
"_build/install/default/lib/lutin/syntaxeDump.cmi"
"_build/install/default/lib/lutin/syntaxeDump.cmt"
"_build/install/default/lib/lutin/syntaxeDump.cmx"
"_build/install/default/lib/lutin/syntaxeDump.ml"
"_build/install/default/lib/lutin/thickness.cmi"
"_build/install/default/lib/lutin/thickness.cmt"
"_build/install/default/lib/lutin/thickness.cmx"
"_build/install/default/lib/lutin/thickness.ml"
"_build/install/default/lib/lutin/type.cmi"
"_build/install/default/lib/lutin/type.cmt"
"_build/install/default/lib/lutin/type.cmti"
"_build/install/default/lib/lutin/type.cmx"
"_build/install/default/lib/lutin/type.ml"
"_build/install/default/lib/lutin/type.mli"
"_build/install/default/lib/lutin/util.cmi"
"_build/install/default/lib/lutin/util.cmt"
"_build/install/default/lib/lutin/util.cmx"
"_build/install/default/lib/lutin/util.ml"
"_build/install/default/lib/lutin/utils.cmi"
"_build/install/default/lib/lutin/utils.cmt"
"_build/install/default/lib/lutin/utils.cmti"
"_build/install/default/lib/lutin/utils.cmx"
"_build/install/default/lib/lutin/utils.ml"
"_build/install/default/lib/lutin/utils.mli"
"_build/install/default/lib/lutin/value.cmi"
"_build/install/default/lib/lutin/value.cmt"
"_build/install/default/lib/lutin/value.cmti"
"_build/install/default/lib/lutin/value.cmx"
"_build/install/default/lib/lutin/value.ml"
"_build/install/default/lib/lutin/value.mli"
"_build/install/default/lib/lutin/var.cmi"
"_build/install/default/lib/lutin/var.cmt"
"_build/install/default/lib/lutin/var.cmti"
"_build/install/default/lib/lutin/var.cmx"
"_build/install/default/lib/lutin/var.ml"
"_build/install/default/lib/lutin/var.mli"
"_build/install/default/lib/lutin/verbose.cmi"
"_build/install/default/lib/lutin/verbose.cmt"
"_build/install/default/lib/lutin/verbose.cmti"
"_build/install/default/lib/lutin/verbose.cmx"
"_build/install/default/lib/lutin/verbose.ml"
"_build/install/default/lib/lutin/verbose.mli"
"_build/install/default/lib/lutin/version.cmi"
"_build/install/default/lib/lutin/version.cmt"
"_build/install/default/lib/lutin/version.cmx"
"_build/install/default/lib/lutin/version.ml"
]
bin: [
"_build/install/default/bin/lurette"
"_build/install/default/bin/lutin"
]
doc: [
"_build/install/default/doc/lutin/LICENSE"
"_build/install/default/doc/lutin/README.md"
"_build/install/default/doc/lutin/README.org"
"_build/install/default/doc/lutin/README.txt"
]
stublibs: [
"_build/install/default/lib/stublibs/dlllutinRun_stubs.so"
]
......@@ -22,11 +22,12 @@ depends: [
"base-unix" {build}
"num"
"camlidl"
"graphics" {test}
"extlib" {build} | "extlib-compat" {build}
"lustre-v6"
"lutils" {>= "1.49"}
"mlgmpidl"
"dune" {build & >= "1.11"}
"dune" {build & >= "2.0"}
"ocamlfind"
"rdbg" {> "1.184"}
]
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment