From c9f03b604542b1b2661bf79a9a1f4abf0545ae5c Mon Sep 17 00:00:00 2001 From: MysaaJava Date: Thu, 12 Nov 2020 18:06:02 +0100 Subject: [PATCH] Ajout d'un joli makefile --- .gitignore | 5 +++++ Makefile | 7 +++++++ 2 files changed, 12 insertions(+) create mode 100644 .gitignore create mode 100644 Makefile diff --git a/.gitignore b/.gitignore new file mode 100644 index 0000000..96e9cbd --- /dev/null +++ b/.gitignore @@ -0,0 +1,5 @@ +*.cmi +*.cmx +*.o +*.a +/tipe diff --git a/Makefile b/Makefile new file mode 100644 index 0000000..b26e1a7 --- /dev/null +++ b/Makefile @@ -0,0 +1,7 @@ + + +%.cmx: %.ml + ocamlopt -c $< + +tipe: tipe.cmx + ocamlopt -o tipe str.cmxa tipe.cmx