diff options
Diffstat (limited to 'patch-Makefile.stub')
| -rw-r--r-- | patch-Makefile.stub | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/patch-Makefile.stub b/patch-Makefile.stub new file mode 100644 index 000000000000..af0a5f244b7b --- /dev/null +++ b/patch-Makefile.stub @@ -0,0 +1,12 @@ +--- Makefile.stub.orig 2015-06-22 09:23:18 UTC ++++ Makefile.stub +@@ -3,8 +3,7 @@ host := $(shell gcc -dumpmachine) + + # Where Asis library should be installed + # Default is into current GNAT directory +-INSTALL_DIR = $(dir $(shell which gnatls)).. +-prefix=$(INSTALL_DIR) ++prefix=$(PREFIX) + + # System commands + LN = ln -s |