From 9eabaa580cd5476fff876dc43fb3d60e441e3618 Mon Sep 17 00:00:00 2001 From: Vitor Santos Costa Date: Sun, 12 Jun 2011 22:26:04 +0100 Subject: [PATCH] support for documentation in packages. --- Makefile.in | 4 + configure | 534 ++++++++-------- configure.in | 2 + man/doc2tex | 179 ++++++ man/fancychap.sty | 43 ++ man/html.sty | 174 +++++ man/name.bst | 1254 +++++++++++++++++++++++++++++++++++++ man/pl.bib | 1102 ++++++++++++++++++++++++++++++++ man/pl.sty | 508 +++++++++++++++ man/plpage.sty | 32 + man/runtex | 221 +++++++ packages/Dialect.defs.in | 6 +- packages/Makefile.defs.in | 14 +- 13 files changed, 3802 insertions(+), 271 deletions(-) create mode 100755 man/doc2tex create mode 100644 man/fancychap.sty create mode 100644 man/html.sty create mode 100644 man/name.bst create mode 100644 man/pl.bib create mode 100644 man/pl.sty create mode 100644 man/plpage.sty create mode 100755 man/runtex diff --git a/Makefile.in b/Makefile.in index 66443a7f5..b6e8f1a41 100755 --- a/Makefile.in +++ b/Makefile.in @@ -682,6 +682,7 @@ all: startup.yss @INSTALL_DLLS@ (cd library/tries; $(MAKE)) @INSTALL_DLLS@ (cd packages/clib; $(MAKE)) @INSTALL_DLLS@ (cd packages/http; $(MAKE)) + # @INSTALL_DLLS@ (cd packages/pldoc; $(MAKE)) @INSTALL_DLLS@ (cd packages/plunit; $(MAKE)) @INSTALL_DLLS@ (cd packages/R; $(MAKE)) @INSTALL_DLLS@ (cd packages/RDF; $(MAKE)) @@ -743,6 +744,7 @@ install_unix: startup.yss libYap.a @INSTALL_DLLS@ (cd library/tries; $(MAKE) install) @INSTALL_DLLS@ (cd packages/clib; $(MAKE) install) @INSTALL_DLLS@ (cd packages/http; $(MAKE) install) + @INSTALL_DLLS@ (cd packages/pldoc; $(MAKE) install) @INSTALL_DLLS@ (cd packages/plunit; $(MAKE) install) @INSTALL_DLLS@ (cd packages/sgml; $(MAKE) install) @INSTALL_DLLS@ (cd packages/R; $(MAKE) install) @@ -796,6 +798,7 @@ install_win32: startup.yss @INSTALL_YAPR@ (cd packages/YapR; $(MAKE) install) (cd library/tries; $(MAKE) install) (cd packages/clib; $(MAKE) install) + (cd packages/pldoc; $(MAKE) install) (cd packages/plunit; $(MAKE) install) (cd packages/http; $(MAKE) install) (cd packages/R; $(MAKE) install) @@ -855,6 +858,7 @@ clean: clean_docs @INSTALL_DLLS@ (cd library/tries; $(MAKE) clean) @INSTALL_DLLS@ (cd packages/clib; $(MAKE) clean) @INSTALL_DLLS@ (cd packages/http; $(MAKE) clean) + @INSTALL_DLLS@ (cd packages/pldoc; $(MAKE) clean) @INSTALL_DLLS@ (cd packages/plunit; $(MAKE) clean) @INSTALL_DLLS@ (cd packages/R; $(MAKE) clean) @INSTALL_DLLS@ (cd packages/RDF; $(MAKE) clean) diff --git a/configure b/configure index 0771427fc..a15c79059 100755 --- a/configure +++ b/configure @@ -1,6 +1,6 @@ #! /bin/sh # Guess values for system-dependent variables and create Makefiles. -# Generated by GNU Autoconf 2.67. +# Generated by GNU Autoconf 2.68. # # # Copyright (C) 1992, 1993, 1994, 1995, 1996, 1998, 1999, 2000, 2001, @@ -89,6 +89,7 @@ fi IFS=" "" $as_nl" # Find who we are. Look in the path if we contain no directory separator. +as_myself= case $0 in #(( *[\\/]* ) as_myself=$0 ;; *) as_save_IFS=$IFS; IFS=$PATH_SEPARATOR @@ -214,11 +215,18 @@ IFS=$as_save_IFS # We cannot yet assume a decent shell, so we have to provide a # neutralization value for shells without unset; and this also # works around shells that cannot unset nonexistent variables. + # Preserve -v and -x to the replacement shell. BASH_ENV=/dev/null ENV=/dev/null (unset BASH_ENV) >/dev/null 2>&1 && unset BASH_ENV ENV export CONFIG_SHELL - exec "$CONFIG_SHELL" "$as_myself" ${1+"$@"} + case $- in # (((( + *v*x* | *x*v* ) as_opts=-vx ;; + *v* ) as_opts=-v ;; + *x* ) as_opts=-x ;; + * ) as_opts= ;; + esac + exec "$CONFIG_SHELL" $as_opts "$as_myself" ${1+"$@"} fi if test x$as_have_required = xno; then : @@ -1214,7 +1222,7 @@ Try \`$0 --help' for more information" $as_echo "$as_me: WARNING: you should use --build, --host, --target" >&2 expr "x$ac_option" : ".*[^-._$as_cr_alnum]" >/dev/null && $as_echo "$as_me: WARNING: invalid host type: $ac_option" >&2 - : ${build_alias=$ac_option} ${host_alias=$ac_option} ${target_alias=$ac_option} + : "${build_alias=$ac_option} ${host_alias=$ac_option} ${target_alias=$ac_option}" ;; esac @@ -1425,7 +1433,7 @@ Optional Features: --disable-FEATURE do not include FEATURE (same as --enable-FEATURE=no) --enable-FEATURE[=ARG] include FEATURE [ARG=yes] --enable-tabling support tabling - --enable-or-parallelism support or-parallelism as: copy,sba,cow,threads + --enable-or-parallelism support or-parallelism as: copy,sba,a-cow,threads --enable-rational-trees support infinite rational trees --enable-coroutining support co-routining, attributed variables and constraints --enable-depth-limit support depth-bound computation @@ -1552,7 +1560,7 @@ test -n "$ac_init_help" && exit $ac_status if $ac_init_version; then cat <<\_ACEOF configure -generated by GNU Autoconf 2.67 +generated by GNU Autoconf 2.68 Copyright (C) 2010 Free Software Foundation, Inc. This configure script is free software; the Free Software Foundation @@ -1598,7 +1606,7 @@ sed 's/^/| /' conftest.$ac_ext >&5 ac_retval=1 fi - eval $as_lineno_stack; test "x$as_lineno_stack" = x && { as_lineno=; unset as_lineno;} + eval $as_lineno_stack; ${as_lineno_stack:+:} unset as_lineno as_fn_set_status $ac_retval } # ac_fn_c_try_compile @@ -1636,7 +1644,7 @@ sed 's/^/| /' conftest.$ac_ext >&5 ac_retval=1 fi - eval $as_lineno_stack; test "x$as_lineno_stack" = x && { as_lineno=; unset as_lineno;} + eval $as_lineno_stack; ${as_lineno_stack:+:} unset as_lineno as_fn_set_status $ac_retval } # ac_fn_cxx_try_compile @@ -1682,7 +1690,7 @@ fi # interfere with the next link command; also delete a directory that is # left behind by Apple's compiler. We do this before executing the actions. rm -rf conftest.dSYM conftest_ipa8_conftest.oo - eval $as_lineno_stack; test "x$as_lineno_stack" = x && { as_lineno=; unset as_lineno;} + eval $as_lineno_stack; ${as_lineno_stack:+:} unset as_lineno as_fn_set_status $ac_retval } # ac_fn_c_try_link @@ -1719,7 +1727,7 @@ sed 's/^/| /' conftest.$ac_ext >&5 ac_retval=1 fi - eval $as_lineno_stack; test "x$as_lineno_stack" = x && { as_lineno=; unset as_lineno;} + eval $as_lineno_stack; ${as_lineno_stack:+:} unset as_lineno as_fn_set_status $ac_retval } # ac_fn_c_try_cpp @@ -1732,10 +1740,10 @@ fi ac_fn_c_check_header_mongrel () { as_lineno=${as_lineno-"$1"} as_lineno_stack=as_lineno_stack=$as_lineno_stack - if eval "test \"\${$3+set}\"" = set; then : + if eval \${$3+:} false; then : { $as_echo "$as_me:${as_lineno-$LINENO}: checking for $2" >&5 $as_echo_n "checking for $2... " >&6; } -if eval "test \"\${$3+set}\"" = set; then : +if eval \${$3+:} false; then : $as_echo_n "(cached) " >&6 fi eval ac_res=\$$3 @@ -1798,7 +1806,7 @@ $as_echo "$as_me: WARNING: $2: proceeding with the compiler's result" >&2;} esac { $as_echo "$as_me:${as_lineno-$LINENO}: checking for $2" >&5 $as_echo_n "checking for $2... " >&6; } -if eval "test \"\${$3+set}\"" = set; then : +if eval \${$3+:} false; then : $as_echo_n "(cached) " >&6 else eval "$3=\$ac_header_compiler" @@ -1807,7 +1815,7 @@ eval ac_res=\$$3 { $as_echo "$as_me:${as_lineno-$LINENO}: result: $ac_res" >&5 $as_echo "$ac_res" >&6; } fi - eval $as_lineno_stack; test "x$as_lineno_stack" = x && { as_lineno=; unset as_lineno;} + eval $as_lineno_stack; ${as_lineno_stack:+:} unset as_lineno } # ac_fn_c_check_header_mongrel @@ -1848,7 +1856,7 @@ sed 's/^/| /' conftest.$ac_ext >&5 ac_retval=$ac_status fi rm -rf conftest.dSYM conftest_ipa8_conftest.oo - eval $as_lineno_stack; test "x$as_lineno_stack" = x && { as_lineno=; unset as_lineno;} + eval $as_lineno_stack; ${as_lineno_stack:+:} unset as_lineno as_fn_set_status $ac_retval } # ac_fn_c_try_run @@ -1862,7 +1870,7 @@ ac_fn_c_check_header_compile () as_lineno=${as_lineno-"$1"} as_lineno_stack=as_lineno_stack=$as_lineno_stack { $as_echo "$as_me:${as_lineno-$LINENO}: checking for $2" >&5 $as_echo_n "checking for $2... " >&6; } -if eval "test \"\${$3+set}\"" = set; then : +if eval \${$3+:} false; then : $as_echo_n "(cached) " >&6 else cat confdefs.h - <<_ACEOF >conftest.$ac_ext @@ -1880,7 +1888,7 @@ fi eval ac_res=\$$3 { $as_echo "$as_me:${as_lineno-$LINENO}: result: $ac_res" >&5 $as_echo "$ac_res" >&6; } - eval $as_lineno_stack; test "x$as_lineno_stack" = x && { as_lineno=; unset as_lineno;} + eval $as_lineno_stack; ${as_lineno_stack:+:} unset as_lineno } # ac_fn_c_check_header_compile @@ -1892,7 +1900,7 @@ ac_fn_c_check_func () as_lineno=${as_lineno-"$1"} as_lineno_stack=as_lineno_stack=$as_lineno_stack { $as_echo "$as_me:${as_lineno-$LINENO}: checking for $2" >&5 $as_echo_n "checking for $2... " >&6; } -if eval "test \"\${$3+set}\"" = set; then : +if eval \${$3+:} false; then : $as_echo_n "(cached) " >&6 else cat confdefs.h - <<_ACEOF >conftest.$ac_ext @@ -1947,7 +1955,7 @@ fi eval ac_res=\$$3 { $as_echo "$as_me:${as_lineno-$LINENO}: result: $ac_res" >&5 $as_echo "$ac_res" >&6; } - eval $as_lineno_stack; test "x$as_lineno_stack" = x && { as_lineno=; unset as_lineno;} + eval $as_lineno_stack; ${as_lineno_stack:+:} unset as_lineno } # ac_fn_c_check_func @@ -2124,7 +2132,7 @@ rm -f core *.core core.conftest.* gmon.out bb.out conftest$ac_exeext \ rm -f conftest.val fi - eval $as_lineno_stack; test "x$as_lineno_stack" = x && { as_lineno=; unset as_lineno;} + eval $as_lineno_stack; ${as_lineno_stack:+:} unset as_lineno as_fn_set_status $ac_retval } # ac_fn_c_compute_int @@ -2138,7 +2146,7 @@ ac_fn_c_check_member () as_lineno=${as_lineno-"$1"} as_lineno_stack=as_lineno_stack=$as_lineno_stack { $as_echo "$as_me:${as_lineno-$LINENO}: checking for $2.$3" >&5 $as_echo_n "checking for $2.$3... " >&6; } -if eval "test \"\${$4+set}\"" = set; then : +if eval \${$4+:} false; then : $as_echo_n "(cached) " >&6 else cat confdefs.h - <<_ACEOF >conftest.$ac_ext @@ -2182,7 +2190,7 @@ fi eval ac_res=\$$4 { $as_echo "$as_me:${as_lineno-$LINENO}: result: $ac_res" >&5 $as_echo "$ac_res" >&6; } - eval $as_lineno_stack; test "x$as_lineno_stack" = x && { as_lineno=; unset as_lineno;} + eval $as_lineno_stack; ${as_lineno_stack:+:} unset as_lineno } # ac_fn_c_check_member @@ -2195,7 +2203,7 @@ ac_fn_c_check_type () as_lineno=${as_lineno-"$1"} as_lineno_stack=as_lineno_stack=$as_lineno_stack { $as_echo "$as_me:${as_lineno-$LINENO}: checking for $2" >&5 $as_echo_n "checking for $2... " >&6; } -if eval "test \"\${$3+set}\"" = set; then : +if eval \${$3+:} false; then : $as_echo_n "(cached) " >&6 else eval "$3=no" @@ -2236,7 +2244,7 @@ fi eval ac_res=\$$3 { $as_echo "$as_me:${as_lineno-$LINENO}: result: $ac_res" >&5 $as_echo "$ac_res" >&6; } - eval $as_lineno_stack; test "x$as_lineno_stack" = x && { as_lineno=; unset as_lineno;} + eval $as_lineno_stack; ${as_lineno_stack:+:} unset as_lineno } # ac_fn_c_check_type cat >config.log <<_ACEOF @@ -2244,7 +2252,7 @@ This file contains any messages produced by compilers while running configure, to aid debugging if configure makes a mistake. It was created by $as_me, which was -generated by GNU Autoconf 2.67. Invocation command line was +generated by GNU Autoconf 2.68. Invocation command line was $ $0 $@ @@ -2502,7 +2510,7 @@ $as_echo "$as_me: loading site script $ac_site_file" >&6;} || { { $as_echo "$as_me:${as_lineno-$LINENO}: error: in \`$ac_pwd':" >&5 $as_echo "$as_me: error: in \`$ac_pwd':" >&2;} as_fn_error $? "failed to load site script $ac_site_file -See \`config.log' for more details" "$LINENO" 5 ; } +See \`config.log' for more details" "$LINENO" 5; } fi done @@ -2606,7 +2614,7 @@ if test -n "$ac_tool_prefix"; then set dummy ${ac_tool_prefix}gcc; ac_word=$2 { $as_echo "$as_me:${as_lineno-$LINENO}: checking for $ac_word" >&5 $as_echo_n "checking for $ac_word... " >&6; } -if test "${ac_cv_prog_CC+set}" = set; then : +if ${ac_cv_prog_CC+:} false; then : $as_echo_n "(cached) " >&6 else if test -n "$CC"; then @@ -2646,7 +2654,7 @@ if test -z "$ac_cv_prog_CC"; then set dummy gcc; ac_word=$2 { $as_echo "$as_me:${as_lineno-$LINENO}: checking for $ac_word" >&5 $as_echo_n "checking for $ac_word... " >&6; } -if test "${ac_cv_prog_ac_ct_CC+set}" = set; then : +if ${ac_cv_prog_ac_ct_CC+:} false; then : $as_echo_n "(cached) " >&6 else if test -n "$ac_ct_CC"; then @@ -2699,7 +2707,7 @@ if test -z "$CC"; then set dummy ${ac_tool_prefix}cc; ac_word=$2 { $as_echo "$as_me:${as_lineno-$LINENO}: checking for $ac_word" >&5 $as_echo_n "checking for $ac_word... " >&6; } -if test "${ac_cv_prog_CC+set}" = set; then : +if ${ac_cv_prog_CC+:} false; then : $as_echo_n "(cached) " >&6 else if test -n "$CC"; then @@ -2739,7 +2747,7 @@ if test -z "$CC"; then set dummy cc; ac_word=$2 { $as_echo "$as_me:${as_lineno-$LINENO}: checking for $ac_word" >&5 $as_echo_n "checking for $ac_word... " >&6; } -if test "${ac_cv_prog_CC+set}" = set; then : +if ${ac_cv_prog_CC+:} false; then : $as_echo_n "(cached) " >&6 else if test -n "$CC"; then @@ -2798,7 +2806,7 @@ if test -z "$CC"; then set dummy $ac_tool_prefix$ac_prog; ac_word=$2 { $as_echo "$as_me:${as_lineno-$LINENO}: checking for $ac_word" >&5 $as_echo_n "checking for $ac_word... " >&6; } -if test "${ac_cv_prog_CC+set}" = set; then : +if ${ac_cv_prog_CC+:} false; then : $as_echo_n "(cached) " >&6 else if test -n "$CC"; then @@ -2842,7 +2850,7 @@ do set dummy $ac_prog; ac_word=$2 { $as_echo "$as_me:${as_lineno-$LINENO}: checking for $ac_word" >&5 $as_echo_n "checking for $ac_word... " >&6; } -if test "${ac_cv_prog_ac_ct_CC+set}" = set; then : +if ${ac_cv_prog_ac_ct_CC+:} false; then : $as_echo_n "(cached) " >&6 else if test -n "$ac_ct_CC"; then @@ -2897,7 +2905,7 @@ fi test -z "$CC" && { { $as_echo "$as_me:${as_lineno-$LINENO}: error: in \`$ac_pwd':" >&5 $as_echo "$as_me: error: in \`$ac_pwd':" >&2;} as_fn_error $? "no acceptable C compiler found in \$PATH -See \`config.log' for more details" "$LINENO" 5 ; } +See \`config.log' for more details" "$LINENO" 5; } # Provide some information about the compiler. $as_echo "$as_me:${as_lineno-$LINENO}: checking for C compiler version" >&5 @@ -3012,7 +3020,7 @@ sed 's/^/| /' conftest.$ac_ext >&5 { { $as_echo "$as_me:${as_lineno-$LINENO}: error: in \`$ac_pwd':" >&5 $as_echo "$as_me: error: in \`$ac_pwd':" >&2;} as_fn_error 77 "C compiler cannot create executables -See \`config.log' for more details" "$LINENO" 5 ; } +See \`config.log' for more details" "$LINENO" 5; } else { $as_echo "$as_me:${as_lineno-$LINENO}: result: yes" >&5 $as_echo "yes" >&6; } @@ -3055,7 +3063,7 @@ else { { $as_echo "$as_me:${as_lineno-$LINENO}: error: in \`$ac_pwd':" >&5 $as_echo "$as_me: error: in \`$ac_pwd':" >&2;} as_fn_error $? "cannot compute suffix of executables: cannot compile and link -See \`config.log' for more details" "$LINENO" 5 ; } +See \`config.log' for more details" "$LINENO" 5; } fi rm -f conftest conftest$ac_cv_exeext { $as_echo "$as_me:${as_lineno-$LINENO}: result: $ac_cv_exeext" >&5 @@ -3114,7 +3122,7 @@ $as_echo "$ac_try_echo"; } >&5 $as_echo "$as_me: error: in \`$ac_pwd':" >&2;} as_fn_error $? "cannot run C compiled programs. If you meant to cross compile, use \`--host'. -See \`config.log' for more details" "$LINENO" 5 ; } +See \`config.log' for more details" "$LINENO" 5; } fi fi fi @@ -3125,7 +3133,7 @@ rm -f conftest.$ac_ext conftest$ac_cv_exeext conftest.out ac_clean_files=$ac_clean_files_save { $as_echo "$as_me:${as_lineno-$LINENO}: checking for suffix of object files" >&5 $as_echo_n "checking for suffix of object files... " >&6; } -if test "${ac_cv_objext+set}" = set; then : +if ${ac_cv_objext+:} false; then : $as_echo_n "(cached) " >&6 else cat confdefs.h - <<_ACEOF >conftest.$ac_ext @@ -3166,7 +3174,7 @@ sed 's/^/| /' conftest.$ac_ext >&5 { { $as_echo "$as_me:${as_lineno-$LINENO}: error: in \`$ac_pwd':" >&5 $as_echo "$as_me: error: in \`$ac_pwd':" >&2;} as_fn_error $? "cannot compute suffix of object files: cannot compile -See \`config.log' for more details" "$LINENO" 5 ; } +See \`config.log' for more details" "$LINENO" 5; } fi rm -f conftest.$ac_cv_objext conftest.$ac_ext fi @@ -3176,7 +3184,7 @@ OBJEXT=$ac_cv_objext ac_objext=$OBJEXT { $as_echo "$as_me:${as_lineno-$LINENO}: checking whether we are using the GNU C compiler" >&5 $as_echo_n "checking whether we are using the GNU C compiler... " >&6; } -if test "${ac_cv_c_compiler_gnu+set}" = set; then : +if ${ac_cv_c_compiler_gnu+:} false; then : $as_echo_n "(cached) " >&6 else cat confdefs.h - <<_ACEOF >conftest.$ac_ext @@ -3213,7 +3221,7 @@ ac_test_CFLAGS=${CFLAGS+set} ac_save_CFLAGS=$CFLAGS { $as_echo "$as_me:${as_lineno-$LINENO}: checking whether $CC accepts -g" >&5 $as_echo_n "checking whether $CC accepts -g... " >&6; } -if test "${ac_cv_prog_cc_g+set}" = set; then : +if ${ac_cv_prog_cc_g+:} false; then : $as_echo_n "(cached) " >&6 else ac_save_c_werror_flag=$ac_c_werror_flag @@ -3291,7 +3299,7 @@ else fi { $as_echo "$as_me:${as_lineno-$LINENO}: checking for $CC option to accept ISO C89" >&5 $as_echo_n "checking for $CC option to accept ISO C89... " >&6; } -if test "${ac_cv_prog_cc_c89+set}" = set; then : +if ${ac_cv_prog_cc_c89+:} false; then : $as_echo_n "(cached) " >&6 else ac_cv_prog_cc_c89=no @@ -3402,7 +3410,7 @@ if test -z "$CXX"; then set dummy $ac_tool_prefix$ac_prog; ac_word=$2 { $as_echo "$as_me:${as_lineno-$LINENO}: checking for $ac_word" >&5 $as_echo_n "checking for $ac_word... " >&6; } -if test "${ac_cv_prog_CXX+set}" = set; then : +if ${ac_cv_prog_CXX+:} false; then : $as_echo_n "(cached) " >&6 else if test -n "$CXX"; then @@ -3446,7 +3454,7 @@ do set dummy $ac_prog; ac_word=$2 { $as_echo "$as_me:${as_lineno-$LINENO}: checking for $ac_word" >&5 $as_echo_n "checking for $ac_word... " >&6; } -if test "${ac_cv_prog_ac_ct_CXX+set}" = set; then : +if ${ac_cv_prog_ac_ct_CXX+:} false; then : $as_echo_n "(cached) " >&6 else if test -n "$ac_ct_CXX"; then @@ -3524,7 +3532,7 @@ done { $as_echo "$as_me:${as_lineno-$LINENO}: checking whether we are using the GNU C++ compiler" >&5 $as_echo_n "checking whether we are using the GNU C++ compiler... " >&6; } -if test "${ac_cv_cxx_compiler_gnu+set}" = set; then : +if ${ac_cv_cxx_compiler_gnu+:} false; then : $as_echo_n "(cached) " >&6 else cat confdefs.h - <<_ACEOF >conftest.$ac_ext @@ -3561,7 +3569,7 @@ ac_test_CXXFLAGS=${CXXFLAGS+set} ac_save_CXXFLAGS=$CXXFLAGS { $as_echo "$as_me:${as_lineno-$LINENO}: checking whether $CXX accepts -g" >&5 $as_echo_n "checking whether $CXX accepts -g... " >&6; } -if test "${ac_cv_prog_cxx_g+set}" = set; then : +if ${ac_cv_prog_cxx_g+:} false; then : $as_echo_n "(cached) " >&6 else ac_save_cxx_werror_flag=$ac_cxx_werror_flag @@ -3649,7 +3657,7 @@ do set dummy $ac_prog; ac_word=$2 { $as_echo "$as_me:${as_lineno-$LINENO}: checking for $ac_word" >&5 $as_echo_n "checking for $ac_word... " >&6; } -if test "${ac_cv_prog_AWK+set}" = set; then : +if ${ac_cv_prog_AWK+:} false; then : $as_echo_n "(cached) " >&6 else if test -n "$AWK"; then @@ -3691,40 +3699,14 @@ done # Check whether --enable-tabling was given. if test "${enable_tabling+set}" = set; then : - enableval=$enable_tabling; tabling="$enableval" - { - if test "${enable_or_parallelism+set}" = set; then : - enableval=$enable_or_parallelism; orparallelism="$enableval" - case "$orparallelism" in - yes|copy) - ;; - *) - { { $as_echo "$as_me:${as_lineno-$LINENO}: error: in \`$ac_pwd':" >&5 - $as_echo "$as_me: error: in \`$ac_pwd':" >&2;} - as_fn_error $? "tabling only works with YapOr copy"; } - ;; - esac - fi - } + enableval=$enable_tabling; tabling="$enableval" else - tabling=no + tabling=no fi # Check whether --enable-or-parallelism was given. if test "${enable_or_parallelism+set}" = set; then : - enableval=$enable_or_parallelism; orparallelism="$enableval" - case "$orparallelism" in - yes|copy|sba|cow) - ;; - threads) - enable_threads=yes - ;; - *) - { { $as_echo "$as_me:${as_lineno-$LINENO}: error: in \`$ac_pwd':" >&5 - $as_echo "$as_me: error: in \`$ac_pwd':" >&2;} - as_fn_error $? "--enable-or-parallelism=$orparallelism invalid option"; } - ;; - esac + enableval=$enable_or_parallelism; orparallelism="$enableval" else orparallelism=no fi @@ -4255,7 +4237,7 @@ $SHELL "$ac_aux_dir/config.sub" sun4 >/dev/null 2>&1 || { $as_echo "$as_me:${as_lineno-$LINENO}: checking build system type" >&5 $as_echo_n "checking build system type... " >&6; } -if test "${ac_cv_build+set}" = set; then : +if ${ac_cv_build+:} false; then : $as_echo_n "(cached) " >&6 else ac_build_alias=$build_alias @@ -4271,7 +4253,7 @@ fi $as_echo "$ac_cv_build" >&6; } case $ac_cv_build in *-*-*) ;; -*) as_fn_error $? "invalid value of canonical build" "$LINENO" 5 ;; +*) as_fn_error $? "invalid value of canonical build" "$LINENO" 5;; esac build=$ac_cv_build ac_save_IFS=$IFS; IFS='-' @@ -4289,7 +4271,7 @@ case $build_os in *\ *) build_os=`echo "$build_os" | sed 's/ /-/g'`;; esac { $as_echo "$as_me:${as_lineno-$LINENO}: checking host system type" >&5 $as_echo_n "checking host system type... " >&6; } -if test "${ac_cv_host+set}" = set; then : +if ${ac_cv_host+:} false; then : $as_echo_n "(cached) " >&6 else if test "x$host_alias" = x; then @@ -4304,7 +4286,7 @@ fi $as_echo "$ac_cv_host" >&6; } case $ac_cv_host in *-*-*) ;; -*) as_fn_error $? "invalid value of canonical host" "$LINENO" 5 ;; +*) as_fn_error $? "invalid value of canonical host" "$LINENO" 5;; esac host=$ac_cv_host ac_save_IFS=$IFS; IFS='-' @@ -4322,7 +4304,7 @@ case $host_os in *\ *) host_os=`echo "$host_os" | sed 's/ /-/g'`;; esac { $as_echo "$as_me:${as_lineno-$LINENO}: checking target system type" >&5 $as_echo_n "checking target system type... " >&6; } -if test "${ac_cv_target+set}" = set; then : +if ${ac_cv_target+:} false; then : $as_echo_n "(cached) " >&6 else if test "x$target_alias" = x; then @@ -4337,7 +4319,7 @@ fi $as_echo "$ac_cv_target" >&6; } case $ac_cv_target in *-*-*) ;; -*) as_fn_error $? "invalid value of canonical target" "$LINENO" 5 ;; +*) as_fn_error $? "invalid value of canonical target" "$LINENO" 5;; esac target=$ac_cv_target ac_save_IFS=$IFS; IFS='-' @@ -4575,7 +4557,7 @@ fi { $as_echo "$as_me:${as_lineno-$LINENO}: checking for a BSD-compatible install" >&5 $as_echo_n "checking for a BSD-compatible install... " >&6; } if test -z "$INSTALL"; then -if test "${ac_cv_path_install+set}" = set; then : +if ${ac_cv_path_install+:} false; then : $as_echo_n "(cached) " >&6 else as_save_IFS=$IFS; IFS=$PATH_SEPARATOR @@ -4656,7 +4638,7 @@ if test -n "$ac_tool_prefix"; then set dummy ${ac_tool_prefix}ranlib; ac_word=$2 { $as_echo "$as_me:${as_lineno-$LINENO}: checking for $ac_word" >&5 $as_echo_n "checking for $ac_word... " >&6; } -if test "${ac_cv_prog_RANLIB+set}" = set; then : +if ${ac_cv_prog_RANLIB+:} false; then : $as_echo_n "(cached) " >&6 else if test -n "$RANLIB"; then @@ -4696,7 +4678,7 @@ if test -z "$ac_cv_prog_RANLIB"; then set dummy ranlib; ac_word=$2 { $as_echo "$as_me:${as_lineno-$LINENO}: checking for $ac_word" >&5 $as_echo_n "checking for $ac_word... " >&6; } -if test "${ac_cv_prog_ac_ct_RANLIB+set}" = set; then : +if ${ac_cv_prog_ac_ct_RANLIB+:} false; then : $as_echo_n "(cached) " >&6 else if test -n "$ac_ct_RANLIB"; then @@ -4748,7 +4730,7 @@ if test -n "$ac_tool_prefix"; then set dummy ${ac_tool_prefix}indent; ac_word=$2 { $as_echo "$as_me:${as_lineno-$LINENO}: checking for $ac_word" >&5 $as_echo_n "checking for $ac_word... " >&6; } -if test "${ac_cv_prog_INDENT+set}" = set; then : +if ${ac_cv_prog_INDENT+:} false; then : $as_echo_n "(cached) " >&6 else if test -n "$INDENT"; then @@ -4788,7 +4770,7 @@ if test -z "$ac_cv_prog_INDENT"; then set dummy indent; ac_word=$2 { $as_echo "$as_me:${as_lineno-$LINENO}: checking for $ac_word" >&5 $as_echo_n "checking for $ac_word... " >&6; } -if test "${ac_cv_prog_ac_ct_INDENT+set}" = set; then : +if ${ac_cv_prog_ac_ct_INDENT+:} false; then : $as_echo_n "(cached) " >&6 else if test -n "$ac_ct_INDENT"; then @@ -4840,7 +4822,7 @@ if test -n "$ac_tool_prefix"; then set dummy ${ac_tool_prefix}ar; ac_word=$2 { $as_echo "$as_me:${as_lineno-$LINENO}: checking for $ac_word" >&5 $as_echo_n "checking for $ac_word... " >&6; } -if test "${ac_cv_prog_AR+set}" = set; then : +if ${ac_cv_prog_AR+:} false; then : $as_echo_n "(cached) " >&6 else if test -n "$AR"; then @@ -4880,7 +4862,7 @@ if test -z "$ac_cv_prog_AR"; then set dummy ar; ac_word=$2 { $as_echo "$as_me:${as_lineno-$LINENO}: checking for $ac_word" >&5 $as_echo_n "checking for $ac_word... " >&6; } -if test "${ac_cv_prog_ac_ct_AR+set}" = set; then : +if ${ac_cv_prog_ac_ct_AR+:} false; then : $as_echo_n "(cached) " >&6 else if test -n "$ac_ct_AR"; then @@ -4932,7 +4914,7 @@ if test -n "$ac_tool_prefix"; then set dummy ${ac_tool_prefix}mpicc; ac_word=$2 { $as_echo "$as_me:${as_lineno-$LINENO}: checking for $ac_word" >&5 $as_echo_n "checking for $ac_word... " >&6; } -if test "${ac_cv_prog_MPI_CC+set}" = set; then : +if ${ac_cv_prog_MPI_CC+:} false; then : $as_echo_n "(cached) " >&6 else if test -n "$MPI_CC"; then @@ -4972,7 +4954,7 @@ if test -z "$ac_cv_prog_MPI_CC"; then set dummy mpicc; ac_word=$2 { $as_echo "$as_me:${as_lineno-$LINENO}: checking for $ac_word" >&5 $as_echo_n "checking for $ac_word... " >&6; } -if test "${ac_cv_prog_ac_ct_MPI_CC+set}" = set; then : +if ${ac_cv_prog_ac_ct_MPI_CC+:} false; then : $as_echo_n "(cached) " >&6 else if test -n "$ac_ct_MPI_CC"; then @@ -5023,7 +5005,7 @@ fi set dummy install-info; ac_word=$2 { $as_echo "$as_me:${as_lineno-$LINENO}: checking for $ac_word" >&5 $as_echo_n "checking for $ac_word... " >&6; } -if test "${ac_cv_path_INSTALL_INFO+set}" = set; then : +if ${ac_cv_path_INSTALL_INFO+:} false; then : $as_echo_n "(cached) " >&6 else case $INSTALL_INFO in @@ -5065,7 +5047,7 @@ fi set dummy sh; ac_word=$2 { $as_echo "$as_me:${as_lineno-$LINENO}: checking for $ac_word" >&5 $as_echo_n "checking for $ac_word... " >&6; } -if test "${ac_cv_path_SHELL+set}" = set; then : +if ${ac_cv_path_SHELL+:} false; then : $as_echo_n "(cached) " >&6 else case $SHELL in @@ -5113,7 +5095,7 @@ then { $as_echo "$as_me:${as_lineno-$LINENO}: checking for main in -lws2_32" >&5 $as_echo_n "checking for main in -lws2_32... " >&6; } -if test "${ac_cv_lib_ws2_32_main+set}" = set; then : +if ${ac_cv_lib_ws2_32_main+:} false; then : $as_echo_n "(cached) " >&6 else ac_check_lib_save_LIBS=$LIBS @@ -5141,7 +5123,7 @@ LIBS=$ac_check_lib_save_LIBS fi { $as_echo "$as_me:${as_lineno-$LINENO}: result: $ac_cv_lib_ws2_32_main" >&5 $as_echo "$ac_cv_lib_ws2_32_main" >&6; } -if test "x$ac_cv_lib_ws2_32_main" = x""yes; then : +if test "x$ac_cv_lib_ws2_32_main" = xyes; then : cat >>confdefs.h <<_ACEOF #define HAVE_LIBWS2_32 1 _ACEOF @@ -5157,7 +5139,7 @@ fi CXX="${CXX} -mno-cygwin" { $as_echo "$as_me:${as_lineno-$LINENO}: checking for main in -lwsock32" >&5 $as_echo_n "checking for main in -lwsock32... " >&6; } -if test "${ac_cv_lib_wsock32_main+set}" = set; then : +if ${ac_cv_lib_wsock32_main+:} false; then : $as_echo_n "(cached) " >&6 else ac_check_lib_save_LIBS=$LIBS @@ -5185,7 +5167,7 @@ LIBS=$ac_check_lib_save_LIBS fi { $as_echo "$as_me:${as_lineno-$LINENO}: result: $ac_cv_lib_wsock32_main" >&5 $as_echo "$ac_cv_lib_wsock32_main" >&6; } -if test "x$ac_cv_lib_wsock32_main" = x""yes; then : +if test "x$ac_cv_lib_wsock32_main" = xyes; then : cat >>confdefs.h <<_ACEOF #define HAVE_LIBWSOCK32 1 _ACEOF @@ -5197,7 +5179,7 @@ fi else { $as_echo "$as_me:${as_lineno-$LINENO}: checking for main in -lwsock32" >&5 $as_echo_n "checking for main in -lwsock32... " >&6; } -if test "${ac_cv_lib_wsock32_main+set}" = set; then : +if ${ac_cv_lib_wsock32_main+:} false; then : $as_echo_n "(cached) " >&6 else ac_check_lib_save_LIBS=$LIBS @@ -5225,7 +5207,7 @@ LIBS=$ac_check_lib_save_LIBS fi { $as_echo "$as_me:${as_lineno-$LINENO}: result: $ac_cv_lib_wsock32_main" >&5 $as_echo "$ac_cv_lib_wsock32_main" >&6; } -if test "x$ac_cv_lib_wsock32_main" = x""yes; then : +if test "x$ac_cv_lib_wsock32_main" = xyes; then : cat >>confdefs.h <<_ACEOF #define HAVE_LIBWSOCK32 1 _ACEOF @@ -5238,7 +5220,7 @@ fi EXTRA_LIBS_FOR_DLLS="$EXTRA_LIBS_FOR_DLLS \$(abs_top_builddir)/yap.dll" { $as_echo "$as_me:${as_lineno-$LINENO}: checking for main in -lpsapi" >&5 $as_echo_n "checking for main in -lpsapi... " >&6; } -if test "${ac_cv_lib_psapi_main+set}" = set; then : +if ${ac_cv_lib_psapi_main+:} false; then : $as_echo_n "(cached) " >&6 else ac_check_lib_save_LIBS=$LIBS @@ -5266,7 +5248,7 @@ LIBS=$ac_check_lib_save_LIBS fi { $as_echo "$as_me:${as_lineno-$LINENO}: result: $ac_cv_lib_psapi_main" >&5 $as_echo "$ac_cv_lib_psapi_main" >&6; } -if test "x$ac_cv_lib_psapi_main" = x""yes; then : +if test "x$ac_cv_lib_psapi_main" = xyes; then : cat >>confdefs.h <<_ACEOF #define HAVE_LIBPSAPI 1 _ACEOF @@ -5299,7 +5281,7 @@ else ENABLE_WINCONSOLE="#" { $as_echo "$as_me:${as_lineno-$LINENO}: checking for sin in -lm" >&5 $as_echo_n "checking for sin in -lm... " >&6; } -if test "${ac_cv_lib_m_sin+set}" = set; then : +if ${ac_cv_lib_m_sin+:} false; then : $as_echo_n "(cached) " >&6 else ac_check_lib_save_LIBS=$LIBS @@ -5333,7 +5315,7 @@ LIBS=$ac_check_lib_save_LIBS fi { $as_echo "$as_me:${as_lineno-$LINENO}: result: $ac_cv_lib_m_sin" >&5 $as_echo "$ac_cv_lib_m_sin" >&6; } -if test "x$ac_cv_lib_m_sin" = x""yes; then : +if test "x$ac_cv_lib_m_sin" = xyes; then : cat >>confdefs.h <<_ACEOF #define HAVE_LIBM 1 _ACEOF @@ -5344,7 +5326,7 @@ fi { $as_echo "$as_me:${as_lineno-$LINENO}: checking for socket in -lsocket" >&5 $as_echo_n "checking for socket in -lsocket... " >&6; } -if test "${ac_cv_lib_socket_socket+set}" = set; then : +if ${ac_cv_lib_socket_socket+:} false; then : $as_echo_n "(cached) " >&6 else ac_check_lib_save_LIBS=$LIBS @@ -5378,7 +5360,7 @@ LIBS=$ac_check_lib_save_LIBS fi { $as_echo "$as_me:${as_lineno-$LINENO}: result: $ac_cv_lib_socket_socket" >&5 $as_echo "$ac_cv_lib_socket_socket" >&6; } -if test "x$ac_cv_lib_socket_socket" = x""yes; then : +if test "x$ac_cv_lib_socket_socket" = xyes; then : cat >>confdefs.h <<_ACEOF #define HAVE_LIBSOCKET 1 _ACEOF @@ -5389,7 +5371,7 @@ fi { $as_echo "$as_me:${as_lineno-$LINENO}: checking for getsockname in -lxnet" >&5 $as_echo_n "checking for getsockname in -lxnet... " >&6; } -if test "${ac_cv_lib_xnet_getsockname+set}" = set; then : +if ${ac_cv_lib_xnet_getsockname+:} false; then : $as_echo_n "(cached) " >&6 else ac_check_lib_save_LIBS=$LIBS @@ -5423,7 +5405,7 @@ LIBS=$ac_check_lib_save_LIBS fi { $as_echo "$as_me:${as_lineno-$LINENO}: result: $ac_cv_lib_xnet_getsockname" >&5 $as_echo "$ac_cv_lib_xnet_getsockname" >&6; } -if test "x$ac_cv_lib_xnet_getsockname" = x""yes; then : +if test "x$ac_cv_lib_xnet_getsockname" = xyes; then : cat >>confdefs.h <<_ACEOF #define HAVE_LIBXNET 1 _ACEOF @@ -5434,7 +5416,7 @@ fi { $as_echo "$as_me:${as_lineno-$LINENO}: checking for main in -lstdc++" >&5 $as_echo_n "checking for main in -lstdc++... " >&6; } -if test "${ac_cv_lib_stdcpp_main+set}" = set; then : +if ${ac_cv_lib_stdcpp_main+:} false; then : $as_echo_n "(cached) " >&6 else ac_check_lib_save_LIBS=$LIBS @@ -5462,7 +5444,7 @@ LIBS=$ac_check_lib_save_LIBS fi { $as_echo "$as_me:${as_lineno-$LINENO}: result: $ac_cv_lib_stdcpp_main" >&5 $as_echo "$ac_cv_lib_stdcpp_main" >&6; } -if test "x$ac_cv_lib_stdcpp_main" = x""yes; then : +if test "x$ac_cv_lib_stdcpp_main" = xyes; then : cat >>confdefs.h <<_ACEOF #define HAVE_LIBSTDC__ 1 _ACEOF @@ -5473,7 +5455,7 @@ fi { $as_echo "$as_me:${as_lineno-$LINENO}: checking for main in -lnsl" >&5 $as_echo_n "checking for main in -lnsl... " >&6; } -if test "${ac_cv_lib_nsl_main+set}" = set; then : +if ${ac_cv_lib_nsl_main+:} false; then : $as_echo_n "(cached) " >&6 else ac_check_lib_save_LIBS=$LIBS @@ -5501,7 +5483,7 @@ LIBS=$ac_check_lib_save_LIBS fi { $as_echo "$as_me:${as_lineno-$LINENO}: result: $ac_cv_lib_nsl_main" >&5 $as_echo "$ac_cv_lib_nsl_main" >&6; } -if test "x$ac_cv_lib_nsl_main" = x""yes; then : +if test "x$ac_cv_lib_nsl_main" = xyes; then : have_nsl=yes else @@ -5510,7 +5492,7 @@ fi { $as_echo "$as_me:${as_lineno-$LINENO}: checking for main in -lcrypt" >&5 $as_echo_n "checking for main in -lcrypt... " >&6; } -if test "${ac_cv_lib_crypt_main+set}" = set; then : +if ${ac_cv_lib_crypt_main+:} false; then : $as_echo_n "(cached) " >&6 else ac_check_lib_save_LIBS=$LIBS @@ -5538,7 +5520,7 @@ LIBS=$ac_check_lib_save_LIBS fi { $as_echo "$as_me:${as_lineno-$LINENO}: result: $ac_cv_lib_crypt_main" >&5 $as_echo "$ac_cv_lib_crypt_main" >&6; } -if test "x$ac_cv_lib_crypt_main" = x""yes; then : +if test "x$ac_cv_lib_crypt_main" = xyes; then : cat >>confdefs.h <<_ACEOF #define HAVE_LIBCRYPT 1 _ACEOF @@ -5549,7 +5531,7 @@ fi { $as_echo "$as_me:${as_lineno-$LINENO}: checking for main in -lnss_files" >&5 $as_echo_n "checking for main in -lnss_files... " >&6; } -if test "${ac_cv_lib_nss_files_main+set}" = set; then : +if ${ac_cv_lib_nss_files_main+:} false; then : $as_echo_n "(cached) " >&6 else ac_check_lib_save_LIBS=$LIBS @@ -5577,7 +5559,7 @@ LIBS=$ac_check_lib_save_LIBS fi { $as_echo "$as_me:${as_lineno-$LINENO}: result: $ac_cv_lib_nss_files_main" >&5 $as_echo "$ac_cv_lib_nss_files_main" >&6; } -if test "x$ac_cv_lib_nss_files_main" = x""yes; then : +if test "x$ac_cv_lib_nss_files_main" = xyes; then : cat >>confdefs.h <<_ACEOF #define HAVE_LIBNSS_FILES 1 _ACEOF @@ -5588,7 +5570,7 @@ fi { $as_echo "$as_me:${as_lineno-$LINENO}: checking for main in -lnss_dns" >&5 $as_echo_n "checking for main in -lnss_dns... " >&6; } -if test "${ac_cv_lib_nss_dns_main+set}" = set; then : +if ${ac_cv_lib_nss_dns_main+:} false; then : $as_echo_n "(cached) " >&6 else ac_check_lib_save_LIBS=$LIBS @@ -5616,7 +5598,7 @@ LIBS=$ac_check_lib_save_LIBS fi { $as_echo "$as_me:${as_lineno-$LINENO}: result: $ac_cv_lib_nss_dns_main" >&5 $as_echo "$ac_cv_lib_nss_dns_main" >&6; } -if test "x$ac_cv_lib_nss_dns_main" = x""yes; then : +if test "x$ac_cv_lib_nss_dns_main" = xyes; then : cat >>confdefs.h <<_ACEOF #define HAVE_LIBNSS_DNS 1 _ACEOF @@ -5627,7 +5609,7 @@ fi { $as_echo "$as_me:${as_lineno-$LINENO}: checking for main in -lresolv" >&5 $as_echo_n "checking for main in -lresolv... " >&6; } -if test "${ac_cv_lib_resolv_main+set}" = set; then : +if ${ac_cv_lib_resolv_main+:} false; then : $as_echo_n "(cached) " >&6 else ac_check_lib_save_LIBS=$LIBS @@ -5655,7 +5637,7 @@ LIBS=$ac_check_lib_save_LIBS fi { $as_echo "$as_me:${as_lineno-$LINENO}: result: $ac_cv_lib_resolv_main" >&5 $as_echo "$ac_cv_lib_resolv_main" >&6; } -if test "x$ac_cv_lib_resolv_main" = x""yes; then : +if test "x$ac_cv_lib_resolv_main" = xyes; then : cat >>confdefs.h <<_ACEOF #define HAVE_LIBRESOLV 1 _ACEOF @@ -5670,7 +5652,7 @@ if test "$yap_cv_readline" != "no" then { $as_echo "$as_me:${as_lineno-$LINENO}: checking for main in -lreadline" >&5 $as_echo_n "checking for main in -lreadline... " >&6; } -if test "${ac_cv_lib_readline_main+set}" = set; then : +if ${ac_cv_lib_readline_main+:} false; then : $as_echo_n "(cached) " >&6 else ac_check_lib_save_LIBS=$LIBS @@ -5698,7 +5680,7 @@ LIBS=$ac_check_lib_save_LIBS fi { $as_echo "$as_me:${as_lineno-$LINENO}: result: $ac_cv_lib_readline_main" >&5 $as_echo "$ac_cv_lib_readline_main" >&6; } -if test "x$ac_cv_lib_readline_main" = x""yes; then : +if test "x$ac_cv_lib_readline_main" = xyes; then : $as_echo "#define HAVE_LIBREADLINE 1" >>confdefs.h @@ -5710,7 +5692,7 @@ else { { $as_echo "$as_me:${as_lineno-$LINENO}: error: in \`$ac_pwd':" >&5 $as_echo "$as_me: error: in \`$ac_pwd':" >&2;} as_fn_error $? "--with-readline was given, but test for readline failed -See \`config.log' for more details" "$LINENO" 5 ; } +See \`config.log' for more details" "$LINENO" 5; } fi fi @@ -5720,7 +5702,7 @@ if test "$yap_cv_gmp" != "no" then { $as_echo "$as_me:${as_lineno-$LINENO}: checking for main in -lgmp" >&5 $as_echo_n "checking for main in -lgmp... " >&6; } -if test "${ac_cv_lib_gmp_main+set}" = set; then : +if ${ac_cv_lib_gmp_main+:} false; then : $as_echo_n "(cached) " >&6 else ac_check_lib_save_LIBS=$LIBS @@ -5748,7 +5730,7 @@ LIBS=$ac_check_lib_save_LIBS fi { $as_echo "$as_me:${as_lineno-$LINENO}: result: $ac_cv_lib_gmp_main" >&5 $as_echo "$ac_cv_lib_gmp_main" >&6; } -if test "x$ac_cv_lib_gmp_main" = x""yes; then : +if test "x$ac_cv_lib_gmp_main" = xyes; then : cat >>confdefs.h <<_ACEOF #define HAVE_LIBGMP 1 _ACEOF @@ -5763,7 +5745,7 @@ if test "$yap_cv_yapr" != "no" then { $as_echo "$as_me:${as_lineno-$LINENO}: checking for main in -lR" >&5 $as_echo_n "checking for main in -lR... " >&6; } -if test "${ac_cv_lib_R_main+set}" = set; then : +if ${ac_cv_lib_R_main+:} false; then : $as_echo_n "(cached) " >&6 else ac_check_lib_save_LIBS=$LIBS @@ -5791,7 +5773,7 @@ LIBS=$ac_check_lib_save_LIBS fi { $as_echo "$as_me:${as_lineno-$LINENO}: result: $ac_cv_lib_R_main" >&5 $as_echo "$ac_cv_lib_R_main" >&6; } -if test "x$ac_cv_lib_R_main" = x""yes; then : +if test "x$ac_cv_lib_R_main" = xyes; then : cat >>confdefs.h <<_ACEOF #define HAVE_LIBR 1 _ACEOF @@ -5802,7 +5784,7 @@ fi { $as_echo "$as_me:${as_lineno-$LINENO}: checking for main in -lRmath" >&5 $as_echo_n "checking for main in -lRmath... " >&6; } -if test "${ac_cv_lib_Rmath_main+set}" = set; then : +if ${ac_cv_lib_Rmath_main+:} false; then : $as_echo_n "(cached) " >&6 else ac_check_lib_save_LIBS=$LIBS @@ -5830,7 +5812,7 @@ LIBS=$ac_check_lib_save_LIBS fi { $as_echo "$as_me:${as_lineno-$LINENO}: result: $ac_cv_lib_Rmath_main" >&5 $as_echo "$ac_cv_lib_Rmath_main" >&6; } -if test "x$ac_cv_lib_Rmath_main" = x""yes; then : +if test "x$ac_cv_lib_Rmath_main" = xyes; then : cat >>confdefs.h <<_ACEOF #define HAVE_LIBRMATH 1 _ACEOF @@ -5844,7 +5826,7 @@ fi { $as_echo "$as_me:${as_lineno-$LINENO}: checking for zlibVersion in -lz" >&5 $as_echo_n "checking for zlibVersion in -lz... " >&6; } -if test "${ac_cv_lib_z_zlibVersion+set}" = set; then : +if ${ac_cv_lib_z_zlibVersion+:} false; then : $as_echo_n "(cached) " >&6 else ac_check_lib_save_LIBS=$LIBS @@ -5878,7 +5860,7 @@ LIBS=$ac_check_lib_save_LIBS fi { $as_echo "$as_me:${as_lineno-$LINENO}: result: $ac_cv_lib_z_zlibVersion" >&5 $as_echo "$ac_cv_lib_z_zlibVersion" >&6; } -if test "x$ac_cv_lib_z_zlibVersion" = x""yes; then : +if test "x$ac_cv_lib_z_zlibVersion" = xyes; then : ZLIBS="-lz" ZLIB=yes else @@ -5894,7 +5876,7 @@ if test "$yap_cv_myddas" != "no" then { $as_echo "$as_me:${as_lineno-$LINENO}: checking for main in -lmysqlclient" >&5 $as_echo_n "checking for main in -lmysqlclient... " >&6; } - if test "${yap_cv_mysql+set}" = set; then : + if ${yap_cv_mysql+:} false; then : $as_echo_n "(cached) " >&6 else @@ -5931,7 +5913,7 @@ $as_echo "$yap_cv_mysql" >&6; } { $as_echo "$as_me:${as_lineno-$LINENO}: checking for main in -lodbc" >&5 $as_echo_n "checking for main in -lodbc... " >&6; } - if test "${yap_cv_odbc+set}" = set; then : + if ${yap_cv_odbc+:} false; then : $as_echo_n "(cached) " >&6 else @@ -5990,7 +5972,7 @@ if test "$threads" = yes then { $as_echo "$as_me:${as_lineno-$LINENO}: checking for pthread_create in -lpthread" >&5 $as_echo_n "checking for pthread_create in -lpthread... " >&6; } -if test "${ac_cv_lib_pthread_pthread_create+set}" = set; then : +if ${ac_cv_lib_pthread_pthread_create+:} false; then : $as_echo_n "(cached) " >&6 else ac_check_lib_save_LIBS=$LIBS @@ -6024,7 +6006,7 @@ LIBS=$ac_check_lib_save_LIBS fi { $as_echo "$as_me:${as_lineno-$LINENO}: result: $ac_cv_lib_pthread_pthread_create" >&5 $as_echo "$ac_cv_lib_pthread_pthread_create" >&6; } -if test "x$ac_cv_lib_pthread_pthread_create" = x""yes; then : +if test "x$ac_cv_lib_pthread_pthread_create" = xyes; then : cat >>confdefs.h <<_ACEOF #define HAVE_LIBPTHREAD 1 _ACEOF @@ -6045,7 +6027,7 @@ if test -n "$CPP" && test -d "$CPP"; then CPP= fi if test -z "$CPP"; then - if test "${ac_cv_prog_CPP+set}" = set; then : + if ${ac_cv_prog_CPP+:} false; then : $as_echo_n "(cached) " >&6 else # Double quotes because CPP needs to be expanded @@ -6161,7 +6143,7 @@ else { { $as_echo "$as_me:${as_lineno-$LINENO}: error: in \`$ac_pwd':" >&5 $as_echo "$as_me: error: in \`$ac_pwd':" >&2;} as_fn_error $? "C preprocessor \"$CPP\" fails sanity check -See \`config.log' for more details" "$LINENO" 5 ; } +See \`config.log' for more details" "$LINENO" 5; } fi ac_ext=c @@ -6173,7 +6155,7 @@ ac_compiler_gnu=$ac_cv_c_compiler_gnu { $as_echo "$as_me:${as_lineno-$LINENO}: checking for grep that handles long lines and -e" >&5 $as_echo_n "checking for grep that handles long lines and -e... " >&6; } -if test "${ac_cv_path_GREP+set}" = set; then : +if ${ac_cv_path_GREP+:} false; then : $as_echo_n "(cached) " >&6 else if test -z "$GREP"; then @@ -6236,7 +6218,7 @@ $as_echo "$ac_cv_path_GREP" >&6; } { $as_echo "$as_me:${as_lineno-$LINENO}: checking for egrep" >&5 $as_echo_n "checking for egrep... " >&6; } -if test "${ac_cv_path_EGREP+set}" = set; then : +if ${ac_cv_path_EGREP+:} false; then : $as_echo_n "(cached) " >&6 else if echo a | $GREP -E '(a|b)' >/dev/null 2>&1 @@ -6303,7 +6285,7 @@ $as_echo "$ac_cv_path_EGREP" >&6; } { $as_echo "$as_me:${as_lineno-$LINENO}: checking for ANSI C header files" >&5 $as_echo_n "checking for ANSI C header files... " >&6; } -if test "${ac_cv_header_stdc+set}" = set; then : +if ${ac_cv_header_stdc+:} false; then : $as_echo_n "(cached) " >&6 else cat confdefs.h - <<_ACEOF >conftest.$ac_ext @@ -6433,7 +6415,7 @@ done for ac_header in pthread.h do : ac_fn_c_check_header_mongrel "$LINENO" "pthread.h" "ac_cv_header_pthread_h" "$ac_includes_default" -if test "x$ac_cv_header_pthread_h" = x""yes; then : +if test "x$ac_cv_header_pthread_h" = xyes; then : cat >>confdefs.h <<_ACEOF #define HAVE_PTHREAD_H 1 _ACEOF @@ -6554,7 +6536,7 @@ then CC=${MPI_CC} { $as_echo "$as_me:${as_lineno-$LINENO}: checking for MPI_Init in -lmpi" >&5 $as_echo_n "checking for MPI_Init in -lmpi... " >&6; } -if test "${ac_cv_lib_mpi_MPI_Init+set}" = set; then : +if ${ac_cv_lib_mpi_MPI_Init+:} false; then : $as_echo_n "(cached) " >&6 else ac_check_lib_save_LIBS=$LIBS @@ -6588,7 +6570,7 @@ LIBS=$ac_check_lib_save_LIBS fi { $as_echo "$as_me:${as_lineno-$LINENO}: result: $ac_cv_lib_mpi_MPI_Init" >&5 $as_echo "$ac_cv_lib_mpi_MPI_Init" >&6; } -if test "x$ac_cv_lib_mpi_MPI_Init" = x""yes; then : +if test "x$ac_cv_lib_mpi_MPI_Init" = xyes; then : $as_echo "#define HAVE_LIBMPI 1" >>confdefs.h else @@ -6603,7 +6585,7 @@ fi else { $as_echo "$as_me:${as_lineno-$LINENO}: checking for MPI_Init in -lmpich" >&5 $as_echo_n "checking for MPI_Init in -lmpich... " >&6; } -if test "${ac_cv_lib_mpich_MPI_Init+set}" = set; then : +if ${ac_cv_lib_mpich_MPI_Init+:} false; then : $as_echo_n "(cached) " >&6 else ac_check_lib_save_LIBS=$LIBS @@ -6637,7 +6619,7 @@ LIBS=$ac_check_lib_save_LIBS fi { $as_echo "$as_me:${as_lineno-$LINENO}: result: $ac_cv_lib_mpich_MPI_Init" >&5 $as_echo "$ac_cv_lib_mpich_MPI_Init" >&6; } -if test "x$ac_cv_lib_mpich_MPI_Init" = x""yes; then : +if test "x$ac_cv_lib_mpich_MPI_Init" = xyes; then : $as_echo "#define HAVE_LIBMPICH 1" >>confdefs.h else @@ -6668,7 +6650,7 @@ then CC=${MPI_CC} { $as_echo "$as_me:${as_lineno-$LINENO}: checking for MPE_Init_log in -lmpe" >&5 $as_echo_n "checking for MPE_Init_log in -lmpe... " >&6; } -if test "${ac_cv_lib_mpe_MPE_Init_log+set}" = set; then : +if ${ac_cv_lib_mpe_MPE_Init_log+:} false; then : $as_echo_n "(cached) " >&6 else ac_check_lib_save_LIBS=$LIBS @@ -6702,7 +6684,7 @@ LIBS=$ac_check_lib_save_LIBS fi { $as_echo "$as_me:${as_lineno-$LINENO}: result: $ac_cv_lib_mpe_MPE_Init_log" >&5 $as_echo "$ac_cv_lib_mpe_MPE_Init_log" >&6; } -if test "x$ac_cv_lib_mpe_MPE_Init_log" = x""yes; then : +if test "x$ac_cv_lib_mpe_MPE_Init_log" = xyes; then : $as_echo "#define HAVE_LIBMPE 1" >>confdefs.h else @@ -6730,7 +6712,7 @@ if test -n "$CPP" && test -d "$CPP"; then CPP= fi if test -z "$CPP"; then - if test "${ac_cv_prog_CPP+set}" = set; then : + if ${ac_cv_prog_CPP+:} false; then : $as_echo_n "(cached) " >&6 else # Double quotes because CPP needs to be expanded @@ -6846,7 +6828,7 @@ else { { $as_echo "$as_me:${as_lineno-$LINENO}: error: in \`$ac_pwd':" >&5 $as_echo "$as_me: error: in \`$ac_pwd':" >&2;} as_fn_error $? "C preprocessor \"$CPP\" fails sanity check -See \`config.log' for more details" "$LINENO" 5 ; } +See \`config.log' for more details" "$LINENO" 5; } fi ac_ext=c @@ -6862,7 +6844,7 @@ then else { $as_echo "$as_me:${as_lineno-$LINENO}: checking for sys/wait.h that is POSIX.1 compatible" >&5 $as_echo_n "checking for sys/wait.h that is POSIX.1 compatible... " >&6; } -if test "${ac_cv_header_sys_wait_h+set}" = set; then : +if ${ac_cv_header_sys_wait_h+:} false; then : $as_echo_n "(cached) " >&6 else cat confdefs.h - <<_ACEOF >conftest.$ac_ext @@ -6903,14 +6885,14 @@ fi { $as_echo "$as_me:${as_lineno-$LINENO}: checking for restartable system calls" >&5 $as_echo_n "checking for restartable system calls... " >&6; } -if test "${ac_cv_sys_restartable_syscalls+set}" = set; then : +if ${ac_cv_sys_restartable_syscalls+:} false; then : $as_echo_n "(cached) " >&6 else if test "$cross_compiling" = yes; then : { { $as_echo "$as_me:${as_lineno-$LINENO}: error: in \`$ac_pwd':" >&5 $as_echo "$as_me: error: in \`$ac_pwd':" >&2;} as_fn_error $? "cannot run test program while cross compiling -See \`config.log' for more details" "$LINENO" 5 ; } +See \`config.log' for more details" "$LINENO" 5; } else cat confdefs.h - <<_ACEOF >conftest.$ac_ext /* end confdefs.h. */ @@ -6992,7 +6974,7 @@ case "$target_os" in then { $as_echo "$as_me:${as_lineno-$LINENO}: checking for dlopen in -ldl" >&5 $as_echo_n "checking for dlopen in -ldl... " >&6; } -if test "${ac_cv_lib_dl_dlopen+set}" = set; then : +if ${ac_cv_lib_dl_dlopen+:} false; then : $as_echo_n "(cached) " >&6 else ac_check_lib_save_LIBS=$LIBS @@ -7026,7 +7008,7 @@ LIBS=$ac_check_lib_save_LIBS fi { $as_echo "$as_me:${as_lineno-$LINENO}: result: $ac_cv_lib_dl_dlopen" >&5 $as_echo "$ac_cv_lib_dl_dlopen" >&6; } -if test "x$ac_cv_lib_dl_dlopen" = x""yes; then : +if test "x$ac_cv_lib_dl_dlopen" = xyes; then : have_dl=yes else @@ -7158,7 +7140,7 @@ fi then { $as_echo "$as_me:${as_lineno-$LINENO}: checking for dlopen in -ldl" >&5 $as_echo_n "checking for dlopen in -ldl... " >&6; } -if test "${ac_cv_lib_dl_dlopen+set}" = set; then : +if ${ac_cv_lib_dl_dlopen+:} false; then : $as_echo_n "(cached) " >&6 else ac_check_lib_save_LIBS=$LIBS @@ -7192,7 +7174,7 @@ LIBS=$ac_check_lib_save_LIBS fi { $as_echo "$as_me:${as_lineno-$LINENO}: result: $ac_cv_lib_dl_dlopen" >&5 $as_echo "$ac_cv_lib_dl_dlopen" >&6; } -if test "x$ac_cv_lib_dl_dlopen" = x""yes; then : +if test "x$ac_cv_lib_dl_dlopen" = xyes; then : have_dl=yes else @@ -7230,7 +7212,7 @@ fi then { $as_echo "$as_me:${as_lineno-$LINENO}: checking for dlopen in -ldl" >&5 $as_echo_n "checking for dlopen in -ldl... " >&6; } -if test "${ac_cv_lib_dl_dlopen+set}" = set; then : +if ${ac_cv_lib_dl_dlopen+:} false; then : $as_echo_n "(cached) " >&6 else ac_check_lib_save_LIBS=$LIBS @@ -7264,7 +7246,7 @@ LIBS=$ac_check_lib_save_LIBS fi { $as_echo "$as_me:${as_lineno-$LINENO}: result: $ac_cv_lib_dl_dlopen" >&5 $as_echo "$ac_cv_lib_dl_dlopen" >&6; } -if test "x$ac_cv_lib_dl_dlopen" = x""yes; then : +if test "x$ac_cv_lib_dl_dlopen" = xyes; then : have_dl=yes else @@ -7381,7 +7363,7 @@ fi *) { $as_echo "$as_me:${as_lineno-$LINENO}: checking for dlopen in -ldl" >&5 $as_echo_n "checking for dlopen in -ldl... " >&6; } -if test "${ac_cv_lib_dl_dlopen+set}" = set; then : +if ${ac_cv_lib_dl_dlopen+:} false; then : $as_echo_n "(cached) " >&6 else ac_check_lib_save_LIBS=$LIBS @@ -7415,7 +7397,7 @@ LIBS=$ac_check_lib_save_LIBS fi { $as_echo "$as_me:${as_lineno-$LINENO}: result: $ac_cv_lib_dl_dlopen" >&5 $as_echo "$ac_cv_lib_dl_dlopen" >&6; } -if test "x$ac_cv_lib_dl_dlopen" = x""yes; then : +if test "x$ac_cv_lib_dl_dlopen" = xyes; then : have_dl=yes else @@ -7513,38 +7495,41 @@ if test "$threads" = "yes" YAP_EXTRAS="$YAP_EXTRAS -D_GNU_SOURCE" fi case "$orparallelism" in - copy) - { { $as_echo "$as_me:${as_lineno-$LINENO}: error: in \`$ac_pwd':" >&5 -$as_echo "$as_me: error: in \`$ac_pwd':" >&2;} -as_fn_error $? "--enable-or-parallelism=copy incompatible with threads"; } - ;; sba) { { $as_echo "$as_me:${as_lineno-$LINENO}: error: in \`$ac_pwd':" >&5 $as_echo "$as_me: error: in \`$ac_pwd':" >&2;} -as_fn_error $? "--enable-or-parallelism=sba incompatible with threads"; } +as_fn_error $? "--or-parallelism=sba incompatible with threads ;; - cow) + a-cow +See \`config.log' for more details" "$LINENO" 5; } { { $as_echo "$as_me:${as_lineno-$LINENO}: error: in \`$ac_pwd':" >&5 $as_echo "$as_me: error: in \`$ac_pwd':" >&2;} -as_fn_error $? "--enable-or-parallelism=cow incompatible with threads"; } +as_fn_error $? "--or-parallelism=a-cow incompatible with threads ;; - yes|threads) + copy +See \`config.log' for more details" "$LINENO" 5; } + { { $as_echo "$as_me:${as_lineno-$LINENO}: error: in \`$ac_pwd':" >&5 +$as_echo "$as_me: error: in \`$ac_pwd':" >&2;} +as_fn_error $? "--or-parallelism=copy incompatible with threads + ;; + yes|threads +See \`config.log' for more details" "$LINENO" 5; } YAP_EXTRAS="$YAP_EXTRAS -DYAPOR_THREADS=1" ;; esac else case "$orparallelism" in - yes|copy) - YAP_EXTRAS="$YAP_EXTRAS -DYAPOR_COPY=1" - ;; sba) YAP_EXTRAS="$YAP_EXTRAS -DYAPOR_SBA=1" ;; - cow) + a-cow) YAP_EXTRAS="$YAP_EXTRAS -DYAPOR_COW=1" ;; threads) - YAP_EXTRAS="$YAP_EXTRAS -DTHREADS=1 -DYAPOR_THREADS=1" + YAP_EXTRAS="$YAP_EXTRAS -DYAPOR_THREADS=1" + ;; + yes|copy) + YAP_EXTRAS="$YAP_EXTRAS -DYAPOR_COPY=1" ;; esac fi @@ -7600,7 +7585,7 @@ fi { $as_echo "$as_me:${as_lineno-$LINENO}: checking for zlibVersion in -lz" >&5 $as_echo_n "checking for zlibVersion in -lz... " >&6; } -if test "${ac_cv_lib_z_zlibVersion+set}" = set; then : +if ${ac_cv_lib_z_zlibVersion+:} false; then : $as_echo_n "(cached) " >&6 else ac_check_lib_save_LIBS=$LIBS @@ -7634,7 +7619,7 @@ LIBS=$ac_check_lib_save_LIBS fi { $as_echo "$as_me:${as_lineno-$LINENO}: result: $ac_cv_lib_z_zlibVersion" >&5 $as_echo "$ac_cv_lib_z_zlibVersion" >&6; } -if test "x$ac_cv_lib_z_zlibVersion" = x""yes; then : +if test "x$ac_cv_lib_z_zlibVersion" = xyes; then : ZLIBS="-lz" ZLIB=yes else @@ -7670,7 +7655,7 @@ OLD_CC=${CC} CC=${LAM_MPI_CC} { $as_echo "$as_me:${as_lineno-$LINENO}: checking for main in -llam" >&5 $as_echo_n "checking for main in -llam... " >&6; } -if test "${ac_cv_lib_lam_main+set}" = set; then : +if ${ac_cv_lib_lam_main+:} false; then : $as_echo_n "(cached) " >&6 else ac_check_lib_save_LIBS=$LIBS @@ -7698,7 +7683,7 @@ LIBS=$ac_check_lib_save_LIBS fi { $as_echo "$as_me:${as_lineno-$LINENO}: result: $ac_cv_lib_lam_main" >&5 $as_echo "$ac_cv_lib_lam_main" >&6; } -if test "x$ac_cv_lib_lam_main" = x""yes; then : +if test "x$ac_cv_lib_lam_main" = xyes; then : LAMOBJS=yap_mpi."$SO" else LAMOBJS=no @@ -7708,7 +7693,7 @@ CC=${OLD_CC} { $as_echo "$as_me:${as_lineno-$LINENO}: checking for ANSI C header files" >&5 $as_echo_n "checking for ANSI C header files... " >&6; } -if test "${ac_cv_header_stdc+set}" = set; then : +if ${ac_cv_header_stdc+:} false; then : $as_echo_n "(cached) " >&6 else cat confdefs.h - <<_ACEOF >conftest.$ac_ext @@ -7820,7 +7805,7 @@ fi { $as_echo "$as_me:${as_lineno-$LINENO}: checking for sys/wait.h that is POSIX.1 compatible" >&5 $as_echo_n "checking for sys/wait.h that is POSIX.1 compatible... " >&6; } -if test "${ac_cv_header_sys_wait_h+set}" = set; then : +if ${ac_cv_header_sys_wait_h+:} false; then : $as_echo_n "(cached) " >&6 else cat confdefs.h - <<_ACEOF >conftest.$ac_ext @@ -8057,7 +8042,7 @@ done for ac_header in mach-o/dyld.h do : ac_fn_c_check_header_mongrel "$LINENO" "mach-o/dyld.h" "ac_cv_header_mach_o_dyld_h" "$ac_includes_default" -if test "x$ac_cv_header_mach_o_dyld_h" = x""yes; then : +if test "x$ac_cv_header_mach_o_dyld_h" = xyes; then : cat >>confdefs.h <<_ACEOF #define HAVE_MACH_O_DYLD_H 1 _ACEOF @@ -8071,7 +8056,7 @@ then for ac_header in gmp.h do : ac_fn_c_check_header_mongrel "$LINENO" "gmp.h" "ac_cv_header_gmp_h" "$ac_includes_default" -if test "x$ac_cv_header_gmp_h" = x""yes; then : +if test "x$ac_cv_header_gmp_h" = xyes; then : cat >>confdefs.h <<_ACEOF #define HAVE_GMP_H 1 _ACEOF @@ -8086,7 +8071,7 @@ then for ac_header in cudd.h do : ac_fn_c_check_header_mongrel "$LINENO" "cudd.h" "ac_cv_header_cudd_h" "$ac_includes_default" -if test "x$ac_cv_header_cudd_h" = x""yes; then : +if test "x$ac_cv_header_cudd_h" = xyes; then : cat >>confdefs.h <<_ACEOF #define HAVE_CUDD_H 1 _ACEOF @@ -8101,7 +8086,7 @@ then for ac_header in mysql/mysql.h do : ac_fn_c_check_header_mongrel "$LINENO" "mysql/mysql.h" "ac_cv_header_mysql_mysql_h" "$ac_includes_default" -if test "x$ac_cv_header_mysql_mysql_h" = x""yes; then : +if test "x$ac_cv_header_mysql_mysql_h" = xyes; then : cat >>confdefs.h <<_ACEOF #define HAVE_MYSQL_MYSQL_H 1 _ACEOF @@ -8116,7 +8101,7 @@ then for ac_header in readline/readline.h do : ac_fn_c_check_header_mongrel "$LINENO" "readline/readline.h" "ac_cv_header_readline_readline_h" "$ac_includes_default" -if test "x$ac_cv_header_readline_readline_h" = x""yes; then : +if test "x$ac_cv_header_readline_readline_h" = xyes; then : cat >>confdefs.h <<_ACEOF #define HAVE_READLINE_READLINE_H 1 _ACEOF @@ -8128,7 +8113,7 @@ done for ac_header in readline/history.h do : ac_fn_c_check_header_mongrel "$LINENO" "readline/history.h" "ac_cv_header_readline_history_h" "$ac_includes_default" -if test "x$ac_cv_header_readline_history_h" = x""yes; then : +if test "x$ac_cv_header_readline_history_h" = xyes; then : cat >>confdefs.h <<_ACEOF #define HAVE_READLINE_HISTORY_H 1 _ACEOF @@ -8153,7 +8138,7 @@ fi for ac_header in mpi.h do : ac_fn_c_check_header_mongrel "$LINENO" "mpi.h" "ac_cv_header_mpi_h" "$ac_includes_default" -if test "x$ac_cv_header_mpi_h" = x""yes; then : +if test "x$ac_cv_header_mpi_h" = xyes; then : cat >>confdefs.h <<_ACEOF #define HAVE_MPI_H 1 _ACEOF @@ -8165,7 +8150,7 @@ done for ac_header in mpe.h do : ac_fn_c_check_header_mongrel "$LINENO" "mpe.h" "ac_cv_header_mpe_h" "$ac_includes_default" -if test "x$ac_cv_header_mpe_h" = x""yes; then : +if test "x$ac_cv_header_mpe_h" = xyes; then : cat >>confdefs.h <<_ACEOF #define HAVE_MPE_H 1 _ACEOF @@ -8177,7 +8162,7 @@ done { $as_echo "$as_me:${as_lineno-$LINENO}: checking for inline" >&5 $as_echo_n "checking for inline... " >&6; } -if test "${ac_cv_c_inline+set}" = set; then : +if ${ac_cv_c_inline+:} false; then : $as_echo_n "(cached) " >&6 else ac_cv_c_inline=no @@ -8219,7 +8204,7 @@ esac { $as_echo "$as_me:${as_lineno-$LINENO}: checking whether struct tm is in sys/time.h or time.h" >&5 $as_echo_n "checking whether struct tm is in sys/time.h or time.h... " >&6; } -if test "${ac_cv_struct_tm+set}" = set; then : +if ${ac_cv_struct_tm+:} false; then : $as_echo_n "(cached) " >&6 else cat confdefs.h - <<_ACEOF >conftest.$ac_ext @@ -8258,7 +8243,7 @@ fi # This bug is HP SR number 8606223364. { $as_echo "$as_me:${as_lineno-$LINENO}: checking size of int *" >&5 $as_echo_n "checking size of int *... " >&6; } -if test "${ac_cv_sizeof_int_p+set}" = set; then : +if ${ac_cv_sizeof_int_p+:} false; then : $as_echo_n "(cached) " >&6 else if ac_fn_c_compute_int "$LINENO" "(long int) (sizeof (int *))" "ac_cv_sizeof_int_p" "$ac_includes_default"; then : @@ -8268,7 +8253,7 @@ else { { $as_echo "$as_me:${as_lineno-$LINENO}: error: in \`$ac_pwd':" >&5 $as_echo "$as_me: error: in \`$ac_pwd':" >&2;} as_fn_error 77 "cannot compute sizeof (int *) -See \`config.log' for more details" "$LINENO" 5 ; } +See \`config.log' for more details" "$LINENO" 5; } else ac_cv_sizeof_int_p=0 fi @@ -8291,7 +8276,7 @@ _ACEOF # This bug is HP SR number 8606223364. { $as_echo "$as_me:${as_lineno-$LINENO}: checking size of short int" >&5 $as_echo_n "checking size of short int... " >&6; } -if test "${ac_cv_sizeof_short_int+set}" = set; then : +if ${ac_cv_sizeof_short_int+:} false; then : $as_echo_n "(cached) " >&6 else if ac_fn_c_compute_int "$LINENO" "(long int) (sizeof (short int))" "ac_cv_sizeof_short_int" "$ac_includes_default"; then : @@ -8301,7 +8286,7 @@ else { { $as_echo "$as_me:${as_lineno-$LINENO}: error: in \`$ac_pwd':" >&5 $as_echo "$as_me: error: in \`$ac_pwd':" >&2;} as_fn_error 77 "cannot compute sizeof (short int) -See \`config.log' for more details" "$LINENO" 5 ; } +See \`config.log' for more details" "$LINENO" 5; } else ac_cv_sizeof_short_int=0 fi @@ -8324,7 +8309,7 @@ _ACEOF # This bug is HP SR number 8606223364. { $as_echo "$as_me:${as_lineno-$LINENO}: checking size of int" >&5 $as_echo_n "checking size of int... " >&6; } -if test "${ac_cv_sizeof_int+set}" = set; then : +if ${ac_cv_sizeof_int+:} false; then : $as_echo_n "(cached) " >&6 else if ac_fn_c_compute_int "$LINENO" "(long int) (sizeof (int))" "ac_cv_sizeof_int" "$ac_includes_default"; then : @@ -8334,7 +8319,7 @@ else { { $as_echo "$as_me:${as_lineno-$LINENO}: error: in \`$ac_pwd':" >&5 $as_echo "$as_me: error: in \`$ac_pwd':" >&2;} as_fn_error 77 "cannot compute sizeof (int) -See \`config.log' for more details" "$LINENO" 5 ; } +See \`config.log' for more details" "$LINENO" 5; } else ac_cv_sizeof_int=0 fi @@ -8357,7 +8342,7 @@ _ACEOF # This bug is HP SR number 8606223364. { $as_echo "$as_me:${as_lineno-$LINENO}: checking size of long int" >&5 $as_echo_n "checking size of long int... " >&6; } -if test "${ac_cv_sizeof_long_int+set}" = set; then : +if ${ac_cv_sizeof_long_int+:} false; then : $as_echo_n "(cached) " >&6 else if ac_fn_c_compute_int "$LINENO" "(long int) (sizeof (long int))" "ac_cv_sizeof_long_int" "$ac_includes_default"; then : @@ -8367,7 +8352,7 @@ else { { $as_echo "$as_me:${as_lineno-$LINENO}: error: in \`$ac_pwd':" >&5 $as_echo "$as_me: error: in \`$ac_pwd':" >&2;} as_fn_error 77 "cannot compute sizeof (long int) -See \`config.log' for more details" "$LINENO" 5 ; } +See \`config.log' for more details" "$LINENO" 5; } else ac_cv_sizeof_long_int=0 fi @@ -8390,7 +8375,7 @@ _ACEOF # This bug is HP SR number 8606223364. { $as_echo "$as_me:${as_lineno-$LINENO}: checking size of long long int" >&5 $as_echo_n "checking size of long long int... " >&6; } -if test "${ac_cv_sizeof_long_long_int+set}" = set; then : +if ${ac_cv_sizeof_long_long_int+:} false; then : $as_echo_n "(cached) " >&6 else if ac_fn_c_compute_int "$LINENO" "(long int) (sizeof (long long int))" "ac_cv_sizeof_long_long_int" "$ac_includes_default"; then : @@ -8400,7 +8385,7 @@ else { { $as_echo "$as_me:${as_lineno-$LINENO}: error: in \`$ac_pwd':" >&5 $as_echo "$as_me: error: in \`$ac_pwd':" >&2;} as_fn_error 77 "cannot compute sizeof (long long int) -See \`config.log' for more details" "$LINENO" 5 ; } +See \`config.log' for more details" "$LINENO" 5; } else ac_cv_sizeof_long_long_int=0 fi @@ -8423,7 +8408,7 @@ _ACEOF # This bug is HP SR number 8606223364. { $as_echo "$as_me:${as_lineno-$LINENO}: checking size of float" >&5 $as_echo_n "checking size of float... " >&6; } -if test "${ac_cv_sizeof_float+set}" = set; then : +if ${ac_cv_sizeof_float+:} false; then : $as_echo_n "(cached) " >&6 else if ac_fn_c_compute_int "$LINENO" "(long int) (sizeof (float))" "ac_cv_sizeof_float" "$ac_includes_default"; then : @@ -8433,7 +8418,7 @@ else { { $as_echo "$as_me:${as_lineno-$LINENO}: error: in \`$ac_pwd':" >&5 $as_echo "$as_me: error: in \`$ac_pwd':" >&2;} as_fn_error 77 "cannot compute sizeof (float) -See \`config.log' for more details" "$LINENO" 5 ; } +See \`config.log' for more details" "$LINENO" 5; } else ac_cv_sizeof_float=0 fi @@ -8456,7 +8441,7 @@ _ACEOF # This bug is HP SR number 8606223364. { $as_echo "$as_me:${as_lineno-$LINENO}: checking size of double" >&5 $as_echo_n "checking size of double... " >&6; } -if test "${ac_cv_sizeof_double+set}" = set; then : +if ${ac_cv_sizeof_double+:} false; then : $as_echo_n "(cached) " >&6 else if ac_fn_c_compute_int "$LINENO" "(long int) (sizeof (double))" "ac_cv_sizeof_double" "$ac_includes_default"; then : @@ -8466,7 +8451,7 @@ else { { $as_echo "$as_me:${as_lineno-$LINENO}: error: in \`$ac_pwd':" >&5 $as_echo "$as_me: error: in \`$ac_pwd':" >&2;} as_fn_error 77 "cannot compute sizeof (double) -See \`config.log' for more details" "$LINENO" 5 ; } +See \`config.log' for more details" "$LINENO" 5; } else ac_cv_sizeof_double=0 fi @@ -8486,7 +8471,7 @@ _ACEOF { $as_echo "$as_me:${as_lineno-$LINENO}: checking for type of malloc" >&5 $as_echo_n "checking for type of malloc... " >&6; } -if test "${yap_cv_malloct+set}" = set; then : +if ${yap_cv_malloct+:} false; then : $as_echo_n "(cached) " >&6 else @@ -8526,7 +8511,7 @@ fi { $as_echo "$as_me:${as_lineno-$LINENO}: checking for gcc inline" >&5 $as_echo_n "checking for gcc inline... " >&6; } -if test "${yap_cv_gcc+set}" = set; then : +if ${yap_cv_gcc+:} false; then : $as_echo_n "(cached) " >&6 else @@ -8637,7 +8622,7 @@ fi { $as_echo "$as_me:${as_lineno-$LINENO}: checking for gcc threaded code" >&5 $as_echo_n "checking for gcc threaded code... " >&6; } -if test "${yap_cv_threaded_code+set}" = set; then : +if ${yap_cv_threaded_code+:} false; then : $as_echo_n "(cached) " >&6 else @@ -8682,7 +8667,7 @@ fi { $as_echo "$as_me:${as_lineno-$LINENO}: checking for IEEE floats" >&5 $as_echo_n "checking for IEEE floats... " >&6; } -if test "${yap_cv_ffieee+set}" = set; then : +if ${yap_cv_ffieee+:} false; then : $as_echo_n "(cached) " >&6 else @@ -8723,7 +8708,7 @@ fi { $as_echo "$as_me:${as_lineno-$LINENO}: checking for sigsetjmp" >&5 $as_echo_n "checking for sigsetjmp... " >&6; } -if test "${yap_cv_sigsetjmp+set}" = set; then : +if ${yap_cv_sigsetjmp+:} false; then : $as_echo_n "(cached) " >&6 else @@ -8763,7 +8748,7 @@ fi { $as_echo "$as_me:${as_lineno-$LINENO}: checking for sigsegv" >&5 $as_echo_n "checking for sigsegv... " >&6; } -if test "${yap_cv_sigsegv+set}" = set; then : +if ${yap_cv_sigsegv+:} false; then : $as_echo_n "(cached) " >&6 else @@ -8802,7 +8787,7 @@ fi { $as_echo "$as_me:${as_lineno-$LINENO}: checking for sigprof" >&5 $as_echo_n "checking for sigprof... " >&6; } -if test "${yap_cv_sigprof+set}" = set; then : +if ${yap_cv_sigprof+:} false; then : $as_echo_n "(cached) " >&6 else @@ -8841,7 +8826,7 @@ fi { $as_echo "$as_me:${as_lineno-$LINENO}: checking for siginfo" >&5 $as_echo_n "checking for siginfo... " >&6; } -if test "${yap_cv_siginfo+set}" = set; then : +if ${yap_cv_siginfo+:} false; then : $as_echo_n "(cached) " >&6 else @@ -8922,7 +8907,7 @@ fi ac_fn_c_check_member "$LINENO" "struct tm" "tm_gmtoff" "ac_cv_member_struct_tm_tm_gmtoff" "#include " -if test "x$ac_cv_member_struct_tm_tm_gmtoff" = x""yes; then : +if test "x$ac_cv_member_struct_tm_tm_gmtoff" = xyes; then : $as_echo "#define HAVE_STRUCT_TIME_TM_GMTOFF /**/" >>confdefs.h @@ -8993,7 +8978,7 @@ fi { $as_echo "$as_me:${as_lineno-$LINENO}: checking return type of signal handlers" >&5 $as_echo_n "checking return type of signal handlers... " >&6; } -if test "${ac_cv_type_signal+set}" = set; then : +if ${ac_cv_type_signal+:} false; then : $as_echo_n "(cached) " >&6 else cat confdefs.h - <<_ACEOF >conftest.$ac_ext @@ -9147,7 +9132,7 @@ done for ac_func in mbscoll do : ac_fn_c_check_func "$LINENO" "mbscoll" "ac_cv_func_mbscoll" -if test "x$ac_cv_func_mbscoll" = x""yes; then : +if test "x$ac_cv_func_mbscoll" = xyes; then : cat >>confdefs.h <<_ACEOF #define HAVE_MBSCOLL 1 _ACEOF @@ -9158,7 +9143,7 @@ done for ac_func in mbscasecoll do : ac_fn_c_check_func "$LINENO" "mbscasecoll" "ac_cv_func_mbscasecoll" -if test "x$ac_cv_func_mbscasecoll" = x""yes; then : +if test "x$ac_cv_func_mbscasecoll" = xyes; then : cat >>confdefs.h <<_ACEOF #define HAVE_MBSCASECOLL 1 _ACEOF @@ -9169,7 +9154,7 @@ done for ac_func in mbsnrtowcs do : ac_fn_c_check_func "$LINENO" "mbsnrtowcs" "ac_cv_func_mbsnrtowcs" -if test "x$ac_cv_func_mbsnrtowcs" = x""yes; then : +if test "x$ac_cv_func_mbsnrtowcs" = xyes; then : cat >>confdefs.h <<_ACEOF #define HAVE_MBSNRTOWCS 1 _ACEOF @@ -9287,7 +9272,7 @@ done ac_fn_c_check_func "$LINENO" "regexec" "ac_cv_func_regexec" -if test "x$ac_cv_func_regexec" = x""yes; then : +if test "x$ac_cv_func_regexec" = xyes; then : NO_BUILTIN_REGEXP="#" else NO_BUILTIN_REGEXP="" @@ -9297,7 +9282,7 @@ fi for ac_func in NSLinkModule do : ac_fn_c_check_func "$LINENO" "NSLinkModule" "ac_cv_func_NSLinkModule" -if test "x$ac_cv_func_NSLinkModule" = x""yes; then : +if test "x$ac_cv_func_NSLinkModule" = xyes; then : cat >>confdefs.h <<_ACEOF #define HAVE_NSLINKMODULE 1 _ACEOF @@ -9340,7 +9325,7 @@ fi { $as_echo "$as_me:${as_lineno-$LINENO}: checking for mpz_xor" >&5 $as_echo_n "checking for mpz_xor... " >&6; } -if test "${yap_cv_mpz_xor+set}" = set; then : +if ${yap_cv_mpz_xor+:} false; then : $as_echo_n "(cached) " >&6 else @@ -9386,7 +9371,7 @@ fi { $as_echo "$as_me:${as_lineno-$LINENO}: checking if fflush(NULL) clobbers input pipes" >&5 $as_echo_n "checking if fflush(NULL) clobbers input pipes... " >&6; } -if test "${yap_cv_broken_fflush_null+set}" = set; then : +if ${yap_cv_broken_fflush_null+:} false; then : $as_echo_n "(cached) " >&6 else cat >conftest.$ac_ext <&5 $as_echo_n "checking for socket in -lsocket... " >&6; } -if test "${ac_cv_lib_socket_socket+set}" = set; then : +if ${ac_cv_lib_socket_socket+:} false; then : $as_echo_n "(cached) " >&6 else ac_check_lib_save_LIBS=$LIBS @@ -9537,7 +9522,7 @@ LIBS=$ac_check_lib_save_LIBS fi { $as_echo "$as_me:${as_lineno-$LINENO}: result: $ac_cv_lib_socket_socket" >&5 $as_echo "$ac_cv_lib_socket_socket" >&6; } -if test "x$ac_cv_lib_socket_socket" = x""yes; then : +if test "x$ac_cv_lib_socket_socket" = xyes; then : CLIB_NETLIBS="$CLIB_NETLIBS -lsocket" $as_echo "#define HAVE_LIBSOCKET 1" >>confdefs.h @@ -9547,13 +9532,13 @@ fi fi ac_fn_c_check_func "$LINENO" "gethostent" "ac_cv_func_gethostent" -if test "x$ac_cv_func_gethostent" = x""yes; then : +if test "x$ac_cv_func_gethostent" = xyes; then : else { $as_echo "$as_me:${as_lineno-$LINENO}: checking for gethostent in -lnsl" >&5 $as_echo_n "checking for gethostent in -lnsl... " >&6; } -if test "${ac_cv_lib_nsl_gethostent+set}" = set; then : +if ${ac_cv_lib_nsl_gethostent+:} false; then : $as_echo_n "(cached) " >&6 else ac_check_lib_save_LIBS=$LIBS @@ -9587,7 +9572,7 @@ LIBS=$ac_check_lib_save_LIBS fi { $as_echo "$as_me:${as_lineno-$LINENO}: result: $ac_cv_lib_nsl_gethostent" >&5 $as_echo "$ac_cv_lib_nsl_gethostent" >&6; } -if test "x$ac_cv_lib_nsl_gethostent" = x""yes; then : +if test "x$ac_cv_lib_nsl_gethostent" = xyes; then : CLIB_NETLIBS="$CLIB_NETLIBS -lnsl" $as_echo "#define HAVE_LIBNSL 1" >>confdefs.h @@ -9600,7 +9585,7 @@ fi { $as_echo "$as_me:${as_lineno-$LINENO}: checking for pthread_create in -lpthread" >&5 $as_echo_n "checking for pthread_create in -lpthread... " >&6; } -if test "${ac_cv_lib_pthread_pthread_create+set}" = set; then : +if ${ac_cv_lib_pthread_pthread_create+:} false; then : $as_echo_n "(cached) " >&6 else ac_check_lib_save_LIBS=$LIBS @@ -9634,7 +9619,7 @@ LIBS=$ac_check_lib_save_LIBS fi { $as_echo "$as_me:${as_lineno-$LINENO}: result: $ac_cv_lib_pthread_pthread_create" >&5 $as_echo "$ac_cv_lib_pthread_pthread_create" >&6; } -if test "x$ac_cv_lib_pthread_pthread_create" = x""yes; then : +if test "x$ac_cv_lib_pthread_pthread_create" = xyes; then : CLIB_PTHREADS="-lpthread" else CLIB_PTHREADS="" @@ -9644,7 +9629,7 @@ fi oldlibs="$LIBS" { $as_echo "$as_me:${as_lineno-$LINENO}: checking for crypt in -lcrypt" >&5 $as_echo_n "checking for crypt in -lcrypt... " >&6; } -if test "${ac_cv_lib_crypt_crypt+set}" = set; then : +if ${ac_cv_lib_crypt_crypt+:} false; then : $as_echo_n "(cached) " >&6 else ac_check_lib_save_LIBS=$LIBS @@ -9678,7 +9663,7 @@ LIBS=$ac_check_lib_save_LIBS fi { $as_echo "$as_me:${as_lineno-$LINENO}: result: $ac_cv_lib_crypt_crypt" >&5 $as_echo "$ac_cv_lib_crypt_crypt" >&6; } -if test "x$ac_cv_lib_crypt_crypt" = x""yes; then : +if test "x$ac_cv_lib_crypt_crypt" = xyes; then : CRYPT_TARGET=crypt.\$SO else CRYPT_TARGET="" @@ -9688,7 +9673,7 @@ CLIB_CRYPTLIBS="$LIBS" for ac_func in crypt do : ac_fn_c_check_func "$LINENO" "crypt" "ac_cv_func_crypt" -if test "x$ac_cv_func_crypt" = x""yes; then : +if test "x$ac_cv_func_crypt" = xyes; then : cat >>confdefs.h <<_ACEOF #define HAVE_CRYPT 1 _ACEOF @@ -9709,7 +9694,7 @@ ac_fn_c_check_type "$LINENO" "socklen_t" "ac_cv_type_socklen_t" " #include " -if test "x$ac_cv_type_socklen_t" = x""yes; then : +if test "x$ac_cv_type_socklen_t" = xyes; then : cat >>confdefs.h <<_ACEOF #define HAVE_SOCKLEN_T 1 @@ -9723,7 +9708,7 @@ ac_fn_c_check_type "$LINENO" "ssize_t" "ac_cv_type_ssize_t" " #include " -if test "x$ac_cv_type_ssize_t" = x""yes; then : +if test "x$ac_cv_type_ssize_t" = xyes; then : cat >>confdefs.h <<_ACEOF #define HAVE_SSIZE_T 1 @@ -9778,7 +9763,7 @@ fi ac_fn_c_check_member "$LINENO" "struct tm" "tm_gmtoff" "ac_cv_member_struct_tm_tm_gmtoff" "#include " -if test "x$ac_cv_member_struct_tm_tm_gmtoff" = x""yes; then : +if test "x$ac_cv_member_struct_tm_tm_gmtoff" = xyes; then : $as_echo "#define HAVE_STRUCT_TIME_TM_GMTOFF /**/" >>confdefs.h @@ -9875,6 +9860,7 @@ mkdir -p packages/jpl/examples/java mkdir -p packages/meld mkdir -p packages/PLStream mkdir -p packages/PLStream/libtai +mkdir -p packages/pldoc mkdir -p packages/plunit mkdir -p packages/ProbLog mkdir -p packages/ProbLog/simplecudd @@ -9941,6 +9927,8 @@ ac_config_files="$ac_config_files packages/meld/Makefile" ac_config_files="$ac_config_files packages/PLStream/libtai/Makefile" +ac_config_files="$ac_config_files packages/pldoc/Makefile" + ac_config_files="$ac_config_files packages/plunit/Makefile" ac_config_files="$ac_config_files packages/ProbLog/Makefile" @@ -10049,10 +10037,21 @@ $as_echo "$as_me: WARNING: cache variable $ac_var contains a newline" >&2;} ;; :end' >>confcache if diff "$cache_file" confcache >/dev/null 2>&1; then :; else if test -w "$cache_file"; then - test "x$cache_file" != "x/dev/null" && + if test "x$cache_file" != "x/dev/null"; then { $as_echo "$as_me:${as_lineno-$LINENO}: updating cache $cache_file" >&5 $as_echo "$as_me: updating cache $cache_file" >&6;} - cat confcache >$cache_file + if test ! -f "$cache_file" || test -h "$cache_file"; then + cat confcache >"$cache_file" + else + case $cache_file in #( + */* | ?:*) + mv -f confcache "$cache_file"$$ && + mv -f "$cache_file"$$ "$cache_file" ;; #( + *) + mv -f confcache "$cache_file" ;; + esac + fi + fi else { $as_echo "$as_me:${as_lineno-$LINENO}: not updating unwritable cache $cache_file" >&5 $as_echo "$as_me: not updating unwritable cache $cache_file" >&6;} @@ -10084,7 +10083,7 @@ LTLIBOBJS=$ac_ltlibobjs -: ${CONFIG_STATUS=./config.status} +: "${CONFIG_STATUS=./config.status}" ac_write_fail=0 ac_clean_files_save=$ac_clean_files ac_clean_files="$ac_clean_files $CONFIG_STATUS" @@ -10185,6 +10184,7 @@ fi IFS=" "" $as_nl" # Find who we are. Look in the path if we contain no directory separator. +as_myself= case $0 in #(( *[\\/]* ) as_myself=$0 ;; *) as_save_IFS=$IFS; IFS=$PATH_SEPARATOR @@ -10492,7 +10492,7 @@ cat >>$CONFIG_STATUS <<\_ACEOF || ac_write_fail=1 # values after options handling. ac_log=" This file was extended by $as_me, which was -generated by GNU Autoconf 2.67. Invocation command line was +generated by GNU Autoconf 2.68. Invocation command line was CONFIG_FILES = $CONFIG_FILES CONFIG_HEADERS = $CONFIG_HEADERS @@ -10554,7 +10554,7 @@ cat >>$CONFIG_STATUS <<_ACEOF || ac_write_fail=1 ac_cs_config="`$as_echo "$ac_configure_args" | sed 's/^ //; s/[\\""\`\$]/\\\\&/g'`" ac_cs_version="\\ config.status -configured by $0, generated by GNU Autoconf 2.67, +configured by $0, generated by GNU Autoconf 2.68, with options \\"\$ac_cs_config\\" Copyright (C) 2010 Free Software Foundation, Inc. @@ -10705,6 +10705,7 @@ do "packages/http/Makefile") CONFIG_FILES="$CONFIG_FILES packages/http/Makefile" ;; "packages/meld/Makefile") CONFIG_FILES="$CONFIG_FILES packages/meld/Makefile" ;; "packages/PLStream/libtai/Makefile") CONFIG_FILES="$CONFIG_FILES packages/PLStream/libtai/Makefile" ;; + "packages/pldoc/Makefile") CONFIG_FILES="$CONFIG_FILES packages/pldoc/Makefile" ;; "packages/plunit/Makefile") CONFIG_FILES="$CONFIG_FILES packages/plunit/Makefile" ;; "packages/ProbLog/Makefile") CONFIG_FILES="$CONFIG_FILES packages/ProbLog/Makefile" ;; "packages/R/Makefile") CONFIG_FILES="$CONFIG_FILES packages/R/Makefile" ;; @@ -10723,7 +10724,7 @@ do "packages/swi-minisat2/Makefile") CONFIG_FILES="$CONFIG_FILES packages/swi-minisat2/Makefile" ;; "packages/swi-minisat2/C/Makefile") CONFIG_FILES="$CONFIG_FILES packages/swi-minisat2/C/Makefile" ;; - *) as_fn_error $? "invalid argument: \`$ac_config_target'" "$LINENO" 5 ;; + *) as_fn_error $? "invalid argument: \`$ac_config_target'" "$LINENO" 5;; esac done @@ -10745,9 +10746,10 @@ fi # after its creation but before its name has been assigned to `$tmp'. $debug || { - tmp= + tmp= ac_tmp= trap 'exit_status=$? - { test -z "$tmp" || test ! -d "$tmp" || rm -fr "$tmp"; } && exit $exit_status + : "${ac_tmp:=$tmp}" + { test ! -d "$ac_tmp" || rm -fr "$ac_tmp"; } && exit $exit_status ' 0 trap 'as_fn_exit 1' 1 2 13 15 } @@ -10755,12 +10757,13 @@ $debug || { tmp=`(umask 077 && mktemp -d "./confXXXXXX") 2>/dev/null` && - test -n "$tmp" && test -d "$tmp" + test -d "$tmp" } || { tmp=./conf$$-$RANDOM (umask 077 && mkdir "$tmp") } || as_fn_error $? "cannot create a temporary directory in ." "$LINENO" 5 +ac_tmp=$tmp # Set up the scripts for CONFIG_FILES section. # No need to generate them if there are no CONFIG_FILES. @@ -10782,7 +10785,7 @@ else ac_cs_awk_cr=$ac_cr fi -echo 'BEGIN {' >"$tmp/subs1.awk" && +echo 'BEGIN {' >"$ac_tmp/subs1.awk" && _ACEOF @@ -10810,7 +10813,7 @@ done rm -f conf$$subs.sh cat >>$CONFIG_STATUS <<_ACEOF || ac_write_fail=1 -cat >>"\$tmp/subs1.awk" <<\\_ACAWK && +cat >>"\$ac_tmp/subs1.awk" <<\\_ACAWK && _ACEOF sed -n ' h @@ -10858,7 +10861,7 @@ t delim rm -f conf$$subs.awk cat >>$CONFIG_STATUS <<_ACEOF || ac_write_fail=1 _ACAWK -cat >>"\$tmp/subs1.awk" <<_ACAWK && +cat >>"\$ac_tmp/subs1.awk" <<_ACAWK && for (key in S) S_is_set[key] = 1 FS = "" @@ -10890,7 +10893,7 @@ if sed "s/$ac_cr//" < /dev/null > /dev/null 2>&1; then sed "s/$ac_cr\$//; s/$ac_cr/$ac_cs_awk_cr/g" else cat -fi < "$tmp/subs1.awk" > "$tmp/subs.awk" \ +fi < "$ac_tmp/subs1.awk" > "$ac_tmp/subs.awk" \ || as_fn_error $? "could not setup config files machinery" "$LINENO" 5 _ACEOF @@ -10924,7 +10927,7 @@ fi # test -n "$CONFIG_FILES" # No need to generate them if there are no CONFIG_HEADERS. # This happens for instance with `./config.status Makefile'. if test -n "$CONFIG_HEADERS"; then -cat >"$tmp/defines.awk" <<\_ACAWK || +cat >"$ac_tmp/defines.awk" <<\_ACAWK || BEGIN { _ACEOF @@ -10936,8 +10939,8 @@ _ACEOF # handling of long lines. ac_delim='%!_!# ' for ac_last_try in false false :; do - ac_t=`sed -n "/$ac_delim/p" confdefs.h` - if test -z "$ac_t"; then + ac_tt=`sed -n "/$ac_delim/p" confdefs.h` + if test -z "$ac_tt"; then break elif $ac_last_try; then as_fn_error $? "could not make $CONFIG_HEADERS" "$LINENO" 5 @@ -11038,7 +11041,7 @@ do esac case $ac_mode$ac_tag in :[FHL]*:*);; - :L* | :C*:*) as_fn_error $? "invalid tag \`$ac_tag'" "$LINENO" 5 ;; + :L* | :C*:*) as_fn_error $? "invalid tag \`$ac_tag'" "$LINENO" 5;; :[FH]-) ac_tag=-:-;; :[FH]*) ac_tag=$ac_tag:$ac_tag.in;; esac @@ -11057,7 +11060,7 @@ do for ac_f do case $ac_f in - -) ac_f="$tmp/stdin";; + -) ac_f="$ac_tmp/stdin";; *) # Look for the file first in the build tree, then in the source tree # (if the path is not absolute). The absolute path cannot be DOS-style, # because $ac_f cannot contain `:'. @@ -11066,7 +11069,7 @@ do [\\/$]*) false;; *) test -f "$srcdir/$ac_f" && ac_f="$srcdir/$ac_f";; esac || - as_fn_error 1 "cannot find input file: \`$ac_f'" "$LINENO" 5 ;; + as_fn_error 1 "cannot find input file: \`$ac_f'" "$LINENO" 5;; esac case $ac_f in *\'*) ac_f=`$as_echo "$ac_f" | sed "s/'/'\\\\\\\\''/g"`;; esac as_fn_append ac_file_inputs " '$ac_f'" @@ -11092,8 +11095,8 @@ $as_echo "$as_me: creating $ac_file" >&6;} esac case $ac_tag in - *:-:* | *:-) cat >"$tmp/stdin" \ - || as_fn_error $? "could not create $ac_file" "$LINENO" 5 ;; + *:-:* | *:-) cat >"$ac_tmp/stdin" \ + || as_fn_error $? "could not create $ac_file" "$LINENO" 5 ;; esac ;; esac @@ -11223,21 +11226,22 @@ s&@abs_top_builddir@&$ac_abs_top_builddir&;t t s&@INSTALL@&$ac_INSTALL&;t t $ac_datarootdir_hack " -eval sed \"\$ac_sed_extra\" "$ac_file_inputs" | $AWK -f "$tmp/subs.awk" >$tmp/out \ - || as_fn_error $? "could not create $ac_file" "$LINENO" 5 +eval sed \"\$ac_sed_extra\" "$ac_file_inputs" | $AWK -f "$ac_tmp/subs.awk" \ + >$ac_tmp/out || as_fn_error $? "could not create $ac_file" "$LINENO" 5 test -z "$ac_datarootdir_hack$ac_datarootdir_seen" && - { ac_out=`sed -n '/\${datarootdir}/p' "$tmp/out"`; test -n "$ac_out"; } && - { ac_out=`sed -n '/^[ ]*datarootdir[ ]*:*=/p' "$tmp/out"`; test -z "$ac_out"; } && + { ac_out=`sed -n '/\${datarootdir}/p' "$ac_tmp/out"`; test -n "$ac_out"; } && + { ac_out=`sed -n '/^[ ]*datarootdir[ ]*:*=/p' \ + "$ac_tmp/out"`; test -z "$ac_out"; } && { $as_echo "$as_me:${as_lineno-$LINENO}: WARNING: $ac_file contains a reference to the variable \`datarootdir' which seems to be undefined. Please make sure it is defined" >&5 $as_echo "$as_me: WARNING: $ac_file contains a reference to the variable \`datarootdir' which seems to be undefined. Please make sure it is defined" >&2;} - rm -f "$tmp/stdin" + rm -f "$ac_tmp/stdin" case $ac_file in - -) cat "$tmp/out" && rm -f "$tmp/out";; - *) rm -f "$ac_file" && mv "$tmp/out" "$ac_file";; + -) cat "$ac_tmp/out" && rm -f "$ac_tmp/out";; + *) rm -f "$ac_file" && mv "$ac_tmp/out" "$ac_file";; esac \ || as_fn_error $? "could not create $ac_file" "$LINENO" 5 ;; @@ -11248,20 +11252,20 @@ which seems to be undefined. Please make sure it is defined" >&2;} if test x"$ac_file" != x-; then { $as_echo "/* $configure_input */" \ - && eval '$AWK -f "$tmp/defines.awk"' "$ac_file_inputs" - } >"$tmp/config.h" \ + && eval '$AWK -f "$ac_tmp/defines.awk"' "$ac_file_inputs" + } >"$ac_tmp/config.h" \ || as_fn_error $? "could not create $ac_file" "$LINENO" 5 - if diff "$ac_file" "$tmp/config.h" >/dev/null 2>&1; then + if diff "$ac_file" "$ac_tmp/config.h" >/dev/null 2>&1; then { $as_echo "$as_me:${as_lineno-$LINENO}: $ac_file is unchanged" >&5 $as_echo "$as_me: $ac_file is unchanged" >&6;} else rm -f "$ac_file" - mv "$tmp/config.h" "$ac_file" \ + mv "$ac_tmp/config.h" "$ac_file" \ || as_fn_error $? "could not create $ac_file" "$LINENO" 5 fi else $as_echo "/* $configure_input */" \ - && eval '$AWK -f "$tmp/defines.awk"' "$ac_file_inputs" \ + && eval '$AWK -f "$ac_tmp/defines.awk"' "$ac_file_inputs" \ || as_fn_error $? "could not create -" "$LINENO" 5 fi ;; diff --git a/configure.in b/configure.in index e407453b5..f8549c37d 100644 --- a/configure.in +++ b/configure.in @@ -2042,6 +2042,7 @@ mkdir -p packages/jpl/examples/java mkdir -p packages/meld mkdir -p packages/PLStream mkdir -p packages/PLStream/libtai +mkdir -p packages/pldoc mkdir -p packages/plunit mkdir -p packages/ProbLog mkdir -p packages/ProbLog/simplecudd @@ -2080,6 +2081,7 @@ AC_CONFIG_FILES([packages/cplint/approx/simplecuddLPADs/Makefile]) AC_CONFIG_FILES([packages/http/Makefile]) AC_CONFIG_FILES([packages/meld/Makefile]) AC_CONFIG_FILES([packages/PLStream/libtai/Makefile]) +AC_CONFIG_FILES([packages/pldoc/Makefile]) AC_CONFIG_FILES([packages/plunit/Makefile]) AC_CONFIG_FILES([packages/ProbLog/Makefile ]) AC_CONFIG_FILES([packages/R/Makefile]) diff --git a/man/doc2tex b/man/doc2tex new file mode 100755 index 000000000..d9d89cc2c --- /dev/null +++ b/man/doc2tex @@ -0,0 +1,179 @@ +#!/usr/bin/env perl + +sub printTeX +{ s/`([@\w]+)\s*<->([a-z]\w*)/\\index{\l\1,\\both{\2}}`\\classboth{\1}{\2}/g; + s/`([@\w]+)\s*<-([a-z]\w*)/\\index{\l\1,\\get{\2}}`\\classget{\1}{\2}/g; + s/`([@\w]+)\s*->([a-z]\w*)/\\index{\l\1,\\send{\2}}`\\classsend{\1}{\2}/g; + s/<->([a-z]\w*)/\\both{\1}/g; + s/<-([a-z]\w*)/\\get{\1}/g; + s/->([a-z]\w*)/\\send{\1}/g; + s/(^|\s|\()([a-z]\w+)\/((\d+|\[\d+(-|,)\d+\]))/\1\\index{\2\/\3}\\predref{\2}{\3}/g; + s/(\s+|^)([a-z]\w+)\/\/((\d+|\[\d+(-|,)\d+\]))/\1\\index{\2\/\/\3}\\dcgref{\2}{\3}/g; + s/(\w\.\w)\.(\s+[a-z])/\1.\\\2/g; + s/(^|[^\w}\\])@([a-z]\w*)/\1\\index{@\2}\\objectname{\2}/g; + s/(^|[^'])<(\w[-~\w]*)>/\1\\bnfmeta{\2}/g; + s/\\class{([<\\=>]*)}/\\verb!\1!/g; + s/==>/\$\\longrightarrow\$/g; + s/^((\\index{[^}]+})+) *$/\1%/; + s/(\\index{[^}]*)\\index{[^}]*}([^}]*})/\1\2/g; + s/(\\class(get|send|both){)\\index{[^}]*}/\1/g; + s/(PL_[a-z_]*)\(([^\)]*)\)/\\funcref{\1}{\2}/g; + +# Prolog special arguments ... +# TBD: pick these up automatically from pl.sty + + s/\\file{([^}]*\\bnfmeta[^}]*)}/\\metafile{\1}/g; + s/\\file{([^}]*\\arg[^}]*)}/\\metafile{\1}/g; + s/\\file{([^}]+)}/\\file@\1@/g; + s/\\htmloutput{([^}]+)}/\\htmloutput@\1@/g; + + s/{#!}/{\\Sexe}/g; + s/{#>}/{\\Scgt}/g; + s/{#>=}/{\\Scge}/g; + s/{#<}/{\\Sclt}/g; + s/{#=<}/{\\Scle}/g; + s/{#=}/{\\Sceq}/g; + s/{#\\=}/{\\Scne}/g; + s/{#\\}/{\\Snot}/g; + s/{#\\\/}/{\\Sor}/g; + s/{#\/\\}/{\\Sand}/g; + s/{#<=>}/{\\Sequiv}/g; + s/{#<=}/{\\Slimpl}/g; + s/{#=>}/{\\Srimpl}/g; + s/{#<==}/{\\Slimplies}/g; + s/{#==>}/{\\Srimplies}/g; + s/{#<==>}/{\\Scequal}/g; + s/{#=\\=}/{\\Scine}/g; + s/{#=:=}/{\\Scieq}/g; + s/{!}/{\\Scut}/g; + s/{,}/{\\Scomma}/g; + s/{->}/{\\Sifthen}/g; + s/{\*->}/{\\Ssoftcut}/g; + s/{\.}/{\\Sdot}/g; + s/{;}/{\\Ssemicolon}/g; + s/{<}/{\\Slt}/g; + s/{><}/{\\Sxor}/g; + s/{=}/{\\Seq}/g; + s/{=\.\.}/{\\Suniv}/g; + s/{=:=}/{\\Saeq}/g; + s/{=<}/{\\Sle}/g; + s/{<=}/{\\Sel}/g; + s/{==}/{\\Sequal}/g; + s/{=@=}/{\\Sstructeq}/g; + s/{\\=@=}/{\\Sstructneq}/g; + s/{=\\=}/{\\Sane}/g; + s/{>}/{\\Sgt}/g; + s/{>=}/{\\Sge}/g; + s/{@<}/{\\Stlt}/g; + s/{@=<}/{\\Stle}/g; + s/{@>}/{\\Stgt}/g; + s/{@>=}/{\\Stge}/g; + s/{\\\+}/{\\Snot}/g; + s/{\\=}/{\\Sne}/g; + s/{\\==}/{\\Snequal}/g; + s/{\^}/{\\Shat}/g; + s/{\|}/{\\Sbar}/g; + s/{\*}/{\\Stimes}/g; + s/{\*\*}/{\\Spow}/g; + s/{\+}/{\\Splus}/g; + s/{-}/{\\Sminus}/g; + s/{\/}/{\\Sdiv}/g; + s/{\/\/}/{\\Sidiv}/g; + s/{\/\\}/{\\Sand}/g; + s/{<<}/{\\Slshift}/g; + s/{>>}/{\\Srshift}/g; + s/{\\}/{\\Sneg}/g; + s/{\\\/}/{\\Sor}/g; + s/{\$}/{\\Sdollar}/g; + s/{\?}/{\\Squest}/g; + s/{:}/{\\Smodule}/g; + s/{:-}/{\\Sneck}/g; + s/{\?-}/{\\Sdirective}/g; + s/{-->}/{\\Sdcg}/g; + s/{~}/{\\Stilde}/g; + s/{%}/{\\Spercent}/g; + s/{{}}/{\\Scurl}/g; + s/{xXX..\\}/{\\SxXX}/g; + + s/\\file@([^@]+)@/\\file{\1}/g; + s/\\htmloutput@([^@]+)@/\\htmloutput{\1}/g; + + print; +} + + +sub expandTabs +{ while ( ($i = index($_, "\t")) != $[-1 ) + { $nspaces = 8 - $i % 8; + for( $spaces="", $i=0; $i<$nspaces; $i++ ) + { $spaces .= " "; + } + s/\t/$spaces/; + } +} + + +sub +expandSpecials +{ s/\^/\\verb!^!/g; + s/\|/\\verb!|!/g; +} + + +sub printCode +{ print; + while ( ) + { &expandTabs; + print; + if ( /\\end{(code|verbatim)}/ ) + { return; + } + } +} + + +sub printPceCode +{ $line = 0; + print; + while ( ) + { $line++; + &expandTabs; + if ( /\\end{pcecode}/ ) + { print; + return; + } + chomp; + print "\\lineno{$line}\\verb`$_`\n"; + } +} + + +sub skiptonext +{ while () + { if ( ! /^\s*$/ ) + { return; + } + last; + } + while () + { if ( ! /^\s*$/ ) + { return; + } + } +} + +# MAIN PROGRAM + +while (<>) +{ while ( /\\begin{pcecode}/ ) + { &printPceCode; + print "\n\\noindent\n"; + &skiptonext; + } + while ( /\\begin{(code|verbatim)}/ ) + { &printCode; + print "\n\\noindent\n"; + &skiptonext; + } + &printTeX; +} diff --git a/man/fancychap.sty b/man/fancychap.sty new file mode 100644 index 000000000..8cbc00faa --- /dev/null +++ b/man/fancychap.sty @@ -0,0 +1,43 @@ +\font\chapnum = cminch +\font\chaptitle = cmssbx10 scaled \magstep5 +\def\booktitle{\mbox{}} +\newdimen\titlewidth +\newdimen\titlenumwidth +\titlewidth\textwidth +\titlenumwidth 3cm +\addtolength{\titlewidth}{-\titlenumwidth} + +%---------------------------------------------------------------------- +% Chapters +%---------------------------------------------------------------------- +\def\breakit{\ } % allow linebreak in chapter title + +\def\@makechapterhead#1{ % Heading for \chapter command + \vspace*{0pt} % Space at top of text page. + { \parindent 0pt \raggedright + \ifnum \c@secnumdepth >\m@ne % IF secnumdepth > -1 THEN + \begin{minipage}{\headwidth} + \parbox[b]{\titlewidth}{% + \def\breakit{\par}\raggedright + \baselineskip .33in {\chaptitle #1}}\nobreak + \parbox[b]{\titlenumwidth}{\raggedleft {\chapnum \thechapter}} + \par\vskip 3pt + \rule[0pt]{\headwidth}{4pt} + \end{minipage} + \fi + \vskip 20pt + \nobreak % TeX penalty to prevent pagebreak. + } } + +\def\@makeschapterhead#1{ % Heading for \chapter* command + \vspace*{0pt} % Space at top of page. + \markboth{\booktitle}{#1} + { \parindent 0pt \raggedright + \begin{minipage}{\headwidth} + \parbox[b]{\titlewidth}{\raggedright {\chaptitle #1}} + \par\vskip 5pt + \rule[0pt]{\headwidth}{4pt} + \end{minipage} + \nobreak % TeX penalty to prevent page break. + \vskip 30pt % Space between title and text. + }} diff --git a/man/html.sty b/man/html.sty new file mode 100644 index 000000000..0f3e9639c --- /dev/null +++ b/man/html.sty @@ -0,0 +1,174 @@ +% HTML.sty +% +% Provide LaTeX definitions for the latex2html translator. +% Requires LaTeX2e or later +% +% Author: Jan Wielemaker, SWI, University of Amsterdam + +% \onefile +% +% Do not section the output (i.e. put all output in the same HTML file). + +\newcommand{\onefile}{} + +% \bodycolor{Color} +% +% Define colour for running text body (). + +\newcommand{\bodycolor}[1]{} + +% \linkimage{Id}{ImagePath} +% +% Define image to use for specified link id + +\newcommand{\linkimage}[2]{} + +% \htmlmainfile{File} +% \htmloutput{Directory} +% +% Define the main output file and directory + +\newcommand{\htmlmainfile}[1]{} +\newcommand{\htmloutput}[1]{} + +% htmlfiledepth{Depth} +% +% Defines the depth at which sections are split into separate files +% Default is 2 (each subsection produces a file). See also \onefile + +\newcommand{\htmlfiledepth}[1]{} + +% \email[TextToShow]{URL} +% \url[TextToShow]{URL} +% +% References to E-mail addresses and general URL's. If the optional +% argument is provided, this is the text printed for the label. Otherwise +% the address itself is printed. + +\def\url{\@ifnextchar[{\@url}{\@plainurl}} +\def\@url[#1]#2{#1} +\def\@plainurl#1{{\tt #1}} +\let\email=\url + +% \begin{shortlist} ... \end{shortlist} +% +% As itemize environment, but do not include extra space between the +% items. + +\newenvironment{shortlist}{% + \begin{itemize}\setlength{\itemsep}{0pt}}{% + \end{itemize}} + +% \begin{dlist} ... \end{dlist} +% +% As description environment, but start a newline after the item + +\let\latexitem=\item + +\newenvironment{dlist}{% + \begin{description}% + \def\item[##1]{\latexitem[##1]\hfill\\}}{% + \end{description}} + +\newenvironment{itemlist} + {\itemize + \renewcommand\makelabel[1]{% + \hspace\labelwidth + \llap{\@itemlabel}% + \hspace\labelsep + \makebox[\linewidth][l]{\it ##1}% + \hspace{-\labelsep}}% + }% + {\enditemize} + +% \var{Var} +% +% Indicate Var is a variable or argument. + +\def\var#1{{\it #1}} + +%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% +% Comment.sty version 2.0, 19 June 1992 +% selectively in/exclude pieces of text: the user can define new +% comment versions, and each is controlled separately. +% This style can be used with plain TeX or LaTeX, and probably +% most other packages too. +% +% Examples of use in LaTeX and TeX follow \endinput +% +% Author +% Victor Eijkhout +% Department of Computer Science +% University Tennessee at Knoxville +% 104 Ayres Hall +% Knoxville, TN 37996 +% USA +% +% eijkhout@cs.utk.edu +% +% Usage: all text included in between +% \comment ... \endcomment +% or \begin{comment} ... \end{comment} +% is discarded. The closing command should appear on a line +% of its own. No starting spaces, nothing after it. +% This environment should work with arbitrary amounts +% of comment. +% +% Other 'comment' environments are defined by +% and are selected/deselected with +% \includecomment{versiona} +% \excludecoment{versionb} +% +% These environments are used as +% \versiona ... \endversiona +% or \begin{versiona} ... \end{versiona} +% with the closing command again on a line of its own. +% +% Basic approach: +% to comment something out, scoop up every line in verbatim mode +% as macro argument, then throw it away. +% For inclusions, both the opening and closing comands +% are defined as noop +% +% Changed \next to \html@next to prevent clashes with other sty files +% (mike@emn.fr) +% Changed \html@next to \htmlnext so the \makeatletter and +% \makeatother commands could be removed (they were causing other +% style files - changebar.sty - to crash) (nikos@cbl.leeds.ac.uk) +% Changed \htmlnext back to \html@next... + +\makeatletter +\def\makeinnocent#1{\catcode`#1=12 } +\def\csarg#1#2{\expandafter#1\csname#2\endcsname} + +\def\ThrowAwayComment#1{\begingroup + \def\CurrentComment{#1}% + \let\do\makeinnocent \dospecials + \makeinnocent\^^L% and whatever other special cases + \endlinechar`\^^M \catcode`\^^M=12 \xComment} +{\catcode`\^^M=12 \endlinechar=-1 % + \gdef\xComment#1^^M{\def\test{#1} + \csarg\ifx{PlainEnd\CurrentComment Test}\test + \let\html@next\endgroup + \else \csarg\ifx{LaLaEnd\CurrentComment Test}\test + \edef\html@next{\endgroup\noexpand\end{\CurrentComment}} + \else \let\html@next\xComment + \fi \fi \html@next} +} +\makeatother + +\def\includecomment + #1{\expandafter\def\csname#1\endcsname{}% + \expandafter\def\csname end#1\endcsname{}} +\def\excludecomment + #1{\expandafter\def\csname#1\endcsname{\ThrowAwayComment{#1}}% + {\escapechar=-1\relax + \csarg\xdef{PlainEnd#1Test}{\string\\end#1}% + \csarg\xdef{LaLaEnd#1Test}{\string\\end\string\{#1\string\}}% + }} + +\excludecomment{comment} +%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% + +\excludecomment{htmlonly} +\newenvironment{latexonly}{}{} diff --git a/man/name.bst b/man/name.bst new file mode 100644 index 000000000..195eec760 --- /dev/null +++ b/man/name.bst @@ -0,0 +1,1254 @@ +% BibTeX standard bibliography style `alpha' + % version 0.99a for BibTeX versions 0.99a or later, LaTeX version 2.09. + % Copyright (C) 1985, all rights reserved. + % Copying of this file is authorized only if either + % (1) you make absolutely no changes to your copy, including name, or + % (2) if you do make changes, you name it something other than + % btxbst.doc, plain.bst, unsrt.bst, alpha.bst, and abbrv.bst. + % This restriction helps ensure that all standard styles are identical. + % The file btxbst.doc has the documentation for this style. + +% This bibtex style file is a modified version of the alpha.bst file. +% Originally developed by Jan Wielemaker and Guus Schreiber. Modified +% for BibTeX 0.99 by Jan Wielemaker, 16/2/90. + +ENTRY + { address + author + booktitle + chapter + edition + editor + howpublished + institution + journal + key + month + note + number + organization + pages + publisher + school + series + title + type + volume + year + url + } + {} + { label extra.label sort.label } + +INTEGERS { output.state before.all mid.sentence after.sentence after.block } + +FUNCTION {init.state.consts} +{ #0 'before.all := + #1 'mid.sentence := + #2 'after.sentence := + #3 'after.block := +} + +STRINGS { s t } + +FUNCTION {output.nonnull} +{ 's := + output.state mid.sentence = + { ", " * write$ } + { output.state after.block = + { add.period$ write$ + newline$ + "\newblock " write$ + } + { output.state before.all = + 'write$ + { add.period$ " " * write$ } + if$ + } + if$ + mid.sentence 'output.state := + } + if$ + s +} + +FUNCTION {output} +{ duplicate$ empty$ + 'pop$ + 'output.nonnull + if$ +} + +FUNCTION {output.check} +{ 't := + duplicate$ empty$ + { pop$ "empty " t * " in " * cite$ * warning$ } + 'output.nonnull + if$ +} + +FUNCTION {output.bibitem} +{ newline$ + "\bibitem[" write$ + label write$ + "]{" write$ + cite$ write$ + "}" write$ + newline$ + "" + before.all 'output.state := +} + + +FUNCTION {output.url} +{ url empty$ + { 'pop$ } + { "\url{" write$ 'output.nonnull "}" write$ } + if$ +} + + +FUNCTION {fin.entry} +{ add.period$ + write$ + newline$ +} + +FUNCTION {new.block} +{ output.state before.all = + 'skip$ + { after.block 'output.state := } + if$ +} + +FUNCTION {new.sentence} +{ output.state after.block = + 'skip$ + { output.state before.all = + 'skip$ + { after.sentence 'output.state := } + if$ + } + if$ +} + +FUNCTION {not} +{ { #0 } + { #1 } + if$ +} + +FUNCTION {and} +{ 'skip$ + { pop$ #0 } + if$ +} + +FUNCTION {or} +{ { pop$ #1 } + 'skip$ + if$ +} + +FUNCTION {new.block.checka} +{ empty$ + 'skip$ + 'new.block + if$ +} + +FUNCTION {new.block.checkb} +{ empty$ + swap$ empty$ + and + 'skip$ + 'new.block + if$ +} + +FUNCTION {new.sentence.checka} +{ empty$ + 'skip$ + 'new.sentence + if$ +} + +FUNCTION {new.sentence.checkb} +{ empty$ + swap$ empty$ + and + 'skip$ + 'new.sentence + if$ +} + +FUNCTION {field.or.null} +{ duplicate$ empty$ + { pop$ "" } + 'skip$ + if$ +} + +FUNCTION {emphasize} +{ duplicate$ empty$ + { pop$ "" } + { "{\em " swap$ * "}" * } + if$ +} + +INTEGERS { nameptr namesleft numnames } + +FUNCTION {format.names} +{ 's := + #1 'nameptr := + s num.names$ 'numnames := + numnames 'namesleft := + { namesleft #0 > } + { s nameptr "{ff~}{vv~}{ll}{, jj}" format.name$ 't := + nameptr #1 > + { namesleft #1 > + { ", " * t * } + { numnames #2 > + { "," * } + 'skip$ + if$ + t "others" = + { " et~al." * } + { " and " * t * } + if$ + } + if$ + } + 't + if$ + nameptr #1 + 'nameptr := + namesleft #1 - 'namesleft := + } + while$ +} + +FUNCTION {format.authors} +{ author empty$ + { "" } + { author format.names } + if$ +} + +FUNCTION {format.editors} +{ editor empty$ + { "" } + { editor format.names + editor num.names$ #1 > + { ", editors" * } + { ", editor" * } + if$ + } + if$ +} + +FUNCTION {format.title} +{ title empty$ + { "" } + { title "t" change.case$ } + if$ +} + +FUNCTION {format.url} +{ url empty$ + { "" } + { "\url{" url * "}" * } + if$ +} + +FUNCTION {n.dashify} +{ 't := + "" + { t empty$ not } + { t #1 #1 substring$ "-" = + { t #1 #2 substring$ "--" = not + { "--" * + t #2 global.max$ substring$ 't := + } + { { t #1 #1 substring$ "-" = } + { "-" * + t #2 global.max$ substring$ 't := + } + while$ + } + if$ + } + { t #1 #1 substring$ * + t #2 global.max$ substring$ 't := + } + if$ + } + while$ +} + +FUNCTION {format.date} +{ year empty$ + { month empty$ + { "" } + { "there's a month but no year in " cite$ * warning$ + month + } + if$ + } + { month empty$ + 'year + { month " " * year * } + if$ + } + if$ +} + +FUNCTION {format.btitle} +{ title emphasize +} + +FUNCTION {tie.or.space.connect} +{ duplicate$ text.length$ #3 < + { "~" } + { " " } + if$ + swap$ * * +} + +FUNCTION {either.or.check} +{ empty$ + 'pop$ + { "can't use both " swap$ * " fields in " * cite$ * warning$ } + if$ +} + +FUNCTION {format.bvolume} +{ volume empty$ + { "" } + { "volume" volume tie.or.space.connect + series empty$ + 'skip$ + { " of " * series emphasize * } + if$ + "volume and number" number either.or.check + } + if$ +} + +FUNCTION {format.number.series} +{ volume empty$ + { number empty$ + { series field.or.null } + { output.state mid.sentence = + { "number" } + { "Number" } + if$ + number tie.or.space.connect + series empty$ + { "there's a number but no series in " cite$ * warning$ } + { " in " * series * } + if$ + } + if$ + } + { "" } + if$ +} + +FUNCTION {format.edition} +{ edition empty$ + { "" } + { output.state mid.sentence = + { edition "l" change.case$ " edition" * } + { edition "t" change.case$ " edition" * } + if$ + } + if$ +} + +INTEGERS { multiresult } + +FUNCTION {multi.page.check} +{ 't := + #0 'multiresult := + { multiresult not + t empty$ not + and + } + { t #1 #1 substring$ + duplicate$ "-" = + swap$ duplicate$ "," = + swap$ "+" = + or or + { #1 'multiresult := } + { t #2 global.max$ substring$ 't := } + if$ + } + while$ + multiresult +} + +FUNCTION {format.pages} +{ pages empty$ + { "" } + { pages multi.page.check + { "pages" pages n.dashify tie.or.space.connect } + { "page" pages tie.or.space.connect } + if$ + } + if$ +} + +FUNCTION {format.vol.num.pages} +{ volume field.or.null + number empty$ + 'skip$ + { "(" number * ")" * * + volume empty$ + { "there's a number but no volume in " cite$ * warning$ } + 'skip$ + if$ + } + if$ + pages empty$ + 'skip$ + { duplicate$ empty$ + { pop$ format.pages } + { ":" * pages n.dashify * } + if$ + } + if$ +} + +FUNCTION {format.chapter.pages} +{ chapter empty$ + 'format.pages + { type empty$ + { "chapter" } + { type "l" change.case$ } + if$ + chapter tie.or.space.connect + pages empty$ + 'skip$ + { ", " * format.pages * } + if$ + } + if$ +} + +FUNCTION {format.in.ed.booktitle} +{ booktitle empty$ + { "" } + { editor empty$ + { "In " booktitle emphasize * } + { "In " format.editors * ", " * booktitle emphasize * } + if$ + } + if$ +} + +FUNCTION {empty.misc.check} +{ author empty$ title empty$ howpublished empty$ + month empty$ year empty$ note empty$ + and and and and and + key empty$ not and + { "all relevant fields are empty in " cite$ * warning$ } + 'skip$ + if$ +} + +FUNCTION {format.thesis.type} +{ type empty$ + 'skip$ + { pop$ + type "t" change.case$ + } + if$ +} + +FUNCTION {format.tr.number} +{ type empty$ + { "Technical Report" } + 'type + if$ + number empty$ + { "t" change.case$ } + { number tie.or.space.connect } + if$ +} + +FUNCTION {format.article.crossref} +{ key empty$ + { journal empty$ + { "need key or journal for " cite$ * " to crossref " * crossref * + warning$ + "" + } + { "In {\em " journal * "\/}" * } + if$ + } + { "In " key * } + if$ + " \cite{" * crossref * "}" * +} + +FUNCTION {format.crossref.editor} +{ editor #1 "{vv~}{ll}" format.name$ + editor num.names$ duplicate$ + #2 > + { pop$ " et~al." * } + { #2 < + 'skip$ + { editor #2 "{ff }{vv }{ll}{ jj}" format.name$ "others" = + { " et~al." * } + { " and " * editor #2 "{vv~}{ll}" format.name$ * } + if$ + } + if$ + } + if$ +} + +FUNCTION {format.book.crossref} +{ volume empty$ + { "empty volume in " cite$ * "'s crossref of " * crossref * warning$ + "In " + } + { "Volume" volume tie.or.space.connect + " of " * + } + if$ + editor empty$ + editor field.or.null author field.or.null = + or + { key empty$ + { series empty$ + { "need editor, key, or series for " cite$ * " to crossref " * + crossref * warning$ + "" * + } + { "{\em " * series * "\/}" * } + if$ + } + { key * } + if$ + } + { format.crossref.editor * } + if$ + " \cite{" * crossref * "}" * +} + +FUNCTION {format.incoll.inproc.crossref} +{ editor empty$ + editor field.or.null author field.or.null = + or + { key empty$ + { booktitle empty$ + { "need editor, key, or booktitle for " cite$ * " to crossref " * + crossref * warning$ + "" + } + { "In {\em " booktitle * "\/}" * } + if$ + } + { "In " key * } + if$ + } + { "In " format.crossref.editor * } + if$ + " \cite{" * crossref * "}" * +} + +FUNCTION {article} +{ output.bibitem + format.authors "author" output.check + new.block + format.title "title" output.check + new.block + crossref missing$ + { journal emphasize "journal" output.check + format.vol.num.pages output + format.date "year" output.check + } + { format.article.crossref output.nonnull + format.pages output + } + if$ + new.block + note output + fin.entry +} + +FUNCTION {book} +{ output.bibitem + author empty$ + { format.editors "author and editor" output.check } + { format.authors output.nonnull + crossref missing$ + { "author and editor" editor either.or.check } + 'skip$ + if$ + } + if$ + new.block + format.btitle "title" output.check + crossref missing$ + { format.bvolume output + new.block + format.number.series output + new.sentence + publisher "publisher" output.check + address output + } + { new.block + format.book.crossref output.nonnull + } + if$ + format.edition output + format.date "year" output.check + new.block + note output + fin.entry +} + +FUNCTION {booklet} +{ output.bibitem + format.authors output + new.block + format.title "title" output.check + howpublished address new.block.checkb + howpublished output + address output + format.date output + new.block + note output + fin.entry +} + +FUNCTION {inbook} +{ output.bibitem + author empty$ + { format.editors "author and editor" output.check } + { format.authors output.nonnull + crossref missing$ + { "author and editor" editor either.or.check } + 'skip$ + if$ + } + if$ + new.block + format.btitle "title" output.check + crossref missing$ + { format.bvolume output + format.chapter.pages "chapter and pages" output.check + new.block + format.number.series output + new.sentence + publisher "publisher" output.check + address output + } + { format.chapter.pages "chapter and pages" output.check + new.block + format.book.crossref output.nonnull + } + if$ + format.edition output + format.date "year" output.check + new.block + note output + fin.entry +} + +FUNCTION {incollection} +{ output.bibitem + format.authors "author" output.check + new.block + format.title "title" output.check + new.block + crossref missing$ + { format.in.ed.booktitle "booktitle" output.check + format.bvolume output + format.number.series output + format.chapter.pages output + new.sentence + publisher "publisher" output.check + address output + format.edition output + format.date "year" output.check + } + { format.incoll.inproc.crossref output.nonnull + format.chapter.pages output + } + if$ + new.block + note output + fin.entry +} + +FUNCTION {inproceedings} +{ output.bibitem + format.authors "author" output.check + new.block + format.title "title" output.check + new.block + crossref missing$ + { format.in.ed.booktitle "booktitle" output.check + format.bvolume output + format.number.series output + format.pages output + address empty$ + { organization publisher new.sentence.checkb + organization output + publisher output + format.date "year" output.check + } + { address output.nonnull + format.date "year" output.check + new.sentence + organization output + publisher output + } + if$ + } + { format.incoll.inproc.crossref output.nonnull + format.pages output + } + if$ + new.block + note output + fin.entry +} + +FUNCTION {conference} { inproceedings } + +FUNCTION {manual} +{ output.bibitem + author empty$ + { organization empty$ + 'skip$ + { organization output.nonnull + address output + } + if$ + } + { format.authors output.nonnull } + if$ + new.block + format.btitle "title" output.check + author empty$ + { organization empty$ + { address new.block.checka + address output + } + 'skip$ + if$ + } + { organization address new.block.checkb + organization output + address output + } + if$ + format.edition output + format.date output + new.block + note output + fin.entry +} + +FUNCTION {mastersthesis} +{ output.bibitem + format.authors "author" output.check + new.block + format.title "title" output.check + new.block + "Master's thesis" format.thesis.type output.nonnull + school "school" output.check + address output + format.date "year" output.check + new.block + note output + fin.entry +} + +FUNCTION {misc} +{ output.bibitem + format.authors output + title howpublished new.block.checkb + format.title output + howpublished new.block.checka + howpublished output + format.date output + format.url output + new.block + note output + fin.entry + empty.misc.check +} + +FUNCTION {phdthesis} +{ output.bibitem + format.authors "author" output.check + new.block + format.btitle "title" output.check + new.block + "PhD thesis" format.thesis.type output.nonnull + school "school" output.check + address output + format.date "year" output.check + new.block + note output + fin.entry +} + +FUNCTION {proceedings} +{ output.bibitem + editor empty$ + { organization output } + { format.editors output.nonnull } + if$ + new.block + format.btitle "title" output.check + format.bvolume output + format.number.series output + address empty$ + { editor empty$ + { publisher new.sentence.checka } + { organization publisher new.sentence.checkb + organization output + } + if$ + publisher output + format.date "year" output.check + } + { address output.nonnull + format.date "year" output.check + new.sentence + editor empty$ + 'skip$ + { organization output } + if$ + publisher output + } + if$ + new.block + note output + fin.entry +} + +FUNCTION {techreport} +{ output.bibitem + format.authors "author" output.check + new.block + format.title "title" output.check + new.block + format.tr.number output.nonnull + institution "institution" output.check + address output + format.date "year" output.check + new.block + note output + fin.entry +} + +FUNCTION {unpublished} +{ output.bibitem + format.authors "author" output.check + new.block + format.title "title" output.check + new.block + note "note" output.check + format.date output + fin.entry +} + +FUNCTION {default.type} { misc } + +MACRO {jan} {"January"} + +MACRO {feb} {"February"} + +MACRO {mar} {"March"} + +MACRO {apr} {"April"} + +MACRO {may} {"May"} + +MACRO {jun} {"June"} + +MACRO {jul} {"July"} + +MACRO {aug} {"August"} + +MACRO {sep} {"September"} + +MACRO {oct} {"October"} + +MACRO {nov} {"November"} + +MACRO {dec} {"December"} + +MACRO {acmcs} {"ACM Computing Surveys"} + +MACRO {acta} {"Acta Informatica"} + +MACRO {cacm} {"Communications of the ACM"} + +MACRO {ibmjrd} {"IBM Journal of Research and Development"} + +MACRO {ibmsj} {"IBM Systems Journal"} + +MACRO {ieeese} {"IEEE Transactions on Software Engineering"} + +MACRO {ieeetc} {"IEEE Transactions on Computers"} + +MACRO {ieeetcad} + {"IEEE Transactions on Computer-Aided Design of Integrated Circuits"} + +MACRO {ipl} {"Information Processing Letters"} + +MACRO {jacm} {"Journal of the ACM"} + +MACRO {jcss} {"Journal of Computer and System Sciences"} + +MACRO {scp} {"Science of Computer Programming"} + +MACRO {sicomp} {"SIAM Journal on Computing"} + +MACRO {tocs} {"ACM Transactions on Computer Systems"} + +MACRO {tods} {"ACM Transactions on Database Systems"} + +MACRO {tog} {"ACM Transactions on Graphics"} + +MACRO {toms} {"ACM Transactions on Mathematical Software"} + +MACRO {toois} {"ACM Transactions on Office Information Systems"} + +MACRO {toplas} {"ACM Transactions on Programming Languages and Systems"} + +MACRO {tcs} {"Theoretical Computer Science"} + +READ + +FUNCTION {sortify} +{ purify$ + "l" change.case$ +} + +INTEGERS { len } + +FUNCTION {chop.word} +{ 's := + 'len := + s #1 len substring$ = + { s len #1 + global.max$ substring$ } + 's + if$ +} + +INTEGERS { et.al.char.used } + +FUNCTION {initialize.et.al.char.used} +{ #0 'et.al.char.used := +} + +EXECUTE {initialize.et.al.char.used} + +FUNCTION {format.lab.names} +{ 's := + s num.names$ 'numnames := + numnames #1 > + { numnames #2 > + { s #1 "{vv}{ll}" format.name$ " {\em et al.}" * + } + { s #1 "{vv}{ll}" format.name$ + " \& " * + s #2 "{vv}{ll}" format.name$ * + } if$ + } + { s #1 "{vv}{ll}" format.name$ + } if$ +} + +FUNCTION {author.key.label} +{ author empty$ + { key empty$ + { cite$ #1 #3 substring$ } + { key #3 text.prefix$ } + if$ + } + { author format.lab.names } + if$ +} + +FUNCTION {author.editor.key.label} +{ author empty$ + { editor empty$ + { key empty$ + { cite$ #1 #3 substring$ } + { key #3 text.prefix$ } + if$ + } + { editor format.lab.names } + if$ + } + { author format.lab.names } + if$ +} + +FUNCTION {author.key.organization.label} +{ author empty$ + { key empty$ + { organization empty$ + { cite$ #1 #3 substring$ } + { "The " #4 organization chop.word #3 text.prefix$ } + if$ + } + { key #3 text.prefix$ } + if$ + } + { author format.lab.names } + if$ +} + +FUNCTION {editor.key.organization.label} +{ editor empty$ + { key empty$ + { organization empty$ + { cite$ #1 #3 substring$ } + { "The " #4 organization chop.word #3 text.prefix$ } + if$ + } + { key #3 text.prefix$ } + if$ + } + { editor format.lab.names } + if$ +} + +FUNCTION {calc.label} +{ type$ "book" = + type$ "inbook" = + or + 'author.editor.key.label + { type$ "proceedings" = + 'editor.key.organization.label + { type$ "manual" = + 'author.key.organization.label + 'author.key.label + if$ + } + if$ + } + if$ + duplicate$ + ", " year field.or.null purify$ * + * + 'label := + ", " year field.or.null purify$ * + * + sortify 'sort.label := +} + +FUNCTION {sort.format.names} +{ 's := + #1 'nameptr := + "" + s num.names$ 'numnames := + numnames 'namesleft := + { namesleft #0 > } + { nameptr #1 > + { " " * } + 'skip$ + if$ + s nameptr "{vv{ } }{ll{ }}{ ff{ }}{ jj{ }}" format.name$ 't := + nameptr numnames = t "others" = and + { "et al" * } + { t sortify * } + if$ + nameptr #1 + 'nameptr := + namesleft #1 - 'namesleft := + } + while$ +} + +FUNCTION {sort.format.title} +{ 't := + "A " #2 + "An " #3 + "The " #4 t chop.word + chop.word + chop.word + sortify + #1 global.max$ substring$ +} + +FUNCTION {author.sort} +{ author empty$ + { key empty$ + { "to sort, need author or key in " cite$ * warning$ + "" + } + { key sortify } + if$ + } + { author sort.format.names } + if$ +} + +FUNCTION {author.editor.sort} +{ author empty$ + { editor empty$ + { key empty$ + { "to sort, need author, editor, or key in " cite$ * warning$ + "" + } + { key sortify } + if$ + } + { editor sort.format.names } + if$ + } + { author sort.format.names } + if$ +} + +FUNCTION {author.organization.sort} +{ author empty$ + { organization empty$ + { key empty$ + { "to sort, need author, organization, or key in " cite$ * warning$ + "" + } + { key sortify } + if$ + } + { "The " #4 organization chop.word sortify } + if$ + } + { author sort.format.names } + if$ +} + +FUNCTION {editor.organization.sort} +{ editor empty$ + { organization empty$ + { key empty$ + { "to sort, need editor, organization, or key in " cite$ * warning$ + "" + } + { key sortify } + if$ + } + { "The " #4 organization chop.word sortify } + if$ + } + { editor sort.format.names } + if$ +} + +FUNCTION {presort} +{ calc.label + sort.label + " " + * + type$ "book" = + type$ "inbook" = + or + 'author.editor.sort + { type$ "proceedings" = + 'editor.organization.sort + { type$ "manual" = + 'author.organization.sort + 'author.sort + if$ + } + if$ + } + if$ + * + " " + * + year field.or.null sortify + * + " " + * + title field.or.null + sort.format.title + * + #1 entry.max$ substring$ + 'sort.key$ := +} + +ITERATE {presort} + +SORT + +STRINGS { longest.label last.sort.label next.extra } + +INTEGERS { longest.label.width last.extra.num } + +FUNCTION {initialize.longest.label} +{ "" 'longest.label := + #0 int.to.chr$ 'last.sort.label := + "" 'next.extra := + #0 'longest.label.width := + #0 'last.extra.num := +} + +FUNCTION {forward.pass} +{ last.sort.label sort.label = + { last.extra.num #1 + 'last.extra.num := + last.extra.num int.to.chr$ 'extra.label := + } + { "a" chr.to.int$ 'last.extra.num := + "" 'extra.label := + sort.label 'last.sort.label := + } + if$ +} + +FUNCTION {reverse.pass} +{ next.extra "b" = + { "a" 'extra.label := } + 'skip$ + if$ + label extra.label * 'label := + label width$ longest.label.width > + { label 'longest.label := + label width$ 'longest.label.width := + } + 'skip$ + if$ + extra.label 'next.extra := +} + +EXECUTE {initialize.longest.label} + +ITERATE {forward.pass} + +REVERSE {reverse.pass} + +FUNCTION {begin.bib} +{ et.al.char.used + { "\newcommand{\etalchar}[1]{$^{#1}$}" write$ newline$ } + 'skip$ + if$ + preamble$ empty$ + 'skip$ + { preamble$ write$ newline$ } + if$ + "\begin{thebibliography}{" longest.label * "}" * write$ newline$ +} + +EXECUTE {begin.bib} + +EXECUTE {init.state.consts} + +ITERATE {call.type$} + +FUNCTION {end.bib} +{ newline$ + "\end{thebibliography}" write$ newline$ +} + +EXECUTE {end.bib} diff --git a/man/pl.bib b/man/pl.bib new file mode 100644 index 000000000..1bbae293d --- /dev/null +++ b/man/pl.bib @@ -0,0 +1,1102 @@ +@manual{QUINTUS:manual, + key = "Quintus", + title = "{Quintus} {Prolog}, User Guide and Reference Manual", + organization = "AI International ltd.", + address = "Berkhamsted, UK", + year = 1997, + note = "" } + +@manual{SWI-Prolog:manual, + author = "J. Wielemaker", + title = "{SWI-Prolog 5.6}: Reference Manual", + organization = "{SWI}, University of Amsterdam", + address = "Kruislaan 419, 1098 VA Amsterdam, The Netherlands", + year = "1997-2008", + url = "http://www.swi-prolog.org/documentation.html", + note = "E-mail: jan@swi-prolog.org" + } + +@manual{SWI-HTTP:manual, + author = "J. Wielemaker", + title = "{SWI-Prolog HTTP} support", + organization = "{HCS}, University of Amsterdam", + address = "Kruislaan 419, 1098 VA Amsterdam, The Netherlands", + year = "2007", + url = "http://www.swi-prolog.org/packages/http.html", + note = "http://www.swi-prolog.org/packages/http.html" + } + +@manual{SICStus:manual, + author = "M. Carlsson and J. Wid{\'e}n and J. Andersson and + S. Anderson and K. Boortz and H. Nilson and + T. Sj{\"o}land", + title = "{SICStus Prolog (v3)} Users's Manual", + organization = "SICS", + address = "PO Box 1263, S-164 28 Kista, Sweden", + year = "1995", + } + + +@manual{BIMPROLOG:manual, + key = "BIM", + title = "{BIM Prolog} release 2.4", + organization = "BIM sa/nv", + address = "Everberg, Belgium", + year = 1989, + note = "" } + +@manual{ CPROLOG:manual, + author = "F. Pereira", + title = "{C-Prolog} User's Manual", + organization = "EdCaad, University of Edinburgh", + year = 1986, + note = "" } + + +@Book{Kernighan:78, + author = "B. W. Kernighan and D. M. Ritchie", + title = "The {C} Programming Language", + publisher = "Prentice-Hall", + year = 1978, + address = "Englewood Cliffs, New Jersey", +} + +@TechReport{Warren:83b, + author = "D. H. D. Warren", + title = "The runtime environment for a {Prolog} compiler using a + copy algorithm", + institution = "SUNY and Stone Brook, New York", + year = 1983, + number = "83/052", + note = "Major revision March 1984", +} + + +@manual{XPCE:online, + author = "J. Wielemaker", + title = "{XPCE-5} online manual", + organization = "{HCS}, University of Amsterdam", + address = "Roetersstraat 15, 1018 WB Amsterdam, The Netherlands", + year = "1992", + note = "Software started by ``manpce'' in XPCE/Prolog." + } + + +@manual{XPCE:reference, + author = "J. Wielemaker and A. Anjewierden", + title = "{XPCE-6} Reference Manual", + organization = "{SWI}, University of Amsterdam", + address = "Roetersstraat 15, 1018 WB Amsterdam, The Netherlands", + year = "1993-2003", + note = "Paper version of online manual." + } + + +@manual{XPCE:prolog, + author = "J. Wielemaker and A. Anjewierden", + title = "Programming in {XPCE/Prolog}", + organization = "{SWI}, University of Amsterdam", + address = "Roetersstraat 15, 1018 WB Amsterdam, The Netherlands", + year = "1992", + note = "E-mail: jan@swi.psy.uva.nl" + } + +@manual{XPCE:lisp, + author = "A. Anjewierden", + title = "{XPCE/Lisp}: {XPCE Common Lisp} Interface", + organization = "{SWI}, University of Amsterdam", + address = "Roetersstraat 15, 1018 WB Amsterdam, The Netherlands", + year = "1992", + note = "E-mail: anjo@swi.psy.uva.nl" + } + +@manual{XPCE:cpp, + author = "J. Wielemaker and A. Anjewierden", + title = "A {C++} interface for {XPCE}", + organization = "{SWI}, University of Amsterdam", + address = "Roetersstraat 15, 1018 WB Amsterdam, The Netherlands", + year = "1994", + note = "E-mail: jan@swi.psy.uva.nl" + } + +@manual{XPCE:course, + author = "J. Wielemaker", + title = "{XPCE/Prolog} Course Notes", + organization = "{SWI}, University of Amsterdam", + address = "Roetersstraat 15, 1018 WB Amsterdam, The Netherlands", + year = "1994", + note = "E-mail: jan@swi.psy.uva.nl" + } + +@manual{XPCE:draw, + author = "J. Wielemaker", + title = "{PceDraw}: An example of using {XPCE-4}", + organization = "{SWI}, University of Amsterdam", + address = "Roetersstraat 15, 1018 WB Amsterdam, The Netherlands", + year = "1992", + note = "E-mail: jan@swi.psy.uva.nl" + } + +@inproceedings{Anjewierden:90b, + author = "A. Anjewierden and J. Wielemaker and C. Toussaint", + title = "Shelley --- Computer Aided Knowledge Engineering", + booktitle = "{Current trends in knowledge acquisition}", + year = 1990, + editor = "B. Wielinga and J. Boose and B. Gaines and G. Schreiber + and M. van Someren", + pages = "41 - 59", + publisher = "IOS Press", + address = "Amsterdam", + month = "May"} + +@InProceedings{Wielemaker:89, + author = "J. Wielemaker and A. Anjewierden", + title = "{Separating User Interface and Functionality Using a + Frame Based Data Model}", + year = "1989", + pages = "25--33", + month = nov, + publisher = "ACM Press", + booktitle = "Proceedings Second Annual Symposium on User Interface + Software and Technology", + address = "Williamsburg, Virginia", +} + +@article{carlson:88, + author = "Karen Appleby and Mats Carlsson and Seif Haridi and Dan Sahlin", + title = "Garbage Collection for {Prolog} Based on {WAM}", + year = "1988", + volume = "31", + number = "6", + pages = "719--741", + publisher = "ACM Press", + journal = "Communications of the ACM" +} + +@article{byrd:80, + author = "L. Byrd", + title = "Understanding the control flow of {Prolog} programs", + year = "1980", + journal = "Logic Programming Workshop", + address = "Debrecen, Hungary" +} + +@article{chambers:89, + journal = "Sigplan Notices", + author = "Craig Chambers and David Ungar and Elgin Lee", + title = "An efficient implementation of {SELF}, a dynamic-typed object-oriented language based on prototypes", + year = "1989", + volume = "24", + number = "10", + month = "Oct", + pages = "49-70"} + +@book{Goldberg:83a, + author = "A. Goldberg and D. Robson", + title = "{Smalltalk--80: The Language and its Implementation}", + publisher = "Addison-Wesley", + year = 1983} + +@book{Keefe:90, + author = "R. A. O'Keefe", + title = "The Craft of Prolog", + publisher = "MIT Press", + year = "1990", + address = "Massachussetts", +} + +@InProceedings{Bowen:83, + author = "D. L. Bowen and L. M. Byrd and WF. Clocksin", + title = "A portable {Prolog} compiler", + booktitle = "Proceedings of the Logic Programming Workshop 1983", + editor = "L. M. Pereira", + publisher = "Universidade nova de Lisboa", + address = "Lisabon, Portugal", + year = 1983, +} + +@techreport{P1098:C1.6, + author = "A. Anjewierden and J. Wielemaker", + title = "Extensible Objects", + institution = "University of Amsterdam", + year = 1989, + month = "March", + type = "ESPRIT Project 1098 Technical Report", + number = "UvA-C1-TR-006a", + address = "", + note = "" + } + +@techreport{Neumerkel:93, + author = "Ulrich Neumerkel", + title = "The binary {WAM}, a simplified {Prolog} engine", + institution = "{Technische Universit\"at Wien}", + year = 1993, + address = "", + note = "http://www.complang.tuwien.ac.at/ulrich/papers/PDF/binwam-nov93.pdf" + } + +@InProceedings{Neumerkel:90, + author = "Ulrich Neumerkel", + title = "Extensible Unification by Metastructures", + year = "1990", + month = "April", + booktitle = "Proceedings of META90, Workshop on Meta-Programming in Logic", + editor = "Maurice Bruynooghe", + address = "Leuven, Belgium" +} + +@inproceedings{DBLP:conf/plilp/Huitouze90, + author = {Serge Le Huitouze}, + title = {A New Data Structure for Implementing Extensions to Prolog}, + booktitle = {PLILP}, + year = {1990}, + pages = {136-150}, + bibsource = {DBLP, http://dblp.uni-trier.de}, + volume = {456}, + note = {LNCS 456}, + publisher = {Springer-Verlag}, + location = {Link{\"o}ping, Sweden} +} + + +@Book{Bratko:86, + author = "I. Bratko", + title = "Prolog Programming for Artificial Intelligence", + publisher = "Addison-Wesley", + year = 1986, + address = "Reading, Massachusetts", +} + +@Book{Clocksin:87, + author = "W. F. Clocksin and C. S. Melish", + title = "Programming in Prolog", + publisher = "Springer-Verlag", + year = 1987, + address = "New York", + edition = "{T}hird, {R}evised and {E}xtended", +} + +@Book{Sterling:86, + author = "L. Sterling and E. Shapiro", + title = "The Art of Prolog", + publisher = "MIT Press", + year = 1986, + address = "Cambridge, Massachusetts", +} + +@Book{Deransart:96, + author = "P. Deransart and A. Ed-Dbali and L. Cervoni", + title = "Prolog: The Standard", + publisher = "Springer-Verlag", + year = 1996, + address = "New York" +} + +@Misc{stdprolog:98, + author = "Jonathan Hodgson", + title = "validation suite for conformance with Part 1 of the standard", + year = 1998, + url = "http://www.sju.edu/{\tt\string~}jhodgson/pub/suite.tar.gz" +} + +@Book{Butenhof:1997:PPT, + author = "David R. Butenhof", + title = "Programming with {POSIX} threads", + publisher = "Ad{\-d}i{\-s}on-Wes{\-l}ey", + address = "Reading, MA, USA", + pages = "xviii + 381", + year = "1997", + ISBN = "0-201-63392-2", + LCCN = "QA76.76.T55B88 1997", + bibdate = "Mon Sep 01 08:53:12 1997", + price = "US\$31.95", + url = "http://www.amazon.com/exec/obidos/ASIN/0201633922/ref=sim_books/002-4892305-5599452", + acknowledgement = ack-nhfb, +} + +@inproceedings{graham82gprof, + author = "Susan L. Graham and Peter B. Kessler and Marshall K. McKusick", + title = "gprof: a Call Graph Execution Profiler", + booktitle = "{SIGPLAN} Symposium on Compiler Construction", + pages = "120-126", + year = "1982", + url = "citeseer.nj.nec.com/graham82gprof.html" +} + +@inproceedings{sicstusmt98, + author = {Jesper Eskilson and Mats Carlsson}, + title = "{SICStus MT}---A Multithreaded Execution Environment for {SICStus Prolog}", + booktitle = "Programming Languages: Implementations, Logics, and Programs", + editor = "C. Palamidessi and H. Glaser and K. Meinke", + series = "Lecture Notes in Computer Science", + volume = "1490", + publisher = "Springer-Verlag", + pages = "36--53", + year = 1998 +} + +@Article{Herlihy:1993:MIH, + author = "Maurice Herlihy", + title = "A Methodology for Implementing Highly Concurrent Data + Objects", + journal = "ACM Transactions on Programming Languages and + Systems", + volume = "15", + number = "5", + pages = "745--770", + month = nov, + year = "1993", + coden = "ATPSDT", + ISSN = "0164-0925", + bibdate = "Fri Jan 5 07:58:42 MST 1996", + url = "http://www.acm.org/pubs/toc/Abstracts/0164-0925/161469.html" +} + +@InProceedings{DAI98*137, + author = "Keith Clark and Peter J. Robinson and Richard Hagen", + title = "Programming Internet Based {DAI} Applications in + {Qu-Prolog}", + pages = "137--151", + ISBN = "3-540-65477-1", + editor = "Chengqi Zhang and Dickson Lukose", + booktitle = "Proceedings of the 4th Australian Workshop on + Distributed Artificial Intelligence on Multi-Agent + Systems : Theories, Languages, and Applications + ({DAI}-98)", + month = jul # "~13--13", + series = "LNAI", + volume = "1544", + publisher = "Springer", + address = "Berlin", + year = "1998", +} + +@inproceedings{ carro99concurrency, + author = "Manuel Carro and Manuel V. Hermenegildo", + title = "Concurrency in {Prolog} Using Threads and a Shared Database", + booktitle = "International Conference on Logic Programming", + pages = "320-334", + year = "1999" +} + +@Article{Carriero:1989:LC, + author = "Nicholas Carriero and David Gelernter", + title = "{Linda} in context", + journal = "Communications of the ACM", + volume = "32", + number = "4", + pages = "444--458", + month = apr, + year = "1989", + coden = "CACMA2", + ISSN = "0001-0782", + bibdate = "Thu May 30 09:41:10 MDT 1996", + url = "http://www.acm.org/pubs/toc/Abstracts/0001-0782/63337.html", + abstract = "How can a system that differs sharply from all + currently fashionable approaches score any kind of + success? Here's how.", + acknowledgement = ack-nhfb, + keywords = "languages; performance", + review = "ACM CR 9005-0390", + subject = "{\bf D.3.2}: Software, PROGRAMMING LANGUAGES, Language + Classifications, Linda. {\bf D.1.3}: Software, + PROGRAMMING TECHNIQUES, Concurrent Programming. {\bf + D.3.3}: Software, PROGRAMMING LANGUAGES, Language + Constructs and Features.", +} + +@Book{Conl89a, + author = "T. Conlon", + title = "Programming in Parlog", + publisher = "Addison-Wesley", + year = "1989", + keywords = "prolog", +} + +@article{bagnara:02a, + journal = "ALP newsletter", + author = "Roberto Bagnara and Manuel Carro", + title = "Foreign Language Interfaces for {Prolog}: A Terse Survey", + year = "2002", + month = "May" +} + +@InProceedings{Bosschere:ICLP93, + author = "Koen de Bosschere and Jean-Marie Jacquet", + title = "Multi-{Prolog}: Definition, Operational Semantics and + Implementation", + pages = "299--313", + remark = "Parallel Implementations 2", + booktitle = "Proceedings of the Tenth International Conference on + Logic Programming", + year = "1993", + editor = "David S. Warren", + publisher = "The MIT Press", + address = "Budapest, Hungary", + ISBN = "0-262-73105-3", +} + +@inproceedings{Wielemaker:02a, + author = "Jan Wielemaker and Anjo Anjewierden ", + title = "An Architecture for Making Object-Oriented Systems Available from {Prolog}", + booktitle = "Computer Science, abstract", + year = 2002, + editor = "Alexandre Tessier", + note = "http://lanl.arxiv.org/abs/cs.SE/0207053"} + +@InProceedings{BYRD80A, + key = "Byrd", + author = "Lawrence Byrd", + title = "Understanding the control flow of {Prolog} programs", + booktitle = "Proceedings of the Logic Programming Workshop", + editor = "S.-A. Tarnlund", + year = "1980", + pages = "127--138", + keywords = "Debugging; control flow; box model", + bibdate = "Tue Jul 5 15:27:23 1983", +} + + +@Book{PereiraShieber87, + author = "Fernando C. N. Pereira and Stuart M. Shieber", + title = "{Prolog} and Natural-Language Analysis", + publisher = "Center for the Study of Language and Information", + note = "Distributed by Chicago University Press", + address = "Stanford, California", + year = "1987", + series = "Number 10 in CSLI Lecture Notes", +} + +@techreport{Demoen:CW350, + author = "Bart Demoen", + title = {{D}ynamic attributes, their h{P}rolog implementation, and a first evaluation}, + institution = {Department of Computer Science, K.U.Leuven}, + year = {2002}, + type = {Report CW}, + number = {350}, + address = {Leuven, Belgium}, + month = {oct}, + note = {URL = http://www.cs.kuleuven.ac.be/publicaties/rapporten/cw/CW350.abs.html}, +} + +@techreport{holzbaur:1990, + author = "Christian Holzbaur", + title = {Realization of forward checking in logic programming + through extended unification}, + institution = {Oesterreichisches Forschungsinstitut fuer + Artificial Intelligence}, + year = {1990}, + type = {Report}, + number = {TR-90-11}, + address = {Wien, Austria}, +} + +@inproceedings{Freuhwirth:98, + author = {T. Fr\"uhwirth}, + title = {{Theory and Practice of Constraint Handling Rules}}, + booktitle = {Special Issue on Constraint Logic Programming}, + journal = {Journal of Logic Programming}, + editor = {P. Stuckey and K. Marriot}, + volume = {37}, + edition = {1--3}, + year = {1998}, + month = {October} +} + +@misc{chrSite, + author = {T. Fr\"uhwirth}, + title = "{Thom Fruehwirth's} constraint handling rules website", + note = "http://www.informatik.uni-ulm.de/pm/mitarbeiter/fruehwirth/chr-intro.html" + } + +@InProceedings{Wielemaker:03a, + author = "Jan Wielemaker and Guus Schreiber and Bob Wielinga", + title = "{Prolog}-based infrastructure for {RDF}: + performance and scalability", + booktitle = "The Semantic Web - Proceedings ISWC'03, + Sanibel Island, Florida", + pages = "644-658", + publisher = "Springer Verlag", + editor = "D. Fensel and K. Sycara and J. Mylopoulos", + address = "Berlin, Germany", + year = "2003", + month = "october", + note = "LNCS 2870" + } + +@InProceedings{Wielemaker:03b, + author = "Jan Wielemaker", + title = "An overview of the {SWI-Prolog} Programming Environment", + booktitle = "Proceedings of the 13th International Workshop + on Logic Programming Environments", + pages = "1-16", + editor = "Fred Mesnard and Alexander Serebenik", + publisher = "Katholieke Universiteit Leuven", + address = "Heverlee, Belgium", + year = "2003", + month = "december", + note = "CW 371" + } + +@InProceedings{Wielemaker:03c, + author = "Jan Wielemaker", + title = "Native Preemptive Threads in {SWI-Prolog}", + booktitle = "Practical Aspects of Declarative Languages", + editor = "Catuscia Palamidessi", + pages = "331-345", + publisher = "Springer Verlag", + address = "Berlin, Germany", + year = "2003", + month = "december", + note = "LNCS 2916" + } + +@InProceedings{ILP03-Struyf, + author = "J. Struyf and H. Blockeel", + title = "Query Optimization in Inductive Logic Programming by + Reordering Literals", + booktitle = "Proceedings of the 13th International Conference on + Inductive Logic Programming", + series = "Lecture Notes in Artificial Intelligence", + volume = "2835", + editor = "T.~Horv\'{a}th and A.~Yamamoto", + publisher = "Springer-Verlag", + year = "2003", + ISBN = "3-540-20144-0", + pages = "329--346", +} + +@article{gooley:89, + author = "Markian M. Googley and Benjamin W. WAH", + title = "Efficient Reordering of {PROLOG} Programs", + journal = "IEEE Transactions on Knowledge and Data Engineering", + author = "Roberto Bagnara and Manuel Carro", + volumne = "1", + pages = "470--482", + year = "1989" +} + +@inproceedings{escalante:cascon93, + author = {Carlos Escalante}, + title = {A simple model of prolog's performance: extensional predicates}, + booktitle = {CASCON '93: Proceedings of the 1993 conference of the Centre for Advanced Studies on Collaborative research}, + year = {1993}, + pages = {1119--1132}, + location = {Toronto, Ontario, Canada}, + publisher = {IBM Press}, + } + + +@inproceedings{oai:CiteSeerPSU:36493, + title = "{XSB}: {A} System for Efficiently Computing + Well-Founded Semantics", + booktitle= "Proceedings of LPNMR 97", + author = "Juliana Freire and David S. Warren and + Konstantinos Sagonas and Prasad Rao and Terrance Swift", + pages= "430--440", + year = "1997", + month = "jan", + publisher = "Springer Verlag", + address = "Berlin, Germany", + note = "LNCS 1265" +} + +@inproceedings{Schrijvers:chr04, + title = "The {K.U. Leuven CHR} system: implementation and application", + booktitle= "First Workshop on Constraint Handling Rules: Selected Contributions", + author = "Tom Schrijvers and Bart Demoen", + editor = "Thom {Fr\"uhwirth} and Marc Meister", + pages= "430--440", + year = "2004", + note = "ISSN 0939-5091" +} + +@article{349132, + author = {Lawrence Philips}, + title = {The double metaphone search algorithm}, + journal = {C/C++ Users J.}, + volume = {18}, + number = {6}, + year = {2000}, + issn = {1075-2838}, + pages = {38--43}, + publisher = {CMP Media, Inc.}, + address = {, USA}, + } + +@article{602298, + author = {Matthias Jarke and Jim Clifford and Yannis Vassiliou}, + title = {An optimizing prolog front-end to a relational query system}, + journal = {SIGMOD Rec.}, + volume = {14}, + number = {2}, + year = {1984}, + issn = {0163-5808}, + pages = {296--306}, + doi = {http://doi.acm.org/10.1145/971697.602298}, + publisher = {ACM Press}, + address = {New York, NY, USA}, + } + +@inproceedings{DBLP:conf/cl/Hermenegildo00, + author = {Manuel V. Hermenegildo}, + title = {A Documentation Generator for (C)LP Systems.}, + booktitle = {Computational Logic}, + year = {2000}, + pages = {1345-1361}, + ee = {http://link.springer.de/link/service/series/0558/bibs/1861/18611345.htm}, + crossref = {DBLP:conf/cl/2000}, + bibsource = {DBLP, http://dblp.uni-trier.de} +} + +@proceedings{DBLP:conf/cl/2000, + editor = {John W. Lloyd and + Ver{\'o}nica Dahl and + Ulrich Furbach and + Manfred Kerber and + Kung-Kiu Lau and + Catuscia Palamidessi and + Lu\'{\i}s Moniz Pereira and + Yehoshua Sagiv and + Peter J. Stuckey}, + title = {Computational Logic - CL 2000, First International Conference, + London, UK, 24-28 July, 2000, Proceedings}, + booktitle = {CL}, + publisher = {Springer}, + series = {Lecture Notes in Computer Science}, + volume = {1861}, + year = {2000}, + isbn = {3-540-67797-6}, + bibsource = {DBLP, http://dblp.uni-trier.de} +} + +@article{DBLP:journals/ai/MycroftO84, + author = {Alan Mycroft and + Richard A. O'Keefe}, + title = {A Polymorphic Type System for Prolog.}, + journal = {Artif. Intell.}, + volume = {23}, + number = {3}, + year = {1984}, + pages = {295-307}, + bibsource = {DBLP, http://dblp.uni-trier.de} +} + +@inproceedings{DBLP:conf/acsc/JefferyHS00, + author = {David Jeffery and + Fergus Henderson and + Zoltan Somogyi}, + title = {Type Classes in Mercury.}, + booktitle = {ACSC}, + year = {2000}, + pages = {128-135}, + ee = {http://doi.ieeecomputersociety.org/10.1109/ACSC.2000.824391}, + crossref = {DBLP:conf/acsc/2000}, + bibsource = {DBLP, http://dblp.uni-trier.de} +} + +@proceedings{DBLP:conf/acsc/2000, + title = {23rd Australasian Computer Science Conference (ACSC 2000), + 31 January - 3 February 2000, Canberra, Australia}, + booktitle = {ACSC}, + publisher = {IEEE Computer Society}, + year = {2000}, + isbn = {0-7695-0518-X}, + bibsource = {DBLP, http://dblp.uni-trier.de} +} + +@phdthesis{pmoura03, + author = "Paulo Moura", + title = "{Logtalk - Design of an Object-Oriented Logic Programming Language}", + school = "Department of Informatics, University of Beira Interior, Portugal", + month = sep, + year = 2003, + howpublished = "\url{http://logtalk.org/papers/thesis.pdf}" +} + +@inproceedings{pldoc2006, + author = "Jan Wielemaker and Anjo Anjewierden", + title = "{PlDoc}: {Wiki} style literate Programming for {Prolog}", + Booktitle = "Proceedings of the 17th Workshop on Logic-Based methods in Programming Environments", + year = "2007", + pages = "16--30", + location = "Porto, Portugal", + editor = "Patricia Hill and Wim Vanhoof", + url = "http://hcs.science.uva.nl/projects/SWI-Prolog/articles/pldoc.pdf" +} + + +@article{479, + author = {Donald E. Knuth}, + title = {Literate programming}, + journal = {Comput. J.}, + volume = {27}, + number = {2}, + year = {1984}, + issn = {0010-4620}, + pages = {97--111}, + doi = {http://dx.doi.org/10.1093/comjnl/27.2.97}, + publisher = {Oxford University Press}, + address = {Oxford, UK}, + } + +@article{806466, + author = {Richard M. Stallman}, + title = {EMACS the extensible, customizable self-documenting display editor}, + journal = {SIGPLAN Not.}, + volume = {16}, + number = {6}, + year = {1981}, + issn = {0362-1340}, + pages = {147--156}, + doi = {http://doi.acm.org/10.1145/872730.806466}, + publisher = {ACM Press}, + address = {New York, NY, USA}, + } + +@book{texinfo, + author = "Robert J. Chassell and Richard M. Stallman", + title = "{Texinfo}: The {GNU} Documentation Format", + publisher = "Reiters.com", + year = 1999, + isbn = "1-882114-67-1" +} + +@manual{doxygen, + author = "D van Heesch", + title = "Doxygen, a documentation system for C++", + year = 2007, + note = "http://www.stack.nl/~dimitri/doxygen/", +} + +@inproceedings{191059, + author = {Stephen Shum and Curtis Cook}, + title = {Using literate programming to teach good programming practices}, + booktitle = {SIGCSE '94: Proceedings of the twenty-fifth SIGCSE symposium on Computer science education}, + year = {1994}, + isbn = {0-89791-646-8}, + pages = {66--70}, + location = {Phoenix, Arizona, United States}, + doi = {http://doi.acm.org/10.1145/191029.191059}, + publisher = {ACM Press}, + address = {New York, NY, USA}, + } + +@inproceedings{1035054, + author = {Vreda Pieterse and Derrick G. Kourie and Andrew Boake}, + title = {A case for contemporary literate programming}, + booktitle = {SAICSIT '04: Proceedings of the 2004 annual research conference of the South African institute of computer scientists and information technologists on IT research in developing countries}, + year = {2004}, + pages = {2--9}, + location = {Stellenbosch, Western Cape, South Africa}, + publisher = {South African Institute for Computer Scientists and Information Technologists}, + address = {, Republic of South Africa}, + } + +@article{AOPS, + author = "A. Shum and C. Cook", + title = "AOPS: an abstraction-oriented programming system for literateprogramming", + year = "1993", + volume = "8", + number = "3", + pages = "113-120", + journal = "Software Engineering Journal" +} + + +@article{ramsey91literate, + author = "Norman Ramsey and Carla Marceau", + title = "Literate Programming on a Team Project", + journal = "Software - Practice and Experience", + volume = "21", + number = "7", + pages = "677-683", + year = "1991", + url = "citeseer.ist.psu.edu/ramsey91literate.html" } + +@book{wikiway, + author = "B. Leuf and W. Cunningham", + title = "The Wiki Way: Collaboration and Sharing on the Internet", + publisher = "Addison-Wesley", + year = 2001} + +@TechReport{TPLP06, + author = "Jan Wielemaker and Zhisheng Huang and Lourens van der Mey", + title = "{SWI-Prolog} and the {Web}", + institution = "HCS, University of Amsterdam", + year = "2006", + type = "Accepted for publication in TPLP", + URL = "http://hcs.science.uva.nl/projects/SWI-Prolog/articles/TPLP-plweb.pdf" +} + +@article{ajax, +volume = {38}, +author = {Linda Dailey Paulson}, +journal = {IEEE Computer}, +title = {{B}uilding {R}ich {W}eb {A}pplications with {A}jax}, +number = {10}, +year = {2005}, +pages = {14--17} +} + +@inproceedings{Wielemaker:2007b, + author = "Jan Wielemaker and Michiel Hildebrand and Jacco van Ossenbruggen", + title = "Using {Prolog} as the fundament for applications on the semantic web", + booktitle = "Proceedings of the 2nd Workshop on Applicatiions of Logic Programming and to the web, Semantic Web and Semantic Web Services", + year = "2007", + pages = "84--98", + location = "Porto, Portugal", + editor = "S.Heymans and A. Polleres and E. Ruckhaus and D. Pearse and G. Gupta", + url = "http://hcs.science.uva.nl/projects/SWI-Prolog/articles/mn9c.pdf" +} + +@inproceedings{Wielemaker:2007c, + author = "Jan Wielemaker and Anjo Anjewierden", + title = "{PlDoc}: {Wiki} style literate Programming for {Prolog}", + Booktitle = "Proceedings of the 17th Workshop on Logic-Based methods in Programming Environments", + year = "2007", + pages = "16--30", + location = "Porto, Portugal", + editor = "Patricia Hill and Wim Vanhoof", + url = "http://hcs.science.uva.nl/projects/SWI-Prolog/articles/pldoc.pdf" +} + +@InProceedings{iclp95*697, + author = "I. V. Ramakrishnan and Prasad Rao and Konstantinos + Sagonas and Terrance Swift and David S. Warren", + title = "Efficient Tabling Mechanisms for Logic Programs", + pages = "697--714", + ISBN = "0-262-69177-9", + editor = "Leon Sterling", + booktitle = "Proceedings of the 12th International Conference on + Logic Programming", + month = "june", + publisher = "MIT Press", + address = "Cambridge", + year = "1995", +} + +@inproceedings{DBLP:conf/iclp/CastroC01, + author = {Lu\'{\i}s Fernando Castro and + V\'{\i}tor Santos Costa}, + title = {Understanding Memory Management in {Prolog} Systems}, + booktitle = {ICLP}, + year = {2001}, + pages = {11-26}, + ee = {http://link.springer.de/link/service/series/0558/bibs/2237/22370011.htm}, + crossref = {DBLP:conf/iclp/2001}, + bibsource = {DBLP, http://dblp.uni-trier.de} +} + +@proceedings{DBLP:conf/iclp/2001, + editor = {Philippe Codognet}, + title = {Logic Programming, 17th International Conference, ICLP 2001, + Paphos, Cyprus, November 26 - December 1, 2001, Proceedings}, + booktitle = {ICLP}, + publisher = {Springer}, + series = {Lecture Notes in Computer Science}, + volume = {2237}, + year = {2001}, + isbn = {3-540-42935-2}, + bibsource = {DBLP, http://dblp.uni-trier.de} +} + +@inproceedings{GCBProlog, + author = { Neng-Fa Zhou}, + title = {Garbage Collection in {B-Prolog}}, + booktitle = {Proc. of the First Workshop on Memory Management in Logic Programming Implementations}, + year = {2000}, +} + +@TechReport{ShapiroCP, + author = {Ehud Shapiro}, + title = {A subset of {Concurrent} {Prolog} and its interpreter}, + institution = {ICOT, Tokyo}, + note = {Revised in Concurrent Prolog, MIT Press, 1987}, + year = 1983, +} + +@inproceedings{DBLP:conf/iclp/HermenegildoGC95, + author = {Manuel V. Hermenegildo and + Daniel Cabeza Gras and + Manuel Carro}, + title = {Using Attributed Variables in the Implementation of Concurrent + and Parallel Logic Programming Systems}, + booktitle = {ICLP}, + year = {1995}, + pages = {631-645}, + bibsource = {DBLP, http://dblp.uni-trier.de} +} + +@Misc{isodcg, + author = "Paulo Moura et. al.", + editor = "Paulo Moura", + title = "Prolog", + year = 2006, + note = "ISO/IEC DTR 13211–3:2006", + url = "www.sju.edu/~jhodgson/wg17/draftoct.pdf" +} + +@inproceedings{holzbaur:1992, + author = "Christian Holzbaur", + title = {Metastructures versus Attributed Variables in the + Context of Extensible Unification}, + booktitle = {PLILP}, + year = {1992}, + volume = {631}, + note = {LNCS 631}, + pages = {260-268}, + publisher= {Springer-Verlag} +} + +@inproceedings{Tarau90:PLILP, + author = "Paul Tarau and Michel Boyer", + title = {Elementary logic programs}, + booktitle = {PLILP}, + year = 1990, + note = {LNCS 456}, + pages = {365--381}, + location = {Link{\"o}ping, Sweden}, + publisher = {Springer-Verlag} +} + + +@inproceedings{TarauNeumerkel, + author = "Paul Tarau and Ulrich Neumerkel", + title = "A Novel Term Compression Scheme and + Data Representation in the BinWAM", + booktitle = {PLILP}, + year = 1994, + pages = {73--87}, + location = {Madrid, Spain}, + note = {LNCS 844}, + publisher = {Springer-Verlag} +} + +@article{ wadler87fixing, + author = "Philip L. Wadler", + title = {Fixing Some Space Leaks with a Garbage Collector}, + journal = "Software Practice and Experience", + volume = "17", + number = "9", + publisher = "Wiley", + pages = "595--609", + year = 1987 } + + +@inproceedings{BinPrologGC, + author = "Bart Demoen and Paul Tarau and Geert Engels", + title = "Segment order preserving copying garbage collection for WAM based Prolog", + booktitle = {Symposion on Applied Computing (SAC)}, + pages = {380--386}, + location = {Philadelphia, PA}, + year = 1996, + publisher = {ACM} +} + + +@inproceedings{bekkers:1992, + author = "Yves Bekkers and Olivier Ridoux and Lucien Ungaro", + title = {Dynamic Memory Management for + Sequential Logic Programming Languages}, + booktitle = "Workshop on Memory Management", + location = "St. Malo, France", + year = 1992, + note = "LNCS 627" +} + +@inproceedings{brisset:1993, + author = "Pascal Brisset", + title = {Metaterms with several attributes}, + booktitle = "Workshop on Methodologies for Composing Logic Programs (ILPS)", + year = 1993 +} + +@inproceedings{noye:1994, + author = "Jacque Noy{\'e}", + title = {Backtrackable Updates}, + booktitle = "Workshop on Implementation techniques for Logic Programming Languages (ILPS)", + pages = "88-", + year = 1994 +} + + +@inproceedings{DBLP:conf/iclp/Buettner86, + author = {Kevin A. Buettner}, + title = {Fast Decompilation of Compiled Prolog Clauses}, + booktitle = {ICLP}, + year = {1986}, + pages = {663-670}, + crossref = {DBLP:conf/iclp/1986}, + bibsource = {DBLP, http://dblp.uni-trier.de} +} + +@proceedings{DBLP:conf/iclp/1986, + editor = {Ehud Y. Shapiro}, + title = {Third International Conference on Logic Programming, Imperial + College of Science and Technology, London, United Kingdom, + July 14-18, 1986, Proceedings}, + booktitle = {ICLP}, + publisher = {Springer}, + series = {Lecture Notes in Computer Science}, + volume = {225}, + year = {1986}, + isbn = {3-540-16492-8}, + bibsource = {DBLP, http://dblp.uni-trier.de} +} + + +@inproceedings{DBLP:conf/pldi/NethercoteS07, + author = {Nicholas Nethercote and + Julian Seward}, + title = {Valgrind: a framework for heavyweight dynamic binary instrumentation}, + booktitle = {PLDI}, + year = {2007}, + pages = {89-100}, + ee = {http://doi.acm.org/10.1145/1250734.1250746}, + crossref = {DBLP:conf/pldi/2007}, + bibsource = {DBLP, http://dblp.uni-trier.de} +} + +@proceedings{DBLP:conf/pldi/2007, + editor = {Jeanne Ferrante and + Kathryn S. McKinley}, + title = {Proceedings of the ACM SIGPLAN 2007 Conference on Programming + Language Design and Implementation, San Diego, California, + USA, June 10-13, 2007}, + booktitle = {PLDI}, + publisher = {ACM}, + year = {2007}, + isbn = {978-1-59593-633-2}, + bibsource = {DBLP, http://dblp.uni-trier.de} +} + +@inproceedings{prolog:fdpe2008, + author = {Ulrich Neumerkel and Markus Triska and Jan Wielemaker}, + title = {Declarative language extensions for {Prolog} courses}, + booktitle = {FDPE '08: ACM SIGPLAN Workshop on Functional and Declarative Programming in Education}, + year = {2008}, + isbn = {978-1-60558-068-5}, + pages = {73--78}, + location = {Victoria, BC, Canada}, + doi = {http://doi.acm.org/10.1145/1411260.1411271}, + publisher = {ACM} + } + +@inproceedings{clpfd:wlp2008, + author = {Markus Triska and Ulrich Neumerkel and Jan Wielemaker}, + title = {A generalized finite domain constraint solver for {SWI-Prolog}}, + booktitle = {22nd WLP 2008}, + editor = {Sibylle Schwarz}, + location = {Dresden, Germany}, + pages = {89--91}, + year = {2008} +} + + +\item P.~Tarau, U.~Neumerkel. A Novel Term Compression Scheme and + Data Representation in the BinWAM. {\em Proc.~of Programming + Languages Implementation and Logic Programming (PLILP'94)}, LNCS + 844, Madrid 1994. + diff --git a/man/pl.sty b/man/pl.sty new file mode 100644 index 000000000..b8c9d00ef --- /dev/null +++ b/man/pl.sty @@ -0,0 +1,508 @@ +% SWI-Prolog document-style + +% Test for PDF generation using pdflatex + +\usepackage{ifpdf} +%Old tex versions +%\newif\ifpdf +%\ifx\pdfoutput\undefined +% \pdffalse +%\else +% \pdfoutput=1 +% \pdftrue +%\fi + +% Get hyperrefs to work + +\usepackage{makeidx} +\usepackage{url} + +\ifpdf + \usepackage[pdftex,colorlinks=true,urlcolor=blue]{hyperref} + \pdfcompresslevel=9 +% \pdfcatalog{ +% /PageMode /UseOutLines +% } + \usepackage[pdftex]{graphicx} + \DeclareGraphicsExtensions{.pdf,.jpg,.png} +\else + \usepackage[dvips]{graphicx} + \DeclareGraphicsExtensions{.eps,.ps} +\fi +\graphicspath{{figs/}{./}} + +% Other styles + +\usepackage{a4wide} +\usepackage{longtable} +\usepackage{ifthen} +\usepackage{dcolumn} +\usepackage{calc} +\setlongtables + +\catcode`\^^A=8% downarrow are for subscripts +\catcode`\_=\active +\def_{\ifmmode\else\_\fi} +\def\vobeyspaces{\@vobeyspaces} + +\newcommand{\onlinebreak}{} + +% References + +\newcommand{\secref}[1]{section~\ref{sec:#1}} +\newcommand{\appref}[1]{appendix~\ref{sec:#1}} +\newcommand{\chapref}[1]{chapter~\ref{sec:#1}} +\newcommand{\figref}[1]{figure~\ref{fig:#1}} +\newcommand{\tabref}[1]{table~\ref{tab:#1}} + +\newcommand{\Secref}[1]{Section~\ref{sec:#1}} +\newcommand{\Appref}[1]{Appendix~\ref{sec:#1}} +\newcommand{\Chapref}[1]{Chapter~\ref{sec:#1}} +\newcommand{\Figref}[1]{Figure~\ref{fig:#1}} +\newcommand{\Tabref}[1]{Table~\ref{tab:#1}} + +\newcommand{\tm}{$^{tm}$} + +\newcommand{\reffont}{\tt} +\newcommand{\predref}[2]{% % functor/arity + \mbox{\reffont #1/#2}} +\newcommand{\dcgref}[2]{% % functor//arity + \mbox{\reffont #1//#2}} +\newcommand{\qpredref}[3]{% % module:functor/arity + \mbox{\reffont #1:#2/#3}} +\newcommand{\qdcgref}[3]{% % module:functor//arity + \mbox{\reffont #1:#2//#3}} +\newcommand{\nopredref}[2]{% % functor/arity (external) + \mbox{\reffont #1/#2}} +\newcommand{\functor}[2]{% % functor/arity (no predicate) + \mbox{\reffont #1/#2}} +\newcommand{\manref}[2]{% % page(n) + \mbox{{\reffont #1(}{\rm #2}{\tt )}}} +\newcommand{\funcref}[2]{% % function(Args...) + \mbox{{\reffont #1(}{\it #2}{\tt )}}} +\newcommand{\prologflag}[1]{% + \mbox{\reffont #1}} + +% Descriptions (definitions) of various things +% Note: I do not know where the 1ex comes from. This should fit +% exactly, but appearently some dimension is missing. I suspect +% a space creaping in somewhere. + +\def\@nodescription{false} + +\newcommand{\defentry}[1]{\definition{#1}} +\newcommand{\definition}[1]{% + \onlinebreak% + \ifthenelse{\equal{\@nodescription}{true}}{% + \def\@nodescription{false}% + \makebox[-\leftmargin]{\mbox{}}\makebox[\linewidth+\leftmargin-1ex][l]{\bf #1}\\}{% + \item[{\makebox[\linewidth+\leftmargin-1ex][l]{#1}}]}} +\newcommand{\nodescription}{\def\@nodescription{true}} + +\makeatletter +\def\cmdlineoptionitem{\@ifstar{\@gluedcmdoptitem}{\@cmdoptitem}} +\def\@gluedcmdoptitem#1#2{\definition{\texttt{#1}\var{#2}}} +\def\@cmdoptitem#1#2{\definition{\texttt{#1} \var{#2}}} +\makeatother +\newcommand{\longoptionitem}[2]{% + \ifthenelse{\equal{}{#2}}{% + \definition{-{}-#1}}{% + \definition{-{}-#1={\it #2}}}\ignorespaces} +\newcommand{\longoption}[2]{% + \ifthenelse{\equal{}{#2}}{% + \mbox{\reffont -{}-#1}}{% + \mbox{\reffont -{}-#1={\it #2}}}} + +\newcommand{\traceoption}[3]{% + \definition{{\tt #1} (#2)}#3% + \ignorespaces} +\newcommand{\pleaseoption}[3]{% + \definition{#1 {\it #2} {\rm(default: \it #3)}}% + \ignorespaces} +%\prologflagitem{Name}{Type}{Access} +\newcommand{\prologflagitem}[3]{% + \definition{#1 {\it (#2% + \ifthenelse{\equal{rw}{#3}}{, changeable}{})}}% + \index{flag:#1}\ignorespaces} +\newcommand{\escapeitem}[1]{% + \definition{\Sesc{\tt #1}} + \ignorespaces} +\newcommand{\fmtchar}[1]{% + \item[\tt #1]% + \ignorespaces} + +% \directive{Name}{Arity}{Args} +% \predicate[Attibutes]{Name}{Arity}{Args} +% \infixop{Name}{Left}{Right} +% \prefixop{Name}{Right} +% \dcg[Attibutes]{Name}{Arity}{Args} +% +% Predicate descriptions. Must appear in a description +% environment. + +\newcommand{\resitem}[1]{% + \defentry{#1}% + \index{#1}\ignorespaces} +\makeatletter +\def\predatt#1{\hfill{\it\footnotesize[#1]}} +\def\predicate{\@ifnextchar[{\@attpredicate}{\@predicate}} +\def\qpredicate{\@ifnextchar[{\@attqpredicate}{\@qpredicate}} +\def\@predicate#1#2#3{% + \ifthenelse{\equal{#2}{0}}{% + \defentry{#1}}{% + \defentry{#1({\it #3})}}% + \index{#1/#2}\ignorespaces} +\def\@attpredicate[#1]#2#3#4{% + \ifthenelse{\equal{#3}{0}}{% + \defentry{#2\predatt{#1}}}{% + \defentry{#2({\it #4})\predatt{#1}}}% + \index{#2/#3}\ignorespaces} +\def\@qpredicate#1#2#3#4{% + \ifthenelse{\equal{#3}{0}}{% + \defentry{#1:#2}}{% + \defentry{#1:#2({\it #4})}}% + \index{#1/#2}\ignorespaces} +\def\@attqpredicate[#1]#2#3#4#5{% + \ifthenelse{\equal{#4}{0}}{% + \defentry{#2:#3\predatt{#1}}}{% + \defentry{#2:#3({\it #5})\predatt{#1}}}% + \index{#2/#3}\ignorespaces} +\def\directive{\@ifnextchar[{\@attdirective}{\@directive}} +\def\@directive#1#2#3{% + \ifthenelse{\equal{#2}{0}}{% + \defentry{:- #1}}{% + \defentry{:- #1({\it #3})}}% + \index{#1/#2}\ignorespaces} +\def\@attdirective[#1]#2#3#4{% + \ifthenelse{\equal{#3}{0}}{% + \defentry{:- #2\predatt{#1}}}{% + \defentry{:- #2({\it #4})\predatt{#1}}}% + \index{#2/#3}\ignorespaces} +\def\dcg{\@ifnextchar[{\@attdcg}{\@dcg}} +\def\@dcg#1#2#3{% + \ifthenelse{\equal{#2}{0}}{% + \defentry{#1}}{% + \defentry{#1({\it #3}) \texttt{//}}}% + \index{#1/#2}\ignorespaces} +\def\@attdcg[#1]#2#3#4{% + \ifthenelse{\equal{#3}{0}}{% + \defentry{#2 \texttt{//}\predatt{#1}}}{% + \defentry{#2({\it #4}) \texttt{//}\predatt{#1}}}% + \index{#2//#3}\ignorespaces} +\def\infixop{\@ifnextchar[{\@attinfixop}{\@infixop}} +\def\@infixop#1#2#3{% + \defentry{{\it #2} #1 {\it #3}}% + \index{#1/2}\ignorespaces} +\def\@attinfixop[#1]#2#3#4{% + \defentry{{\it #3} #2 {\it #4}\predatt{#1}}% + \index{#2/2}\ignorespaces} +\def\prefixop{\@ifnextchar[{\@attprefixop}{\@prefixop}} +\def\@prefixop#1#2{% + \defentry{#1 {\it #2}}% + \index{#1/1}\ignorespaces} +\def\@attprefixop[#1]#2#3{% + \defentry{#2 {\it #3}\predatt{#1}}% + \index{#2/1}\ignorespaces} +\makeatother + +% \termitem{functor}{Args} +% \infixtermitem{functor}{Left}{Right} +% \prefixtermitem{functor}{Right} +% \postfixtermitem{functor}{Left} +% +% Terms in description lists. Typically used to describe various +% possible values or types for a term. + +\newcommand{\termitem}[2]{% + \ifthenelse{\equal{}{#2}}{% + \definition{#1}}{% + \definition{#1({\it #2})}}\ignorespaces} +\newcommand{\infixtermitem}[3]{% + \definition{{\it #2} #1 {\it #3}}\ignorespaces} +\newcommand{\prefixtermitem}[2]{% + \definition{#1 {\it #2}}\ignorespaces} +\newcommand{\postfixtermitem}[2]{% + \definition{{\it #2} #1}\ignorespaces} + +% \term{functor}{Args} +% \infixterm{functor}{Left}{Right} +% \prefixterm{functor}{Right} +% \postfixterm{functor}{Left} +% +% Terms used in running text. + +\def\term{} +\renewcommand{\term}[2]{% + \ifthenelse{\equal{\protect}{\protect#2}}{% + {\reffont #1}}{% + {\reffont #1}({\it #2})}} +\newcommand{\infixterm}[3]{{\it #2} #1 {\it #3}} +\newcommand{\prefixterm}[2]{#1 {\it #2}} +\newcommand{\postfixterm}[2]{{\it #2} #1} +\newcommand{\errorterm}[2]{\mbox{\tt% + \ifthenelse{\equal{}{#2}}{% + #1}{% + #1(#2)}}} + + +\newcommand{\cfunction}[3]{% + \defentry{{\tt #1} #2{\rm (}{\it #3}{\rm )}}% + \index{#2()}\ignorespaces} +\newcommand{\constructor}[2]{% + \defentry{#1::#1{\rm (}{\it #2}{\rm )}}% + \index{#1::#1()}\ignorespaces} +\newcommand{\destructor}[1]{% + \defentry{#1::\Stilde{}#1{\rm ()}}% + \index{#1::\Stilde{}#1()}\ignorespaces} +\newcommand{\cppcast}[2]{% + \defentry{#1::operator #2{\rm ({\it void})}}% + \index{#1::operator #2()}\ignorespaces} +\newcommand{\cdecl}[2]{{\tt #1} {\em #2}} +\newcommand{\cmacro}[3]{% + \defentry{{\it #1} #2({\it #3})}% + \index{#2()}\ignorespaces} +\newcommand{\constitem}[1]{% + \definition{#1}% + \index{#1}\ignorespaces} +\newcommand{\cglobalvar}[1]{{\tt #1}} +\newcommand{\classitem}[1]{% + \definition{Class #1}% + \index{#1 \string\idxtype{class}}\ignorespaces} +\newcommand{\menuitem}[2]{% + \ifthenelse{\equal{\protect}{\protect#2}}{% + \definition{\textsf #1}}{% + \definition{\textsf #1 ({\it #2})}}% + \index{#1 \string\idxtype{menu}}% + \ignorespaces} + + +% \tag{Keyword} +% +% PlDoc @keyword expansion. \mtag{Keyword} is a multi-valued tag + +\newcommand{\tag}[1]{% + \item[#1]} +\newcommand{\mtag}[1]{% + \item[#1]\mbox{}\\} + +\newcommand{\bnfmeta}[1]{\ifmmode{\langle\mbox{\it #1}\rangle}\else$\langle\mbox{\it #1}\rangle$\fi} +\newcommand{\bnfor}{\ifmmode\mid\else$\mid$\fi} +\newcommand{\isa}{& ::= &} +\newcommand{\ora}{& $\mid$ &} + +\renewcommand{\arg}[1]{\ifmmode\mbox{\em #1}\else{\it #1}\fi} +\newcommand{\class}[1]{{\em #1}\index{#1 \string\idxtype{class}}} +\newcommand{\classs}[1]{{\em #1s}\index{#1 \string\idxtype{class}}} +\newcommand{\demo}[1]{{\sf #1}\index{#1 \string\idxtype{demo}}} +\newcommand{\pllib}[1]{{\texttt{#1}}\index{#1 \string\idxtype{library}}} +\newcommand{\clib}[1]{{\tt #1}\index{#1 \string\idxtype{library}}} +\newcommand{\tool}[1]{{\em #1}\index{#1 \string\idxtype{tool}}} +\newcommand{\menuref}[1]{\textsf{#1}\index{#1 \string\idxtype{menu}}} +\newcommand{\constf}[1]{{\reffont #1}} +\newcommand{\const}[1]{{\tt #1}} +\newcommand{\plflag}[1]{{\tt #1}} +\newcommand{\type}[1]{{\reffont #1}} +\newcommand{\idx}[1]{#1\index{#1}} +\newcommand{\foreseen}[1]{\footnote{#1}} +\newcommand{\metafile}[1]{\mbox{\tt #1}} +\newcommand\file{\begingroup \urlstyle{tt}\Url} +\newcommand\email{\begingroup \urlstyle{tt}\Url} +\newcommand{\env}[1]{\mbox{\tt #1}} +\newcommand{\except}[1]{\mbox{\tt #1}} +\newcommand{\exam}[1]{\mbox{\tt #1}} +\newcommand{\module}[1]{\mbox{\reffont #1}} +\newcommand{\fileext}[1]{\mbox{\texttt{.#1}}} +\newcommand{\option}[1]{\mbox{\tt #1}} +\newcommand{\resource}[1]{\mbox{\reffont #1}} +\newcommand{\cmdlineoption}[1]{\mbox{\tt #1}} +\newcommand{\argoption}[2]{\mbox{\tt #1 \em #2}} +\newcommand{\ctype}[1]{{\texttt{#1}}} +\newcommand{\op}[1]{{\tt #1}} +\newcommand{\program}[1]{\texttt{#1}} +\newcommand{\manpage}[2]{{\bf #1}(#2)} +\newcommand{\chr}[1]{{\tt #1}} +\newcommand{\jargon}[1]{{\em #1}} +\newcommand{\strong}[1]{{\bf #1}} +\newcommand{\texcmd}[1]{{\Sesc}{\tt #1}} +\newcommand{\texenv}[1]{{\tt #1}} +\newcommand{\texmode}[1]{{\tt #1}} +\newcommand{\HTML}[1]{{\bf #1}} +\newcommand{\libdoc}[2]{\section{\pllib{#1}: #2}} +\newcommand{\key}[1]{{\sf #1}} +\newcommand{\menu}[2]{% + {\sf #1}% + \ifthenelse{\equal{#2}{}}{% + }{% + ~(\texttt{#2})}} + +\newcommand\satom{\begingroup \urlstyle{tt}\Url} +\newcommand\fmtseq{\begingroup \urlstyle{tt}\Url} + +\urldef{\Sexe}\satom{#!} % #! +\urldef{\Scgt}\satom{#>} % #> +\urldef{\Scge}\satom{#>=} % #>= +\urldef{\Sclt}\satom{#<} % #< +\urldef{\Scle}\satom{#=<} % #=< +\urldef{\Sceq}\satom{#=} % #= +\urldef{\Scne}\satom{#\=} % #\= +\urldef{\Scnot}\satom{#\} % #\ +\urldef{\Scor}\satom{#\/} % #\/ +\urldef{\Scand}\satom{#/\} % #/\ +\urldef{\Sequiv}\satom{#<=>} % #<=> +\urldef{\Slimpl}\satom{#<=} % #<= +\urldef{\Srimpl}\satom{#=>} % #=> +\urldef{\Slimplies}\satom{#<==} % #<== +\urldef{\Srimplies}\satom{#==>} % #==> +\urldef{\Scequal}\satom{#<==>} % #<==> +\urldef{\Scieq}\satom{#=:=} % #=:= +\urldef{\Scine}\satom{#=\=} % #=\= +\urldef{\Scut}\satom{!} % ! +\urldef{\Scomma}\satom{,} % , +\urldef{\Sifthen}\satom{->} % -> +\urldef{\Ssoftcut}\satom{*->} % *-> +\urldef{\Sdot}\satom{.} % . +\urldef{\Ssemicolon}\satom{;} % ; +\urldef{\Slt}\satom{<} % < +\urldef{\Sxor}\satom{><} % >< +\urldef{\Seq}\satom{=} % = +\urldef{\Suniv}\satom{=..} % =.. +\urldef{\Saeq}\satom{=:=} % =:= +\urldef{\Sle}\satom{=<} % =< +\urldef{\Sel}\satom{<=} % <= +\urldef{\Sequal}\satom{==} % == +\urldef{\Sstructeq}\satom{=@=} % =@= +\urldef{\Sstructneq}\satom{\=@=} % \=@= +\urldef{\Sane}\satom{=\=} % =\= +\urldef{\Sgt}\satom{>} % > +\urldef{\Sge}\satom{>=} % >= +\urldef{\Stlt}\satom{@<} % @< +\urldef{\Stle}\satom{@=<} % @=< +\urldef{\Stgt}\satom{@>} % @> +\urldef{\Stge}\satom{@>=} % @>= +\urldef{\Snot}\satom{\+} % \+ +\urldef{\Sne}\satom{\=} % \= +\urldef{\Snequal}\satom{\==} % \== +\urldef{\Shat}\satom{^} % ^ +\urldef{\Sbar}\satom{|} % | +\urldef{\Stimes}\satom{*} % * +\urldef{\Spow}\satom{**} % ** +\urldef{\Splus}\satom{+} % + +\urldef{\Sminus}\satom{-} % - +\urldef{\Sdiv}\satom{/} % / +\urldef{\Sidiv}\satom{//} % // +\urldef{\Sand}\satom{/\} % /\ +\urldef{\Slshift}\satom{<<} % << +\urldef{\Srshift}\satom{>>} % >> +\urldef{\Sneg}\satom{\} % \ +\urldef{\Sesc}\satom{\} % \ +\urldef{\Sor}\satom{\/} % \/ +\urldef{\Sdollar}\satom{$} % $ +\urldef{\Squest}\satom{?} % ? +\urldef{\Smodule}\satom{:} % : +\urldef{\Sneck}\satom{:-} % :- +\urldef{\Sdirective}\satom{?-} % ?- +\urldef{\Sdcg}\satom{-->} % --> +\urldef{\Bc}\satom{\c} % \c +\urldef{\Bn}\satom{\n} % \n +\urldef{\Br}\satom{\r} % \r +\urldef{\Bl}\satom{\l} % \l +\urldef{\BB}\satom{\\} % \\ +\urldef{\Stilde}\satom{~} % ~ +\urldef{\Spercent}\satom{%} % % +\urldef{\Shash}\satom{#} % # +\urldef{\Scurl}\satom{{}} % {} +\urldef{\SxXX}\satom{xXX..\} % xXX..\ + +\newcommand{\bug}[1]{\footnote{BUG: #1}} + +\newcommand{\mod}[2]{#1 \mbox{\rm mod} #2} +\newcommand{\rem}[2]{#1 \mbox{\rm rem} #2} +\newcommand{\pow}[2]{{#1}^{#2}} +\newcommand{\bsl}[0]{\Sesc} + +% Index handling + +\newcommand{\idxtype}[1]{{\small\em #1}} + +% Prolog predicate summary + +\newenvironment{summarylist}[1]{\begin{longtable}[l]{#1}}{\end{longtable}} +\newcommand{\predicatesummary}[3]{#1/#2 & #3 \\} +\newcommand{\oppredsummary}[5]{#1/#2 & #5 \\} +\newcommand{\functionsummary}[3]{#1/#2 & #3 \\} +\newcommand{\opfuncsummary}[5]{#1/#2 & #5 \\} +\newcommand{\opsummary}[4]{#3 & #1 & #2 & #4 \\} +\newcommand{\hook}[1]{(hook)} + + +%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% +% CODE environment % +%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% + +\usepackage{fancyvrb} +\usepackage{color} + +%\definecolor{codeboxcolor}{rgb}{0.7,0.7,0.7} +\definecolor{codeboxcolor}{rgb}{0.4,0.4,0.4} +\DefineVerbatimEnvironment% + {code}{Verbatim} + {frame=single, + framerule=0.2pt, + rulecolor=\color{codeboxcolor}, + } + + +%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% +% INCLUDE FIGURES % +%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% + +% PostScript figures +% \postscriptfig[width=5in]{label}{Title} + +\makeatletter +\def\postscriptfig{\@ifnextchar[{\@scaledpostscriptfig}{\@postscriptfig}} +\def\@scaledpostscriptfig[#1]#2#3{% + \begin{figure}% + \centerline{\includegraphics[#1]{#2}} + \caption{#3} + \label{fig:#2} + \end{figure}} +\def\@postscriptfig#1#2{% + \begin{figure}% + \centerline{\includegraphics{#1}} + \caption{#2} + \label{fig:#1} + \end{figure}} +\makeatother + +% \begin{tabularlp}{longest-text} + +\newlength{\tabDright} +\newlength{\tabDleft} +\newcommand{\PreserveBackslash}[1]{\let\temp=\\#1\let\\=\temp} +\newcommand{\raggedrightcolumn}{\PreserveBackslash\raggedright\hspace{0pt}} +\newenvironment{tabularlp}[1]% + {\settowidth{\tabDleft}{#1}% + \setlength{\tabDright}{\linewidth-\columnsep*3-\tabDleft}% + \begin{tabular}{|p{\tabDleft}|>{\raggedrightcolumn}p{\tabDright}|}}% + {\end{tabular}} + +% \begin{tags} ... \end{tags} + +\newenvironment{tags}% + {\begin{quote}\begin{description}% + \setlength{\itemsep}{0pt}% + \footnotesize}% + {\end{description}\end{quote}} + + +% \begin{parameters} ... \end{parameters} + +\newenvironment{parameters}% + {\par% + \makebox[\linewidth]{\hfill\footnotesize Parameters} + \begin{tabular*}{\linewidth}{lp{0.7\linewidth}} + \hline}% + {\end{tabular*}} + + diff --git a/man/plpage.sty b/man/plpage.sty new file mode 100644 index 000000000..bb1f95dba --- /dev/null +++ b/man/plpage.sty @@ -0,0 +1,32 @@ +%% Define Prolog manual page and header layout + +\usepackage{fancyheadings} +\usepackage{fancychap} + +% PAGESTYLE +% +% Chapter date +% --------------------------------------- +% +% bla, bla, bla, ... +% +% \bottomleft - page - \bottomright + +\def\arabicday{\number\year-\number\month-\number\day} + +\providecommand{\runningtitle}{none} + +\ifthenelse{\equal{\runningtitle}{none}}{% + \relax}{% +\pagestyle{fancyplain} +\headheight 14pt +\def\chaptermark{\mbox{}} +\renewcommand{\chaptermark}[1]{\markboth{#1}{#1}} % remember chapter title +\renewcommand{\sectionmark}[1]{\markright{\thesection\ #1}} + +\lhead[\fancyplain{}{\bf\thepage}]{\fancyplain{}{\bf\rightmark}} +\rhead[\fancyplain{}{\bf\leftmark}]{\fancyplain{}{\bf\thepage}} +\footrulewidth 0.2pt +\lfoot[\tiny \runningtitle]{} +\rfoot[]{\tiny \runningtitle} +\cfoot{}} diff --git a/man/runtex b/man/runtex new file mode 100755 index 000000000..0a3959038 --- /dev/null +++ b/man/runtex @@ -0,0 +1,221 @@ +#!/bin/bash +# +# Automate running LaTeX + +program=`basename $0` +tex=latex +format=dvi +rerun='Rerun to get cross-references right' +maxruns=4 +quiet=false + +function texclean +{ rm -f *.idx *.ind *.ilg *.aux *.log *.lof *.out *.toc *.blg +} + +# make runtex --clean work without GNU getopt +case "$1" in + --clean) + texclean + exit 0 + ;; +esac + +appbase=`dirname $0` +case "$appbase" in + /*) + ;; + .) appbase=`pwd` + ;; + ./*|../*) + appbase="`pwd`/$appbase" + clean=false + while [ $clean = false ]; do + b=`echo $appbase | sed -e 's@/\./@/@g' -e 's@/[a-z]*/\.\./@/@g'` + if [ "x$b" = "x$appbase" ]; then + clean=true + else + appbase="$b" + fi + done + ;; + *) echo "ERROR: runtex must be called with relative or absolute path" + exit 1 + ;; +esac + +echo "runtex application base = $appbase" + +function addinput +{ if [ -z "$TEXINPUTS" ]; then + export TEXINPUTS="$1::" + else + export TEXINPUTS=$TEXINPUTS:$1:: + fi +} + +function addbstinput +{ if [ -z "$BSTINPUTS" ]; then + export BSTINPUTS="$1::" + else + export BSTINPUTS=$BSTINPUTS:$1:: + fi +} + +function addbibinput +{ if [ -z "$BIBINPUTS" ]; then + export BIBINPUTS="$1::" + else + export BIBINPUTS=$BIBINPUTS:$1:: + fi +} + +function usage +{ echo "Usage:" + echo "" + echo " $program [options] file" + echo "" + echo "Options:" + echo "" + echo " --pdf Use pdflatex and make .pdf images" + echo " --dvi Use latex" + echo " --help Print this message" + echo " --maxruns=# Specify maximum # runs" + echo " --clean Just remove TeX temporary files" +} + + + +if [ -d $appbase ]; then + addinput $appbase + addbstinput $appbase + addbibinput $appbase +fi + +argp=true +while [ $argp = true ] ; do + case "$1" in + --pdf) + tex=pdflatex + format=pdf + shift ;; + --dvi) + tex=latex + format=dvi + shift ;; + --quiet) + quiet=true; + shift ;; + --maxruns=*) + maxruns="`echo $1 | sed 's/--maxruns=//'`" + shift ;; + --inputs=*) + addinput "`echo $1 | sed 's/--inputs=//'`" + shift ;; + --help) + usage + exit 0 ;; + --clean) + texclean + exit 0 + ;; + --*) + usage + exit 1 ;; + *) + argp=false; + ;; + esac +done + +if [ -z "$1" ]; then + usage + exit 1 +fi + +file="$1" + +# ensure .tex suffix + +if [ ${file%.tex} = $file ]; then + file=$file.tex +fi + +doc=${file%.tex} + +if [ -r Makefile ] && grep -q '^tex:' Makefile; then + make tex +fi + +cont=yes +done=0 +while [ $cont != "no" ]; do + cont=maybe + + # fix index problems + if [ -r $doc.idx ]; then + cp $doc.idx $doc.idx.$$ + if [ -x $appbase/correctindex ]; then + $appbase/correctindex $doc.idx + fi + if [ -r $appbase/makeindex.ist ]; then + makeindex -s $appbase/makeindex.ist $doc + else + makeindex $doc + fi + fi + if test -r $doc.aux && grep -qw bibdata $doc.aux; then + if [ -f $doc.bbl ]; then cp $doc.bbl $doc.bbl$$; fi + echo "%%% Running Bibtex" + bibtex $doc + if [ -r $doc.bbl -a -r $doc.bbl.$$ ]; then + if cmp -s $doc.bbl $doc.bbl.$$; then + true + else + cont=yes + echo "*** Bibtex output changed. Rerunning $tex ***" + fi + fi + rm -f $doc.bbl$$ + fi + if [ `basename $tex` = pdflatex -a -r $appbase/Makefile.pdf ]; then + make -f $appbase/Makefile.pdf + fi + rm -f $doc.log + if [ $quiet == true ]; then + $tex $doc -file-line-error -halt-on-error >/dev/null + else + $tex $doc + fi + if [ $? != 0 ]; then + rm -f $doc.idx.$$ + exit $?; + fi + if grep -q "$rerun" $doc.log; then + echo "*** Cross-references changed. Rerunning $tex ***" + cont=yes + else + if [ -r $doc.idx -a -r $doc.idx.$$ ]; then + if cmp -s $doc.idx $doc.idx.$$; then + true + else + ls -l $doc.idx $doc.idx.$$ + cont=yes + echo "*** Index changed. Rerunning $tex ***" + fi + fi + fi + rm -f $doc.idx.$$ + done=$(($done+1)) + if [ $done = $maxruns ]; then cont=no; fi + if [ $cont = maybe ]; then cont=no; fi +done + + +if grep -q Warning $doc.log; then + echo "" + echo "*****************************" + echo "The following warnings remain" + echo "*****************************" + grep Warning $doc.log +fi diff --git a/packages/Dialect.defs.in b/packages/Dialect.defs.in index ac15b7e6d..8bdf4f136 100644 --- a/packages/Dialect.defs.in +++ b/packages/Dialect.defs.in @@ -47,13 +47,15 @@ CMFLAGS=@SHLIB_CFLAGS@ CIFLAGS= CFLAGS=$(COFLAGS) $(CWFLAGS) $(CMFLAGS) $(CIFLAGS) $(PKGCFLAGS) @DEFS@ -RUNTEX = true - LDSOFLAGS=@LDFLAGS@ @EXTRA_LIBS_FOR_SWIDLLS@ LDFLAGS=$(PKGLDFLAGS) MKINDEX=$(PL) -f none -g make -t halt +.txt.tex: + swipl -f script.pl -g "doc_latex('$*.txt','$*.tex',[stand_alone(false)]),halt" -t "halt(1)" + + PUBLICPL=swipl PLTOTEX=$(PUBLICPL) -q -s pltotex.pl -g pltotex -- diff --git a/packages/Makefile.defs.in b/packages/Makefile.defs.in index 13767f06c..1ed4a03b9 100644 --- a/packages/Makefile.defs.in +++ b/packages/Makefile.defs.in @@ -27,6 +27,8 @@ INSTALL_SCRIPT=@INSTALL_SCRIPT@ ################################################################ LATEX=latex +DOC2TEX=@abs_top_srcdir@/man/doc2tex +RUNTEX=@abs_top_srcdir@/man/runtex TEX=$(DOC).tex $(SUBTEX) DVI=$(DOC).dvi PDF=$(DOC).pdf @@ -50,12 +52,16 @@ $(HTML): $(TEX) mv html/index.html $@ $(PDF): $(TEX) - ../../man/runtex --pdf $(DOC) + $(srcdir)/../../man/runtex --pdf $(DOC) -$(TEX): $(DOC2TEX) +%.tex : $(srcdir)/%.doc + $(DOC2TEX) $< > $@ -.doc.tex: - $(DOC2TEX) $*.doc > $*.tex +%.tex : $(srcdir)/%.txt + $(PUBLICPL) -f none -g "doc_latex('$<','$@',[stand_alone(false)]),halt" -t "halt(1)" + +%.tex : $(srcdir)/%.pl + $(PLTOTEX) $< > $@ # Get the Prolog dialect specific part of the Makefiles