Changeset 980552 in git for libfac


Ignore:
Timestamp:
Oct 24, 2008, 3:04:26 PM (15 years ago)
Author:
Hans Schönemann <hannes@…>
Branches:
(u'spielwiese', '4a9821a93ffdc22a6696668bd4f6b8c9de3e6c5f')
Children:
b0e3efca092d580bdd55fac90beff461dacda552
Parents:
f2e0da93d04d6c99d7d580113560b08b06892914
Message:
*hannes: date/version by configure


git-svn-id: file:///usr/local/Singular/svn/trunk@11157 2c84dea3-7e68-4137-9b89-c4e89433aadc
Location:
libfac
Files:
1 added
3 edited

Legend:

Unmodified
Added
Removed
  • libfac/configure

    rf2e0da r980552  
    535535
    536536libfac_version="3.1.0"
     537cat >> confdefs.h <<EOF
     538#define LIBFAC_VERSION "$libfac_version"
     539EOF
     540
    537541
    538542libfac_date="\"Aug 2008\""
     543cat >> confdefs.h <<EOF
     544#define LIBFAC_DATE $libfac_date
     545EOF
     546
    539547
    540548libfac_author="\"M. Messollen\""
     549
    541550
    542551
     
    656665set dummy $ac_prog; ac_word=$2
    657666echo $ac_n "checking for $ac_word""... $ac_c" 1>&6
    658 echo "configure:659: checking for $ac_word" >&5
     667echo "configure:668: checking for $ac_word" >&5
    659668if eval "test \"`echo '$''{'ac_cv_prog_CXX'+set}'`\" = set"; then
    660669  echo $ac_n "(cached) $ac_c" 1>&6
     
    688697
    689698echo $ac_n "checking whether the C++ compiler ($CXX $CXXFLAGS $LDFLAGS) works""... $ac_c" 1>&6
    690 echo "configure:691: checking whether the C++ compiler ($CXX $CXXFLAGS $LDFLAGS) works" >&5
     699echo "configure:700: checking whether the C++ compiler ($CXX $CXXFLAGS $LDFLAGS) works" >&5
    691700
    692701ac_ext=C
     
    699708cat > conftest.$ac_ext << EOF
    700709
    701 #line 702 "configure"
     710#line 711 "configure"
    702711#include "confdefs.h"
    703712
    704713int main(){return(0);}
    705714EOF
    706 if { (eval echo configure:707: \"$ac_link\") 1>&5; (eval $ac_link) 2>&5; } && test -s conftest${ac_exeext}; then
     715if { (eval echo configure:716: \"$ac_link\") 1>&5; (eval $ac_link) 2>&5; } && test -s conftest${ac_exeext}; then
    707716  ac_cv_prog_cxx_works=yes
    708717  # If we can't run a trivial program, we are probably using a cross compiler.
     
    730739fi
    731740echo $ac_n "checking whether the C++ compiler ($CXX $CXXFLAGS $LDFLAGS) is a cross-compiler""... $ac_c" 1>&6
    732 echo "configure:733: checking whether the C++ compiler ($CXX $CXXFLAGS $LDFLAGS) is a cross-compiler" >&5
     741echo "configure:742: checking whether the C++ compiler ($CXX $CXXFLAGS $LDFLAGS) is a cross-compiler" >&5
    733742echo "$ac_t""$ac_cv_prog_cxx_cross" 1>&6
    734743cross_compiling=$ac_cv_prog_cxx_cross
    735744
    736745echo $ac_n "checking whether we are using GNU C++""... $ac_c" 1>&6
    737 echo "configure:738: checking whether we are using GNU C++" >&5
     746echo "configure:747: checking whether we are using GNU C++" >&5
    738747if eval "test \"`echo '$''{'ac_cv_prog_gxx'+set}'`\" = set"; then
    739748  echo $ac_n "(cached) $ac_c" 1>&6
     
    744753#endif
    745754EOF
    746 if { ac_try='${CXX-g++} -E conftest.C'; { (eval echo configure:747: \"$ac_try\") 1>&5; (eval $ac_try) 2>&5; }; } | egrep yes >/dev/null 2>&1; then
     755if { ac_try='${CXX-g++} -E conftest.C'; { (eval echo configure:756: \"$ac_try\") 1>&5; (eval $ac_try) 2>&5; }; } | egrep yes >/dev/null 2>&1; then
    747756  ac_cv_prog_gxx=yes
    748757else
     
    763772CXXFLAGS=
    764773echo $ac_n "checking whether ${CXX-g++} accepts -g""... $ac_c" 1>&6
    765 echo "configure:766: checking whether ${CXX-g++} accepts -g" >&5
     774echo "configure:775: checking whether ${CXX-g++} accepts -g" >&5
    766775if eval "test \"`echo '$''{'ac_cv_prog_cxx_g'+set}'`\" = set"; then
    767776  echo $ac_n "(cached) $ac_c" 1>&6
     
    795804
    796805echo $ac_n "checking how to run the C++ preprocessor""... $ac_c" 1>&6
    797 echo "configure:798: checking how to run the C++ preprocessor" >&5
     806echo "configure:807: checking how to run the C++ preprocessor" >&5
    798807if test -z "$CXXCPP"; then
    799808if eval "test \"`echo '$''{'ac_cv_prog_CXXCPP'+set}'`\" = set"; then
     
    808817  CXXCPP="${CXX-g++} -E"
    809818  cat > conftest.$ac_ext <<EOF
    810 #line 811 "configure"
     819#line 820 "configure"
    811820#include "confdefs.h"
    812821#include <stdlib.h>
    813822EOF
    814823ac_try="$ac_cpp conftest.$ac_ext >/dev/null 2>conftest.out"
    815 { (eval echo configure:816: \"$ac_try\") 1>&5; (eval $ac_try) 2>&5; }
     824{ (eval echo configure:825: \"$ac_try\") 1>&5; (eval $ac_try) 2>&5; }
    816825ac_err=`grep -v '^ *+' conftest.out | grep -v "^conftest.${ac_ext}\$"`
    817826if test -z "$ac_err"; then
     
    839848
    840849echo $ac_n "checking whether ${MAKE-make} sets \${MAKE}""... $ac_c" 1>&6
    841 echo "configure:842: checking whether ${MAKE-make} sets \${MAKE}" >&5
     850echo "configure:851: checking whether ${MAKE-make} sets \${MAKE}" >&5
    842851set dummy ${MAKE-make}; ac_make=`echo "$2" | sed 'y%./+-%__p_%'`
    843852if eval "test \"`echo '$''{'ac_cv_prog_make_${ac_make}_set'+set}'`\" = set"; then
     
    868877set dummy ranlib; ac_word=$2
    869878echo $ac_n "checking for $ac_word""... $ac_c" 1>&6
    870 echo "configure:871: checking for $ac_word" >&5
     879echo "configure:880: checking for $ac_word" >&5
    871880if eval "test \"`echo '$''{'ac_cv_prog_RANLIB'+set}'`\" = set"; then
    872881  echo $ac_n "(cached) $ac_c" 1>&6
     
    898907set dummy ar; ac_word=$2
    899908echo $ac_n "checking for $ac_word""... $ac_c" 1>&6
    900 echo "configure:901: checking for $ac_word" >&5
     909echo "configure:910: checking for $ac_word" >&5
    901910if eval "test \"`echo '$''{'ac_cv_prog_AR'+set}'`\" = set"; then
    902911  echo $ac_n "(cached) $ac_c" 1>&6
     
    931940ac_safe=`echo "factory.h" | sed 'y%./+-%__p_%'`
    932941echo $ac_n "checking for factory.h""... $ac_c" 1>&6
    933 echo "configure:934: checking for factory.h" >&5
     942echo "configure:943: checking for factory.h" >&5
    934943if eval "test \"`echo '$''{'ac_cv_header_$ac_safe'+set}'`\" = set"; then
    935944  echo $ac_n "(cached) $ac_c" 1>&6
    936945else
    937946  cat > conftest.$ac_ext <<EOF
    938 #line 939 "configure"
     947#line 948 "configure"
    939948#include "confdefs.h"
    940949#include <factory.h>
    941950EOF
    942951ac_try="$ac_cpp conftest.$ac_ext >/dev/null 2>conftest.out"
    943 { (eval echo configure:944: \"$ac_try\") 1>&5; (eval $ac_try) 2>&5; }
     952{ (eval echo configure:953: \"$ac_try\") 1>&5; (eval $ac_try) 2>&5; }
    944953ac_err=`grep -v '^ *+' conftest.out | grep -v "^conftest.${ac_ext}\$"`
    945954if test -z "$ac_err"; then
     
    984993
    985994echo $ac_n "checking whether gcc accepts -fno-rtti""... $ac_c" 1>&6
    986 echo "configure:987: checking whether gcc accepts -fno-rtti" >&5
     995echo "configure:996: checking whether gcc accepts -fno-rtti" >&5
    987996tmp_flags=${CXXFLAGS}
    988997CXXFLAGS="${CXXFLAGS} -fno-rtti"
     
    9911000else
    9921001  cat > conftest.$ac_ext <<EOF
    993 #line 994 "configure"
     1002#line 1003 "configure"
    9941003#include "confdefs.h"
    9951004
     
    9981007; return 0; }
    9991008EOF
    1000 if { (eval echo configure:1001: \"$ac_compile\") 1>&5; (eval $ac_compile) 2>&5; }; then
     1009if { (eval echo configure:1010: \"$ac_compile\") 1>&5; (eval $ac_compile) 2>&5; }; then
    10011010  rm -rf conftest*
    10021011  ac_cv_cxx_have_rtti=yes
     
    10181027
    10191028echo $ac_n "checking whether gcc accepts -fno-exceptions""... $ac_c" 1>&6
    1020 echo "configure:1021: checking whether gcc accepts -fno-exceptions" >&5
     1029echo "configure:1030: checking whether gcc accepts -fno-exceptions" >&5
    10211030tmp_flags=${CXXFLAGS}
    10221031CXXFLAGS="${CXXFLAGS} -fno-exceptions"
     
    10251034else
    10261035  cat > conftest.$ac_ext <<EOF
    1027 #line 1028 "configure"
     1036#line 1037 "configure"
    10281037#include "confdefs.h"
    10291038
     
    10321041; return 0; }
    10331042EOF
    1034 if { (eval echo configure:1035: \"$ac_link\") 1>&5; (eval $ac_link) 2>&5; } && test -s conftest${ac_exeext}; then
     1043if { (eval echo configure:1044: \"$ac_link\") 1>&5; (eval $ac_link) 2>&5; } && test -s conftest${ac_exeext}; then
    10351044  rm -rf conftest*
    10361045  ac_cv_cxx_have_exceptions=yes
     
    11321141trap 'rm -f $CONFIG_STATUS conftest*; exit 1' 1 2 15
    11331142
    1134 # Transform confdefs.h into DEFS.
    1135 # Protect against shell expansion while executing Makefile rules.
    1136 # Protect against Makefile macro expansion.
    1137 cat > conftest.defs <<\EOF
    1138 s%#define \([A-Za-z_][A-Za-z0-9_]*\) *\(.*\)%-D\1=\2%g
    1139 s%[     `~#$^&*(){}\\|;'"<>?]%\\&%g
    1140 s%\[%\\&%g
    1141 s%\]%\\&%g
    1142 s%\$%$$%g
    1143 EOF
    1144 DEFS=`sed -f conftest.defs confdefs.h | tr '\012' ' '`
    1145 rm -f conftest.defs
    1146 
     1143DEFS=-DHAVE_CONFIG_H
    11471144
    11481145# Without the "./", some shells look in PATH for config.status.
     
    11811178ac_given_srcdir=$srcdir
    11821179
    1183 trap 'rm -fr `echo "Makefile" | sed "s/:[^ ]*//g"` conftest*; exit 1' 1 2 15
     1180trap 'rm -fr `echo "Makefile factor/version.h" | sed "s/:[^ ]*//g"` conftest*; exit 1' 1 2 15
    11841181EOF
    11851182cat >> $CONFIG_STATUS <<EOF
     
    13241321rm -f conftest.s*
    13251322
     1323# These sed commands are passed to sed as "A NAME B NAME C VALUE D", where
     1324# NAME is the cpp macro being defined and VALUE is the value it is being given.
     1325#
     1326# ac_d sets the value in "#define NAME VALUE" lines.
     1327ac_dA='s%^\([   ]*\)#\([        ]*define[       ][      ]*\)'
     1328ac_dB='\([      ][      ]*\)[^  ]*%\1#\2'
     1329ac_dC='\3'
     1330ac_dD='%g'
     1331# ac_u turns "#undef NAME" with trailing blanks into "#define NAME VALUE".
     1332ac_uA='s%^\([   ]*\)#\([        ]*\)undef\([    ][      ]*\)'
     1333ac_uB='\([      ]\)%\1#\2define\3'
     1334ac_uC=' '
     1335ac_uD='\4%g'
     1336# ac_e turns "#undef NAME" without trailing blanks into "#define NAME VALUE".
     1337ac_eA='s%^\([   ]*\)#\([        ]*\)undef\([    ][      ]*\)'
     1338ac_eB='$%\1#\2define\3'
     1339ac_eC=' '
     1340ac_eD='%g'
     1341
     1342if test "${CONFIG_HEADERS+set}" != set; then
     1343EOF
     1344cat >> $CONFIG_STATUS <<EOF
     1345  CONFIG_HEADERS="factor/version.h"
     1346EOF
     1347cat >> $CONFIG_STATUS <<\EOF
     1348fi
     1349for ac_file in .. $CONFIG_HEADERS; do if test "x$ac_file" != x..; then
     1350  # Support "outfile[:infile[:infile...]]", defaulting infile="outfile.in".
     1351  case "$ac_file" in
     1352  *:*) ac_file_in=`echo "$ac_file"|sed 's%[^:]*:%%'`
     1353       ac_file=`echo "$ac_file"|sed 's%:.*%%'` ;;
     1354  *) ac_file_in="${ac_file}.in" ;;
     1355  esac
     1356
     1357  echo creating $ac_file
     1358
     1359  rm -f conftest.frag conftest.in conftest.out
     1360  ac_file_inputs=`echo $ac_file_in|sed -e "s%^%$ac_given_srcdir/%" -e "s%:% $ac_given_srcdir/%g"`
     1361  cat $ac_file_inputs > conftest.in
     1362
     1363EOF
     1364
     1365# Transform confdefs.h into a sed script conftest.vals that substitutes
     1366# the proper values into config.h.in to produce config.h.  And first:
     1367# Protect against being on the right side of a sed subst in config.status.
     1368# Protect against being in an unquoted here document in config.status.
     1369rm -f conftest.vals
     1370cat > conftest.hdr <<\EOF
     1371s/[\\&%]/\\&/g
     1372s%[\\$`]%\\&%g
     1373s%#define \([A-Za-z_][A-Za-z0-9_]*\) *\(.*\)%${ac_dA}\1${ac_dB}\1${ac_dC}\2${ac_dD}%gp
     1374s%ac_d%ac_u%gp
     1375s%ac_u%ac_e%gp
     1376EOF
     1377sed -n -f conftest.hdr confdefs.h > conftest.vals
     1378rm -f conftest.hdr
     1379
     1380# This sed command replaces #undef with comments.  This is necessary, for
     1381# example, in the case of _POSIX_SOURCE, which is predefined and required
     1382# on some systems where configure will not decide to define it.
     1383cat >> conftest.vals <<\EOF
     1384s%^[    ]*#[    ]*undef[        ][      ]*[a-zA-Z_][a-zA-Z_0-9]*%/* & */%
     1385EOF
     1386
     1387# Break up conftest.vals because some shells have a limit on
     1388# the size of here documents, and old seds have small limits too.
     1389
     1390rm -f conftest.tail
     1391while :
     1392do
     1393  ac_lines=`grep -c . conftest.vals`
     1394  # grep -c gives empty output for an empty file on some AIX systems.
     1395  if test -z "$ac_lines" || test "$ac_lines" -eq 0; then break; fi
     1396  # Write a limited-size here document to conftest.frag.
     1397  echo '  cat > conftest.frag <<CEOF' >> $CONFIG_STATUS
     1398  sed ${ac_max_here_lines}q conftest.vals >> $CONFIG_STATUS
     1399  echo 'CEOF
     1400  sed -f conftest.frag conftest.in > conftest.out
     1401  rm -f conftest.in
     1402  mv conftest.out conftest.in
     1403' >> $CONFIG_STATUS
     1404  sed 1,${ac_max_here_lines}d conftest.vals > conftest.tail
     1405  rm -f conftest.vals
     1406  mv conftest.tail conftest.vals
     1407done
     1408rm -f conftest.vals
     1409
     1410cat >> $CONFIG_STATUS <<\EOF
     1411  rm -f conftest.frag conftest.h
     1412  echo "/* $ac_file.  Generated automatically by configure.  */" > conftest.h
     1413  cat conftest.in >> conftest.h
     1414  rm -f conftest.in
     1415  if cmp -s $ac_file conftest.h 2>/dev/null; then
     1416    echo "$ac_file is unchanged"
     1417    rm -f conftest.h
     1418  else
     1419    # Remove last slash and all that follows it.  Not all systems have dirname.
     1420      ac_dir=`echo $ac_file|sed 's%/[^/][^/]*$%%'`
     1421      if test "$ac_dir" != "$ac_file" && test "$ac_dir" != .; then
     1422      # The file is in a subdirectory.
     1423      test ! -d "$ac_dir" && mkdir "$ac_dir"
     1424    fi
     1425    rm -f $ac_file
     1426    mv conftest.h $ac_file
     1427  fi
     1428fi; done
     1429
    13261430EOF
    13271431cat >> $CONFIG_STATUS <<EOF
     
    13361440test "$no_create" = yes || ${CONFIG_SHELL-/bin/sh} $CONFIG_STATUS || exit 1
    13371441
    1338 
  • libfac/configure.in

    rf2e0da r980552  
    77dnl
    88AC_INIT(factor.h)
     9AC_CONFIG_HEADER(factor/version.h)
    910
    1011dnl
     
    1213dnl
    1314dnl Change libfac variables here:
     15libfac_name="\"Factorization and characteristic sets library\""
    1416AC_SUBST(libfac_name)
    15 libfac_name="\"Factorization and characteristic sets library\""
     17libfac_version="3.1.0"
     18AC_DEFINE_UNQUOTED(LIBFAC_VERSION,"$libfac_version")
    1619AC_SUBST(libfac_version)
    17 libfac_version="3.1.0"
     20libfac_date="\"Aug 2008\""
     21AC_DEFINE_UNQUOTED(LIBFAC_DATE,$libfac_date)
    1822AC_SUBST(libfac_date)
    19 libfac_date="\"Aug 2008\""
     23libfac_author="\"M. Messollen\""
    2024AC_SUBST(libfac_author)
    21 libfac_author="\"M. Messollen\""
    2225
    2326AC_SUBST(libfac)
     
    190193
    191194AC_OUTPUT(Makefile)
    192 
    193 dnl
    194 dnl Plans:
    195 dnl 1) look for libraries (warn if not found) for building testprog
    196 dnl 1) search for perl
  • libfac/factor/version.cc

    rf2e0da r980552  
    11///////////////////////////////////////////////////////////////////////////////
    22// emacs edit mode for this file is -*- C++ -*-
    3 // $Id: version.cc,v 1.11 2008-10-24 12:46:40 Singular Exp $
     3// $Id: version.cc,v 1.12 2008-10-24 13:04:26 Singular Exp $
    44///////////////////////////////////////////////////////////////////////////////
     5#include "version.h"
    56
    67const char * libfac_name = "Factorization and characteristic sets library";
    7 const char * libfac_version = "3.1.0";
    8 const char * libfac_date = "Oct 2008";
     8const char * libfac_version = LIBFAC_VERSION;
     9const char * libfac_date = LIBFAC_DATE;
    910const char * libfac_author = "M. Messollen";
    1011
Note: See TracChangeset for help on using the changeset viewer.