Ajoute des tests rapides

2020-11-12 18:42:56 +01:00
parent 99cf06986a
commit ee818912e9
2 changed files with 6 additions and 0 deletions
@@ -10,5 +10,10 @@ ascii: $(shell find textes/ -type f -iname "*.txt" ! -iname "*.ascii.txt" | sed
 tipe: tipe.cmx
 	ocamlopt -o tipe str.cmxa tipe.cmx

+%.txt.test: %.ascii.txt tipe
+	./tipe $<
+
+runall: $(shell find textes/ -type f -iname "*.txt" ! -iname "*.ascii.txt" | sed "s/\.txt/\.txt\.test/")
+
 clean:
 	rm -rf tipe *.cmx *.cmi *.o textes/*.ascii.txt