diff options
author | Michel Mauny <Michel.Mauny@ensta.fr> | 2003-07-10 12:28:35 +0000 |
---|---|---|
committer | Michel Mauny <Michel.Mauny@ensta.fr> | 2003-07-10 12:28:35 +0000 |
commit | 698eaa3c7a865e54bdf8d21a0ef99e031c7483ee (patch) | |
tree | b5700e1f773d921416668f78b529f776bbeda04d /camlp4/ocaml_src/lib/Makefile | |
parent | 43e1ce9eb8687d446605e5ae281fd840080ce23f (diff) |
*** empty log message ***
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5683 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'camlp4/ocaml_src/lib/Makefile')
-rw-r--r-- | camlp4/ocaml_src/lib/Makefile | 14 |
1 files changed, 7 insertions, 7 deletions
diff --git a/camlp4/ocaml_src/lib/Makefile b/camlp4/ocaml_src/lib/Makefile index 524831704..d587e7446 100644 --- a/camlp4/ocaml_src/lib/Makefile +++ b/camlp4/ocaml_src/lib/Makefile @@ -36,17 +36,17 @@ compare: done install: - -$(MKDIR) $(LIBDIR)/camlp4 - cp $(TARGET) *.mli $(LIBDIR)/camlp4/. - cp *.cmi $(LIBDIR)/camlp4/. - if test -f $(TARGET:.cma=.cmxa); then $(MAKE) installopt LIBDIR=$(LIBDIR); fi + -$(MKDIR) "$(LIBDIR)/camlp4" + cp $(TARGET) *.mli "$(LIBDIR)/camlp4/." + cp *.cmi "$(LIBDIR)/camlp4/." + if test -f $(TARGET:.cma=.cmxa); then $(MAKE) installopt LIBDIR="$(LIBDIR)"; fi installopt: - cp $(TARGET:.cma=.cmxa) *.cmx $(LIBDIR)/camlp4/. + cp $(TARGET:.cma=.cmxa) *.cmx "$(LIBDIR)/camlp4/." if test -f $(TARGET:.cma=.lib); then \ - cp $(TARGET:.cma=.lib) $(LIBDIR)/camlp4/.; \ + cp $(TARGET:.cma=.lib) "$(LIBDIR)/camlp4/."; \ else \ - tar cf - $(TARGET:.cma=.a) | (cd $(LIBDIR)/camlp4/.; tar xf -); \ + tar cf - $(TARGET:.cma=.a) | (cd "$(LIBDIR)/camlp4/."; tar xf -); \ fi include .depend |