Changeset 732e66 in git for factory


Ignore:
Timestamp:
Feb 5, 1998, 4:56:45 PM (26 years ago)
Author:
Jens Schmidt <schmidt@…>
Branches:
(u'spielwiese', 'd1b01e9d51ade4b46b745d3bada5c5f3696be3a8')
Children:
e0953a6dff8708da44f4b629d82a76730534ed77
Parents:
ae6ef70da7b4ba4ad8fb07543e7845bb501ff54c
Message:
	* configure.in (enable_timing, enable_debugoutput): extra timing
	  and debugoutput magic removed


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

Legend:

Unmodified
Added
Removed
  • factory/configure.in

    rae6ef7 r732e66  
    11dnl # emacs edit mode for this file is -*- sh -*-
    2 dnl # $Id: configure.in,v 1.17 1998-01-13 13:58:03 obachman Exp $
     2dnl # $Id: configure.in,v 1.18 1998-02-05 15:56:45 schmidt Exp $
    33
    44dnl #
     
    1313# - initialisation.
    1414#
    15 AC_REVISION($Id: configure.in,v 1.17 1998-01-13 13:58:03 obachman Exp $)
     15AC_REVISION($Id: configure.in,v 1.18 1998-02-05 15:56:45 schmidt Exp $)
    1616AC_INIT(canonicalform.cc)
    1717AC_CONFIG_HEADER(config.h)
     
    367367fi
    368368
    369 #
    370 # - debugoutput and timing magic.
    371 #
    372 # For those who do not like this: As long as you do not specify
    373 # --enable-timing or --enable-debugoutput the following code will
    374 # not be executed.
    375 #
    376 timingtargets=/dev/null
    377 debouttargets=/dev/null
    378 debtimingtargets=/dev/null
    379 enhanceddebtime=no
    380 
    381369# timing
    382370if test "x$enable_timing" != xno; then
    383   if test "x$enable_timing" = xyes; then
    384     AC_DEFINE(TIMING)
    385   else
    386     echo "$enable_timing" | tr ',' '\n' | sed 's/\..*$//' | sort > conftest.time
    387     timingtargets=conftest.time
    388     enhanceddebtime=yes
    389   fi
     371  AC_DEFINE(TIMING)
    390372fi
    391373
    392374# debugoutput
    393375if test "x$enable_debugoutput" != xno; then
    394   if test "x$enable_debugoutput" = xyes; then
    395     AC_DEFINE(DEBUGOUTPUT)
    396   else
    397     echo "$enable_debugoutput" | tr ',' '\n' | sed 's/\..*$//' | sort > conftest.debout
    398     debouttargets=conftest.debout
    399     enhanceddebtime=yes
    400   fi
    401 fi
    402 
    403 # create makefile fragments
    404 if test "x$enhanceddebtime" = xyes; then
    405   # get the intersection of timingtargets and debouttargets
    406   sort "$timingtargets" "$debouttargets" | uniq -d > conftest.debtime
    407   if test -s conftest.debtime; then
    408     debtimingtargets=conftest.debtime
    409   fi
    410   if test "x$timingtargets" != x/dev/null; then
    411     # get difference of timingtargets and debtimingtargets
    412     sort "$timingtargets" "$debtimingtargets" | uniq -u |
    413       while read line; do
    414         echo "$line.o: $line.cc config.h;" '$(CXX) -c $< -DTIMING $(LIBCXXFLAGS) -o $@'
    415       done > conftest.tmp
    416     mv conftest.tmp "$timingtargets"
    417   fi
    418   if test "x$debouttargets" != x/dev/null; then
    419     # get difference of debouttargets and debtimingtargets
    420     sort "$debouttargets" "$debtimingtargets" | uniq -u |
    421       while read line; do
    422         echo "$line.o: $line.cc config.h;" '$(CXX) -c $< -DDEBUGOUTPUT $(LIBCXXFLAGS) -o $@'
    423       done > conftest.tmp
    424     mv conftest.tmp "$debouttargets"
    425   fi
    426   if test "x$debtimingtargets" != x/dev/null; then
    427     while read line; do
    428       echo "$line.o: $line.cc config.h;" '$(CXX) -c $< -DTIMING -DDEBUGOUTPUT $(LIBCXXFLAGS) -o $@'
    429     done < "$debtimingtargets" > conftest.tmp
    430     mv conftest.tmp "$debtimingtargets"
    431   fi
     376  AC_DEFINE(DEBUGOUTPUT)
    432377fi
    433378
     
    455400AC_SUBST(uninstalltargets)
    456401
    457 AC_SUBST_FILE(timingtargets)
    458 AC_SUBST_FILE(debouttargets)
    459 AC_SUBST_FILE(debtimingtargets)
    460 
    461402AC_DEFINE_UNQUOTED(FACTORYVERSION, "$factory_version")
    462403AC_DEFINE_UNQUOTED(FACTORYCONFIGURATION, "$factory_configuration")
Note: See TracChangeset for help on using the changeset viewer.