Commit 7625ab66 authored by François Bobot's avatar François Bobot Committed by MARCHE Claude

Doesn't compile why3_js.js by default

  but still compile bytecode version
parent 55b62bf8
...@@ -95,7 +95,7 @@ full-4.07.1: ...@@ -95,7 +95,7 @@ full-4.07.1:
DEBIAN_PACKAGES: hevea rubber texlive-latex-extra lmodern texlive-fonts-recommended DEBIAN_PACKAGES: hevea rubber texlive-latex-extra lmodern texlive-fonts-recommended
OPAM_PACKAGES: coq-flocq.3.1.0 js_of_ocaml-ppx alt-ergo.2.0.0 OPAM_PACKAGES: coq-flocq.3.1.0 js_of_ocaml-ppx alt-ergo.2.0.0
script: script:
- misc/ci-docker.sh misc/ci-local.sh bench ide doc - misc/ci-docker.sh misc/ci-local.sh bench ide doc web_ide
nightly-bench: nightly-bench:
stage: nightly stage: nightly
......
...@@ -1701,8 +1701,10 @@ src/ide/why3_js.byte: lib/why3/why3.cma src/ide/why3_js.cmo ...@@ -1701,8 +1701,10 @@ src/ide/why3_js.byte: lib/why3/why3.cma src/ide/why3_js.cmo
src/ide/why3_js.js: src/ide/why3_js.byte src/ide/why3_js.js: src/ide/why3_js.byte
js_of_ocaml +nat.js +dynlink.js +toplevel.js $< js_of_ocaml +nat.js +dynlink.js +toplevel.js $<
opt: bin/why3webserver.opt src/ide/why3_js.js web_ide: src/ide/why3_js.js
byte: bin/why3webserver.byte src/ide/why3_js.js
opt: bin/why3webserver.opt
byte: bin/why3webserver.byte src/ide/why3_js.cmo
endif endif
......
...@@ -19,6 +19,9 @@ do ...@@ -19,6 +19,9 @@ do
bin/why3config --detect bin/why3config --detect
bench/ide-bench bench/ide-bench
;; ;;
web_ide)
make web_ide
;;
doc) doc)
make doc make doc
make stdlibdoc make stdlibdoc
......
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