tests: use new options

FStarLang · Oct 17, 2024 · a56c1d7 · a56c1d7
1 parent 87961a2
commit a56c1d7
Show file tree

Hide file tree

Showing 3 changed files with 2 additions and 7 deletions.
diff --git a/tests/dune_hello/dune b/tests/dune_hello/dune
@@ -4,8 +4,3 @@
  (libraries fstar.lib)
  (modes native)
 )
-(env
-  (_
-    (bin_annot false)
-    (flags (:standard -w -A)))
-)
diff --git a/tests/semiring/Makefile b/tests/semiring/Makefile
@@ -23,7 +23,7 @@ $(OUTPUT_DIR)/%.ml:
 
 %.cmxs: %.ml
 	$(call msg, "OCAMLOPT", $<)
-	$(OCAMLOPT) -w -8 -shared -package fstar.lib -o $@ $*.ml
+	$(FSTAR_EXE) --ocamlc_plugin -o $@ $*.ml
 
 # REMARK: --load will compile $*.ml if $*.cmxs does not exist, but we
 # compile it before and use --load_cmxs

diff --git a/tests/simple_hello/Makefile b/tests/simple_hello/Makefile
@@ -13,4 +13,4 @@ Hello.test: Hello.exe
 	$(FSTAR) --codegen OCaml $< --extract $*
 
 %.exe: %.ml
-	$(FSTAR) --ocamlenv ocamlfind ocamlopt -package fstar.lib -linkpkg $< -o $@
+	$(FSTAR) --ocamlc $< -o $@