diff options
Diffstat (limited to 'camlp4/config/Makefile.tpl')
| -rw-r--r-- | camlp4/config/Makefile.tpl | 28 |
1 files changed, 0 insertions, 28 deletions
diff --git a/camlp4/config/Makefile.tpl b/camlp4/config/Makefile.tpl deleted file mode 100644 index 0602525a62..0000000000 --- a/camlp4/config/Makefile.tpl +++ /dev/null @@ -1,28 +0,0 @@ -# $Id$ - -CAMLP4_COMM=OTOP=$(OTOP) OPT=$(OPT) EXE=$(EXE) ../tools/camlp4_comm.sh -OCAMLC=@OTOP=$(OTOP) OPT=$(OPT) EXE=$(EXE) ../tools/ocamlc.sh -OCAMLOPT=@OTOP=$(OTOP) OPT=$(OPT) EXE=$(EXE) ../tools/ocamlopt.sh -OCAMLCFLAGS= -MKDIR=mkdir -p - -.SUFFIXES: .cmx .cmo .cmi .ml .mli - -.mli.cmi: - @if test `basename $<` != $<; then echo "Bad directory"; exit 1; fi - @$(CAMLP4_COMM) $< -o $*.ppi - $(OCAMLC) $(OCAMLCFLAGS) -c -intf $*.ppi - rm -f $*.ppi - -.ml.cmo: - @if test `basename $<` != $<; then echo "Bad directory"; exit 1; fi - @$(CAMLP4_COMM) $< -o $*.ppo - $(OCAMLC) $(OCAMLCFLAGS) -c -impl $*.ppo - rm -f $*.ppo - -.ml.cmx: - @if test `basename $<` != $<; then echo "Bad directory"; exit 1; fi - @$(CAMLP4_COMM) $< -o $*.ppo - $(OCAMLOPT) $(OCAMLCFLAGS) -c -impl $*.ppo - rm -f $*.ppo - |