summaryrefslogtreecommitdiff
path: root/camlp4/lib
diff options
context:
space:
mode:
authorXavier Leroy <xavier.leroy@inria.fr>2003-08-29 12:15:15 +0000
committerXavier Leroy <xavier.leroy@inria.fr>2003-08-29 12:15:15 +0000
commit477619882d6f8388894d22ebede07d7e1b649381 (patch)
tree147a102c2413beab8bd201e495d345dd48eaf946 /camlp4/lib
parent7ffa2f77a9fb9b687f8d015d2f7cb71f781870a1 (diff)
downloadocaml-477619882d6f8388894d22ebede07d7e1b649381.tar.gz
Revu compilation et installation des fichiers 'opt' pour que ca marche aussi en Win32
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5808 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'camlp4/lib')
-rw-r--r--camlp4/lib/Makefile8
1 files changed, 2 insertions, 6 deletions
diff --git a/camlp4/lib/Makefile b/camlp4/lib/Makefile
index 1a8bc6604e..ece72d1519 100644
--- a/camlp4/lib/Makefile
+++ b/camlp4/lib/Makefile
@@ -18,7 +18,7 @@ $(TARGET:.cma=.cmxa): $(OBJS:.cmo=.cmx)
$(OCAMLOPT) $(OBJS:.cmo=.cmx) -a -o $(TARGET:.cma=.cmxa)
clean::
- rm -f *.cm[ioax] *.cmxa *.pp[io] *.o *.a *.bak .*.bak $(TARGET)
+ rm -f *.cm[ioax] *.cmxa *.pp[io] *.$(O) *.$(A) *.bak .*.bak $(TARGET)
depend:
cp .depend .depend.bak
@@ -43,10 +43,6 @@ install:
installopt:
cp $(TARGET:.cma=.cmxa) *.cmx "$(LIBDIR)/camlp4/."
- if test -f $(TARGET:.cma=.lib); then \
- cp $(TARGET:.cma=.lib) "$(LIBDIR)/camlp4/."; \
- else \
- tar cf - $(TARGET:.cma=.a) | (cd "$(LIBDIR)/camlp4/."; tar xf -); \
- fi
+ tar cf - $(TARGET:.cma=.$(A)) | (cd "$(LIBDIR)/camlp4/."; tar xf -)
include .depend