diff options
-rw-r--r-- | Makefile.in | 1 | ||||
-rwxr-xr-x | configure | 3 |
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@ @@ -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` |