More filtering of Steel modules

FStarLang · May 10, 2022 · 2b17f28 · 2b17f28
1 parent 500a9b0
commit 2b17f28
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/test/Makefile b/test/Makefile
@@ -69,7 +69,7 @@ ifndef NODEPEND
 # AF: The Steel files should not be extracted by KaRaMeL, they are filtered out
 .depend: .FORCE
 	$(FSTAR) --dep full $(subst .wasm-test,.fst,$(WASM_FILES)) $(subst .test,.fst,$(FILES)) \
-	  $(BROKEN) ../runtime/WasmSupport.fst --extract 'krml:*,-Prims,-FStar.MSTTotal,-FStar.NMSTTotal,-FStar.MST,-FStar.NMST,-Steel' > $@
+	  $(BROKEN) ../runtime/WasmSupport.fst --extract 'krml:*,-Prims,-FStar.MSTTotal,-FStar.NMSTTotal,-FStar.MST,-FStar.NMST,-Steel.Effect,-Steel.Effect.Atomic,-Steel.HigherReference,-Steel.Reference,-Steel.Semantics.Hoare.MST' > $@
 
 .PHONY: .FORCE
 .FORCE: