Merge branch 'master' into franziskus/allow_array_field_assign

FStarLang · Oct 14, 2024 · 4137a2e · 4137a2e
2 parents b8f4b17 + 59a3a41
commit 4137a2e
Show file tree

Hide file tree

Showing 3 changed files with 3 additions and 2 deletions.
diff --git a/krmllib/Makefile b/krmllib/Makefile
@@ -51,7 +51,7 @@ FSTAR = $(RUNLIM) $(FSTAR_EXE) $(FSTAR_OPTIONS) --cache_checked_modules --cache_
 # location of ulib.
 ROOTS = $(wildcard *.fst) $(wildcard *.fsti) $(wildcard ../runtime/*.fst) \
   FStar.UInt128.fst FStar.Date.fsti \
-    FStar.HyperStack.IO.fst FStar.IO.fst FStar.Int.Cast.Full.fst \
+    FStar.HyperStack.IO.fst FStar.IO.fsti FStar.Int.Cast.Full.fst \
     FStar.Bytes.fsti FStar.Dyn.fsti LowStar.Printf.fst LowStar.Endianness.fst
 
 .PHONY: clean clean-c

diff --git a/test/.gitignore b/test/.gitignore
@@ -1,3 +1,4 @@
 .cache
 .depend
 .output
+*.exe
diff --git a/test/Makefile b/test/Makefile
@@ -315,7 +315,7 @@ WasmTrap.wasm-test: NEGATIVE = true
 	echo 'fn main () { let r = main_ (); if r != 0 { println!("main_ returned: {}\\n", r); panic!() } }' >> $@
 
 %.rust-test: $(OUTPUT_DIR)/%.rs
-	rustc $< && ./$*
+	rustc $< -o $*.exe && ./$*.exe
 
 rust: $(RUST_FILES) $(patsubst Rust%.fst,rust%.rust-test,$(filter-out Rust1.fst Rust2.fst Rust3.fst,$(wildcard Rust*.fst)))