diff options
-rw-r--r-- | .travis.yml | 28 | ||||
-rw-r--r-- | Makefile.dev | 5 |
2 files changed, 32 insertions, 1 deletions
diff --git a/.travis.yml b/.travis.yml index 158f61cfd..06ce3cae2 100644 --- a/.travis.yml +++ b/.travis.yml @@ -91,6 +91,34 @@ matrix: sources: - avsm packages: *extra-packages + - env: + - TEST_TARGET="coqocaml" + - EXTRA_CONF="-coqide opt -warn-error" + - EXTRA_OPAM="lablgtk-extras hevea" + # dummy target + - BUILD_TARGET="clean" + addons: + apt: + sources: + - avsm + packages: &coqide-packages + - opam + - aspcud + - libgtk2.0-dev + - libgtksourceview2.0-dev + - env: + - TEST_TARGET="coqocaml" + - COMPILER="4.04.1" + - CAMLP5_VER="6.17" + - EXTRA_CONF="-coqide opt -warn-error" + - EXTRA_OPAM="lablgtk-extras hevea" + # dummy target + - BUILD_TARGET="clean" + addons: + apt: + sources: + - avsm + packages: *coqide-packages install: - opam init -j ${NJOBS} --compiler=${COMPILER} -n -y diff --git a/Makefile.dev b/Makefile.dev index 5931e46dd..1803cc8ff 100644 --- a/Makefile.dev +++ b/Makefile.dev @@ -97,7 +97,10 @@ minibyte: $(COQTOPBYTE) pluginsbyte pluginsopt: $(PLUGINSOPT) pluginsbyte: $(PLUGINS) -.PHONY: coqlight states miniopt minibyte pluginsopt pluginsbyte +# This should build all the ocaml code but not (most of) the .v files +coqocaml: tools coqbinaries pluginsopt coqide printers + +.PHONY: coqlight states miniopt minibyte pluginsopt pluginsbyte coqocaml ########################## ### 2) core ML components |