diff options
| -rwxr-xr-x | configure | 98 | ||||
| -rw-r--r-- | configure.ac | 12 | ||||
| -rw-r--r-- | configure.ac.pamphlet | 12 | ||||
| -rw-r--r-- | src/ChangeLog | 4 | ||||
| -rw-r--r-- | src/algebra/tex.spad.pamphlet | 23 |
5 files changed, 103 insertions, 46 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-2009-10-08. +# Generated by GNU Autoconf 2.63 for OpenAxiom 1.4.0-2009-10-10. # # 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-2009-10-08' -PACKAGE_STRING='OpenAxiom 1.4.0-2009-10-08' +PACKAGE_VERSION='1.4.0-2009-10-10' +PACKAGE_STRING='OpenAxiom 1.4.0-2009-10-10' PACKAGE_BUGREPORT='open-axiom-bugs@lists.sf.net' ac_unique_file="src/Makefile.pamphlet" @@ -824,6 +824,7 @@ AXIOM_LISP NOWEAVE NOTANGLE MAKEINDEX +PDFLATEX LATEX HOST_AWK AWK @@ -1498,7 +1499,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-2009-10-08 to adapt to many kinds of systems. +\`configure' configures OpenAxiom 1.4.0-2009-10-10 to adapt to many kinds of systems. Usage: $0 [OPTION]... [VAR=VALUE]... @@ -1568,7 +1569,7 @@ fi if test -n "$ac_init_help"; then case $ac_init_help in - short | recursive ) echo "Configuration of OpenAxiom 1.4.0-2009-10-08:";; + short | recursive ) echo "Configuration of OpenAxiom 1.4.0-2009-10-10:";; esac cat <<\_ACEOF @@ -1671,7 +1672,7 @@ fi test -n "$ac_init_help" && exit $ac_status if $ac_init_version; then cat <<\_ACEOF -OpenAxiom configure 1.4.0-2009-10-08 +OpenAxiom configure 1.4.0-2009-10-10 generated by GNU Autoconf 2.63 Copyright (C) 1992, 1993, 1994, 1995, 1996, 1998, 1999, 2000, 2001, @@ -1685,7 +1686,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-2009-10-08, which was +It was created by OpenAxiom $as_me 1.4.0-2009-10-10, which was generated by GNU Autoconf 2.63. Invocation command line was $ $0 $@ @@ -3733,13 +3734,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:3736: $ac_compile\"" >&5) + (eval echo "\"\$as_me:3737: $ac_compile\"" >&5) (eval "$ac_compile" 2>conftest.err) cat conftest.err >&5 - (eval echo "\"\$as_me:3739: $NM \\\"conftest.$ac_objext\\\"\"" >&5) + (eval echo "\"\$as_me:3740: $NM \\\"conftest.$ac_objext\\\"\"" >&5) (eval "$NM \"conftest.$ac_objext\"" 2>conftest.err > conftest.out) cat conftest.err >&5 - (eval echo "\"\$as_me:3742: output\"" >&5) + (eval echo "\"\$as_me:3743: output\"" >&5) cat conftest.out >&5 if $GREP 'External.*some_variable' conftest.out > /dev/null; then lt_cv_nm_interface="MS dumpbin" @@ -4942,7 +4943,7 @@ ia64-*-hpux*) ;; *-*-irix6*) # Find out which ABI we are using. - echo '#line 4945 "configure"' > conftest.$ac_ext + echo '#line 4946 "configure"' > conftest.$ac_ext if { (eval echo "$as_me:$LINENO: \"$ac_compile\"") >&5 (eval $ac_compile) 2>&5 ac_status=$? @@ -7090,11 +7091,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:7093: $lt_compile\"" >&5) + (eval echo "\"\$as_me:7094: $lt_compile\"" >&5) (eval "$lt_compile" 2>conftest.err) ac_status=$? cat conftest.err >&5 - echo "$as_me:7097: \$? = $ac_status" >&5 + echo "$as_me:7098: \$? = $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. @@ -7429,11 +7430,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:7432: $lt_compile\"" >&5) + (eval echo "\"\$as_me:7433: $lt_compile\"" >&5) (eval "$lt_compile" 2>conftest.err) ac_status=$? cat conftest.err >&5 - echo "$as_me:7436: \$? = $ac_status" >&5 + echo "$as_me:7437: \$? = $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. @@ -7534,11 +7535,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:7537: $lt_compile\"" >&5) + (eval echo "\"\$as_me:7538: $lt_compile\"" >&5) (eval "$lt_compile" 2>out/conftest.err) ac_status=$? cat out/conftest.err >&5 - echo "$as_me:7541: \$? = $ac_status" >&5 + echo "$as_me:7542: \$? = $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 @@ -7589,11 +7590,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:7592: $lt_compile\"" >&5) + (eval echo "\"\$as_me:7593: $lt_compile\"" >&5) (eval "$lt_compile" 2>out/conftest.err) ac_status=$? cat out/conftest.err >&5 - echo "$as_me:7596: \$? = $ac_status" >&5 + echo "$as_me:7597: \$? = $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 @@ -10389,7 +10390,7 @@ else lt_dlunknown=0; lt_dlno_uscore=1; lt_dlneed_uscore=2 lt_status=$lt_dlunknown cat > conftest.$ac_ext <<_LT_EOF -#line 10392 "configure" +#line 10393 "configure" #include "confdefs.h" #if HAVE_DLFCN_H @@ -10485,7 +10486,7 @@ else lt_dlunknown=0; lt_dlno_uscore=1; lt_dlneed_uscore=2 lt_status=$lt_dlunknown cat > conftest.$ac_ext <<_LT_EOF -#line 10488 "configure" +#line 10489 "configure" #include "confdefs.h" #if HAVE_DLFCN_H @@ -11736,7 +11737,34 @@ fi -# Extract the first word of "latex", so it can be a program name with args. +# Extract the first word of "pdflatex", so it can be a program name with args. +set dummy pdflatex; 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_path_PDFLATEX+set}" = set; then + $as_echo_n "(cached) " >&6 +else + case $PDFLATEX in + [\\/]* | ?:[\\/]*) + ac_cv_path_PDFLATEX="$PDFLATEX" # Let the user override the test with a path. + ;; + *) + 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_path_PDFLATEX="$as_dir/$ac_word$ac_exec_ext" + $as_echo "$as_me:$LINENO: found $as_dir/$ac_word$ac_exec_ext" >&5 + break 2 + fi +done +done +IFS=$as_save_IFS + + test -z "$ac_cv_path_PDFLATEX" && ac_cv_path_PDFLATEX="# Extract the first word of "latex", so it can be a program name with args. set dummy latex; ac_word=$2 { $as_echo "$as_me:$LINENO: checking for $ac_word" >&5 $as_echo_n "checking for $ac_word... " >&6; } @@ -11763,6 +11791,8 @@ done done IFS=$as_save_IFS + test -z "$ac_cv_path_LATEX" && ac_cv_path_LATEX="{ $as_echo "$as_me:$LINENO: Documentation is disabled." >&5 +$as_echo "$as_me: Documentation is disabled." >&6;}" ;; esac fi @@ -11775,6 +11805,20 @@ else $as_echo "no" >&6; } fi +" + ;; +esac +fi +PDFLATEX=$ac_cv_path_PDFLATEX +if test -n "$PDFLATEX"; then + { $as_echo "$as_me:$LINENO: result: $PDFLATEX" >&5 +$as_echo "$PDFLATEX" >&6; } +else + { $as_echo "$as_me:$LINENO: result: no" >&5 +$as_echo "no" >&6; } +fi + + for ac_prog in makeindex do @@ -11818,12 +11862,6 @@ fi test -n "$MAKEINDEX" && break done -if test -n "$LATEX"; then \ - : -else - { $as_echo "$as_me:$LINENO: Documentation is disabled." >&5 -$as_echo "$as_me: Documentation is disabled." >&6;} -fi ## --------------------------------------- ## Make sure noweb executable is available @@ -17062,7 +17100,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-2009-10-08, which was +This file was extended by OpenAxiom $as_me 1.4.0-2009-10-10, which was generated by GNU Autoconf 2.63. Invocation command line was CONFIG_FILES = $CONFIG_FILES @@ -17125,7 +17163,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-2009-10-08 +OpenAxiom config.status 1.4.0-2009-10-10 configured by $0, generated by GNU Autoconf 2.63, with options \\"`$as_echo "$ac_configure_args" | sed 's/^ //; s/[\\""\`\$]/\\\\&/g'`\\" diff --git a/configure.ac b/configure.ac index abcdb432..c8b62960 100644 --- a/configure.ac +++ b/configure.ac @@ -1,6 +1,6 @@ sinclude(config/open-axiom.m4) sinclude(config/aclocal.m4) -AC_INIT([OpenAxiom], [1.4.0-2009-10-08], +AC_INIT([OpenAxiom], [1.4.0-2009-10-10], [open-axiom-bugs@lists.sf.net]) AC_CONFIG_AUX_DIR(config) @@ -118,13 +118,11 @@ AC_PATH_PROGS([HOST_AWK],[awk nawk gawk mawk]) AC_CHECK_PROG([AR], [ar], [ar], [AC_MSG_ERROR([program 'ar' is missing])]) -AC_PATH_PROG([LATEX], [latex]) +AC_PATH_PROG([PDFLATEX], [pdflatex], + [AC_PATH_PROG([LATEX], [latex], + [AC_MSG_NOTICE([Documentation is disabled.])])]) + AC_CHECK_PROGS([MAKEINDEX], [makeindex]) -if test -n "$LATEX"; then \ - : -else - AC_MSG_NOTICE([Documentation is disabled.]) -fi ## --------------------------------------- ## Make sure noweb executable is available diff --git a/configure.ac.pamphlet b/configure.ac.pamphlet index 9da4c06d..104d42af 100644 --- a/configure.ac.pamphlet +++ b/configure.ac.pamphlet @@ -737,13 +737,11 @@ files in a directory named \File{noweb/} at the top level. Normally, this works right when one follows the installation instructions. % <<doc utils>>= -AC_PATH_PROG([LATEX], [latex]) +AC_PATH_PROG([PDFLATEX], [pdflatex], + [AC_PATH_PROG([LATEX], [latex], + [AC_MSG_NOTICE([Documentation is disabled.])])]) + AC_CHECK_PROGS([MAKEINDEX], [makeindex]) -if test -n "$LATEX"; then \ - : -else - AC_MSG_NOTICE([Documentation is disabled.]) -fi ## --------------------------------------- ## Make sure noweb executable is available @@ -1151,7 +1149,7 @@ information: <<Autoconf init>>= sinclude(config/open-axiom.m4) sinclude(config/aclocal.m4) -AC_INIT([OpenAxiom], [1.4.0-2009-10-08], +AC_INIT([OpenAxiom], [1.4.0-2009-10-10], [open-axiom-bugs@lists.sf.net]) @ diff --git a/src/ChangeLog b/src/ChangeLog index d100410a..c986f8c1 100644 --- a/src/ChangeLog +++ b/src/ChangeLog @@ -1,3 +1,7 @@ +2009-10-12 Kostas Oikonomou <ko@research.att.com> + + * algebra/tex.spad.pamphlet: Update special function list. + 2009-10-10 Gabriel Dos Reis <gdr@cs.tamu.edu> * algebra/void.spad.pamphlet (Void): Remove Rep definition. diff --git a/src/algebra/tex.spad.pamphlet b/src/algebra/tex.spad.pamphlet index 1144842d..9ce894cb 100644 --- a/src/algebra/tex.spad.pamphlet +++ b/src/algebra/tex.spad.pamphlet @@ -171,11 +171,30 @@ TexFormat(): public == private where specialStrings : L S := ["cos", "cot", "csc", "log", "sec", "sin", "tan", "cosh", "coth", "csch", "sech", "sinh", "tanh", - "acos","asin","atan","erf","...","$","infinity"] + "acos","asin","atan","erf","...","$","infinity", + "alpha", "beta", "gamma", "delta", "epsilon", + "zeta", "eta", "theta", "iota", "kappa", "lambda", + "mu", "nu", "xi", "omikron", "pi", "rho", "sigma", + "tau", "upsilon", "phi", "chi", "psi", "omega" + "Alpha", "Beta", "Gamma", "Delta", "Epsilon", + "Zeta", "Eta", "Theta", "Iota", "Kappa", "Lambda", + "Mu", "Nu", "Xi", "Omikron", "Pi", "Rho", "Sigma", + "Tau", "Upsilon", "Phi", "Chi", "Psi", "Omega"] + + specialStringsInTeX : L S := ["\cos","\cot","\csc","\log","\sec","\sin","\tan", "\cosh","\coth","\csch","\sech","\sinh","\tanh", - "\arccos","\arcsin","\arctan","\erf","\ldots","\$","\infty"] + "\arccos","\arcsin","\arctan","\erf","\ldots","\$","\infty", + "\alpha", "\beta", "\gamma", "\delta", "\epsilon", + "\zeta", "\eta", "\theta", "\iota", "\kappa", "\lambda", + "\mu", "\nu", "\xi", "\omikron", "\pi", "\rho", "\sigma", + "\tau", "\upsilon", "\phi", "\chi", "\psi", "\omega" + "\Alpha", "\Beta", "\Gamma", "\Delta", "\Epsilon", + "\Zeta", "\Eta", "\Theta", "\Iota", "\Kappa", "\Lambda", + "\Mu", "\Nu", "\Xi", "\Omikron", "\Pi", "\Rho", "\Sigma", + "\Tau", "\Upsilon", "\Phi", "\Chi", "\Psi", "\Omega"] + -- local function signatures |