Changeset 9177e3 in git for configure


Ignore:
Timestamp:
Jul 4, 2005, 4:50:42 PM (19 years ago)
Author:
Hans Schönemann <hannes@…>
Branches:
(u'spielwiese', 'fe61d9c35bf7c61f2b6cbf1b56e25e2f08d536cc')
Children:
8d3a46e0396ffb25e9c32244f5af2db7ec4d5a3e
Parents:
cb12e46b8b11ffabebe9caea01c5ddc872568759
Message:
*hannes: Mariano changes (tag:MP), --prefix etc.


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

Legend:

Unmodified
Added
Removed

  • configure

    rcb12e46 r9177e3  
    21612161fi
    21622162 
     2163
     2164DOC2TEX_EXAMPLE_EXCLUSIONS=""
     2165
     2166
    21632167# Check whether --with-tmpdir or --without-tmpdir was given.
    21642168if test "${with_tmpdir+set}" = set; then
    … …  
    22772281
    22782282echo $ac_n "checking which tmp dir to use""... $ac_c" 1>&6
    2279 echo "configure:2280: checking which tmp dir to use" >&5
     2283echo "configure:2284: checking which tmp dir to use" >&5
    22802284if test "${with_tmpdir+set}" = set && test -d ${with_tmpdir}; then
    22812285  if (echo "${with_tmpdir}" | egrep "\." >/dev/null 2>&1)
    … …  
    22922296
    22932297echo $ac_n "checking whether to configure and build omalloc""... $ac_c" 1>&6
    2294 echo "configure:2295: checking whether to configure and build omalloc" >&5
     2298echo "configure:2299: checking whether to configure and build omalloc" >&5
    22952299if test "${enable_omalloc+set}" != set; then
    22962300   if test "$ac_cv_omalloc_ok" = yes; then
    … …  
    23302334
    23312335echo $ac_n "checking whether to configure and build gmp lib""... $ac_c" 1>&6
    2332 echo "configure:2333: checking whether to configure and build gmp lib" >&5
     2336echo "configure:2337: checking whether to configure and build gmp lib" >&5
    23332337if test "$enable_gmp" != yes && test "$enable_gmp" != no; then
    23342338  if test "$ac_gmp_ok" != yes && test -d gmp; then
    … …  
    23762380
    23772381echo $ac_n "checking whether to configure and build smallgmp lib""... $ac_c" 1>&6
    2378 echo "configure:2379: checking whether to configure and build smallgmp lib" >&5
     2382echo "configure:2383: checking whether to configure and build smallgmp lib" >&5
    23792383if test "$enable_smallgmp" != yes && test "$enable_smallgmp" != no; then
    23802384  if test "$ac_smallgmp_ok" != yes && test "$ac_gmp_ok" != yes && \
    … …  
    24172421
    24182422echo $ac_n "checking whether to configure and build MP lib""... $ac_c" 1>&6
    2419 echo "configure:2420: checking whether to configure and build MP lib" >&5
     2423echo "configure:2424: checking whether to configure and build MP lib" >&5
    24202424if test "$enable_MP" != yes && test "$enable_MP" != no; then
    24212425  if test "$with_MP" != no && test "$ac_MP_ok" != yes && test -d MP && \
    … …  
    24512455
    24522456echo $ac_n "checking whether to configure and build NTL lib""... $ac_c" 1>&6
    2453 echo "configure:2454: checking whether to configure and build NTL lib" >&5
     2457echo "configure:2458: checking whether to configure and build NTL lib" >&5
    24542458if test "$enable_NTL" != yes && test "$enable_NTL" != no; then
    24552459  if test "$with_NTL" != no && test "$ac_NTL_ok" != yes && \
    … …  
    24762480
    24772481echo $ac_n "checking whether to configure and build factory lib""... $ac_c" 1>&6
    2478 echo "configure:2479: checking whether to configure and build factory lib" >&5
     2482echo "configure:2483: checking whether to configure and build factory lib" >&5
    24792483if test "$enable_factory" != yes && test "$enable_factory" != no; then
    24802484  if test "$with_factory" != no && test "$ac_factory_ok" != yes && \
    … …  
    25012505
    25022506echo $ac_n "checking whether to configure and build libfac lib""... $ac_c" 1>&6
    2503 echo "configure:2504: checking whether to configure and build libfac lib" >&5
     2507echo "configure:2508: checking whether to configure and build libfac lib" >&5
    25042508if test "$enable_libfac" != yes && test "$enable_libfac" != no; then
    25052509  if test "$with_libfac" != no && test "$ac_libfac_ok" != yes && \
    … …  
    25312535
    25322536echo $ac_n "checking whether to configure and build sgroup lib""... $ac_c" 1>&6
    2533 echo "configure:2534: checking whether to configure and build sgroup lib" >&5
     2537echo "configure:2538: checking whether to configure and build sgroup lib" >&5
    25342538if test "$enable_sgroup" = yes; then
    25352539  if test ! -d sgroup; then
    … …  
    25512555
    25522556echo $ac_n "checking whether to configure and build Singular""... $ac_c" 1>&6
    2553 echo "configure:2554: checking whether to configure and build Singular" >&5
     2557echo "configure:2558: checking whether to configure and build Singular" >&5
    25542558if test "$enable_Singular" != yes && test "$enable_Singular" != no; then
    25552559  if test "$with_Singular" != no && test -d Singular; then
    … …  
    25802584
    25812585echo $ac_n "checking whether to build IntegerProgramming""... $ac_c" 1>&6
    2582 echo "configure:2583: checking whether to build IntegerProgramming" >&5
     2586echo "configure:2587: checking whether to build IntegerProgramming" >&5
    25832587if test "$enable_IntegerProgramming" != no && test -d "IntegerProgramming"; then
    25842588   BUILD_SUBDIRS="$BUILD_SUBDIRS IntegerProgramming"
    … …  
    25922596
    25932597echo $ac_n "checking whether to build Plural""... $ac_c" 1>&6
    2594 echo "configure:2595: checking whether to build Plural" >&5
     2598echo "configure:2599: checking whether to build Plural" >&5
    25952599if test "$enable_Plural" != no || test "$with_Plural" != no; then
    25962600   echo "$ac_t""yes" 1>&6
    … …  
    26042608
    26052609echo $ac_n "checking whether to configure and build Texinfo""... $ac_c" 1>&6
    2606 echo "configure:2607: checking whether to configure and build Texinfo" >&5
     2610echo "configure:2611: checking whether to configure and build Texinfo" >&5
    26072611if test "$enable_Texinfo" != no && test -d Texinfo; then
    26082612  echo "$ac_t""yes" 1>&6
    … …  
    26282632set dummy makeinfo; ac_word=$2
    26292633echo $ac_n "checking for $ac_word""... $ac_c" 1>&6
    2630 echo "configure:2631: checking for $ac_word" >&5
     2634echo "configure:2635: checking for $ac_word" >&5
    26312635if eval "test \"`echo '$''{'ac_cv_prog_MAKEINFO'+set}'`\" = set"; then
    26322636  echo $ac_n "(cached) $ac_c" 1>&6
    … …  
    26582662set dummy texi2dvi; ac_word=$2
    26592663echo $ac_n "checking for $ac_word""... $ac_c" 1>&6
    2660 echo "configure:2661: checking for $ac_word" >&5
     2664echo "configure:2665: checking for $ac_word" >&5
    26612665if eval "test \"`echo '$''{'ac_cv_prog_TEXI2DVI'+set}'`\" = set"; then
    26622666  echo $ac_n "(cached) $ac_c" 1>&6
    … …  
    26882692set dummy texindex; ac_word=$2
    26892693echo $ac_n "checking for $ac_word""... $ac_c" 1>&6
    2690 echo "configure:2691: checking for $ac_word" >&5
     2694echo "configure:2695: checking for $ac_word" >&5
    26912695if eval "test \"`echo '$''{'ac_cv_prog_TEXINDEX'+set}'`\" = set"; then
    26922696  echo $ac_n "(cached) $ac_c" 1>&6
    … …  
    27182722set dummy texi2pdf; ac_word=$2
    27192723echo $ac_n "checking for $ac_word""... $ac_c" 1>&6
    2720 echo "configure:2721: checking for $ac_word" >&5
     2724echo "configure:2725: checking for $ac_word" >&5
    27212725if eval "test \"`echo '$''{'ac_cv_prog_TEXI2PDF'+set}'`\" = set"; then
    27222726  echo $ac_n "(cached) $ac_c" 1>&6
    … …  
    27482752
    27492753echo $ac_n "checking whether to configure and build Texi2html""... $ac_c" 1>&6
    2750 echo "configure:2751: checking whether to configure and build Texi2html" >&5
     2754echo "configure:2755: checking whether to configure and build Texi2html" >&5
    27512755if test "$enable_Texi2html" != no && test -d Texi2html; then
    27522756 echo "$ac_t""yes" 1>&6
    … …  
    27632767set dummy texi2html; ac_word=$2
    27642768echo $ac_n "checking for $ac_word""... $ac_c" 1>&6
    2765 echo "configure:2766: checking for $ac_word" >&5
     2769echo "configure:2770: checking for $ac_word" >&5
    27662770if eval "test \"`echo '$''{'ac_cv_prog_TEXI2HTML'+set}'`\" = set"; then
    27672771  echo $ac_n "(cached) $ac_c" 1>&6
    … …  
    28012805
    28022806echo $ac_n "checking whether to build doc""... $ac_c" 1>&6
    2803 echo "configure:2804: checking whether to build doc" >&5
     2807echo "configure:2808: checking whether to build doc" >&5
    28042808if test "$enable_doc" != no && test -d doc; then
    28052809 echo "$ac_t""yes" 1>&6
    … …  
    28152819
    28162820echo $ac_n "checking whether to build emacs""... $ac_c" 1>&6
    2817 echo "configure:2818: checking whether to build emacs" >&5
     2821echo "configure:2822: checking whether to build emacs" >&5
    28182822if test "$enable_doc" = yes && test "$enable_emacs" != no && test -d emacs; then
    28192823 echo "$ac_t""yes" 1>&6
    … …  
    28272831
    28282832echo $ac_n "checking which apint package to use""... $ac_c" 1>&6
    2829 echo "configure:2830: checking which apint package to use" >&5
     2833echo "configure:2834: checking which apint package to use" >&5
    28302834if test "$with_apint" = gmp; then
    28312835  if test "$ac_gmp_ok" = yes || test "$enable_gmp" = yes; then
    … …  
    28512855
    28522856echo $ac_n "checking whether to use with MP""... $ac_c" 1>&6
    2853 echo "configure:2854: checking whether to use with MP" >&5
     2857echo "configure:2858: checking whether to use with MP" >&5
    28542858if test "$with_MP" = yes; then
    28552859  if test "$ac_MP_ok" = yes || test "$enable_MP" = yes; then
    … …  
    28672871  echo "$ac_t""no" 1>&6
    28682872  ac_configure_args="$ac_configure_args --without-MP"
     2873  DOC2TEX_EXAMPLE_EXCLUSIONS="$DOC2TEX_EXAMPLE_EXCLUSIONS -exclude MP"
    28692874fi
    28702875
    28712876echo $ac_n "checking whether to use with factory""... $ac_c" 1>&6
    2872 echo "configure:2873: checking whether to use with factory" >&5
     2877echo "configure:2878: checking whether to use with factory" >&5
    28732878if test "$with_factory" = yes; then
    28742879  if test "$ac_factory_ok" = yes || test "$enable_factory" = yes; then
    … …  
    28892894 
    28902895echo $ac_n "checking whether to use with libfac""... $ac_c" 1>&6
    2891 echo "configure:2892: checking whether to use with libfac" >&5
     2896echo "configure:2897: checking whether to use with libfac" >&5
    28922897if test "$with_libfac" = yes; then
    28932898  if test "$ac_libfac_ok" = yes || test "$enable_libfac" = yes; then
    … …  
    29102915
    29112916echo $ac_n "checking whether to use with Singular""... $ac_c" 1>&6
    2912 echo "configure:2913: checking whether to use with Singular" >&5
     2917echo "configure:2918: checking whether to use with Singular" >&5
    29132918if test "$with_Singular" != no && test "$with_Singular" != yes; then
    29142919  if test "$enable_Singular" = yes; then
    … …  
    29762981 
    29772982echo $ac_n "checking whether ${MAKE-make} sets \${MAKE}""... $ac_c" 1>&6
    2978 echo "configure:2979: checking whether ${MAKE-make} sets \${MAKE}" >&5
     2983echo "configure:2984: checking whether ${MAKE-make} sets \${MAKE}" >&5
    29792984set dummy ${MAKE-make}; ac_make=`echo "$2" | sed 'y%./+-%__p_%'`
    29802985if eval "test \"`echo '$''{'ac_cv_prog_make_${ac_make}_set'+set}'`\" = set"; then
    … …  
    31753180s%@MKINSTALLDIRS@%$MKINSTALLDIRS%g
    31763181s%@SINGULAR@%$SINGULAR%g
     3182s%@DOC2TEX_EXAMPLE_EXCLUSIONS@%$DOC2TEX_EXAMPLE_EXCLUSIONS%g
    31773183s%@TMP_DIR@%$TMP_DIR%g
    31783184s%@TEXI2DVI@%$TEXI2DVI%g
Note: See TracChangeset for help on using the changeset viewer.