Add a Makefile to drive the build process.
authorKim Nguyễn <kn@lri.fr>
Wed, 24 Jul 2013 22:12:14 +0000 (00:12 +0200)
committerKim Nguyễn <kn@lri.fr>
Wed, 24 Jul 2013 22:12:14 +0000 (00:12 +0200)
Makefile.in [new file with mode: 0644]
Remakefile.in
configure.in

diff --git a/Makefile.in b/Makefile.in
new file mode 100644 (file)
index 0000000..1f30a3a
--- /dev/null
@@ -0,0 +1,3 @@
+all:
+%:
+       @ ./remake -j $@
index 3fa1d73..157437f 100644 (file)
@@ -51,7 +51,7 @@ clean:
        done
 
 distclean: clean test_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 $<
 
 %.class: %.java
        javac $<
index 1a6b561..fd2059e 100644 (file)
@@ -250,4 +250,5 @@ AC_SUBST(OCAMLCFLAGS)
 AC_SUBST(OCAMLOPTFLAGS)
 AC_SUBST(CAMLP4FLAGS)
 AC_CONFIG_FILES(Remakefile)
 AC_SUBST(OCAMLOPTFLAGS)
 AC_SUBST(CAMLP4FLAGS)
 AC_CONFIG_FILES(Remakefile)
+AC_CONFIG_FILES(Makefile)
 AC_OUTPUT
 AC_OUTPUT