diff options
Diffstat (limited to 'configure')
| -rwxr-xr-x | configure | 179 |
1 files changed, 36 insertions, 143 deletions
@@ -1,6 +1,6 @@ #! /bin/sh # Guess values for system-dependent variables and create Makefiles. -# Generated by GNU Autoconf 2.63 for OpenAxiom 1.4.0-2010-08-16. +# Generated by GNU Autoconf 2.63 for OpenAxiom 1.4.0-2010-08-20. # # Report bugs to <open-axiom-bugs@lists.sf.net>. # @@ -745,8 +745,8 @@ SHELL=${CONFIG_SHELL-/bin/sh} # Identity of this package. PACKAGE_NAME='OpenAxiom' PACKAGE_TARNAME='openaxiom' -PACKAGE_VERSION='1.4.0-2010-08-16' -PACKAGE_STRING='OpenAxiom 1.4.0-2010-08-16' +PACKAGE_VERSION='1.4.0-2010-08-20' +PACKAGE_STRING='OpenAxiom 1.4.0-2010-08-20' PACKAGE_BUGREPORT='open-axiom-bugs@lists.sf.net' ac_unique_file="src/Makefile.pamphlet" @@ -822,8 +822,6 @@ axiom_fasl_type oa_use_dynamic_lib axiom_eval_flags axiom_quiet_flags -NOWEAVE -NOTANGLE MAKE AWK MKTEMP @@ -1511,7 +1509,7 @@ if test "$ac_init_help" = "long"; then # Omit some internal or obsolete options to make the list less imposing. # This message is too long to be a string in the A/UX 3.1 sh. cat <<_ACEOF -\`configure' configures OpenAxiom 1.4.0-2010-08-16 to adapt to many kinds of systems. +\`configure' configures OpenAxiom 1.4.0-2010-08-20 to adapt to many kinds of systems. Usage: $0 [OPTION]... [VAR=VALUE]... @@ -1581,7 +1579,7 @@ fi if test -n "$ac_init_help"; then case $ac_init_help in - short | recursive ) echo "Configuration of OpenAxiom 1.4.0-2010-08-16:";; + short | recursive ) echo "Configuration of OpenAxiom 1.4.0-2010-08-20:";; esac cat <<\_ACEOF @@ -1689,7 +1687,7 @@ fi test -n "$ac_init_help" && exit $ac_status if $ac_init_version; then cat <<\_ACEOF -OpenAxiom configure 1.4.0-2010-08-16 +OpenAxiom configure 1.4.0-2010-08-20 generated by GNU Autoconf 2.63 Copyright (C) 1992, 1993, 1994, 1995, 1996, 1998, 1999, 2000, 2001, @@ -1703,7 +1701,7 @@ cat >config.log <<_ACEOF This file contains any messages produced by compilers while running configure, to aid debugging if configure makes a mistake. -It was created by OpenAxiom $as_me 1.4.0-2010-08-16, which was +It was created by OpenAxiom $as_me 1.4.0-2010-08-20, which was generated by GNU Autoconf 2.63. Invocation command line was $ $0 $@ @@ -2260,7 +2258,6 @@ axiom_build_sharedir=$axiom_builddir/share ## Accumulate list of utils needed for the build platform -## It is vital that noweb is present in the build environement. oa_all_prerequisites= @@ -6984,13 +6981,13 @@ if test "${lt_cv_nm_interface+set}" = set; then else lt_cv_nm_interface="BSD nm" echo "int some_variable = 0;" > conftest.$ac_ext - (eval echo "\"\$as_me:6987: $ac_compile\"" >&5) + (eval echo "\"\$as_me:6984: $ac_compile\"" >&5) (eval "$ac_compile" 2>conftest.err) cat conftest.err >&5 - (eval echo "\"\$as_me:6990: $NM \\\"conftest.$ac_objext\\\"\"" >&5) + (eval echo "\"\$as_me:6987: $NM \\\"conftest.$ac_objext\\\"\"" >&5) (eval "$NM \"conftest.$ac_objext\"" 2>conftest.err > conftest.out) cat conftest.err >&5 - (eval echo "\"\$as_me:6993: output\"" >&5) + (eval echo "\"\$as_me:6990: output\"" >&5) cat conftest.out >&5 if $GREP 'External.*some_variable' conftest.out > /dev/null; then lt_cv_nm_interface="MS dumpbin" @@ -8192,7 +8189,7 @@ ia64-*-hpux*) ;; *-*-irix6*) # Find out which ABI we are using. - echo '#line 8195 "configure"' > conftest.$ac_ext + echo '#line 8192 "configure"' > conftest.$ac_ext if { (eval echo "$as_me:$LINENO: \"$ac_compile\"") >&5 (eval $ac_compile) 2>&5 ac_status=$? @@ -10472,11 +10469,11 @@ else -e 's:.*FLAGS}\{0,1\} :&$lt_compiler_flag :; t' \ -e 's: [^ ]*conftest\.: $lt_compiler_flag&:; t' \ -e 's:$: $lt_compiler_flag:'` - (eval echo "\"\$as_me:10475: $lt_compile\"" >&5) + (eval echo "\"\$as_me:10472: $lt_compile\"" >&5) (eval "$lt_compile" 2>conftest.err) ac_status=$? cat conftest.err >&5 - echo "$as_me:10479: \$? = $ac_status" >&5 + echo "$as_me:10476: \$? = $ac_status" >&5 if (exit $ac_status) && test -s "$ac_outfile"; then # The compiler can only warn and ignore the option if not recognized # So say no if there are warnings other than the usual output. @@ -10811,11 +10808,11 @@ else -e 's:.*FLAGS}\{0,1\} :&$lt_compiler_flag :; t' \ -e 's: [^ ]*conftest\.: $lt_compiler_flag&:; t' \ -e 's:$: $lt_compiler_flag:'` - (eval echo "\"\$as_me:10814: $lt_compile\"" >&5) + (eval echo "\"\$as_me:10811: $lt_compile\"" >&5) (eval "$lt_compile" 2>conftest.err) ac_status=$? cat conftest.err >&5 - echo "$as_me:10818: \$? = $ac_status" >&5 + echo "$as_me:10815: \$? = $ac_status" >&5 if (exit $ac_status) && test -s "$ac_outfile"; then # The compiler can only warn and ignore the option if not recognized # So say no if there are warnings other than the usual output. @@ -10916,11 +10913,11 @@ else -e 's:.*FLAGS}\{0,1\} :&$lt_compiler_flag :; t' \ -e 's: [^ ]*conftest\.: $lt_compiler_flag&:; t' \ -e 's:$: $lt_compiler_flag:'` - (eval echo "\"\$as_me:10919: $lt_compile\"" >&5) + (eval echo "\"\$as_me:10916: $lt_compile\"" >&5) (eval "$lt_compile" 2>out/conftest.err) ac_status=$? cat out/conftest.err >&5 - echo "$as_me:10923: \$? = $ac_status" >&5 + echo "$as_me:10920: \$? = $ac_status" >&5 if (exit $ac_status) && test -s out/conftest2.$ac_objext then # The compiler can only warn and ignore the option if not recognized @@ -10971,11 +10968,11 @@ else -e 's:.*FLAGS}\{0,1\} :&$lt_compiler_flag :; t' \ -e 's: [^ ]*conftest\.: $lt_compiler_flag&:; t' \ -e 's:$: $lt_compiler_flag:'` - (eval echo "\"\$as_me:10974: $lt_compile\"" >&5) + (eval echo "\"\$as_me:10971: $lt_compile\"" >&5) (eval "$lt_compile" 2>out/conftest.err) ac_status=$? cat out/conftest.err >&5 - echo "$as_me:10978: \$? = $ac_status" >&5 + echo "$as_me:10975: \$? = $ac_status" >&5 if (exit $ac_status) && test -s out/conftest2.$ac_objext then # The compiler can only warn and ignore the option if not recognized @@ -13771,7 +13768,7 @@ else lt_dlunknown=0; lt_dlno_uscore=1; lt_dlneed_uscore=2 lt_status=$lt_dlunknown cat > conftest.$ac_ext <<_LT_EOF -#line 13774 "configure" +#line 13771 "configure" #include "confdefs.h" #if HAVE_DLFCN_H @@ -13867,7 +13864,7 @@ else lt_dlunknown=0; lt_dlno_uscore=1; lt_dlneed_uscore=2 lt_status=$lt_dlunknown cat > conftest.$ac_ext <<_LT_EOF -#line 13870 "configure" +#line 13867 "configure" #include "confdefs.h" #if HAVE_DLFCN_H @@ -15887,11 +15884,11 @@ else -e 's:.*FLAGS}\{0,1\} :&$lt_compiler_flag :; t' \ -e 's: [^ ]*conftest\.: $lt_compiler_flag&:; t' \ -e 's:$: $lt_compiler_flag:'` - (eval echo "\"\$as_me:15890: $lt_compile\"" >&5) + (eval echo "\"\$as_me:15887: $lt_compile\"" >&5) (eval "$lt_compile" 2>conftest.err) ac_status=$? cat conftest.err >&5 - echo "$as_me:15894: \$? = $ac_status" >&5 + echo "$as_me:15891: \$? = $ac_status" >&5 if (exit $ac_status) && test -s "$ac_outfile"; then # The compiler can only warn and ignore the option if not recognized # So say no if there are warnings other than the usual output. @@ -15986,11 +15983,11 @@ else -e 's:.*FLAGS}\{0,1\} :&$lt_compiler_flag :; t' \ -e 's: [^ ]*conftest\.: $lt_compiler_flag&:; t' \ -e 's:$: $lt_compiler_flag:'` - (eval echo "\"\$as_me:15989: $lt_compile\"" >&5) + (eval echo "\"\$as_me:15986: $lt_compile\"" >&5) (eval "$lt_compile" 2>out/conftest.err) ac_status=$? cat out/conftest.err >&5 - echo "$as_me:15993: \$? = $ac_status" >&5 + echo "$as_me:15990: \$? = $ac_status" >&5 if (exit $ac_status) && test -s out/conftest2.$ac_objext then # The compiler can only warn and ignore the option if not recognized @@ -16038,11 +16035,11 @@ else -e 's:.*FLAGS}\{0,1\} :&$lt_compiler_flag :; t' \ -e 's: [^ ]*conftest\.: $lt_compiler_flag&:; t' \ -e 's:$: $lt_compiler_flag:'` - (eval echo "\"\$as_me:16041: $lt_compile\"" >&5) + (eval echo "\"\$as_me:16038: $lt_compile\"" >&5) (eval "$lt_compile" 2>out/conftest.err) ac_status=$? cat out/conftest.err >&5 - echo "$as_me:16045: \$? = $ac_status" >&5 + echo "$as_me:16042: \$? = $ac_status" >&5 if (exit $ac_status) && test -s out/conftest2.$ac_objext then # The compiler can only warn and ignore the option if not recognized @@ -17367,106 +17364,6 @@ $as_echo "$as_me: error: OpenAxiom build system needs GNU Make." >&2;} ;; esac -## Make sure noweb executable is available -for ac_prog in notangle -do - # Extract the first word of "$ac_prog", so it can be a program name with args. -set dummy $ac_prog; ac_word=$2 -{ $as_echo "$as_me:$LINENO: checking for $ac_word" >&5 -$as_echo_n "checking for $ac_word... " >&6; } -if test "${ac_cv_prog_NOTANGLE+set}" = set; then - $as_echo_n "(cached) " >&6 -else - if test -n "$NOTANGLE"; then - ac_cv_prog_NOTANGLE="$NOTANGLE" # Let the user override the test. -else -as_save_IFS=$IFS; IFS=$PATH_SEPARATOR -for as_dir in $PATH -do - IFS=$as_save_IFS - test -z "$as_dir" && as_dir=. - for ac_exec_ext in '' $ac_executable_extensions; do - if { test -f "$as_dir/$ac_word$ac_exec_ext" && $as_test_x "$as_dir/$ac_word$ac_exec_ext"; }; then - ac_cv_prog_NOTANGLE="$ac_prog" - $as_echo "$as_me:$LINENO: found $as_dir/$ac_word$ac_exec_ext" >&5 - break 2 - fi -done -done -IFS=$as_save_IFS - -fi -fi -NOTANGLE=$ac_cv_prog_NOTANGLE -if test -n "$NOTANGLE"; then - { $as_echo "$as_me:$LINENO: result: $NOTANGLE" >&5 -$as_echo "$NOTANGLE" >&6; } -else - { $as_echo "$as_me:$LINENO: result: no" >&5 -$as_echo "no" >&6; } -fi - - - test -n "$NOTANGLE" && break -done - -for ac_prog in noweave -do - # Extract the first word of "$ac_prog", so it can be a program name with args. -set dummy $ac_prog; ac_word=$2 -{ $as_echo "$as_me:$LINENO: checking for $ac_word" >&5 -$as_echo_n "checking for $ac_word... " >&6; } -if test "${ac_cv_prog_NOWEAVE+set}" = set; then - $as_echo_n "(cached) " >&6 -else - if test -n "$NOWEAVE"; then - ac_cv_prog_NOWEAVE="$NOWEAVE" # Let the user override the test. -else -as_save_IFS=$IFS; IFS=$PATH_SEPARATOR -for as_dir in $PATH -do - IFS=$as_save_IFS - test -z "$as_dir" && as_dir=. - for ac_exec_ext in '' $ac_executable_extensions; do - if { test -f "$as_dir/$ac_word$ac_exec_ext" && $as_test_x "$as_dir/$ac_word$ac_exec_ext"; }; then - ac_cv_prog_NOWEAVE="$ac_prog" - $as_echo "$as_me:$LINENO: found $as_dir/$ac_word$ac_exec_ext" >&5 - break 2 - fi -done -done -IFS=$as_save_IFS - -fi -fi -NOWEAVE=$ac_cv_prog_NOWEAVE -if test -n "$NOWEAVE"; then - { $as_echo "$as_me:$LINENO: result: $NOWEAVE" >&5 -$as_echo "$NOWEAVE" >&6; } -else - { $as_echo "$as_me:$LINENO: result: no" >&5 -$as_echo "no" >&6; } -fi - - - test -n "$NOWEAVE" && break -done - -## In case noweb is missing we need to build our own. -if test -z "$NOTANGLE" -o -z "$NOWEAVE" ; then - ## Yes, but do we have the source files to build from? - if test ! -d ${srcdir}/noweb; then - { $as_echo "$as_me:$LINENO: OpenAxiom requires noweb utilties" >&5 -$as_echo "$as_me: OpenAxiom requires noweb utilties" >&6;} - { { $as_echo "$as_me:$LINENO: error: Please get the tarball of dependencies and reconfigure" >&5 -$as_echo "$as_me: error: Please get the tarball of dependencies and reconfigure" >&2;} - { (exit 1); exit 1; }; } - fi - NOTANGLE='$(axiom_build_bindir)/notangle' - NOWEAVE='$(axiom_build_bindir)/noweave' - oa_all_prerequisites="$oa_all_prerequisites all-noweb" -fi - @@ -22085,7 +21982,8 @@ GCLOPTS="$oa_gcl_emacs $oa_gcl_bfd_option $oa_gcl_mm_option $oa_gcl_x_option" -for ac_header in sys/mman.h + +for ac_header in sys/mman.h fcntl.h do as_ac_Header=`$as_echo "ac_cv_header_$ac_header" | $as_tr_sh` if { as_var=$as_ac_Header; eval "test \"\${$as_var+set}\" = set"; }; then @@ -22298,6 +22196,7 @@ fi case $GCC in yes) CFLAGS="$CFLAGS -O2 -Wall" + CXXFLAGS="$CXXFLAGS -O2 -Wall" ;; esac @@ -22309,6 +22208,8 @@ ac_config_files="$ac_config_files src/Makefile:config/var-def.mk:src/Makefile.in ac_config_files="$ac_config_files src/lib/Makefile:config/var-def.mk:src/lib/Makefile.in:config/setup-dep.mk" +ac_config_files="$ac_config_files src/utils/Makefile:config/var-def.mk:src/utils/Makefile.in:config/setup-dep.mk" + ac_config_files="$ac_config_files src/hyper/Makefile:config/var-def.mk:src/hyper/Makefile.in:config/setup-dep.mk" ac_config_files="$ac_config_files src/driver/Makefile:config/var-def.mk:src/driver/Makefile.in:config/setup-dep.mk" @@ -22330,12 +22231,6 @@ ac_config_files="$ac_config_files src/etc/Makefile:config/var-def.mk:src/etc/Mak ac_config_files="$ac_config_files src/doc/Makefile:config/var-def.mk:src/doc/Makefile.in:config/setup-dep.mk" -## We now generate the "document" script and support files at configure time. -## We put them in the build directory because they are intended to be -## build support utils only. -ac_config_files="$ac_config_files build/scripts/document:$srcdir/src/scripts/document.in" - - cat >confcache <<\_ACEOF # This file is a shell script that caches the results of configure # tests run on this system so they can be shared between configure @@ -22756,7 +22651,7 @@ exec 6>&1 # report actual input values of CONFIG_FILES etc. instead of their # values after options handling. ac_log=" -This file was extended by OpenAxiom $as_me 1.4.0-2010-08-16, which was +This file was extended by OpenAxiom $as_me 1.4.0-2010-08-20, which was generated by GNU Autoconf 2.63. Invocation command line was CONFIG_FILES = $CONFIG_FILES @@ -22819,7 +22714,7 @@ Report bugs to <bug-autoconf@gnu.org>." _ACEOF cat >>$CONFIG_STATUS <<_ACEOF || ac_write_fail=1 ac_cs_version="\\ -OpenAxiom config.status 1.4.0-2010-08-16 +OpenAxiom config.status 1.4.0-2010-08-20 configured by $0, generated by GNU Autoconf 2.63, with options \\"`$as_echo "$ac_configure_args" | sed 's/^ //; s/[\\""\`\$]/\\\\&/g'`\\" @@ -23305,6 +23200,7 @@ do "Makefile") CONFIG_FILES="$CONFIG_FILES Makefile:config/var-def.mk:Makefile.in:config/setup-dep.mk" ;; "src/Makefile") CONFIG_FILES="$CONFIG_FILES src/Makefile:config/var-def.mk:src/Makefile.in:config/setup-dep.mk" ;; "src/lib/Makefile") CONFIG_FILES="$CONFIG_FILES src/lib/Makefile:config/var-def.mk:src/lib/Makefile.in:config/setup-dep.mk" ;; + "src/utils/Makefile") CONFIG_FILES="$CONFIG_FILES src/utils/Makefile:config/var-def.mk:src/utils/Makefile.in:config/setup-dep.mk" ;; "src/hyper/Makefile") CONFIG_FILES="$CONFIG_FILES src/hyper/Makefile:config/var-def.mk:src/hyper/Makefile.in:config/setup-dep.mk" ;; "src/driver/Makefile") CONFIG_FILES="$CONFIG_FILES src/driver/Makefile:config/var-def.mk:src/driver/Makefile.in:config/setup-dep.mk" ;; "src/lisp/Makefile") CONFIG_FILES="$CONFIG_FILES src/lisp/Makefile:config/var-def.mk:src/lisp/Makefile.in:config/setup-dep.mk" ;; @@ -23315,7 +23211,6 @@ do "src/input/Makefile") CONFIG_FILES="$CONFIG_FILES src/input/Makefile:config/var-def.mk:src/input/Makefile.in:config/setup-dep.mk" ;; "src/etc/Makefile") CONFIG_FILES="$CONFIG_FILES src/etc/Makefile:config/var-def.mk:src/etc/Makefile.in:config/setup-dep.mk" ;; "src/doc/Makefile") CONFIG_FILES="$CONFIG_FILES src/doc/Makefile:config/var-def.mk:src/doc/Makefile.in:config/setup-dep.mk" ;; - "build/scripts/document") CONFIG_FILES="$CONFIG_FILES build/scripts/document:$srcdir/src/scripts/document.in" ;; *) { { $as_echo "$as_me:$LINENO: error: invalid argument: $ac_config_target" >&5 $as_echo "$as_me: error: invalid argument: $ac_config_target" >&2;} @@ -24738,8 +24633,6 @@ compiler_lib_search_path=$lt_compiler_lib_search_path_CXX _LT_EOF ;; - "build/scripts/document":F) \ - chmod +x build/scripts/document ;; esac done # for ac_tag @@ -24792,7 +24685,7 @@ egrep '<<(category|domain|package) .*>>=' \ set $chunk_desc; spad_abbrev=$2 cat >> src/algebra/tmp-extract-spad.mk <<EOF $spad_abbrev.spad: \$(srcdir)/`basename $spad_file` ; \ - @\$(axiom_build_document) --output=\$@.tmp --tangle="$chunk_desc" \$< && \ + @\$(oa_hammer) --output=\$@.tmp --tangle="$chunk_desc" \$< && \ \$(top_confdir)/move-if-change \$@.tmp \$@ EOF done |