diff options
Diffstat (limited to 'Makefile.stub-patch')
-rw-r--r-- | Makefile.stub-patch | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/Makefile.stub-patch b/Makefile.stub-patch new file mode 100644 index 000000000000..469ef3d17fbb --- /dev/null +++ b/Makefile.stub-patch @@ -0,0 +1,15 @@ +--- asis-gpl-2017-src/Makefile.stub ++++ asis-gpl-2017-src-new/Makefile.stub +@@ -3,8 +3,9 @@ + + # Where Asis library should be installed + # Default is into current GNAT directory +-INSTALL_DIR = $(dir $(shell which gnatls)).. +-prefix=$(INSTALL_DIR) ++#INSTALL_DIR = $(dir $(shell which gnatls)).. ++#prefix=$(INSTALL_DIR) ++prefix=$(PREFIX) + + # System commands + LN = ln -s + |