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