Changeset 1cdedcb in git
- Timestamp:
- Jun 29, 1998, 4:18:40 PM (26 years ago)
- Branches:
- (u'spielwiese', 'fe61d9c35bf7c61f2b6cbf1b56e25e2f08d536cc')
- Children:
- 6b94c598399296dd2d720c35ab2874631010f21c
- Parents:
- 4f1744fee0f9986566e8c71d55ad66e9d64d82bd
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
factory/configure.in
r4f1744f r1cdedcb 1 1 dnl # emacs edit mode for this file is -*- sh -*- 2 dnl # $Id: configure.in,v 1.2 3 1998-06-15 14:28:48schmidt Exp $2 dnl # $Id: configure.in,v 1.24 1998-06-29 14:18:40 schmidt Exp $ 3 3 4 4 dnl # … … 13 13 # - initialisation. 14 14 # 15 AC_REVISION($Id: configure.in,v 1.2 3 1998-06-15 14:28:48schmidt Exp $)15 AC_REVISION($Id: configure.in,v 1.24 1998-06-29 14:18:40 schmidt Exp $) 16 16 AC_INIT(canonicalform.cc) 17 17 AC_CONFIG_HEADER(config.h) … … 56 56 57 57 AC_ARG_ENABLE( 58 cf-inline, 59 [ --enable-cf-inline build Factory with \"configurable inline methods\" 60 enabled.], 61 , 62 enable_cf_inline=no) 63 64 AC_ARG_ENABLE( 58 65 streamio, 59 66 [ --disable-streamio build Factory without stream IO], … … 91 98 enable_debugoutput=no) 92 99 93 # a ntribute to Singular100 # a tribute to Singular 94 101 AC_ARG_ENABLE( 95 102 gmp, … … 401 408 fi 402 409 410 # "configurable inline methods" 411 if test "x$enable_cf_inline" != xno; then 412 AC_DEFINE(CF_USE_INLINE) 413 fi 414 403 415 # iostream 404 416 if test "x$enable_streamio" = xno; then
Note: See TracChangeset
for help on using the changeset viewer.