configure: add --with-sundials (preliminary work)

1 files changed, 8 insertions, 0 deletions

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;;