diff options
| author | Michel Mauny <Michel.Mauny@ensta.fr> | 2004-07-28 13:56:07 +0000 |
|---|---|---|
| committer | Michel Mauny <Michel.Mauny@ensta.fr> | 2004-07-28 13:56:07 +0000 |
| commit | 6c41481add46881140600b98dea9c736e4cb3624 (patch) | |
| tree | c1a635ab8ca463b58b496f5d13a0b3d9268b6462 /camlp4/lib | |
| parent | 7ef1650c2f7db301f296bd48dd142982e81633ee (diff) | |
| download | ocaml-6c41481add46881140600b98dea9c736e4cb3624.tar.gz | |
Fixed install of *.cmx (PR#2955)
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6568 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'camlp4/lib')
| -rw-r--r-- | camlp4/lib/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/camlp4/lib/Makefile b/camlp4/lib/Makefile index 639a5cbb87..df803cf9e5 100644 --- a/camlp4/lib/Makefile +++ b/camlp4/lib/Makefile @@ -50,7 +50,7 @@ install: test -f $(TARGET:.cma=.cmxa) && $(MAKE) installopt LIBDIR="$(LIBDIR)" || true installopt: - for f in $(TARGET:.cma=.cmxa) $(TARGET:.cma=.p.cmxa) ; do \ + for f in $(TARGET:.cma=.cmxa) $(TARGET:.cma=.p.cmxa) *.cmx ; do \ test -f $$f && cp $$f "$(LIBDIR)/camlp4/." || true ; \ done # Special treatment for this one: some versions of make don't like $(A) in $(TARGET:.cma=.$(A)) |