projects
/
tatoo.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
.
[tatoo.git]
/
Makefile.in
diff --git
a/Makefile.in
b/Makefile.in
index
860c877
..
8da1e31
100644
(file)
--- a/
Makefile.in
+++ b/
Makefile.in
@@
-1,6
+1,5
@@
CAMLP4FLAGS=@CAMLP4FLAGS@
CAMLP4FLAGS=@CAMLP4FLAGS@
-PPOPTSFLAGS= $($CAMLP4FLAGS:%=ppopt(%))
-OCAMLBUILDFLAGS=-j 0 -use-ocamlfind @OCAMLBUILDFLAGS@
+OCAMLBUILDFLAGS=-j 0 -use-ocamlfind @OCAMLBUILDFLAGS@ $(CAMLP4FLAGS:%=-tag %)
OCAMLBUILD=@OCAMLBUILD@
PACKAGE = @PACKAGE_TARNAME@
TARGETS=tatoo.native
OCAMLBUILD=@OCAMLBUILD@
PACKAGE = @PACKAGE_TARNAME@
TARGETS=tatoo.native
@@
-17,7
+16,7
@@
all: $(TARGETS)
@
%:
@
%:
- @ $(OCAMLBUILD) $(OCAMLBUILDFLAGS) $
(PPOPTFLAGS:%=-tag %) $
@
+ @ $(OCAMLBUILD) $(OCAMLBUILDFLAGS) $@
clean:
@ $(OCAMLBUILD) $(OCAMLBUILDFLAGS) -clean
clean:
@ $(OCAMLBUILD) $(OCAMLBUILDFLAGS) -clean