Changeset b55c379 in git for libfac


Ignore:
Timestamp:
Nov 9, 2010, 1:18:32 PM (13 years ago)
Author:
Hans Schoenemann <hannes@…>
Branches:
(u'spielwiese', '4a9821a93ffdc22a6696668bd4f6b8c9de3e6c5f')
Children:
09330b5be651d0b1781ddd8c92bbce0af1817795
Parents:
0963a4c01be8f3fb7ca7812ced89456af84730f5
Message:
configure does not need singular

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

Legend:

Unmodified
Added
Removed
  • libfac/configure

    r0963a4 rb55c379  
    1414ac_help="$ac_help
    1515  --with-debug    build with debugging options turned on"
    16 ac_help="$ac_help
    17   --with-Singular build for use with Singular"
    18 ac_help="$ac_help
    19   --with-Singularerror use error reporting from Singular"
    2016ac_help="$ac_help
    2117  --with-NOSTREAMIO : do not require iostream include nor library"
     
    569565
    570566
    571 # Check whether --with-Singular or --without-Singular was given.
    572 if test "${with_Singular+set}" = set; then
    573   withval="$with_Singular"
    574   :
    575 fi
    576 
    577 
    578 if test "$with_Singular" = yes; then
    579   cat >> confdefs.h <<\EOF
    580 #define SINGULAR 1
    581 EOF
    582 
    583   cat >> confdefs.h <<\EOF
    584 #define NOSTREAMIO 1
    585 EOF
    586 
    587   if test "$with_debug" = yes; then
    588      targetname="libsingfac-g"
    589   else
    590      targetname="libsingfac"
    591   fi
    592 else
    593   if test "$with_debug" = yes; then
    594      targetname="libfac-g"
    595   else
    596      targetname="libfac"
    597   fi
    598 fi
    599 
    600 # Check whether --with-Singularerror or --without-Singularerror was given.
    601 if test "${with_Singularerror+set}" = set; then
    602   withval="$with_Singularerror"
    603   :
    604 fi
    605 
    606 
    607 if test "$with_Singularerror" = yes; then
    608   cat >> confdefs.h <<\EOF
    609 #define SINGULAR_ERROR 1
    610 EOF
    611 
    612 fi
     567targetname="libsingfac"
    613568
    614569# Check whether --with-NOSTREAMIO or --without-NOSTREAMIO was given.
  • libfac/configure.in

    r0963a4 rb55c379  
    4444  [  --with-debug    build with debugging options turned on])
    4545
    46 AC_ARG_WITH(
    47   Singular,
    48   [  --with-Singular build for use with Singular])
    49 
    50 if test "$with_Singular" = yes; then
    51   AC_DEFINE(SINGULAR)
    52   AC_DEFINE(NOSTREAMIO)
    53   if test "$with_debug" = yes; then
    54      targetname="libsingfac-g"
    55   else
    56      targetname="libsingfac"
    57   fi
    58 else
    59   if test "$with_debug" = yes; then
    60      targetname="libfac-g"
    61   else
    62      targetname="libfac"
    63   fi
    64 fi
    65 
    66 AC_ARG_WITH(
    67   Singularerror,
    68   [  --with-Singularerror use error reporting from Singular])
    69 
    70 if test "$with_Singularerror" = yes; then
    71   AC_DEFINE(SINGULAR_ERROR)
    72 fi
     46targetname="libsingfac"
    7347
    7448AC_ARG_WITH(
Note: See TracChangeset for help on using the changeset viewer.