--- 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