Changeset 22e84a in git


Ignore:
Timestamp:
Jan 23, 2007, 11:16:40 PM (17 years ago)
Author:
Kai Krüger <krueger@…>
Branches:
(u'fieker-DuVal', '117eb8c30fc9e991c4decca4832b1d19036c4c65')(u'spielwiese', 'b4f17ed1d25f93d46dbe29e4b499baecc2fd51bb')
Children:
b830620f6c1ad152684c50f2ff60c291a91f7054
Parents:
e6de3312fe8dc495d432f2eca2d429a44e4de32f
Message:
*kai: minor corrections to handling of subdirs kernel and IntegerProgramming in toplevel configure


git-svn-id: file:///usr/local/Singular/svn/trunk@9754 2c84dea3-7e68-4137-9b89-c4e89433aadc
Files:
2 edited

Legend:

Unmodified
Added
Removed
  • configure

    re6de331 r22e84a  
    12141214fi
    12151215
     1216for ac_declaration in \
     1217   ''\
     1218   '#include <stdlib.h>' \
     1219   'extern "C" void std::exit (int) throw (); using std::exit;' \
     1220   'extern "C" void std::exit (int); using std::exit;' \
     1221   'extern "C" void exit (int) throw ();' \
     1222   'extern "C" void exit (int);' \
     1223   'void exit (int);'
     1224do
     1225  cat > conftest.$ac_ext <<EOF
     1226#line 1227 "configure"
     1227#include "confdefs.h"
     1228#include <stdlib.h>
     1229$ac_declaration
     1230int main() {
     1231exit (42);
     1232; return 0; }
     1233EOF
     1234if { (eval echo configure:1235: \"$ac_compile\") 1>&5; (eval $ac_compile) 2>&5; }; then
     1235  :
     1236else
     1237  echo "configure: failed program was:" >&5
     1238  cat conftest.$ac_ext >&5
     1239  rm -rf conftest*
     1240  continue
     1241fi
     1242rm -f conftest*
     1243  cat > conftest.$ac_ext <<EOF
     1244#line 1245 "configure"
     1245#include "confdefs.h"
     1246$ac_declaration
     1247int main() {
     1248exit (42);
     1249; return 0; }
     1250EOF
     1251if { (eval echo configure:1252: \"$ac_compile\") 1>&5; (eval $ac_compile) 2>&5; }; then
     1252  rm -rf conftest*
     1253  break
     1254else
     1255  echo "configure: failed program was:" >&5
     1256  cat conftest.$ac_ext >&5
     1257fi
     1258rm -f conftest*
     1259done
     1260if test -n "$ac_declaration"; then
     1261  echo '#ifdef __cplusplus' >>confdefs.h
     1262  echo $ac_declaration      >>confdefs.h
     1263  echo '#endif'             >>confdefs.h
     1264fi
     1265
     1266
    12161267
    12171268SING_CC=${CC}; export SING_CC
     
    12201271# check whether the compiler accepts -pipe
    12211272echo $ac_n "checking whether compiler accepts -pipe""... $ac_c" 1>&6
    1222 echo "configure:1223: checking whether compiler accepts -pipe" >&5
     1273echo "configure:1274: checking whether compiler accepts -pipe" >&5
    12231274temp_cflags=${CFLAGS}
    12241275CFLAGS="${CFLAGS} -pipe"
     
    12271278else
    12281279  cat > conftest.$ac_ext <<EOF
    1229 #line 1230 "configure"
     1280#line 1281 "configure"
    12301281#include "confdefs.h"
    12311282
     
    12341285; return 0; }
    12351286EOF
    1236 if { (eval echo configure:1237: \"$ac_compile\") 1>&5; (eval $ac_compile) 2>&5; }; then
     1287if { (eval echo configure:1288: \"$ac_compile\") 1>&5; (eval $ac_compile) 2>&5; }; then
    12371288  rm -rf conftest*
    12381289  ac_cv_cxx_have_pipe=yes
     
    12611312set dummy $ac_prog; ac_word=$2
    12621313echo $ac_n "checking for $ac_word""... $ac_c" 1>&6
    1263 echo "configure:1264: checking for $ac_word" >&5
     1314echo "configure:1315: checking for $ac_word" >&5
    12641315if eval "test \"`echo '$''{'ac_cv_prog_PERL'+set}'`\" = set"; then
    12651316  echo $ac_n "(cached) $ac_c" 1>&6
     
    12951346set dummy $ac_prog; ac_word=$2
    12961347echo $ac_n "checking for $ac_word""... $ac_c" 1>&6
    1297 echo "configure:1298: checking for $ac_word" >&5
     1348echo "configure:1349: checking for $ac_word" >&5
    12981349if eval "test \"`echo '$''{'ac_cv_prog_UUDECODE'+set}'`\" = set"; then
    12991350  echo $ac_n "(cached) $ac_c" 1>&6
     
    13291380set dummy $ac_prog; ac_word=$2
    13301381echo $ac_n "checking for $ac_word""... $ac_c" 1>&6
    1331 echo "configure:1332: checking for $ac_word" >&5
     1382echo "configure:1383: checking for $ac_word" >&5
    13321383if eval "test \"`echo '$''{'ac_cv_prog_GUNZIP'+set}'`\" = set"; then
    13331384  echo $ac_n "(cached) $ac_c" 1>&6
     
    13651416set dummy $ac_prog; ac_word=$2
    13661417echo $ac_n "checking for $ac_word""... $ac_c" 1>&6
    1367 echo "configure:1368: checking for $ac_word" >&5
     1418echo "configure:1419: checking for $ac_word" >&5
    13681419if eval "test \"`echo '$''{'ac_cv_prog_MYGZIP'+set}'`\" = set"; then
    13691420  echo $ac_n "(cached) $ac_c" 1>&6
     
    13981449set dummy latex2html; ac_word=$2
    13991450echo $ac_n "checking for $ac_word""... $ac_c" 1>&6
    1400 echo "configure:1401: checking for $ac_word" >&5
     1451echo "configure:1452: checking for $ac_word" >&5
    14011452if eval "test \"`echo '$''{'ac_cv_prog_LATEX2HTML'+set}'`\" = set"; then
    14021453  echo $ac_n "(cached) $ac_c" 1>&6
     
    14251476
    14261477echo $ac_n "checking whether ln -s works""... $ac_c" 1>&6
    1427 echo "configure:1428: checking whether ln -s works" >&5
     1478echo "configure:1479: checking whether ln -s works" >&5
    14281479if eval "test \"`echo '$''{'ac_cv_prog_LN_S'+set}'`\" = set"; then
    14291480  echo $ac_n "(cached) $ac_c" 1>&6
     
    14951546# check for AIX
    14961547echo $ac_n "checking whether _AIX is defined""... $ac_c" 1>&6
    1497 echo "configure:1498: checking whether _AIX is defined" >&5
     1548echo "configure:1549: checking whether _AIX is defined" >&5
    14981549if eval "test \"`echo '$''{'ac_cv_is_aix'+set}'`\" = set"; then
    14991550  echo $ac_n "(cached) $ac_c" 1>&6
    15001551else
    15011552  cat > conftest.$ac_ext <<EOF
    1502 #line 1503 "configure"
     1553#line 1554 "configure"
    15031554#include "confdefs.h"
    15041555#ifdef _AIX
     
    15261577
    15271578echo $ac_n "checking for atof in -lm""... $ac_c" 1>&6
    1528 echo "configure:1529: checking for atof in -lm" >&5
     1579echo "configure:1580: checking for atof in -lm" >&5
    15291580ac_lib_var=`echo m'_'atof | sed 'y%./+-%__p_%'`
    15301581if eval "test \"`echo '$''{'ac_cv_lib_$ac_lib_var'+set}'`\" = set"; then
     
    15341585LIBS="-lm  $LIBS"
    15351586cat > conftest.$ac_ext <<EOF
    1536 #line 1537 "configure"
     1587#line 1588 "configure"
    15371588#include "confdefs.h"
    15381589/* Override any gcc2 internal prototype to avoid an error.  */
     
    15451596; return 0; }
    15461597EOF
    1547 if { (eval echo configure:1548: \"$ac_link\") 1>&5; (eval $ac_link) 2>&5; } && test -s conftest${ac_exeext}; then
     1598if { (eval echo configure:1599: \"$ac_link\") 1>&5; (eval $ac_link) 2>&5; } && test -s conftest${ac_exeext}; then
    15481599  rm -rf conftest*
    15491600  eval "ac_cv_lib_$ac_lib_var=yes"
     
    15731624
    15741625echo $ac_n "checking for socket in -lbsd""... $ac_c" 1>&6
    1575 echo "configure:1576: checking for socket in -lbsd" >&5
     1626echo "configure:1627: checking for socket in -lbsd" >&5
    15761627ac_lib_var=`echo bsd'_'socket | sed 'y%./+-%__p_%'`
    15771628if eval "test \"`echo '$''{'ac_cv_lib_$ac_lib_var'+set}'`\" = set"; then
     
    15811632LIBS="-lbsd  $LIBS"
    15821633cat > conftest.$ac_ext <<EOF
    1583 #line 1584 "configure"
     1634#line 1635 "configure"
    15841635#include "confdefs.h"
    15851636/* Override any gcc2 internal prototype to avoid an error.  */
     
    15921643; return 0; }
    15931644EOF
    1594 if { (eval echo configure:1595: \"$ac_link\") 1>&5; (eval $ac_link) 2>&5; } && test -s conftest${ac_exeext}; then
     1645if { (eval echo configure:1646: \"$ac_link\") 1>&5; (eval $ac_link) 2>&5; } && test -s conftest${ac_exeext}; then
    15951646  rm -rf conftest*
    15961647  eval "ac_cv_lib_$ac_lib_var=yes"
     
    16201671
    16211672echo $ac_n "checking for listen in -lsocket""... $ac_c" 1>&6
    1622 echo "configure:1623: checking for listen in -lsocket" >&5
     1673echo "configure:1674: checking for listen in -lsocket" >&5
    16231674ac_lib_var=`echo socket'_'listen | sed 'y%./+-%__p_%'`
    16241675if eval "test \"`echo '$''{'ac_cv_lib_$ac_lib_var'+set}'`\" = set"; then
     
    16281679LIBS="-lsocket  $LIBS"
    16291680cat > conftest.$ac_ext <<EOF
    1630 #line 1631 "configure"
     1681#line 1682 "configure"
    16311682#include "confdefs.h"
    16321683/* Override any gcc2 internal prototype to avoid an error.  */
     
    16391690; return 0; }
    16401691EOF
    1641 if { (eval echo configure:1642: \"$ac_link\") 1>&5; (eval $ac_link) 2>&5; } && test -s conftest${ac_exeext}; then
     1692if { (eval echo configure:1693: \"$ac_link\") 1>&5; (eval $ac_link) 2>&5; } && test -s conftest${ac_exeext}; then
    16421693  rm -rf conftest*
    16431694  eval "ac_cv_lib_$ac_lib_var=yes"
     
    16671718
    16681719echo $ac_n "checking for gethostbyname in -lnsl""... $ac_c" 1>&6
    1669 echo "configure:1670: checking for gethostbyname in -lnsl" >&5
     1720echo "configure:1721: checking for gethostbyname in -lnsl" >&5
    16701721ac_lib_var=`echo nsl'_'gethostbyname | sed 'y%./+-%__p_%'`
    16711722if eval "test \"`echo '$''{'ac_cv_lib_$ac_lib_var'+set}'`\" = set"; then
     
    16751726LIBS="-lnsl  $LIBS"
    16761727cat > conftest.$ac_ext <<EOF
    1677 #line 1678 "configure"
     1728#line 1729 "configure"
    16781729#include "confdefs.h"
    16791730/* Override any gcc2 internal prototype to avoid an error.  */
     
    16861737; return 0; }
    16871738EOF
    1688 if { (eval echo configure:1689: \"$ac_link\") 1>&5; (eval $ac_link) 2>&5; } && test -s conftest${ac_exeext}; then
     1739if { (eval echo configure:1740: \"$ac_link\") 1>&5; (eval $ac_link) 2>&5; } && test -s conftest${ac_exeext}; then
    16891740  rm -rf conftest*
    16901741  eval "ac_cv_lib_$ac_lib_var=yes"
     
    17141765
    17151766echo $ac_n "checking for main in -lgmp""... $ac_c" 1>&6
    1716 echo "configure:1717: checking for main in -lgmp" >&5
     1767echo "configure:1768: checking for main in -lgmp" >&5
    17171768ac_lib_var=`echo gmp'_'main | sed 'y%./+-%__p_%'`
    17181769if eval "test \"`echo '$''{'ac_cv_lib_$ac_lib_var'+set}'`\" = set"; then
     
    17221773LIBS="-lgmp  $LIBS"
    17231774cat > conftest.$ac_ext <<EOF
    1724 #line 1725 "configure"
     1775#line 1776 "configure"
    17251776#include "confdefs.h"
    17261777
     
    17291780; return 0; }
    17301781EOF
    1731 if { (eval echo configure:1732: \"$ac_link\") 1>&5; (eval $ac_link) 2>&5; } && test -s conftest${ac_exeext}; then
     1782if { (eval echo configure:1783: \"$ac_link\") 1>&5; (eval $ac_link) 2>&5; } && test -s conftest${ac_exeext}; then
    17321783  rm -rf conftest*
    17331784  eval "ac_cv_lib_$ac_lib_var=yes"
     
    17571808
    17581809echo $ac_n "checking for IMP_PutGmpInt in -lMP""... $ac_c" 1>&6
    1759 echo "configure:1760: checking for IMP_PutGmpInt in -lMP" >&5
     1810echo "configure:1811: checking for IMP_PutGmpInt in -lMP" >&5
    17601811ac_lib_var=`echo MP'_'IMP_PutGmpInt | sed 'y%./+-%__p_%'`
    17611812if eval "test \"`echo '$''{'ac_cv_lib_$ac_lib_var'+set}'`\" = set"; then
     
    17651816LIBS="-lMP  $LIBS"
    17661817cat > conftest.$ac_ext <<EOF
    1767 #line 1768 "configure"
     1818#line 1819 "configure"
    17681819#include "confdefs.h"
    17691820/* Override any gcc2 internal prototype to avoid an error.  */
     
    17761827; return 0; }
    17771828EOF
    1778 if { (eval echo configure:1779: \"$ac_link\") 1>&5; (eval $ac_link) 2>&5; } && test -s conftest${ac_exeext}; then
     1829if { (eval echo configure:1830: \"$ac_link\") 1>&5; (eval $ac_link) 2>&5; } && test -s conftest${ac_exeext}; then
    17791830  rm -rf conftest*
    17801831  eval "ac_cv_lib_$ac_lib_var=yes"
     
    18041855
    18051856echo $ac_n "checking for MPT_GetTree in -lMPT""... $ac_c" 1>&6
    1806 echo "configure:1807: checking for MPT_GetTree in -lMPT" >&5
     1857echo "configure:1858: checking for MPT_GetTree in -lMPT" >&5
    18071858ac_lib_var=`echo MPT'_'MPT_GetTree | sed 'y%./+-%__p_%'`
    18081859if eval "test \"`echo '$''{'ac_cv_lib_$ac_lib_var'+set}'`\" = set"; then
     
    18121863LIBS="-lMPT  $LIBS"
    18131864cat > conftest.$ac_ext <<EOF
    1814 #line 1815 "configure"
     1865#line 1866 "configure"
    18151866#include "confdefs.h"
    18161867/* Override any gcc2 internal prototype to avoid an error.  */
     
    18231874; return 0; }
    18241875EOF
    1825 if { (eval echo configure:1826: \"$ac_link\") 1>&5; (eval $ac_link) 2>&5; } && test -s conftest${ac_exeext}; then
     1876if { (eval echo configure:1877: \"$ac_link\") 1>&5; (eval $ac_link) 2>&5; } && test -s conftest${ac_exeext}; then
    18261877  rm -rf conftest*
    18271878  eval "ac_cv_lib_$ac_lib_var=yes"
     
    18511902
    18521903echo $ac_n "checking for atof in -lsingcf""... $ac_c" 1>&6
    1853 echo "configure:1854: checking for atof in -lsingcf" >&5
     1904echo "configure:1905: checking for atof in -lsingcf" >&5
    18541905ac_lib_var=`echo singcf'_'atof | sed 'y%./+-%__p_%'`
    18551906if eval "test \"`echo '$''{'ac_cv_lib_$ac_lib_var'+set}'`\" = set"; then
     
    18591910LIBS="-lsingcf  $LIBS"
    18601911cat > conftest.$ac_ext <<EOF
    1861 #line 1862 "configure"
     1912#line 1913 "configure"
    18621913#include "confdefs.h"
    18631914/* Override any gcc2 internal prototype to avoid an error.  */
     
    18701921; return 0; }
    18711922EOF
    1872 if { (eval echo configure:1873: \"$ac_link\") 1>&5; (eval $ac_link) 2>&5; } && test -s conftest${ac_exeext}; then
     1923if { (eval echo configure:1924: \"$ac_link\") 1>&5; (eval $ac_link) 2>&5; } && test -s conftest${ac_exeext}; then
    18731924  rm -rf conftest*
    18741925  eval "ac_cv_lib_$ac_lib_var=yes"
     
    18981949
    18991950echo $ac_n "checking for atof in -lsingfac""... $ac_c" 1>&6
    1900 echo "configure:1901: checking for atof in -lsingfac" >&5
     1951echo "configure:1952: checking for atof in -lsingfac" >&5
    19011952ac_lib_var=`echo singfac'_'atof | sed 'y%./+-%__p_%'`
    19021953if eval "test \"`echo '$''{'ac_cv_lib_$ac_lib_var'+set}'`\" = set"; then
     
    19061957LIBS="-lsingfac  $LIBS"
    19071958cat > conftest.$ac_ext <<EOF
    1908 #line 1909 "configure"
     1959#line 1960 "configure"
    19091960#include "confdefs.h"
    19101961/* Override any gcc2 internal prototype to avoid an error.  */
     
    19171968; return 0; }
    19181969EOF
    1919 if { (eval echo configure:1920: \"$ac_link\") 1>&5; (eval $ac_link) 2>&5; } && test -s conftest${ac_exeext}; then
     1970if { (eval echo configure:1971: \"$ac_link\") 1>&5; (eval $ac_link) 2>&5; } && test -s conftest${ac_exeext}; then
    19201971  rm -rf conftest*
    19211972  eval "ac_cv_lib_$ac_lib_var=yes"
     
    19451996
    19461997echo $ac_n "checking for omTestAddr in -lomalloc""... $ac_c" 1>&6
    1947 echo "configure:1948: checking for omTestAddr in -lomalloc" >&5
     1998echo "configure:1999: checking for omTestAddr in -lomalloc" >&5
    19481999ac_lib_var=`echo omalloc'_'omTestAddr | sed 'y%./+-%__p_%'`
    19492000if eval "test \"`echo '$''{'ac_cv_lib_$ac_lib_var'+set}'`\" = set"; then
     
    19532004LIBS="-lomalloc  $LIBS"
    19542005cat > conftest.$ac_ext <<EOF
    1955 #line 1956 "configure"
     2006#line 2007 "configure"
    19562007#include "confdefs.h"
    19572008/* Override any gcc2 internal prototype to avoid an error.  */
     
    19642015; return 0; }
    19652016EOF
    1966 if { (eval echo configure:1967: \"$ac_link\") 1>&5; (eval $ac_link) 2>&5; } && test -s conftest${ac_exeext}; then
     2017if { (eval echo configure:2018: \"$ac_link\") 1>&5; (eval $ac_link) 2>&5; } && test -s conftest${ac_exeext}; then
    19672018  rm -rf conftest*
    19682019  eval "ac_cv_lib_$ac_lib_var=yes"
     
    19922043
    19932044echo $ac_n "checking for main in -lomalloc_ndebug""... $ac_c" 1>&6
    1994 echo "configure:1995: checking for main in -lomalloc_ndebug" >&5
     2045echo "configure:2046: checking for main in -lomalloc_ndebug" >&5
    19952046ac_lib_var=`echo omalloc_ndebug'_'main | sed 'y%./+-%__p_%'`
    19962047if eval "test \"`echo '$''{'ac_cv_lib_$ac_lib_var'+set}'`\" = set"; then
     
    20002051LIBS="-lomalloc_ndebug  $LIBS"
    20012052cat > conftest.$ac_ext <<EOF
    2002 #line 2003 "configure"
     2053#line 2054 "configure"
    20032054#include "confdefs.h"
    20042055
     
    20072058; return 0; }
    20082059EOF
    2009 if { (eval echo configure:2010: \"$ac_link\") 1>&5; (eval $ac_link) 2>&5; } && test -s conftest${ac_exeext}; then
     2060if { (eval echo configure:2061: \"$ac_link\") 1>&5; (eval $ac_link) 2>&5; } && test -s conftest${ac_exeext}; then
    20102061  rm -rf conftest*
    20112062  eval "ac_cv_lib_$ac_lib_var=yes"
     
    20392090ac_safe=`echo "$ac_hdr" | sed 'y%./+-%__p_%'`
    20402091echo $ac_n "checking for $ac_hdr""... $ac_c" 1>&6
    2041 echo "configure:2042: checking for $ac_hdr" >&5
     2092echo "configure:2093: checking for $ac_hdr" >&5
    20422093if eval "test \"`echo '$''{'ac_cv_header_$ac_safe'+set}'`\" = set"; then
    20432094  echo $ac_n "(cached) $ac_c" 1>&6
    20442095else
    20452096  cat > conftest.$ac_ext <<EOF
    2046 #line 2047 "configure"
     2097#line 2098 "configure"
    20472098#include "confdefs.h"
    20482099#include <$ac_hdr>
    20492100EOF
    20502101ac_try="$ac_cpp conftest.$ac_ext >/dev/null 2>conftest.out"
    2051 { (eval echo configure:2052: \"$ac_try\") 1>&5; (eval $ac_try) 2>&5; }
     2102{ (eval echo configure:2103: \"$ac_try\") 1>&5; (eval $ac_try) 2>&5; }
    20522103ac_err=`grep -v '^ *+' conftest.out | grep -v "^conftest.${ac_ext}\$"`
    20532104if test -z "$ac_err"; then
     
    22192270
    22202271echo $ac_n "checking which tmp dir to use""... $ac_c" 1>&6
    2221 echo "configure:2222: checking which tmp dir to use" >&5
     2272echo "configure:2273: checking which tmp dir to use" >&5
    22222273if test "${with_tmpdir+set}" = set && test -d ${with_tmpdir}; then
    22232274  if (echo "${with_tmpdir}" | egrep "\." >/dev/null 2>&1)
     
    22342285
    22352286echo $ac_n "checking whether to configure and build omalloc""... $ac_c" 1>&6
    2236 echo "configure:2237: checking whether to configure and build omalloc" >&5
     2287echo "configure:2288: checking whether to configure and build omalloc" >&5
    22372288if test "${enable_omalloc+set}" != set; then
    22382289   if test "$ac_cv_omalloc_ok" = yes; then
     
    22732324
    22742325echo $ac_n "checking whether to configure and build gmp lib""... $ac_c" 1>&6
    2275 echo "configure:2276: checking whether to configure and build gmp lib" >&5
     2326echo "configure:2327: checking whether to configure and build gmp lib" >&5
    22762327if test "$enable_gmp" != yes && test "$enable_gmp" != no; then
    22772328  if test "$ac_gmp_ok" != yes && test -d gmp; then
     
    23332384# requires: sizeof(long)==4
    23342385echo $ac_n "checking size of long""... $ac_c" 1>&6
    2335 echo "configure:2336: checking size of long" >&5
     2386echo "configure:2387: checking size of long" >&5
    23362387if eval "test \"`echo '$''{'ac_cv_sizeof_long'+set}'`\" = set"; then
    23372388  echo $ac_n "(cached) $ac_c" 1>&6
     
    23412392else
    23422393  cat > conftest.$ac_ext <<EOF
    2343 #line 2344 "configure"
     2394#line 2395 "configure"
    23442395#include "confdefs.h"
    23452396#include <stdio.h>
    2346 main()
     2397int main()
    23472398{
    23482399  FILE *f=fopen("conftestval", "w");
    2349   if (!f) exit(1);
     2400  if (!f) return(1);
    23502401  fprintf(f, "%d\n", sizeof(long));
    2351   exit(0);
     2402  return(0);
    23522403}
    23532404EOF
    2354 if { (eval echo configure:2355: \"$ac_link\") 1>&5; (eval $ac_link) 2>&5; } && test -s conftest${ac_exeext} && (./conftest; exit) 2>/dev/null
     2405if { (eval echo configure:2406: \"$ac_link\") 1>&5; (eval $ac_link) 2>&5; } && test -s conftest${ac_exeext} && (./conftest; exit) 2>/dev/null
    23552406then
    23562407  ac_cv_sizeof_long=`cat conftestval`
     
    23762427
    23772428echo $ac_n "checking whether to configure and build MP lib""... $ac_c" 1>&6
    2378 echo "configure:2379: checking whether to configure and build MP lib" >&5
     2429echo "configure:2430: checking whether to configure and build MP lib" >&5
    23792430
    23802431if test "$enable_MP" != yes && test "$enable_MP" != no; then
     
    24132464
    24142465echo $ac_n "checking whether to configure and build NTL lib""... $ac_c" 1>&6
    2415 echo "configure:2416: checking whether to configure and build NTL lib" >&5
     2466echo "configure:2467: checking whether to configure and build NTL lib" >&5
    24162467if test "$enable_NTL" != yes && test "$enable_NTL" != no; then
    24172468  if test "$with_NTL" != no && test "$ac_NTL_ok" != yes && \
     
    24302481
    24312482    echo $ac_n "checking how to run the C++ preprocessor""... $ac_c" 1>&6
    2432 echo "configure:2433: checking how to run the C++ preprocessor" >&5
     2483echo "configure:2484: checking how to run the C++ preprocessor" >&5
    24332484if test -z "$CXXCPP"; then
    24342485if eval "test \"`echo '$''{'ac_cv_prog_CXXCPP'+set}'`\" = set"; then
     
    24432494  CXXCPP="${CXX-g++} -E"
    24442495  cat > conftest.$ac_ext <<EOF
    2445 #line 2446 "configure"
     2496#line 2497 "configure"
    24462497#include "confdefs.h"
    24472498#include <stdlib.h>
    24482499EOF
    24492500ac_try="$ac_cpp conftest.$ac_ext >/dev/null 2>conftest.out"
    2450 { (eval echo configure:2451: \"$ac_try\") 1>&5; (eval $ac_try) 2>&5; }
     2501{ (eval echo configure:2502: \"$ac_try\") 1>&5; (eval $ac_try) 2>&5; }
    24512502ac_err=`grep -v '^ *+' conftest.out | grep -v "^conftest.${ac_ext}\$"`
    24522503if test -z "$ac_err"; then
     
    24762527ac_safe=`echo "$ac_hdr" | sed 'y%./+-%__p_%'`
    24772528echo $ac_n "checking for $ac_hdr""... $ac_c" 1>&6
    2478 echo "configure:2479: checking for $ac_hdr" >&5
     2529echo "configure:2530: checking for $ac_hdr" >&5
    24792530if eval "test \"`echo '$''{'ac_cv_header_$ac_safe'+set}'`\" = set"; then
    24802531  echo $ac_n "(cached) $ac_c" 1>&6
    24812532else
    24822533  cat > conftest.$ac_ext <<EOF
    2483 #line 2484 "configure"
     2534#line 2535 "configure"
    24842535#include "confdefs.h"
    24852536#include <$ac_hdr>
    24862537EOF
    24872538ac_try="$ac_cpp conftest.$ac_ext >/dev/null 2>conftest.out"
    2488 { (eval echo configure:2489: \"$ac_try\") 1>&5; (eval $ac_try) 2>&5; }
     2539{ (eval echo configure:2540: \"$ac_try\") 1>&5; (eval $ac_try) 2>&5; }
    24892540ac_err=`grep -v '^ *+' conftest.out | grep -v "^conftest.${ac_ext}\$"`
    24902541if test -z "$ac_err"; then
     
    25312582
    25322583echo $ac_n "checking whether to configure and build factory lib""... $ac_c" 1>&6
    2533 echo "configure:2534: checking whether to configure and build factory lib" >&5
     2584echo "configure:2585: checking whether to configure and build factory lib" >&5
    25342585if test "$enable_factory" != yes && test "$enable_factory" != no; then
    25352586  if test "$with_factory" != no && test "$ac_factory_ok" != yes && \
     
    25582609
    25592610echo $ac_n "checking whether to configure and build libfac lib""... $ac_c" 1>&6
    2560 echo "configure:2561: checking whether to configure and build libfac lib" >&5
     2611echo "configure:2612: checking whether to configure and build libfac lib" >&5
    25612612if test "$enable_libfac" != yes && test "$enable_libfac" != no; then
    25622613  if test "$with_libfac" != no && test "$ac_libfac_ok" != yes && \
     
    25902641
    25912642echo $ac_n "checking whether to configure and build sgroup lib""... $ac_c" 1>&6
    2592 echo "configure:2593: checking whether to configure and build sgroup lib" >&5
     2643echo "configure:2644: checking whether to configure and build sgroup lib" >&5
    25932644if test "$enable_sgroup" = yes; then
    25942645  if test ! -d sgroup; then
     
    26112662
    26122663echo $ac_n "checking whether to configure and build Singular""... $ac_c" 1>&6
    2613 echo "configure:2614: checking whether to configure and build Singular" >&5
     2664echo "configure:2665: checking whether to configure and build Singular" >&5
    26142665if test "$enable_Singular" != yes && test "$enable_Singular" != no; then
    26152666  if test "$with_Singular" != no && test -d Singular; then
     
    26422693
    26432694echo $ac_n "checking whether to build IntegerProgramming""... $ac_c" 1>&6
    2644 echo "configure:2645: checking whether to build IntegerProgramming" >&5
     2695echo "configure:2696: checking whether to build IntegerProgramming" >&5
    26452696if test "$enable_IntegerProgramming" != no && test -d "IntegerProgramming"; then
    26462697   BUILD_SUBDIRS="$BUILD_SUBDIRS IntegerProgramming"
     
    26552706
    26562707echo $ac_n "checking whether to build Plural""... $ac_c" 1>&6
    2657 echo "configure:2658: checking whether to build Plural" >&5
     2708echo "configure:2709: checking whether to build Plural" >&5
    26582709if test "$enable_Plural" != no || test "$with_Plural" != no; then
    26592710   echo "$ac_t""yes" 1>&6
     
    26672718
    26682719echo $ac_n "checking whether to configure and build Texinfo""... $ac_c" 1>&6
    2669 echo "configure:2670: checking whether to configure and build Texinfo" >&5
     2720echo "configure:2721: checking whether to configure and build Texinfo" >&5
    26702721if test "$enable_Texinfo" != no && test -d Texinfo; then
    26712722  echo "$ac_t""yes" 1>&6
     
    26912742set dummy makeinfo; ac_word=$2
    26922743echo $ac_n "checking for $ac_word""... $ac_c" 1>&6
    2693 echo "configure:2694: checking for $ac_word" >&5
     2744echo "configure:2745: checking for $ac_word" >&5
    26942745if eval "test \"`echo '$''{'ac_cv_prog_MAKEINFO'+set}'`\" = set"; then
    26952746  echo $ac_n "(cached) $ac_c" 1>&6
     
    27212772set dummy texi2dvi; ac_word=$2
    27222773echo $ac_n "checking for $ac_word""... $ac_c" 1>&6
    2723 echo "configure:2724: checking for $ac_word" >&5
     2774echo "configure:2775: checking for $ac_word" >&5
    27242775if eval "test \"`echo '$''{'ac_cv_prog_TEXI2DVI'+set}'`\" = set"; then
    27252776  echo $ac_n "(cached) $ac_c" 1>&6
     
    27512802set dummy texindex; ac_word=$2
    27522803echo $ac_n "checking for $ac_word""... $ac_c" 1>&6
    2753 echo "configure:2754: checking for $ac_word" >&5
     2804echo "configure:2805: checking for $ac_word" >&5
    27542805if eval "test \"`echo '$''{'ac_cv_prog_TEXINDEX'+set}'`\" = set"; then
    27552806  echo $ac_n "(cached) $ac_c" 1>&6
     
    27812832set dummy texi2pdf; ac_word=$2
    27822833echo $ac_n "checking for $ac_word""... $ac_c" 1>&6
    2783 echo "configure:2784: checking for $ac_word" >&5
     2834echo "configure:2835: checking for $ac_word" >&5
    27842835if eval "test \"`echo '$''{'ac_cv_prog_TEXI2PDF'+set}'`\" = set"; then
    27852836  echo $ac_n "(cached) $ac_c" 1>&6
     
    28112862
    28122863echo $ac_n "checking whether to configure and build Texi2html""... $ac_c" 1>&6
    2813 echo "configure:2814: checking whether to configure and build Texi2html" >&5
     2864echo "configure:2865: checking whether to configure and build Texi2html" >&5
    28142865if test "$enable_Texi2html" != no && test -d Texi2html; then
    28152866 echo "$ac_t""yes" 1>&6
     
    28262877set dummy texi2html; ac_word=$2
    28272878echo $ac_n "checking for $ac_word""... $ac_c" 1>&6
    2828 echo "configure:2829: checking for $ac_word" >&5
     2879echo "configure:2880: checking for $ac_word" >&5
    28292880if eval "test \"`echo '$''{'ac_cv_prog_TEXI2HTML'+set}'`\" = set"; then
    28302881  echo $ac_n "(cached) $ac_c" 1>&6
     
    28642915
    28652916echo $ac_n "checking whether to build doc""... $ac_c" 1>&6
    2866 echo "configure:2867: checking whether to build doc" >&5
     2917echo "configure:2918: checking whether to build doc" >&5
    28672918if test "$enable_doc" != no && test -d doc; then
    28682919 echo "$ac_t""yes" 1>&6
     
    28782929
    28792930echo $ac_n "checking whether to build emacs""... $ac_c" 1>&6
    2880 echo "configure:2881: checking whether to build emacs" >&5
     2931echo "configure:2932: checking whether to build emacs" >&5
    28812932if test "$enable_doc" = yes && test "$enable_emacs" != no && test -d emacs; then
    28822933 echo "$ac_t""yes" 1>&6
     
    28902941
    28912942echo $ac_n "checking which apint package to use""... $ac_c" 1>&6
    2892 echo "configure:2893: checking which apint package to use" >&5
     2943echo "configure:2944: checking which apint package to use" >&5
    28932944if test "$with_apint" = gmp; then
    28942945  if test "$ac_gmp_ok" = yes || test "$enable_gmp" = yes; then
     
    29062957
    29072958echo $ac_n "checking whether to use with MP""... $ac_c" 1>&6
    2908 echo "configure:2909: checking whether to use with MP" >&5
     2959echo "configure:2960: checking whether to use with MP" >&5
    29092960if test "$with_MP" = yes; then
    29102961  if test "$ac_MP_ok" = yes || test "$enable_MP" = yes; then
     
    29262977
    29272978echo $ac_n "checking whether to use with factory""... $ac_c" 1>&6
    2928 echo "configure:2929: checking whether to use with factory" >&5
     2979echo "configure:2980: checking whether to use with factory" >&5
    29292980if test "$with_factory" = yes; then
    29302981  if test "$ac_factory_ok" = yes || test "$enable_factory" = yes; then
     
    29452996 
    29462997echo $ac_n "checking whether to use with libfac""... $ac_c" 1>&6
    2947 echo "configure:2948: checking whether to use with libfac" >&5
     2998echo "configure:2999: checking whether to use with libfac" >&5
    29482999if test "$with_libfac" = yes; then
    29493000  if test "$ac_libfac_ok" = yes || test "$enable_libfac" = yes; then
     
    29663017
    29673018echo $ac_n "checking whether to use with Singular""... $ac_c" 1>&6
    2968 echo "configure:2969: checking whether to use with Singular" >&5
     3019echo "configure:3020: checking whether to use with Singular" >&5
    29693020if test "$with_Singular" != no && test "$with_Singular" != yes; then
    29703021  if test "$enable_Singular" = yes; then
     
    30053056  SUBDIRS="$SUBDIRS sgroup"
    30063057fi
     3058if test -d kernel; then
     3059  SUBDIRS="$SUBDIRS kernel"
     3060fi
     3061if test -d IntegerProgramming; then
     3062  SUBDIRS="$SUBDIRS IntegerProgramming"
     3063fi
    30073064if test -d Singular; then
    30083065  SUBDIRS="$SUBDIRS Singular"
     
    30293086 
    30303087echo $ac_n "checking whether ${MAKE-make} sets \${MAKE}""... $ac_c" 1>&6
    3031 echo "configure:3032: checking whether ${MAKE-make} sets \${MAKE}" >&5
     3088echo "configure:3089: checking whether ${MAKE-make} sets \${MAKE}" >&5
    30323089set dummy ${MAKE-make}; ac_make=`echo "$2" | sed 'y%./+-%__p_%'`
    30333090if eval "test \"`echo '$''{'ac_cv_prog_make_${ac_make}_set'+set}'`\" = set"; then
     
    31283185# Protect against shell expansion while executing Makefile rules.
    31293186# Protect against Makefile macro expansion.
    3130 cat > conftest.defs <<\EOF
    3131 s%#define \([A-Za-z_][A-Za-z0-9_]*\) *\(.*\)%-D\1=\2%g
    3132 s%[     `~#$^&*(){}\\|;'"<>?]%\\&%g
    3133 s%\[%\\&%g
    3134 s%\]%\\&%g
    3135 s%\$%$$%g
    3136 EOF
    3137 DEFS=`sed -f conftest.defs confdefs.h | tr '\012' ' '`
    3138 rm -f conftest.defs
     3187#
     3188# If the first sed substitution is executed (which looks for macros that
     3189# take arguments), then we branch to the quote section.  Otherwise,
     3190# look for a macro that doesn't take arguments.
     3191cat >confdef2opt.sed <<\_ACEOF
     3192t clear
     3193: clear
     3194s,^[    ]*#[    ]*define[       ][      ]*\([^  (][^    (]*([^)]*)\)[   ]*\(.*\),-D\1=\2,g
     3195t quote
     3196s,^[    ]*#[    ]*define[       ][      ]*\([^  ][^     ]*\)[   ]*\(.*\),-D\1=\2,g
     3197t quote
     3198d
     3199: quote
     3200s,[     `~#$^&*(){}\\|;'"<>?],\\&,g
     3201s,\[,\\&,g
     3202s,\],\\&,g
     3203s,\$,$$,g
     3204p
     3205_ACEOF
     3206# We use echo to avoid assuming a particular line-breaking character.
     3207# The extra dot is to prevent the shell from consuming trailing
     3208# line-breaks from the sub-command output.  A line-break within
     3209# single-quotes doesn't work because, if this script is created in a
     3210# platform that uses two characters for line-breaks (e.g., DOS), tr
     3211# would break.
     3212ac_LF_and_DOT=`echo; echo .`
     3213DEFS=`sed -n -f confdef2opt.sed confdefs.h | tr "$ac_LF_and_DOT" ' .'`
     3214rm -f confdef2opt.sed
    31393215
    31403216
  • configure.in

    re6de331 r22e84a  
    810810  SUBDIRS="$SUBDIRS sgroup"
    811811fi
     812if test -d kernel; then
     813  SUBDIRS="$SUBDIRS kernel"
     814fi
     815if test -d IntegerProgramming; then
     816  SUBDIRS="$SUBDIRS IntegerProgramming"
     817fi
    812818if test -d Singular; then
    813819  SUBDIRS="$SUBDIRS Singular"
Note: See TracChangeset for help on using the changeset viewer.