From b57556aee8b43d71a919decb9682dd293aba4933 Mon Sep 17 00:00:00 2001
From: =?utf8?q?Kim=20Nguy=E1=BB=85n?= <kn@lri.fr>
Date: Thu, 25 Jul 2013 00:12:14 +0200
Subject: [PATCH] Add a Makefile to drive the build process.

---
 Makefile.in   | 3 +++
 Remakefile.in | 2 +-
 configure.in  | 1 +
 3 files changed, 5 insertions(+), 1 deletion(-)
 create mode 100644 Makefile.in

diff --git a/Makefile.in b/Makefile.in
new file mode 100644
index 0000000..1f30a3a
--- /dev/null
+++ b/Makefile.in
@@ -0,0 +1,3 @@
+all:
+%:
+	@ ./remake -j $@
diff --git a/Remakefile.in b/Remakefile.in
index 3fa1d73..157437f 100644
--- a/Remakefile.in
+++ b/Remakefile.in
@@ -51,7 +51,7 @@ clean:
 	done
 
 distclean: clean test_clean
-	rm -rf config.status configure config.log autom4te.cache .remake Remakefile remake
+	rm -rf config.status configure config.log autom4te.cache .remake Remakefile remake Makefile
 
 %.class: %.java
 	javac $<
diff --git a/configure.in b/configure.in
index 1a6b561..fd2059e 100644
--- a/configure.in
+++ b/configure.in
@@ -250,4 +250,5 @@ AC_SUBST(OCAMLCFLAGS)
 AC_SUBST(OCAMLOPTFLAGS)
 AC_SUBST(CAMLP4FLAGS)
 AC_CONFIG_FILES(Remakefile)
+AC_CONFIG_FILES(Makefile)
 AC_OUTPUT
-- 
2.17.1