diff options
author | Stefano Zacchiroli <zack@debian.org> | 2009-10-06 15:36:30 +0200 |
---|---|---|
committer | Stéphane Glondu <glondu@debian.org> | 2024-03-19 11:11:20 +0100 |
commit | bd119578f941ffb37b11da18f319e6a2cbb86aa3 (patch) | |
tree | 1741c5d8e92ea2c106bcd224ab36a7e7840faa19 | |
parent | 209909adad6dac95f0e087f5e0d4206dcc043623 (diff) |
Create installation directories
...since ocamlfind doesn't
Signed-off-by: Stefano Zacchiroli <zack@debian.org>
Gbp-Pq: Name 0002-Create-installation-directories.patch
-rw-r--r-- | Makefile | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -55,6 +55,7 @@ tools: # The following PHONY rule is important for Cygwin: .PHONY: install install: + mkdir -p $(DESTDIR) $(OCAMLFIND_DESTDIR) $(OCAMLFIND_DESTDIR)/stublibs for pkg in $(PKGLIST); do \ ( cd src/$$pkg && $(MAKE) -f Makefile.pre install ) || exit; \ done |