diff options
Diffstat (limited to 'lang/cduce/files/patch-Makefile.distrib')
| -rw-r--r-- | lang/cduce/files/patch-Makefile.distrib | 32 |
1 files changed, 32 insertions, 0 deletions
diff --git a/lang/cduce/files/patch-Makefile.distrib b/lang/cduce/files/patch-Makefile.distrib new file mode 100644 index 000000000000..8d8dd9bddfdb --- /dev/null +++ b/lang/cduce/files/patch-Makefile.distrib @@ -0,0 +1,32 @@ +--- Makefile.distrib.orig 2014-04-21 14:44:45.000000000 +0200 ++++ Makefile.distrib 2014-04-21 14:45:32.000000000 +0200 +@@ -106,8 +106,8 @@ install: all install_bin install_lib ins + + install_bin: + @echo "Install binaries" +- $(HIDE)mkdir -p $(BINDIR) +- $(HIDE)$(INSTALL) -m755 $(INSTALL_BINARIES) $(BINDIR)/ ++ $(HIDE)mkdir -p $(DESTDIR)$(BINDIR) ++ $(HIDE)$(INSTALL) -m755 $(INSTALL_BINARIES) $(DESTDIR)$(BINDIR)/ + + + install_lib: +@@ -339,12 +339,12 @@ web/xhtml.cdo: cduce web/xhtml.cd + ./cduce -I web/ --compile web/xhtml.cd + + install_doc: doc +- $(HIDE)mkdir -p $(MANDIR)/man1 +- $(HIDE)(cd doc; $(MAKE) install INSTALL="$(INSTALL)" MANDIR=$(MANDIR) HIDE=$(HIDE)) +- mkdir -p $(DOCDIR)/img +- cp web/doc/*.html $(DOCDIR)/ +- cp CHANGES INSTALL INSTALL.WIN32 README AUTHORS LICENSE $(DOCDIR)/ +- cp web/img/left.gif web/img/right.gif $(DOCDIR)/img ++ $(HIDE)mkdir -p $(DESTDIR)$(MANDIR)/man1 ++ $(HIDE)(cd doc; $(MAKE) install INSTALL="$(INSTALL)" MANDIR=$(DESTDIR)$(MANDIR) HIDE=$(HIDE)) ++ mkdir -p $(DESTDIR)$(DOCDIR)/img ++ cp web/doc/*.html $(DESTDIR)$(DOCDIR)/ ++ cp CHANGES INSTALL INSTALL.WIN32 README AUTHORS LICENSE $(DESTDIR)$(DOCDIR)/ ++ cp web/img/left.gif web/img/right.gif $(DESTDIR)$(DOCDIR)/img + + + ### Pack OCaml modules for the CDuce/OCaml interface |