From: Kim Nguyễn <kn@lri.fr>
Date: Wed, 17 Apr 2013 06:48:53 +0000 (+0200)
Subject: Make the main target more generic, to allow compilation of
X-Git-Tag: v0.1~98
X-Git-Url: http://git.nguyen.vg/gitweb/?p=tatoo.git;a=commitdiff_plain;h=0ef88e3bb1cc9fea830978723813dd8d23837039;ds=sidebyside

Make the main target more generic, to allow compilation of
tools/*.native too, instead of only src/*.native.
---

diff --git a/Remakefile.in b/Remakefile.in
index eecc365..d173e83 100644
--- a/Remakefile.in
+++ b/Remakefile.in
@@ -18,7 +18,7 @@ configure config.status: configure.in
 	autoconf
 	./config.status --recheck
 
-src/%.native:
+%.native:
 	base=${1%.native}
 	src=${base}.ml
 	obj=${base}.cmx
@@ -28,7 +28,7 @@ src/%.native:
 	OBJS=$(@OCAMLDEP@ $OCAMLDEPNATIVE $OCAMLFINDFLAGS -modules $SRCS | tools/osort.sh cmx)
 	@OCAMLOPT@ -o "$1"  @OCAMLFLAGS@ @OCAMLOPTFLAGS@ $OCAMLFINDLINKFLAGS $OCAMLFINDFLAGS $OBJS
 
-src/%.byte:
+%.byte:
 	base=${1%.byte}
 	src=${base}.ml
 	obj=${base}.cmo