diff options
author | Xiretza <xiretza@xiretza.xyz> | 2021-05-09 14:01:25 +0200 |
---|---|---|
committer | tgingold <tgingold@users.noreply.github.com> | 2021-05-10 07:56:17 +0200 |
commit | 4dd3ef8473d4b88c6249de225f2637570ce99f3f (patch) | |
tree | c8958ad517ca8361cc73fa14148cfead308959ab | |
parent | 1f189f146766eda9cc61d4fd163398fa826eb622 (diff) | |
download | ghdl-4dd3ef8473d4b88c6249de225f2637570ce99f3f.tar.gz ghdl-4dd3ef8473d4b88c6249de225f2637570ce99f3f.tar.bz2 ghdl-4dd3ef8473d4b88c6249de225f2637570ce99f3f.zip |
configure: use ADA_FLAGS from environment
-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` |