From 76ce880bef54d80cfd5a55817b203616f50de823 Mon Sep 17 00:00:00 2001 From: Tristan Gingold Date: Wed, 20 Jul 2022 19:36:25 +0200 Subject: configure: add --with-sundials (preliminary work) --- configure | 8 ++++++++ 1 file changed, 8 insertions(+) (limited to 'configure') diff --git a/configure b/configure index 0daae1a05..6014f51c2 100755 --- a/configure +++ b/configure @@ -48,6 +48,9 @@ enable_gplcompat=unknown enable_libghdl=true enable_synth=true with_readline=None +with_sundials=false +sundials_incflags= +sundials_ldflags= default_pic=false EXEEXT= SOEXT=.so @@ -61,6 +64,7 @@ srcdir abs_srcdir prefix backend libdirsuffix libghdldirsuffix incdirsuffix 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 +with_sundials sundials_incflags sundials_ldflags COMPILER_GCC COMPILER_DEBUG COMPILER_MCODE COMPILER_LLVM POST_PROCESSOR INSTALL_PREFIX LIBDIR_SUFFIX LIBGHDLDIR_SUFFIX INCDIR_SUFFIX " @@ -113,6 +117,10 @@ for opt do --with-llvm-config=*) llvm_config="$optarg"; backend=llvm;; --with-backtrace-lib=*) backtrace_lib="$optarg";; --with-readline) with_readline="Gnu";; + --with-sundials=*) with_sundials=true; + sundials_incflags="-I$optarg/include"; + sundials_ldflags="-L$optarg/lib -lsundials_ida";; + --with-sundials) with_sundials=true;; --enable-werror) enable_werror=true;; --disable-werror) enable_werror=false;; --enable-checks) enable_checks=true;; -- cgit v1.2.3