From 4dd3ef8473d4b88c6249de225f2637570ce99f3f Mon Sep 17 00:00:00 2001 From: Xiretza Date: Sun, 9 May 2021 14:01:25 +0200 Subject: configure: use ADA_FLAGS from environment --- configure | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) (limited to 'configure') 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` -- cgit v1.2.3