Merge pull request #489 from mtzguido/gitignore

test: rename rust test executables and gitignore them
FStarLang · Oct 11, 2024 · 59a3a41 · 59a3a41
2 parents 84f64da + b2e36aa
commit 59a3a41
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 1 deletion.
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)))