save PATH as part of configuration

2019-01-30 17:39:43 +01:00 · 2019-01-30 17:39:43 +01:00 · 5e6fc8ceeb
parent 6373065fff
commit 5e6fc8ceeb
2 changed files with 2 additions and 1 deletions
--- a/Makefile.config.in
+++ b/Makefile.config.in
@ -2,4 +2,4 @@ PREFIX=%(prefix)s
 LIBDIR ?= %(libdir)s
 DESTDIR ?=
 GNATFLAGS ?=
-ADA_PROJECT_DIR ?= ${PREFIX}/lib/gnat
+export PATH:=${PREFIX}/bin:%(PATH)s
--- a/1
+++ b/1
@ -179,6 +179,7 @@ def parsargs(args):
    #    fail = True
    if fail:
        return None
+    args.__dict__["PATH"] = os.getenv("PATH")
    return args