test_package: disable OCaml tests

FStarLang · Dec 12, 2023 · 23f697f · 23f697f
1 parent f2e7af7
commit 23f697f
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.scripts/test_package.sh b/.scripts/test_package.sh
@@ -78,7 +78,7 @@ diag "-- Verify all examples --"
 if [[ -z "$CI_THREADS" ]] ; then
     CI_THREADS=1
 fi
-make -j "$CI_THREADS" -C /tmp/fstar_examples && make -j "$CI_THREADS" -C /tmp/fstar_doc/tutorial regressions
+make -j "$CI_THREADS" -C /tmp/fstar_examples HAS_OCAML= && make -j "$CI_THREADS" -C /tmp/fstar_doc/tutorial HAS_OCAMLFIND= regressions
 if [ $? -ne 0 ]; then
     echo -e "* ${RED}FAIL!${NC} for all examples - make returned $?"
     exit 1