13a14,15 > # we save any prevous CONFIG_FILE by appending suffix ".old", > # the new file is built up in CONFIG_TMP then renamed to CONFIG_FILE at the end. 15a18 > CONFIG_TMP="$CONFIG_FILE.part" 20a24,36 > COCOA_EXTLIB_DIR=`pwd`/configuration/ExternalLibs > export COCOA_EXTLIB_DIR > > # Default installation directory and command. > INSTALL_DIR=/usr/local > INSTALL="install -S" > which install > /dev/null > if [ $? -ne 0 ] > then > INSTALL="/bin/cp -f" > fi > > 76,78d91 < ( --with-libreadline=* ) < READLINE_LIB=`echo "$option" | cut -f 2- -d=` ;; < 84a98,100 > (--no-readline ) > AVOID_READLINE=yes ;; > 90a107,109 > ( --with-libreadline=* ) > READLINE_LIB=`echo "$option" | cut -f 2- -d=` ;; > 148a168,175 > ( --prefix=* ) > INSTALL_DIR=`echo "$option" | cut -f 2- -d=` > if [ \! -d "$INSTALL_DIR" ] > then > echo "$0: specified installation directory does not exist: \`$INSTALL_DIR\'" > exit 1 > fi;; > 167a195,197 > echo -e " --no-readline\tdo not look for libreadline.a" > echo -e " --with-libreadline=ARG\tspecify location of the file libreadline.a" > echo -e "\t\t\t[default is to search for libreadline.a]" 179c209 < echo -e " --prefix=PREFIX\tinstall in PREFIX/include & PREFIX/lib (not yet implemented)" --- > echo -e " --prefix=PREFIX\tinstall in PREFIX/include & PREFIX/lib" 190a221,227 > if [ "$AVOID_READLINE" = yes -a \! -z "$READLINE_LIB" ] > then > echo "$0: incompatible inputs for readline" > exit 1 > fi > > 194a232 > 337a376 > WARNINGS="old GMP (incompat with C++11); $WARNINGS" 342c381 < sleep 5 --- > sleep 1 411c450 < if [ "X$READLINE_LIB" = "X" ] --- > if [ -z "$AVOID_READLINE" ] 413,426c452,491 < READLINE_LIB=`$SCRIPT_DIR/readline-find-lib.sh` < if [ $? -ne 0 ] < then < echo "Warning: not using readline because" < echo "$READLINE_LIB" < READLINE_LIB= < fi < else < if [ \! -f "$READLINE_LIB" -o \! -r "$READLINE_LIB" ] < then < echo "WARNING: cannot read supplied libreadline path" < echo "WARNING: proceeding without readline" < READLINE_LIB= < fi --- > if [ -z "$READLINE_LIB" ] > then > # No libreadline specified, so look for an installed version > $SCRIPT_DIR/readline-try-default.sh > /dev/null 2>& 1 > if [ $? = 0 ] > then > HAVE_READLINE=yes > # Note that -lreadline includes also -lncurses or -ltermcap > READLINE_LIB="-lreadline" > else > WARNINGS="libreadline not installed; $WARNINGS" > echo "WARNING: readline is not installed" > fi > else > # user specified a libreadline > if [ \! "/$READLINE_LIB" -ef "$READLINE_LIB" ] > then > echo "ERROR: supplied libreadline path is not absolute: $READLINE_LIB" > exit 1 > fi > if [ \! -f "$READLINE_LIB" -o \! -r "$READLINE_LIB" ] > then > echo "ERROR: cannot read supplied libreadline: $READLINE_LIB" > exit 1 > fi > # User supplied abs path to a readable file. > READLINE_HDR=`$SCRIPT_DIR/readline-find-hdr.sh "$READLINE_LIB"` > if [ $? -ne 0 ] > then > echo "ERROR: cannot find header file for the specified libreadline." > /dev/stderr > exit 1 > fi > > LIBTERMCAP=`$SCRIPT_DIR/readline-check-cxxflags.sh "$READLINE_HDR" "$READLINE_LIB"` > if [ $? = 0 ] > then > HAVE_READLINE=yes > READLINE_LIB="$READLINE_LIB $LIBTERMCAP" > fi > fi 428c493,494 < if [ "X$READLINE_LIB" != "X" ] --- > > if [ $HAVE_READLINE = yes ] 430,436c496 < READLINE_INCLUDE=`$SCRIPT_DIR/readline-find-hdr.sh "$READLINE_LIB"` < $SCRIPT_DIR/readline-check-cxxflags.sh "$READLINE_LIB" < if [ $? = 0 ] < then < HAVE_READLINE=yes < READLINE_FLAG="-DCoCoA_WITH_READLINE" < fi --- > READLINE_FLAG="-DCoCoA_WITH_READLINE" 438a499 > 453a515,518 > if [ $HAVE_QMAKE = no ] > then > WARNINGS="no qmake (so no CoCoA5 GUI); $WARNINGS" > fi 527a593 > WARNINGS="BOOST not found; $WARNINGS" 775a842 > LDFPIC=`$SCRIPT_DIR/fpic-ldflag.sh "$CXX"` 827a895 > # Tell user the compiler and default compilation flags put in the Makefile. 829c897,898 < --- > echo "The C++ compilation flags are \"$CXXFLAGS_COMMON $CXXFLAGS_DEFAULT\"" > echo 838,843c907,912 < echo "# Makefile configuration for CoCoALib." > "$CONFIG_FILE" < echo "# Created automatically by the configure script." >> "$CONFIG_FILE" < echo "# Created on `date \"+%Y-%m-%d at time %H:%M:%S\"`" >> "$CONFIG_FILE" < echo "# Command was: " >> "$CONFIG_FILE" < echo "# $ORIG_CMD" >> "$CONFIG_FILE" < echo >> "$CONFIG_FILE" --- > echo "# Makefile configuration for CoCoALib." > "$CONFIG_TMP" > echo "# Created automatically by the configure script." >> "$CONFIG_TMP" > echo "# Created on `date \"+%Y-%m-%d at time %H:%M:%S\"`" >> "$CONFIG_TMP" > echo "# Command was: " >> "$CONFIG_TMP" > echo "# $ORIG_CMD" >> "$CONFIG_TMP" > echo >> "$CONFIG_TMP" 845c914 < /bin/cat "$CONFIG_DIR/fixed_part1" >> "$CONFIG_FILE" --- > /bin/cat "$CONFIG_DIR/fixed_part1" >> "$CONFIG_TMP" 852,854c921,923 < echo "# Version number of CoCoALib we shall build." >> "$CONFIG_FILE" < echo "VERSION=$VERSION" >> "$CONFIG_FILE" < echo >> "$CONFIG_FILE" --- > echo "# Version number of CoCoALib we shall build." >> "$CONFIG_TMP" > echo "VERSION=$VERSION" >> "$CONFIG_TMP" > echo >> "$CONFIG_TMP" 857,870c926,944 < echo "INSTALL=install" >> "$CONFIG_FILE" < echo "INSTALL_DIR=/usr/local" >> "$CONFIG_FILE" < echo >> "$CONFIG_FILE" < echo "EXTLIBS=\$(COCOA_ROOT)/configuration/ExternalLibs" >> "$CONFIG_FILE" < echo >> "$CONFIG_FILE" < < echo "# Compilation flags common to all cases:" >> "$CONFIG_FILE" < echo "CXXFLAGS_COMMON=$CXXFLAGS_COMMON" >> "$CONFIG_FILE" < echo "CXXFLAGS_DEFINES_COMMON=$CXXFLAGS_DEFINES_COMMON" >> "$CONFIG_FILE" < echo >> "$CONFIG_FILE" < < echo "####################################################" >> "$CONFIG_FILE" < echo "### SPECIFIC compilation flags -- CHOOSE ONE ###" >> "$CONFIG_FILE" < echo "####################################################" >> "$CONFIG_FILE" --- > echo "Installation options are:" > echo " directory INSTALL_DIR=$INSTALL_DIR" > echo " command INSTALL=$INSTALL" > echo > > echo "INSTALL_DIR=$INSTALL_DIR" >> "$CONFIG_TMP" > echo "INSTALL=$INSTALL" >> "$CONFIG_TMP" > echo >> "$CONFIG_TMP" > echo "EXTLIBS=\$(COCOA_ROOT)/configuration/ExternalLibs" >> "$CONFIG_TMP" > echo >> "$CONFIG_TMP" > > echo "# Compilation flags common to all cases:" >> "$CONFIG_TMP" > echo "CXXFLAGS_COMMON=$CXXFLAGS_COMMON" >> "$CONFIG_TMP" > echo "CXXFLAGS_DEFINES_COMMON=$CXXFLAGS_DEFINES_COMMON" >> "$CONFIG_TMP" > echo >> "$CONFIG_TMP" > > echo "####################################################" >> "$CONFIG_TMP" > echo "### SPECIFIC compilation flags -- CHOOSE ONE ###" >> "$CONFIG_TMP" > echo "####################################################" >> "$CONFIG_TMP" 904,921c978,979 < echo "### Case (1): compile optimized and without debugging" >> "$CONFIG_FILE" < echo "$HASH_OPT CXXFLAGS_SPECIFIC=$CXXFLAGS_OPT" >> "$CONFIG_FILE" < < echo "### Case (2): compile with debugging activated" >> "$CONFIG_FILE" < echo "$HASH_DEBUG1 CXXFLAGS_SPECIFIC=$CXXFLAGS_DEBUG1" >> "$CONFIG_FILE" < echo "$HASH_DEBUG1 CXXFLAGS_DEFINES_SPECIFIC=$CXXFLAGS_DEFINES_DEBUG1" >> "$CONFIG_FILE" < < echo "### Case (3): compile with full debugging activated" >> "$CONFIG_FILE" < echo "$HASH_DEBUG2 CXXFLAGS_SPECIFIC=$CXXFLAGS_DEBUG2" >> "$CONFIG_FILE" < echo "$HASH_DEBUG2 CXXFLAGS_DEFINES_SPECIFIC=$CXXFLAGS_DEFINES_DEBUG2" >> "$CONFIG_FILE" < < < echo "### Case (4): compile with profiling activated" >> "$CONFIG_FILE" < echo "$HASH_PROFILE CXXFLAGS_SPECIFIC=$CXXFLAGS_PROFILE" >> "$CONFIG_FILE" < < # Tell user the default compilation flags put in the Makefile. < echo "The C++ compilation flags are \"$CXXFLAGS_COMMON $CXXFLAGS_DEFAULT\"" < --- > echo "### Case (1): compile optimized and without debugging" >> "$CONFIG_TMP" > echo "$HASH_OPT CXXFLAGS_SPECIFIC=$CXXFLAGS_OPT" >> "$CONFIG_TMP" 923,933c981,1004 < echo >> "$CONFIG_FILE" < echo >> "$CONFIG_FILE" < echo "# Actual compilation flags:" >> "$CONFIG_FILE" < echo "CXXFLAGS=\$(CXXFLAGS_COMMON) \$(CXXFLAGS_SPECIFIC)" >> "$CONFIG_FILE" < echo "CXXFLAGS_DEFINES=\$(CXXFLAGS_DEFINES_COMMON) \$(CXXFLAGS_DEFINES_SPECIFIC)" >> "$CONFIG_FILE" < echo >> "$CONFIG_FILE" < echo "######################################################" >> "$CONFIG_FILE" < echo "# These variables were set by the configure script." >> "$CONFIG_FILE" < echo >> "$CONFIG_FILE" < echo "CXX=$CXX" >> "$CONFIG_FILE" < echo >> "$CONFIG_FILE" --- > echo "### Case (2): compile with debugging activated" >> "$CONFIG_TMP" > echo "$HASH_DEBUG1 CXXFLAGS_SPECIFIC=$CXXFLAGS_DEBUG1" >> "$CONFIG_TMP" > echo "$HASH_DEBUG1 CXXFLAGS_DEFINES_SPECIFIC=$CXXFLAGS_DEFINES_DEBUG1" >> "$CONFIG_TMP" > > echo "### Case (3): compile with full debugging activated" >> "$CONFIG_TMP" > echo "$HASH_DEBUG2 CXXFLAGS_SPECIFIC=$CXXFLAGS_DEBUG2" >> "$CONFIG_TMP" > echo "$HASH_DEBUG2 CXXFLAGS_DEFINES_SPECIFIC=$CXXFLAGS_DEFINES_DEBUG2" >> "$CONFIG_TMP" > > > echo "### Case (4): compile with profiling activated" >> "$CONFIG_TMP" > echo "$HASH_PROFILE CXXFLAGS_SPECIFIC=$CXXFLAGS_PROFILE" >> "$CONFIG_TMP" > > > echo >> "$CONFIG_TMP" > echo >> "$CONFIG_TMP" > echo "# Actual compilation flags:" >> "$CONFIG_TMP" > echo "CXXFLAGS=\$(CXXFLAGS_COMMON) \$(CXXFLAGS_SPECIFIC)" >> "$CONFIG_TMP" > echo "CXXFLAGS_DEFINES=\$(CXXFLAGS_DEFINES_COMMON) \$(CXXFLAGS_DEFINES_SPECIFIC)" >> "$CONFIG_TMP" > echo >> "$CONFIG_TMP" > echo "######################################################" >> "$CONFIG_TMP" > echo "# These variables were set by the configure script." >> "$CONFIG_TMP" > echo >> "$CONFIG_TMP" > echo "CXX=$CXX" >> "$CONFIG_TMP" > echo >> "$CONFIG_TMP" 937,938c1008,1009 < echo "# We use the following GMP installation:" >> "$CONFIG_FILE" < echo "GMP_VERSION=$GMP_VERSION" >> "$CONFIG_FILE" --- > echo "# We use the following GMP installation:" >> "$CONFIG_TMP" > echo "GMP_VERSION=$GMP_VERSION" >> "$CONFIG_TMP" 942,943c1013,1014 < echo "GMP_LIB=\$(EXTLIBS)/lib/libgmp-symlink.a" >> "$CONFIG_FILE" < echo "GMP_LDLIB=-lgmp-symlink" >> "$CONFIG_FILE" --- > echo "GMP_LIB=\$(EXTLIBS)/lib/libgmp-symlink.a" >> "$CONFIG_TMP" > echo "GMP_LDLIB=-lgmp-symlink" >> "$CONFIG_TMP" 946,947c1017,1018 < echo "GMPXX_LIB=\$(EXTLIBS)/lib/libgmpxx-symlink.a" >> "$CONFIG_FILE" < echo "GMPXX_LDLIB=-lgmpxx-symlink" >> "$CONFIG_FILE" --- > echo "GMPXX_LIB=\$(EXTLIBS)/lib/libgmpxx-symlink.a" >> "$CONFIG_TMP" > echo "GMPXX_LDLIB=-lgmpxx-symlink" >> "$CONFIG_TMP" 950c1021 < echo "GMP_LDLIB=-lgmp" >> "$CONFIG_FILE" --- > echo "GMP_LDLIB=-lgmp" >> "$CONFIG_TMP" 953c1024 < echo "GMPXX_LDLIB=-lgmpxx" >> "$CONFIG_FILE" --- > echo "GMPXX_LDLIB=-lgmpxx" >> "$CONFIG_TMP" 956c1027 < #### echo "GMP_INC_DIR=\"$GMP_INC_DIR\"" >> "$CONFIG_FILE" --- > #### echo "GMP_INC_DIR=\"$GMP_INC_DIR\"" >> "$CONFIG_TMP" 958c1029 < #### echo "GMP_INCLUDE=-isystem \$(GMP_INC_DIR)" >> "$CONFIG_FILE" --- > #### echo "GMP_INCLUDE=-isystem \$(GMP_INC_DIR)" >> "$CONFIG_TMP" 960c1031 < echo >> "$CONFIG_FILE" --- > echo >> "$CONFIG_TMP" 963,964c1034,1035 < echo "HAVE_QMAKE=$HAVE_QMAKE" >> "$CONFIG_FILE" < echo >> "$CONFIG_FILE" --- > echo "HAVE_QMAKE=$HAVE_QMAKE" >> "$CONFIG_TMP" > echo >> "$CONFIG_TMP" 968,969c1039,1040 < echo "# BOOST settings:" >> "$CONFIG_FILE" < echo "HAVE_BOOST=$HAVE_BOOST" >> "$CONFIG_FILE" --- > echo "# BOOST settings:" >> "$CONFIG_TMP" > echo "HAVE_BOOST=$HAVE_BOOST" >> "$CONFIG_TMP" 973,976c1044,1047 < #### echo "BOOST_INC_DIR=\"$BOOST_INC_DIR\"" >> "$CONFIG_FILE" < #### echo "BOOST_INCLUDE=-isystem \$(BOOST_INC_DIR)" >> "$CONFIG_FILE" < #### echo "BOOST_LIBS=-L\"$BOOST_LIB_DIR\" $BOOST_LIBS" >> "$CONFIG_FILE" < echo "BOOST_LDLIBS=$BOOST_LDLIBS" >> "$CONFIG_FILE" --- > #### echo "BOOST_INC_DIR=\"$BOOST_INC_DIR\"" >> "$CONFIG_TMP" > #### echo "BOOST_INCLUDE=-isystem \$(BOOST_INC_DIR)" >> "$CONFIG_TMP" > #### echo "BOOST_LIBS=-L\"$BOOST_LIB_DIR\" $BOOST_LIBS" >> "$CONFIG_TMP" > echo "BOOST_LDLIBS=$BOOST_LDLIBS" >> "$CONFIG_TMP" 978c1049 < echo >> "$CONFIG_FILE" --- > echo >> "$CONFIG_TMP" 983c1054 < echo --- > 987,989c1058,1060 < echo "# READLINE settings:" >> "$CONFIG_FILE" < echo "HAVE_READLINE=$HAVE_READLINE" >> "$CONFIG_FILE" < echo "HAVE_READLINE=$HAVE_READLINE $READLINE_LIB" --- > echo "# READLINE settings:" >> "$CONFIG_TMP" > echo "HAVE_READLINE=$HAVE_READLINE" >> "$CONFIG_TMP" > echo "HAVE_READLINE = $HAVE_READLINE $READLINE_LIB" 992c1063 < echo "READLINE_LDLIBS=-lreadline" >> "$CONFIG_FILE" --- > echo "READLINE_LDLIBS=$READLINE_LIB" >> "$CONFIG_TMP" 994c1065 < echo >> "$CONFIG_FILE" --- > echo >> "$CONFIG_TMP" 997,999c1068,1070 < echo "# CDD settings:" >> "$CONFIG_FILE" < echo "HAVE_CDD=$HAVE_CDD" >> "$CONFIG_FILE" < echo "HAVE_CDD=$HAVE_CDD $CDD_LIB" --- > echo "# CDD settings:" >> "$CONFIG_TMP" > echo "HAVE_CDD=$HAVE_CDD" >> "$CONFIG_TMP" > echo "HAVE_CDD = $HAVE_CDD $CDD_LIB" 1002,1004c1073,1075 < echo "CDD_LIBS=\$(EXTLIBS)/lib/libcddgmp-symlink.a" >> "$CONFIG_FILE" < echo "CDD_LDLIBS=-lcddgmp-symlink" >> "$CONFIG_FILE" < echo "CDD_VERSION=" >> "$CONFIG_FILE" --- > echo "CDD_LIBS=\$(EXTLIBS)/lib/libcddgmp-symlink.a" >> "$CONFIG_TMP" > echo "CDD_LDLIBS=-lcddgmp-symlink" >> "$CONFIG_TMP" > echo "CDD_VERSION=" >> "$CONFIG_TMP" 1006c1077 < echo >> "$CONFIG_FILE" --- > echo >> "$CONFIG_TMP" 1009,1011c1080,1082 < echo "# FROBBY settings:" >> "$CONFIG_FILE" < echo "HAVE_FROBBY=$HAVE_FROBBY" >> "$CONFIG_FILE" < echo "HAVE_FROBBY=$HAVE_FROBBY $FROBBY_LIB" --- > echo "# FROBBY settings:" >> "$CONFIG_TMP" > echo "HAVE_FROBBY=$HAVE_FROBBY" >> "$CONFIG_TMP" > echo "HAVE_FROBBY = $HAVE_FROBBY $FROBBY_LIB" 1015,1017c1086,1088 < echo "FROBBY_LIBS=\$(EXTLIBS)/lib/libfrobby-symlink.a \$(GMPXX_LIB)" >> "$CONFIG_FILE" < echo "FROBBY_LDLIBS=-lfrobby-symlink" >> "$CONFIG_FILE" < echo "FROBBY_VERSION=" >> "$CONFIG_FILE" --- > echo "FROBBY_LIBS=\$(EXTLIBS)/lib/libfrobby-symlink.a \$(GMPXX_LIB)" >> "$CONFIG_TMP" > echo "FROBBY_LDLIBS=-lfrobby-symlink" >> "$CONFIG_TMP" > echo "FROBBY_VERSION=" >> "$CONFIG_TMP" 1019c1090 < echo >> "$CONFIG_FILE" --- > echo >> "$CONFIG_TMP" 1022,1024c1093,1095 < echo "# GFAN settings:" >> "$CONFIG_FILE" < echo "HAVE_GFAN=$HAVE_GFAN" >> "$CONFIG_FILE" < echo "HAVE_GFAN=$HAVE_GFAN $GFAN_LIB" --- > echo "# GFAN settings:" >> "$CONFIG_TMP" > echo "HAVE_GFAN=$HAVE_GFAN" >> "$CONFIG_TMP" > echo "HAVE_GFAN = $HAVE_GFAN $GFAN_LIB" 1027,1029c1098,1100 < echo "GFAN_LIBS=\$(EXTLIBS)/lib/libgfan-symlink.a" >> "$CONFIG_FILE" < echo "GFAN_LDLIBS=-lgfan-symlink" >> "$CONFIG_FILE" < echo "GFAN_VERSION=" >> "$CONFIG_FILE" --- > echo "GFAN_LIBS=\$(EXTLIBS)/lib/libgfan-symlink.a" >> "$CONFIG_TMP" > echo "GFAN_LDLIBS=-lgfan-symlink" >> "$CONFIG_TMP" > echo "GFAN_VERSION=" >> "$CONFIG_TMP" 1031c1102 < echo >> "$CONFIG_FILE" --- > echo >> "$CONFIG_TMP" 1034,1036c1105,1107 < echo "# GSL settings:" >> "$CONFIG_FILE" < echo "HAVE_GSL=$HAVE_GSL" >> "$CONFIG_FILE" < echo "HAVE_GSL=$HAVE_GSL $GSL_LIB" --- > echo "# GSL settings:" >> "$CONFIG_TMP" > echo "HAVE_GSL=$HAVE_GSL" >> "$CONFIG_TMP" > echo "HAVE_GSL = $HAVE_GSL $GSL_LIB" 1039,1043c1110,1114 < #### echo "GSL_INC_DIR=\"$GSL_INC_DIR\"" >> "$CONFIG_FILE" < #### echo "GSL_INCLUDE=-I \$(GSL_INC_DIR)" >> "$CONFIG_FILE" < echo "GSL_LIBS=\$(EXTLIBS)/lib/libgsl-symlink.a" >> "$CONFIG_FILE" < echo "GSL_LDLIBS=-lgsl-symlink -lblas -llapack" >> "$CONFIG_FILE" < echo "GSL_VERSION=" >> "$CONFIG_FILE" --- > #### echo "GSL_INC_DIR=\"$GSL_INC_DIR\"" >> "$CONFIG_TMP" > #### echo "GSL_INCLUDE=-I \$(GSL_INC_DIR)" >> "$CONFIG_TMP" > echo "GSL_LIBS=\$(EXTLIBS)/lib/libgsl-symlink.a" >> "$CONFIG_TMP" > echo "GSL_LDLIBS=-lgsl-symlink -lblas -llapack" >> "$CONFIG_TMP" > echo "GSL_VERSION=" >> "$CONFIG_TMP" 1045c1116 < echo >> "$CONFIG_FILE" --- > echo >> "$CONFIG_TMP" 1048,1050c1119,1121 < echo "# Normaliz settings:" >> "$CONFIG_FILE" < echo "HAVE_NORMALIZ=$HAVE_NORMALIZ" >> "$CONFIG_FILE" < echo "HAVE_NORMALIZ=$HAVE_NORMALIZ $NORMALIZ_LIB" --- > echo "# Normaliz settings:" >> "$CONFIG_TMP" > echo "HAVE_NORMALIZ=$HAVE_NORMALIZ" >> "$CONFIG_TMP" > echo "HAVE_NORMALIZ = $HAVE_NORMALIZ $NORMALIZ_LIB" 1054,1056c1125,1127 < echo "NORMALIZ_LIBS=\$(EXTLIBS)/lib/libnormaliz-symlink.a \$(GMPXX_LIB)" >> "$CONFIG_FILE" < echo "NORMALIZ_LDLIBS=-lnormaliz-symlink" >> "$CONFIG_FILE" < echo "NORMALIZ_VERSION=" >> "$CONFIG_FILE" --- > echo "NORMALIZ_LIBS=\$(EXTLIBS)/lib/libnormaliz-symlink.a \$(GMPXX_LIB)" >> "$CONFIG_TMP" > echo "NORMALIZ_LDLIBS=-lnormaliz-symlink" >> "$CONFIG_TMP" > echo "NORMALIZ_VERSION=" >> "$CONFIG_TMP" 1058c1129 < echo >> "$CONFIG_FILE" --- > echo >> "$CONFIG_TMP" 1062,1063c1133 < echo "LDLIBS=\$(COCOA_LIB) -L\$(EXTLIBS)/lib \$(FROBBY_LDLIBS) \$(GFAN_LDLIBS) \$(CDD_LDLIBS) \$(GSL_LDLIBS) \$(NORMALIZ_LDLIBS) \$(GMPXX_LDLIB) \$(GMP_LDLIB) \$(SOCKET_LIB) \$(BOOST_LDLIBS) \$(READLINE_LDLIBS)" >> "$CONFIG_FILE" < --- > echo "LDLIBS=$LDFPIC \$(COCOA_LIB) -L\$(EXTLIBS)/lib \$(FROBBY_LDLIBS) \$(GFAN_LDLIBS) \$(CDD_LDLIBS) \$(GSL_LDLIBS) \$(NORMALIZ_LDLIBS) \$(GMPXX_LDLIB) \$(GMP_LDLIB) \$(SOCKET_LIB) \$(BOOST_LDLIBS) \$(READLINE_LDLIBS)" >> "$CONFIG_TMP" 1076c1146 < echo "SOCKET_LIB=$SOCKET_LIB" >> "$CONFIG_FILE" --- > echo "SOCKET_LIB=$SOCKET_LIB" >> "$CONFIG_TMP" 1081,1083c1151 < # Append the second fixed part to $CONFIG_FILE < < /bin/cat "$CONFIG_DIR/fixed_part2" >> "$CONFIG_FILE" --- > # Append the second fixed part to $CONFIG_TMP, then rename to $CONFIG_FILE 1084a1153,1154 > /bin/cat "$CONFIG_DIR/fixed_part2" >> "$CONFIG_TMP" > /bin/mv "$CONFIG_TMP" "$CONFIG_FILE" 1095c1165 < echo "CoCoALib configuration process complete" --- > echo "CoCoALib configuration process complete." 1096a1167,1171 > if [ -n "$WARNINGS" ] > then > echo "=======================================================" > echo "**WARNINGS** $WARNINGS" > fi