Changeset 2ad13d7 in git


Ignore:
Timestamp:
Oct 30, 2013, 10:01:06 AM (9 years ago)
Author:
Hans Schoenemann <hannes@…>
Branches:
(u'jengelh-datetime', 'ceac47cbc86fe4a15902392bdbb9bd2ae0ea02c6')(u'spielwiese', 'ad2543eab51733612ba7d118afc77edca719600e')
Children:
498c19ba58b5c09de9d8e73c06e67ca87962ebfea7050dd4a61b891cc4a1fa9b250a9d02935a6fd7
Parents:
3c3d47c9daf70f448511e62e58d2e86f4d49ef01
Message:
chg: removed unused stuff from -v-output
File:
1 edited

Legend:

Unmodified
Added
Removed
  • Singular/misc_ip.cc

    r3c3d47 r2ad13d7  
    786786  StringAppend("Singular for %s version %s (%s, %d bit) %s #%s",
    787787               S_UNAME, S_VERSION1, // SINGULAR_VERSION,
    788                PACKAGE_VERSION, SIZEOF_LONG*8, singular_date, GIT_VERSION);
     788               PACKAGE_VERSION, SIZEOF_VOIDP*8, singular_date, GIT_VERSION);
    789789  StringAppendS("\nwith\n\t");
    790 #ifdef HAVE_FACTORY
    791   StringAppend("factory(%s){'%s','%s'}", factoryVersion, FACTORY_CFLAGS, FACTORY_LIBS);
    792 #ifdef HAVE_LIBFAC
    793   // libfac:
    794 //  extern const char * libfac_version;
    795 //  extern const char * libfac_date;
    796   StringAppend("+libfac");
    797 #endif // #ifdef HAVE_LIBFAC
    798   StringAppend(",");
    799 #endif
    800790
    801791#if defined (__GNU_MP_VERSION) && defined (__GNU_MP_VERSION_MINOR)
    802               StringAppend("GMP(%d.%d){'%s','%s'},",__GNU_MP_VERSION,__GNU_MP_VERSION_MINOR, GMP_CFLAGS, GMP_LIBS);
    803 #else
    804               StringAppendS("GMP(1.3),");
     792              StringAppend("GMP(%d.%d),",__GNU_MP_VERSION,__GNU_MP_VERSION_MINOR);
    805793#endif
    806794#ifdef HAVE_NTL
    807795#include <NTL/version.h>
    808               StringAppend("NTL(%s){'%s','%s'},",NTL_VERSION, NTL_CFLAGS, NTL_LIBS);
    809 #endif
    810 
    811 #ifdef HAVE_FACTORY
     796              StringAppend("NTL(%s),",NTL_VERSION);
     797#endif
     798
    812799#ifdef HAVE_FLINT
    813800              StringAppend("FLINT(%s){'%s','%s'},",version, FLINT_CFLAGS, FLINT_LIBS);
    814801#endif
    815 #endif
    816 
    817 #if SIZEOF_VOIDP == 8
    818               StringAppendS("64bit,");
    819 #else
    820               StringAppendS("32bit,");
    821 #endif
     802
    822803#if defined(HAVE_DYN_RL)
    823804              if (fe_fgets_stdin==fe_fgets_dummy)
     
    856837#endif
    857838              if (p_procs_dynamic) StringAppendS("dynamic p_Procs,");
    858 #ifdef TEST
    859               StringAppendS("TESTs,");
    860 #endif
    861839#if YYDEBUG
    862840              StringAppendS("YYDEBUG=1,");
Note: See TracChangeset for help on using the changeset viewer.