aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--Makefile.in1
-rwxr-xr-xconfigure3
2 files changed, 3 insertions, 1 deletions
diff --git a/Makefile.in b/Makefile.in
index f2752fd40..c2c62a270 100644
--- a/Makefile.in
+++ b/Makefile.in
@@ -19,6 +19,7 @@ build=@build@
srcdir=@srcdir@
abs_srcdir=@abs_srcdir@
GNATMAKE=@GNATMAKE@
+ADA_FLAGS=@ADA_FLAGS@
MAKE=@MAKE@
prefix=@prefix@
backend=@backend@
diff --git a/configure b/configure
index 40ea8dadb..1d39017aa 100755
--- a/configure
+++ b/configure
@@ -28,6 +28,7 @@ CC=${CC:-gcc}
CXX=${CXX:-clang++}
CFLAGS=${CFLAGS:--g}
GNATMAKE=${GNATMAKE:-gnatmake}
+ADA_FLAGS=${ADA_FLAGS:-}
MAKE=${MAKE:-make}
LDFLAGS=
prefix=/usr/local
@@ -52,7 +53,7 @@ PIC_FLAGS=-fPIC
show_help=no
progname=$0
-subst_vars="CC CXX GNATMAKE MAKE CFLAGS LDFLAGS build srcdir abs_srcdir prefix backend libdirsuffix libdirreverse gcc_src_dir llvm_config llvm_be backtrace_lib build_mode EXEEXT SOEXT PIC_FLAGS default_pic enable_werror enable_checks enable_gplcompat enable_libghdl libghdl_version ghdl_version"
+subst_vars="CC CXX GNATMAKE ADA_FLAGS MAKE CFLAGS LDFLAGS build srcdir abs_srcdir prefix backend libdirsuffix libdirreverse gcc_src_dir llvm_config llvm_be backtrace_lib build_mode EXEEXT SOEXT PIC_FLAGS default_pic enable_werror enable_checks enable_gplcompat enable_libghdl libghdl_version ghdl_version"
# Find srcdir
srcdir=`dirname $progname`