DEVTOOLS_BINDIR="$SCI_SRCDIR_FULL/usr/bin"
DEVTOOLS_INCDIR="$SCI_SRCDIR_FULL/usr/include"
DEVTOOLS_LIBDIR="$SCI_SRCDIR_FULL/usr/lib"
+ export LD_LIBRARY_PATH="$DEVTOOLS_LIBDIR:$LD_LIBRARY_PATH"
else
WITH_DEVTOOLS=false
DEVTOOLS_BINDIR=
$as_echo_n "checking to see if the java compiler works... " >&6; }
cat << \EOF > conftest.java
-// #line 12446 "configure"
+// #line 12447 "configure"
import java.util.regex.Pattern;
if test "x$ac_java_jvm_name" = "x" ; then
cat << \EOF > conftest.java
-// #line 12533 "configure"
+// #line 12534 "configure"
import java.util.regex.Pattern;
import gnu.java.io.EncodingManager;
# The class java.nio.charset.Charset is new to 1.4
cat << \EOF > conftest.java
-// #line 12617 "configure"
+// #line 12618 "configure"
import java.util.regex.Pattern;
import java.nio.charset.Charset;
# The class java.lang.StringBuilder is new to 1.5
cat << \EOF > conftest.java
-// #line 12682 "configure"
+// #line 12683 "configure"
import java.util.regex.Pattern;
import java.lang.StringBuilder;
# The class java.util.ArrayDeque is new to 1.6
cat << \EOF > conftest.java
-// #line 12747 "configure"
+// #line 12748 "configure"
import java.util.regex.Pattern;
import java.util.ArrayDeque;
# The class java.nio.file.Path is new to 1.7
cat << \EOF > conftest.java
-// #line 12812 "configure"
+// #line 12813 "configure"
import java.util.regex.Pattern;
import java.nio.file.Path;
# The class java.util.stream.DoubleStream is new to 1.8
cat << \EOF > conftest.java
-// #line 12877 "configure"
+// #line 12878 "configure"
import java.util.regex.Pattern;
import java.util.stream.DoubleStream;
# The class java.lang.ProcessHandle is new to 1.9
cat << \EOF > conftest.java
-// #line 12942 "configure"
+// #line 12943 "configure"
import java.util.regex.Pattern;
import java.lang.ProcessHandle;
# jgraphx
cat << \EOF > conftestSharedChecker.java
-// #line 14440 "configure"
+// #line 14441 "configure"
import java.util.regex.Pattern;
import java.io.File;
import java.io.IOException;
if test ! -f conftestSharedChecker.class ; then
cat << \EOF > conftestSharedChecker.java
-// #line 14641 "configure"
+// #line 14642 "configure"
import java.util.regex.Pattern;
import java.io.File;
import java.io.IOException;
if test ! -f conftestSharedChecker.class ; then
cat << \EOF > conftestSharedChecker.java
-// #line 14877 "configure"
+// #line 14878 "configure"
import java.util.regex.Pattern;
import java.io.File;
import java.io.IOException;
if test ! -f conftestSharedChecker.class ; then
cat << \EOF > conftestSharedChecker.java
-// #line 15119 "configure"
+// #line 15120 "configure"
import java.util.regex.Pattern;
import java.io.File;
import java.io.IOException;
if test ! -f conftestSharedChecker.class ; then
cat << \EOF > conftestSharedChecker.java
-// #line 15353 "configure"
+// #line 15354 "configure"
import java.util.regex.Pattern;
import java.io.File;
import java.io.IOException;
if test ! -f conftestSharedChecker.class ; then
cat << \EOF > conftestSharedChecker.java
-// #line 15587 "configure"
+// #line 15588 "configure"
import java.util.regex.Pattern;
import java.io.File;
import java.io.IOException;
if test ! -f conftestSharedChecker.class ; then
cat << \EOF > conftestSharedChecker.java
-// #line 15822 "configure"
+// #line 15823 "configure"
import java.util.regex.Pattern;
import java.io.File;
import java.io.IOException;
if test ! -f conftestSharedChecker.class ; then
cat << \EOF > conftestSharedChecker.java
-// #line 16056 "configure"
+// #line 16057 "configure"
import java.util.regex.Pattern;
import java.io.File;
import java.io.IOException;
if test ! -f conftestSharedChecker.class ; then
cat << \EOF > conftestSharedChecker.java
-// #line 16396 "configure"
+// #line 16397 "configure"
import java.util.regex.Pattern;
import java.io.File;
import java.io.IOException;
if test ! -f conftestSharedChecker.class ; then
cat << \EOF > conftestSharedChecker.java
-// #line 16687 "configure"
+// #line 16688 "configure"
import java.util.regex.Pattern;
import java.io.File;
import java.io.IOException;
if test ! -f conftestSharedChecker.class ; then
cat << \EOF > conftestSharedChecker.java
-// #line 16919 "configure"
+// #line 16920 "configure"
import java.util.regex.Pattern;
import java.io.File;
import java.io.IOException;
if test ! -f conftestSharedChecker.class ; then
cat << \EOF > conftestSharedChecker.java
-// #line 17154 "configure"
+// #line 17155 "configure"
import java.util.regex.Pattern;
import java.io.File;
import java.io.IOException;
if test ! -f conftestSharedChecker.class ; then
cat << \EOF > conftestSharedChecker.java
-// #line 17388 "configure"
+// #line 17389 "configure"
import java.util.regex.Pattern;
import java.io.File;
import java.io.IOException;
if test ! -f conftestSharedChecker.class ; then
cat << \EOF > conftestSharedChecker.java
-// #line 17622 "configure"
+// #line 17623 "configure"
import java.util.regex.Pattern;
import java.io.File;
import java.io.IOException;
if test ! -f conftestSharedChecker.class ; then
cat << \EOF > conftestSharedChecker.java
-// #line 17856 "configure"
+// #line 17857 "configure"
import java.util.regex.Pattern;
import java.io.File;
import java.io.IOException;
if test ! -f conftestSharedChecker.class ; then
cat << \EOF > conftestSharedChecker.java
-// #line 18087 "configure"
+// #line 18088 "configure"
import java.util.regex.Pattern;
import java.io.File;
import java.io.IOException;
if test ! -f conftestSharedChecker.class ; then
cat << \EOF > conftestSharedChecker.java
-// #line 18322 "configure"
+// #line 18323 "configure"
import java.util.regex.Pattern;
import java.io.File;
import java.io.IOException;
if test ! -f conftestSharedChecker.class ; then
cat << \EOF > conftestSharedChecker.java
-// #line 18558 "configure"
+// #line 18559 "configure"
import java.util.regex.Pattern;
import java.io.File;
import java.io.IOException;
if test ! -f conftestSharedChecker.class ; then
cat << \EOF > conftestSharedChecker.java
-// #line 18794 "configure"
+// #line 18795 "configure"
import java.util.regex.Pattern;
import java.io.File;
import java.io.IOException;
if test ! -f conftestSharedChecker.class ; then
cat << \EOF > conftestSharedChecker.java
-// #line 19035 "configure"
+// #line 19036 "configure"
import java.util.regex.Pattern;
import java.io.File;
import java.io.IOException;
if test ! -f conftestSharedChecker.class ; then
cat << \EOF > conftestSharedChecker.java
-// #line 19269 "configure"
+// #line 19270 "configure"
import java.util.regex.Pattern;
import java.io.File;
import java.io.IOException;
if test ! -f conftestSharedChecker.class ; then
cat << \EOF > conftestSharedChecker.java
-// #line 19503 "configure"
+// #line 19504 "configure"
import java.util.regex.Pattern;
import java.io.File;
import java.io.IOException;
if test ! -f conftestSharedChecker.class ; then
cat << \EOF > conftestSharedChecker.java
-// #line 19737 "configure"
+// #line 19738 "configure"
import java.util.regex.Pattern;
import java.io.File;
import java.io.IOException;
if test ! -f conftestSharedChecker.class ; then
cat << \EOF > conftestSharedChecker.java
-// #line 19971 "configure"
+// #line 19972 "configure"
import java.util.regex.Pattern;
import java.io.File;
import java.io.IOException;
if test ! -f conftestSharedChecker.class ; then
cat << \EOF > conftestSharedChecker.java
-// #line 20206 "configure"
+// #line 20207 "configure"
import java.util.regex.Pattern;
import java.io.File;
import java.io.IOException;
if test ! -f conftestSharedChecker.class ; then
cat << \EOF > conftestSharedChecker.java
-// #line 20440 "configure"
+// #line 20441 "configure"
import java.util.regex.Pattern;
import java.io.File;
import java.io.IOException;
if test ! -f conftestSharedChecker.class ; then
cat << \EOF > conftestSharedChecker.java
-// #line 20675 "configure"
+// #line 20676 "configure"
import java.util.regex.Pattern;
import java.io.File;
import java.io.IOException;
if test ! -f conftestSharedChecker.class ; then
cat << \EOF > conftestSharedChecker.java
-// #line 20909 "configure"
+// #line 20910 "configure"
import java.util.regex.Pattern;
import java.io.File;
import java.io.IOException;
if test ! -f conftestSharedChecker.class ; then
cat << \EOF > conftestSharedChecker.java
-// #line 21143 "configure"
+// #line 21144 "configure"
import java.util.regex.Pattern;
import java.io.File;
import java.io.IOException;
if test ! -f conftestSharedChecker.class ; then
cat << \EOF > conftestSharedChecker.java
-// #line 21377 "configure"
+// #line 21378 "configure"
import java.util.regex.Pattern;
import java.io.File;
import java.io.IOException;
if test ! -f conftestSharedChecker.class ; then
cat << \EOF > conftestSharedChecker.java
-// #line 21611 "configure"
+// #line 21612 "configure"
import java.util.regex.Pattern;
import java.io.File;
import java.io.IOException;
if test ! -f conftestSharedChecker.class ; then
cat << \EOF > conftestSharedChecker.java
-// #line 21849 "configure"
+// #line 21850 "configure"
import java.util.regex.Pattern;
import java.io.File;
import java.io.IOException;
if test ! -f conftestSharedChecker.class ; then
cat << \EOF > conftestSharedChecker.java
-// #line 22083 "configure"
+// #line 22084 "configure"
import java.util.regex.Pattern;
import java.io.File;
import java.io.IOException;
if test ! -f conftestSharedChecker.class ; then
cat << \EOF > conftestSharedChecker.java
-// #line 22317 "configure"
+// #line 22318 "configure"
import java.util.regex.Pattern;
import java.io.File;
import java.io.IOException;
if test ! -f conftestSharedChecker.class ; then
cat << \EOF > conftestSharedChecker.java
-// #line 22557 "configure"
+// #line 22558 "configure"
import java.util.regex.Pattern;
import java.io.File;
import java.io.IOException;
if test ! -f conftestSharedChecker.class ; then
cat << \EOF > conftestSharedChecker.java
-// #line 22791 "configure"
+// #line 22792 "configure"
import java.util.regex.Pattern;
import java.io.File;
import java.io.IOException;
if test ! -f conftestSharedChecker.class ; then
cat << \EOF > conftestSharedChecker.java
-// #line 23025 "configure"
+// #line 23026 "configure"
import java.util.regex.Pattern;
import java.io.File;
import java.io.IOException;
if test ! -f conftestSharedChecker.class ; then
cat << \EOF > conftestSharedChecker.java
-// #line 23259 "configure"
+// #line 23260 "configure"
import java.util.regex.Pattern;
import java.io.File;
import java.io.IOException;
if test ! -f conftestSharedChecker.class ; then
cat << \EOF > conftestSharedChecker.java
-// #line 23490 "configure"
+// #line 23491 "configure"
import java.util.regex.Pattern;
import java.io.File;
import java.io.IOException;
if test ! -f conftestSharedChecker.class ; then
cat << \EOF > conftestSharedChecker.java
-// #line 23728 "configure"
+// #line 23729 "configure"
import java.util.regex.Pattern;
import java.io.File;
import java.io.IOException;
if test ! -f conftestSharedChecker.class ; then
cat << \EOF > conftestSharedChecker.java
-// #line 23959 "configure"
+// #line 23960 "configure"
import java.util.regex.Pattern;
import java.io.File;
import java.io.IOException;
if test ! -f conftestSharedChecker.class ; then
cat << \EOF > conftestSharedChecker.java
-// #line 24194 "configure"
+// #line 24195 "configure"
import java.util.regex.Pattern;
import java.io.File;
import java.io.IOException;
if test ! -f conftestSharedChecker.class ; then
cat << \EOF > conftestSharedChecker.java
-// #line 24428 "configure"
+// #line 24429 "configure"
import java.util.regex.Pattern;
import java.io.File;
import java.io.IOException;
if test ! -f conftestSharedChecker.class ; then
cat << \EOF > conftestSharedChecker.java
-// #line 24659 "configure"
+// #line 24660 "configure"
import java.util.regex.Pattern;
import java.io.File;
import java.io.IOException;
if test ! -f conftestSharedChecker.class ; then
cat << \EOF > conftestSharedChecker.java
-// #line 24893 "configure"
+// #line 24894 "configure"
import java.util.regex.Pattern;
import java.io.File;
import java.io.IOException;
{ $as_echo "$as_me:${as_lineno-$LINENO}: checking if Eigen is version $CHK_EIGEN_WORLD.$CHK_EIGEN_MAJOR.$CHK_EIGEN_MINOR or later" >&5
$as_echo_n "checking if Eigen is version $CHK_EIGEN_WORLD.$CHK_EIGEN_MAJOR.$CHK_EIGEN_MINOR or later... " >&6; }
cat > conftest.$ac_ext <<EOF
-#line 29295 "configure"
+#line 29296 "configure"
#include "confdefs.h"
#include "$PATH_TO_EIGEN/Eigen/Sparse"
{ $as_echo "$as_me:${as_lineno-$LINENO}: checking if tcl is version $CHK_TCL_MAJOR.$CHK_TCL_MINOR or later" >&5
$as_echo_n "checking if tcl is version $CHK_TCL_MAJOR.$CHK_TCL_MINOR or later... " >&6; }
cat > conftest.$ac_ext <<EOF
-#line 33972 "configure"
+#line 33973 "configure"
#include "confdefs.h"
#include "$CHK_TCL_INCLUDE_PATH/$CHK_TCL_INC_NAME"
$as_echo_n "checking if tk is version $CHK_TK_MAJOR.$CHK_TK_MINOR or later... " >&6; }
cat > conftest.$ac_ext <<EOF
-#line 34283 "configure"
+#line 34284 "configure"
#include "confdefs.h"
#include "$CHK_TK_INCLUDE_PATH/$CHK_TK_INC_NAME"
if test ! -f conftestSharedChecker.class ; then
cat << \EOF > conftestSharedChecker.java
-// #line 34873 "configure"
+// #line 34874 "configure"
import java.util.regex.Pattern;
import java.io.File;
import java.io.IOException;
if test ! -f conftestSharedChecker.class ; then
cat << \EOF > conftestSharedChecker.java
-// #line 35105 "configure"
+// #line 35106 "configure"
import java.util.regex.Pattern;
import java.io.File;
import java.io.IOException;
if test ! -f conftestSharedChecker.class ; then
cat << \EOF > conftestSharedChecker.java
-// #line 35338 "configure"
+// #line 35339 "configure"
import java.util.regex.Pattern;
import java.io.File;
import java.io.IOException;