From 7fe1f7bb89d1b10fc960edc766f48be70264683b Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Thorsten=20Wi=C3=9Fmann?= <uni@thorsten-wissmann.de>
Date: Thu, 10 Jul 2014 22:31:34 +0200
Subject: [PATCH] Add dummy Makefile

---
 Makefile | 16 ++++++++++++++++
 1 file changed, 16 insertions(+)
 create mode 100644 Makefile

diff --git a/Makefile b/Makefile
new file mode 100644
index 0000000..8ac05b8
--- /dev/null
+++ b/Makefile
@@ -0,0 +1,16 @@
+
+.PHONY: all clean
+
+all: setup.ml
+	ocaml setup.ml -build
+
+setup.ml:
+	oasis setup
+	ocaml setup.ml -configure
+
+clean:
+	! [ -f setup.ml ] || ocaml setup.ml -clean
+	oasis setup-clean
+	$(RM) -f _tags
+	$(RM) -f setup.data setup.ml
+	$(RM) -f myocamlbuild.ml
-- 
GitLab