Ajout d'un joli makefile

2020-11-12 18:06:02 +01:00 · 2020-11-12 18:06:02 +01:00 · c9f03b6045
commit c9f03b6045
parent 446d9359a6
2 changed files with 12 additions and 0 deletions
--- a/.gitignore
+++ b/.gitignore
@ -0,0 +1,5 @@
+*.cmi
+*.cmx
+*.o
+*.a
+/tipe
--- a/7
+++ b/7
@ -0,0 +1,7 @@
+
+
+%.cmx: %.ml
+	ocamlopt -c $<
+
+tipe: tipe.cmx
+	ocamlopt -o tipe str.cmxa tipe.cmx