Changeset 64b116 in git


Ignore:
Timestamp:
Dec 18, 2000, 2:31:21 PM (22 years ago)
Author:
Olaf Bachmann <obachman@…>
Branches:
(u'jengelh-datetime', 'ceac47cbc86fe4a15902392bdbb9bd2ae0ea02c6')(u'spielwiese', '00e2e9c41af3fde1273eb3633f4c0c7c3db2579d')
Children:
43bab6c205f66361e91736843245eb48ed2882d2
Parents:
bef194c40c7211201f3f9a4d7e603ecf1724d415
Message:
* increased version to 1-3-11


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

Legend:

Unmodified
Added
Removed

  • configure

    rbef194 r64b116  
    597597SINGULAR_MAJOR_VERSION=1
    598598SINGULAR_MINOR_VERSION=3
    599 SINGULAR_SUB_VERSION=10
     599SINGULAR_SUB_VERSION=11
    600600VERSION_SEP="-"
    601601SINGULAR_SHORT_VERSION="${SINGULAR_MAJOR_VERSION}${VERSION_SEP}${SINGULAR_MINOR_VERSION}"
    602602SINGULAR_VERSION="${SINGULAR_SHORT_VERSION}${VERSION_SEP}${SINGULAR_SUB_VERSION}"
    603 VERSION_DATE="Novemebr 2000"
     603VERSION_DATE="December 2000"
    604604SINGULAR_ROOT_DIR=$pwd
    605605
    … …  
    23312331    CONFIG_SUBDIRS="$CONFIG_SUBDIRS gmp"
    23322332    ac_configure_args="$ac_configure_args --enable-gmp"
     2333    enable_gmp=yes
    23332334#    This we used to need for our patched version of gmp 2.x
    23342335#    OUTPUT_MAKEFILES="$OUTPUT_MAKEFILES gmp/Makefile.in"
    … …  
    23692370
    23702371echo $ac_n "checking whether to configure and build smallgmp lib""... $ac_c" 1>&6
    2371 echo "configure:2372: checking whether to configure and build smallgmp lib" >&5
     2372echo "configure:2373: checking whether to configure and build smallgmp lib" >&5
    23722373if test "$enable_smallgmp" != yes && test "$enable_smallgmp" != no; then
    23732374  if test "$ac_smallgmp_ok" != yes && test "$ac_gmp_ok" != yes && \
    … …  
    23772378    CONFIG_SUBDIRS="$CONFIG_SUBDIRS smallgmp"
    23782379    ac_configure_args="$ac_configure_args --enable-smallgmp --enable-gmp"
     2380    enable_gmp=yes
    23792381  else
    23802382    echo "$ac_t""no" 1>&6
    … …  
    23902392    if test "$ac_gmp_ok" != yes && test "$enable_gmp" != yes; then
    23912393      ac_configure_args="$ac_configure_args --enable-gmp"
     2394      enable_gmp=yes
    23922395    fi
    23932396  fi
    … …  
    24032406
    24042407# Check whether we need to cheat subsequent configures with --enable-gmp
    2405 if test "$ac_smallgmp_ok" != yes && test "$ac_gmp_ok" != yes; then
     2408if test "$ac_smallgmp_ok" != yes && test "$ac_gmp_ok" != yes && test "$enable_gmp" != yes; then
    24062409  ac_configure_args="$ac_configure_args --enable-gmp"
    24072410fi
    24082411
    24092412echo $ac_n "checking whether to configure and build MP lib""... $ac_c" 1>&6
    2410 echo "configure:2411: checking whether to configure and build MP lib" >&5
     2413echo "configure:2414: checking whether to configure and build MP lib" >&5
    24112414if test "$enable_MP" != yes && test "$enable_MP" != no; then
    24122415  if test "$with_MP" != no && test "$ac_MP_ok" != yes && test -d MP && \
    … …  
    24432446
    24442447echo $ac_n "checking whether to configure and build factory lib""... $ac_c" 1>&6
    2445 echo "configure:2446: checking whether to configure and build factory lib" >&5
     2448echo "configure:2449: checking whether to configure and build factory lib" >&5
    24462449if test "$enable_factory" != yes && test "$enable_factory" != no; then
    24472450  if test "$with_factory" != no && test "$ac_factory_ok" != yes && \
    … …  
    24682471
    24692472echo $ac_n "checking whether to configure and build libfac lib""... $ac_c" 1>&6
    2470 echo "configure:2471: checking whether to configure and build libfac lib" >&5
     2473echo "configure:2474: checking whether to configure and build libfac lib" >&5
    24712474if test "$enable_libfac" != yes && test "$enable_libfac" != no; then
    24722475  if test "$with_libfac" != no && test "$ac_libfac_ok" != yes && \
    … …  
    24982501
    24992502echo $ac_n "checking whether to configure and build sgroup lib""... $ac_c" 1>&6
    2500 echo "configure:2501: checking whether to configure and build sgroup lib" >&5
     2503echo "configure:2504: checking whether to configure and build sgroup lib" >&5
    25012504if test "$enable_sgroup" = yes; then
    25022505  if test ! -d sgroup; then
    … …  
    25182521
    25192522echo $ac_n "checking whether to configure and build Singular""... $ac_c" 1>&6
    2520 echo "configure:2521: checking whether to configure and build Singular" >&5
     2523echo "configure:2524: checking whether to configure and build Singular" >&5
    25212524if test "$enable_Singular" != yes && test "$enable_Singular" != no; then
    25222525  if test "$with_Singular" != no && test -d Singular; then
    … …  
    25472550
    25482551echo $ac_n "checking whether to build IntegerProgramming""... $ac_c" 1>&6
    2549 echo "configure:2550: checking whether to build IntegerProgramming" >&5
     2552echo "configure:2553: checking whether to build IntegerProgramming" >&5
    25502553if test "$enable_IntegerProgramming" != no && test -d "IntegerProgramming"; then
    25512554   BUILD_SUBDIRS="$BUILD_SUBDIRS IntegerProgramming"
    … …  
    25592562
    25602563echo $ac_n "checking whether to build Plural""... $ac_c" 1>&6
    2561 echo "configure:2562: checking whether to build Plural" >&5
     2564echo "configure:2565: checking whether to build Plural" >&5
    25622565if test "$enable_Plural" != no && test -d "Plural"; then
    25632566   BUILD_SUBDIRS="$BUILD_SUBDIRS Plural"
    … …  
    25722575
    25732576echo $ac_n "checking whether to configure and build Texinfo""... $ac_c" 1>&6
    2574 echo "configure:2575: checking whether to configure and build Texinfo" >&5
     2577echo "configure:2578: checking whether to configure and build Texinfo" >&5
    25752578if test "$enable_Texinfo" != no && test -d Texinfo; then
    25762579  echo "$ac_t""yes" 1>&6
    … …  
    25942597set dummy makeinfo; ac_word=$2
    25952598echo $ac_n "checking for $ac_word""... $ac_c" 1>&6
    2596 echo "configure:2597: checking for $ac_word" >&5
     2599echo "configure:2600: checking for $ac_word" >&5
    25972600if eval "test \"`echo '$''{'ac_cv_prog_MAKEINFO'+set}'`\" = set"; then
    25982601  echo $ac_n "(cached) $ac_c" 1>&6
    … …  
    26242627set dummy texi2dvi; ac_word=$2
    26252628echo $ac_n "checking for $ac_word""... $ac_c" 1>&6
    2626 echo "configure:2627: checking for $ac_word" >&5
     2629echo "configure:2630: checking for $ac_word" >&5
    26272630if eval "test \"`echo '$''{'ac_cv_prog_TEXI2DVI'+set}'`\" = set"; then
    26282631  echo $ac_n "(cached) $ac_c" 1>&6
    … …  
    26542657set dummy texindex; ac_word=$2
    26552658echo $ac_n "checking for $ac_word""... $ac_c" 1>&6
    2656 echo "configure:2657: checking for $ac_word" >&5
     2659echo "configure:2660: checking for $ac_word" >&5
    26572660if eval "test \"`echo '$''{'ac_cv_prog_TEXINDEX'+set}'`\" = set"; then
    26582661  echo $ac_n "(cached) $ac_c" 1>&6
    … …  
    26842687
    26852688echo $ac_n "checking whether to configure and build Texi2html""... $ac_c" 1>&6
    2686 echo "configure:2687: checking whether to configure and build Texi2html" >&5
     2689echo "configure:2690: checking whether to configure and build Texi2html" >&5
    26872690if test "$enable_Texi2html" != no && test -d Texi2html; then
    26882691 echo "$ac_t""yes" 1>&6
    … …  
    26992702set dummy texi2html; ac_word=$2
    27002703echo $ac_n "checking for $ac_word""... $ac_c" 1>&6
    2701 echo "configure:2702: checking for $ac_word" >&5
     2704echo "configure:2705: checking for $ac_word" >&5
    27022705if eval "test \"`echo '$''{'ac_cv_prog_TEXI2HTML'+set}'`\" = set"; then
    27032706  echo $ac_n "(cached) $ac_c" 1>&6
    … …  
    27372740
    27382741echo $ac_n "checking whether to build doc""... $ac_c" 1>&6
    2739 echo "configure:2740: checking whether to build doc" >&5
     2742echo "configure:2743: checking whether to build doc" >&5
    27402743if test "$enable_doc" != no && test -d doc; then
    27412744 echo "$ac_t""yes" 1>&6
    … …  
    27512754
    27522755echo $ac_n "checking whether to build emacs""... $ac_c" 1>&6
    2753 echo "configure:2754: checking whether to build emacs" >&5
     2756echo "configure:2757: checking whether to build emacs" >&5
    27542757if test "$enable_doc" = yes && test "$enable_emacs" != no && test -d emacs; then
    27552758 echo "$ac_t""yes" 1>&6
    … …  
    27632766
    27642767echo $ac_n "checking which apint package to use""... $ac_c" 1>&6
    2765 echo "configure:2766: checking which apint package to use" >&5
     2768echo "configure:2769: checking which apint package to use" >&5
    27662769if test "$with_apint" = gmp; then
    27672770  if test "$ac_gmp_ok" = yes || test "$enable_gmp" = yes; then
    … …  
    27872790
    27882791echo $ac_n "checking whether to use with MP""... $ac_c" 1>&6
    2789 echo "configure:2790: checking whether to use with MP" >&5
     2792echo "configure:2793: checking whether to use with MP" >&5
    27902793if test "$with_MP" = yes; then
    27912794  if test "$ac_MP_ok" = yes || test "$enable_MP" = yes; then
    … …  
    28062809
    28072810echo $ac_n "checking whether to use with factory""... $ac_c" 1>&6
    2808 echo "configure:2809: checking whether to use with factory" >&5
     2811echo "configure:2812: checking whether to use with factory" >&5
    28092812if test "$with_factory" = yes; then
    28102813  if test "$ac_factory_ok" = yes || test "$enable_factory" = yes; then
    … …  
    28252828 
    28262829echo $ac_n "checking whether to use with libfac""... $ac_c" 1>&6
    2827 echo "configure:2828: checking whether to use with libfac" >&5
     2830echo "configure:2831: checking whether to use with libfac" >&5
    28282831if test "$with_libfac" = yes; then
    28292832  if test "$ac_libfac_ok" = yes || test "$enable_libfac" = yes; then
    … …  
    28462849
    28472850echo $ac_n "checking whether to use with Singular""... $ac_c" 1>&6
    2848 echo "configure:2849: checking whether to use with Singular" >&5
     2851echo "configure:2852: checking whether to use with Singular" >&5
    28492852if test "$with_Singular" != no && test "$with_Singular" != yes; then
    28502853  if test "$enable_Singular" = yes; then
    … …  
    29052908 
    29062909echo $ac_n "checking whether ${MAKE-make} sets \${MAKE}""... $ac_c" 1>&6
    2907 echo "configure:2908: checking whether ${MAKE-make} sets \${MAKE}" >&5
     2910echo "configure:2911: checking whether ${MAKE-make} sets \${MAKE}" >&5
    29082911set dummy ${MAKE-make}; ac_make=`echo "$2" | sed 'y%./+-%__p_%'`
    29092912if eval "test \"`echo '$''{'ac_cv_prog_make_${ac_make}_set'+set}'`\" = set"; then

  • configure.in

    rbef194 r64b116  
    1111SINGULAR_MAJOR_VERSION=1
    1212SINGULAR_MINOR_VERSION=3
    13 SINGULAR_SUB_VERSION=10
     13SINGULAR_SUB_VERSION=11
    1414VERSION_SEP="-"
    1515SINGULAR_SHORT_VERSION="${SINGULAR_MAJOR_VERSION}${VERSION_SEP}${SINGULAR_MINOR_VERSION}"
    1616SINGULAR_VERSION="${SINGULAR_SHORT_VERSION}${VERSION_SEP}${SINGULAR_SUB_VERSION}"
    17 VERSION_DATE="Novemebr 2000"
     17VERSION_DATE="December 2000"
    1818SINGULAR_ROOT_DIR=$pwd
    1919
Note: See TracChangeset for help on using the changeset viewer.