diff options
Diffstat (limited to 'configure')
-rwxr-xr-x | configure | 8 |
1 files changed, 8 insertions, 0 deletions
@@ -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;; |