diff options
| author | Enrico Tassi | 2020-03-12 17:16:33 +0100 |
|---|---|---|
| committer | Enrico Tassi | 2020-03-12 17:16:33 +0100 |
| commit | 1a7cdc1da9bff2e46acdd5c07a7eee5dcd27d731 (patch) | |
| tree | eff198632c28e0b0123be474e27dd198ad10690a | |
| parent | c6a8c29d02153de5ea23052714c9299164791c6e (diff) | |
| parent | d22db7a4a3c95bbbe6a4d7a25ed08f9d99fa64e8 (diff) | |
Merge PR #11798: Tests make bytecode
Ack-by: SkySkimmer
Reviewed-by: gares
| -rwxr-xr-x | test-suite/coq-makefile/camldep/run.sh | 8 | ||||
| -rwxr-xr-x | test-suite/coq-makefile/findlib-package-unpacked/run.sh | 4 |
2 files changed, 9 insertions, 3 deletions
diff --git a/test-suite/coq-makefile/camldep/run.sh b/test-suite/coq-makefile/camldep/run.sh index aa62ee56eb..465677a4bf 100755 --- a/test-suite/coq-makefile/camldep/run.sh +++ b/test-suite/coq-makefile/camldep/run.sh @@ -13,5 +13,9 @@ mkdir src echo '{ let foo = () }' > src/file1.mlg echo 'let bar = File1.foo' > src/file2.ml coq_makefile -f _CoqProject -o Makefile -make src/file2.cmx -[ -f src/file2.cmx ] +if which ocamlopt >/dev/null 2>&1; then + make src/file2.cmx + [ -f src/file2.cmx ] +fi +make src/file2.cmo +[ -f src/file2.cmo ] diff --git a/test-suite/coq-makefile/findlib-package-unpacked/run.sh b/test-suite/coq-makefile/findlib-package-unpacked/run.sh index e53a7ed0f7..6d7ae15ee2 100755 --- a/test-suite/coq-makefile/findlib-package-unpacked/run.sh +++ b/test-suite/coq-makefile/findlib-package-unpacked/run.sh @@ -16,5 +16,7 @@ coq_makefile -f _CoqProject -o Makefile cat Makefile.conf cat Makefile.local make -C findlib/foo -make +if which ocamlopt >/dev/null 2>&1; then + make +fi make byte |