diff options
Diffstat (limited to 'math/algae/files/patch-tools-Makefile.in')
| -rw-r--r-- | math/algae/files/patch-tools-Makefile.in | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/math/algae/files/patch-tools-Makefile.in b/math/algae/files/patch-tools-Makefile.in new file mode 100644 index 000000000000..856bd8cd0102 --- /dev/null +++ b/math/algae/files/patch-tools-Makefile.in @@ -0,0 +1,13 @@ +--- tools/Makefile.in.orig ++++ tools/Makefile.in +@@ -47,8 +47,8 @@ + # ========================== Installation ========================= + + install: tools.algae +- for f in *.A; do $(INSTALL_DATA) $$f $(tooldir); done +- $(INSTALL_DATA) tools.algae $(tooldir) ++ for f in *.A; do $(INSTALL_DATA) $$f $(DESTDIR)$(tooldir); done ++ $(INSTALL_DATA) tools.algae $(DESTDIR)$(tooldir) + .PHONY: install + + uninstall: |