From ee818912e9dcea081f42bc4b4a20b7e3d8967bc4 Mon Sep 17 00:00:00 2001
From: MysaaJava <samyavrillon@netcourrier.com>
Date: Thu, 12 Nov 2020 18:42:56 +0100
Subject: [PATCH] Ajoute des tests rapides

---
 .gitignore | 1 +
 Makefile   | 5 +++++
 2 files changed, 6 insertions(+)

diff --git a/.gitignore b/.gitignore
index 96e9cbd..141d355 100644
--- a/.gitignore
+++ b/.gitignore
@@ -2,4 +2,5 @@
 *.cmx
 *.o
 *.a
+*.ascii.txt
 /tipe
diff --git a/Makefile b/Makefile
index 61eb2b2..47c2a45 100644
--- a/Makefile
+++ b/Makefile
@@ -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