Commit 89af91b5 authored by François Bobot's avatar François Bobot

[Build] work for local with dune

parent 5673134b
......@@ -347,3 +347,4 @@ pvsbin/
/trash
trywhy3.tar.gz
/_build/
......@@ -158,6 +158,7 @@ all: dune
dune: src/util/config.ml
dune build @install
$(HIDE) mkdir -p bin
clean::
dune clean
......@@ -577,8 +578,9 @@ install-bin::
install_local:: bin/why3 $(addprefix bin/,$(TOOLS_BIN))
bin/%: bin/%.@OCAMLBEST@
ln -sf $(notdir $<) $@
#TODO use dune promote or dune exec
bin/%: dune
$(HIDE) cp _build/install/default/bin/$* $@
install_local:: share/drivers share/stdlib
......
......@@ -52,8 +52,8 @@ RUN opam repository add coq-released https://coq.inria.fr/opam/released --all-sw
ARG opam_packages
RUN opam install -y depext
RUN opam depext --dry-run menhir conf-gtksourceview lablgtk ocamlgraph zarith camlzip alt-ergo
RUN opam install -y menhir conf-gtksourceview lablgtk ocamlgraph zarith camlzip alt-ergo
RUN opam depext --dry-run menhir conf-gtksourceview lablgtk ocamlgraph zarith camlzip alt-ergo dune
RUN opam install -y menhir conf-gtksourceview lablgtk ocamlgraph zarith camlzip alt-ergo dune
RUN test -z "$opam_packages" || opam depext --dry-run $opam_packages
RUN test -z "$opam_packages" || opam install -y $opam_packages
......@@ -16,3 +16,12 @@
(modules why3_resetgc)
(c_names resetgc)
)
(executable
(name why3web)
(public_name why3webserver)
(modules wserver why3web)
(libraries why3)
(flags -open Why3.V1 -linkall)
(package why3)
)
......@@ -18,10 +18,25 @@
(ocamllex why3wc)
(executable
(public_name why3replay)
(library
(name why3_unix_scheduler)
(modules unix_scheduler)
(libraries why3)
(modules why3replay unix_scheduler)
(flags -linkall -open Why3.V1)
)
(executable
(public_name why3replay)
(libraries why3 why3_unix_scheduler)
(modules why3replay)
(flags -linkall -open Why3.V1 -open Why3_unix_scheduler)
(package why3)
)
(executable
(public_name why3shell)
(modules why3shell)
(libraries why3 why3_unix_scheduler)
(flags -linkall -open Why3.V1 -open Why3_unix_scheduler)
(package why3)
)
(executable
(public_name why3doc)
(name doc_main)
(modules doc_html doc_def doc_lexer doc_main)
(libraries why3)
(flags -linkall -open Why3.V1)
(package why3)
)
(ocamllex doc_lexer)
(executable
(public_name why3session)
(name why3session_main)
(modules why3session_lib why3session_info
why3session_html why3session_latex why3session_update
why3session_main)
(libraries why3)
(flags -open Why3.V1 -linkall)
(package why3)
)
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