aboutsummaryrefslogtreecommitdiffstats
path: root/lang
diff options
context:
space:
mode:
authorijliao <ijliao@FreeBSD.org>2001-08-18 16:42:17 +0800
committerijliao <ijliao@FreeBSD.org>2001-08-18 16:42:17 +0800
commit159c17e44310af466e9cba4814830e874734a468 (patch)
tree1511b5b5c1e8a8f163e9d97d07d5ac0fb8f1860b /lang
parent11f068685841e6f10670cfca2cb6e0adb2a1cfb6 (diff)
downloadfreebsd-ports-gnome-159c17e44310af466e9cba4814830e874734a468.tar.gz
freebsd-ports-gnome-159c17e44310af466e9cba4814830e874734a468.tar.zst
freebsd-ports-gnome-159c17e44310af466e9cba4814830e874734a468.zip
add xsb
A tabled Logic Programming and Deductive Database system PR: 29322 Submitted by: Christopher Rued <c.rued@xsb.com>
Diffstat (limited to 'lang')
-rw-r--r--lang/Makefile1
-rw-r--r--lang/xsb/Makefile32
-rw-r--r--lang/xsb/distinfo1
-rw-r--r--lang/xsb/files/patch-aa76
-rw-r--r--lang/xsb/files/patch-ab76
-rw-r--r--lang/xsb/files/patch-ac14
-rw-r--r--lang/xsb/files/patch-ad58
-rw-r--r--lang/xsb/files/patch-ae23
-rw-r--r--lang/xsb/files/patch-af29
-rw-r--r--lang/xsb/pkg-comment1
-rw-r--r--lang/xsb/pkg-descr14
-rw-r--r--lang/xsb/pkg-plist1895
12 files changed, 2220 insertions, 0 deletions
diff --git a/lang/Makefile b/lang/Makefile
index 6b182aa8b195..fc252e810a40 100644
--- a/lang/Makefile
+++ b/lang/Makefile
@@ -172,6 +172,7 @@
SUBDIR += tinycobol
SUBDIR += treecc
SUBDIR += wamcc
+ SUBDIR += xsb
SUBDIR += yabasic
SUBDIR += yap
SUBDIR += yorick
diff --git a/lang/xsb/Makefile b/lang/xsb/Makefile
new file mode 100644
index 000000000000..2bb7b454308d
--- /dev/null
+++ b/lang/xsb/Makefile
@@ -0,0 +1,32 @@
+# New ports collection makefile for: xsb
+# Date created: 29 Jul 2001
+# Whom: Christopher Rued
+#
+# $FreeBSD$
+#
+
+PORTNAME= XSB
+PORTVERSION= 2.4
+CATEGORIES= lang
+MASTER_SITES= ${MASTER_SITE_SOURCEFORGE}
+MASTER_SITE_SUBDIR= xsb
+
+MAINTAINER= c.rued@xsb.com
+
+WRKSRC= ${WRKDIR}/XSB/build
+
+PLIST_SUB+= MACHINE_ARCH=${MACHINE_ARCH} OPSYS=${OPSYS:S/BSD/bsd/g:S/F/f/g:S/O/o/g:S/N/n/g}
+
+do-build:
+ @ cd ${WRKSRC} ; \
+ ./configure ; \
+ ./makexsb
+
+do-install:
+ @ ${CP} -r ${WRKDIR}/XSB ${PREFIX} ; \
+ ${LN} -s ${PREFIX}/XSB/docs ${PREFIX}/share/xsb ; \
+ ${ECHO} XSB is now installed. ; \
+ ${ECHO} To run it, execute ${PREFIX}/XSB/bin/xsb ; \
+ ${ECHO} The user manual is in ${PREFIX}/share/xsb
+
+.include <bsd.port.mk>
diff --git a/lang/xsb/distinfo b/lang/xsb/distinfo
new file mode 100644
index 000000000000..e43b2e8381b9
--- /dev/null
+++ b/lang/xsb/distinfo
@@ -0,0 +1 @@
+MD5 (XSB-2.4.tar.gz) = 3f86ed352f7d1b95e9700e492ecca933
diff --git a/lang/xsb/files/patch-aa b/lang/xsb/files/patch-aa
new file mode 100644
index 000000000000..0eaa3a3e9dd1
--- /dev/null
+++ b/lang/xsb/files/patch-aa
@@ -0,0 +1,76 @@
+--- configure.old Thu Jul 5 12:42:10 2001
++++ configure Sun Jul 29 15:51:36 2001
+@@ -1561,7 +1561,7 @@
+ # if --with-gcc, take it as a sign of trouble
+ # with gcc and lower optimization levels
+ if test -n "$with_gcc" ; then
+- emuloop_opt_level=-${optimization_level-"O4 -fomit-frame-pointer"}
++ emuloop_opt_level=-${optimization_level-"O2 -fomit-frame-pointer"}
+ trutils_opt_level=-${optimization_level-"O1 -fomit-frame-pointer"}
+ builtins_opt_level=-${optimization_level-"O1 -fomit-frame-pointer"}
+ if test -n "$optimization_level"; then
+@@ -1572,9 +1572,9 @@
+ CFLAGS="-Wall -ansi -pedantic"
+ else
+ case $CC in
+- gcc) emuloop_opt_level=-${optimization_level-"O4 -fomit-frame-pointer"}
++ gcc) emuloop_opt_level=-${optimization_level-"O2 -fomit-frame-pointer"}
+ trutils_opt_level=-${optimization_level-"O1 -fomit-frame-pointer"}
+- builtins_opt_level=-${optimization_level-"O4 -fomit-frame-pointer"}
++ builtins_opt_level=-${optimization_level-"O2 -fomit-frame-pointer"}
+ if test -n "$optimization_level"; then
+ c_inline_level=""
+ else
+@@ -1583,23 +1583,23 @@
+ CFLAGS="-Wall -ansi -pedantic"
+ ;;
+ cc) if test "$__sunpro_c" = "no"; then
+- emuloop_opt_level=-${optimization_level-"O4"}
+- trutils_opt_level=-${optimization_level-"O4"}
+- builtins_opt_level=-${optimization_level-"O4"}
++ emuloop_opt_level=-${optimization_level-"O2"}
++ trutils_opt_level=-${optimization_level-"O2"}
++ builtins_opt_level=-${optimization_level-"O2"}
+ else
+ # emuloop_opt_level is the optimization level for emuloop.c
+- # Using xO4 would take SunPro more than an hour, hence xO2.
++ # Using xO2 would take SunPro more than an hour, hence xO2.
+ emuloop_opt_level=-${optimization_level-"xO2"}
+- trutils_opt_level=-${optimization_level-"xO4"}
+- builtins_opt_level=-${optimization_level-"xO4"}
++ trutils_opt_level=-${optimization_level-"xO2"}
++ builtins_opt_level=-${optimization_level-"xO2"}
+ fi
+ c_inline_level=""
+ CFLAGS=""
+ ;;
+ acc) # acc also seems to choke on high optimization levels for emuloop.c
+ emuloop_opt_level=-${optimization_level-"O2"}
+- trutils_opt_level=-${optimization_level-"O4"}
+- builtins_opt_level=-${optimization_level-"O4"}
++ trutils_opt_level=-${optimization_level-"O2"}
++ builtins_opt_level=-${optimization_level-"O2"}
+ c_inline_level=""
+ CFLAGS="-Xa"
+ ;;
+@@ -3006,16 +3006,16 @@
+ #fi
+
+
+-# Normally, the optimization level will be O4.
++# Normally, the optimization level will be O2.
+ # SGI64 must have O1 and 32 bit SGI's can have O2
+ if test "$__sunpro_c" = "no"; then
+ if test "$CC" = "gcc" ; then
+- c_opt_level=-${optimization_level-"O4 -fomit-frame-pointer"}
++ c_opt_level=-${optimization_level-"O2 -fomit-frame-pointer"}
+ else
+- c_opt_level=-${optimization_level-"O4"}
++ c_opt_level=-${optimization_level-"O2"}
+ fi
+ else
+- c_opt_level=-${optimization_level-"xO4"}
++ c_opt_level=-${optimization_level-"xO2"}
+ fi
+
+
diff --git a/lang/xsb/files/patch-ab b/lang/xsb/files/patch-ab
new file mode 100644
index 000000000000..b3f39d714fbe
--- /dev/null
+++ b/lang/xsb/files/patch-ab
@@ -0,0 +1,76 @@
+--- configure.in.old Thu Jul 5 12:42:10 2001
++++ configure.in Sun Jul 29 15:52:05 2001
+@@ -579,7 +579,7 @@
+ # if --with-gcc, take it as a sign of trouble
+ # with gcc and lower optimization levels
+ if test -n "$with_gcc" ; then
+- emuloop_opt_level=-${optimization_level-"O4 -fomit-frame-pointer"}
++ emuloop_opt_level=-${optimization_level-"O2 -fomit-frame-pointer"}
+ trutils_opt_level=-${optimization_level-"O1 -fomit-frame-pointer"}
+ builtins_opt_level=-${optimization_level-"O1 -fomit-frame-pointer"}
+ if test -n "$optimization_level"; then
+@@ -590,9 +590,9 @@
+ CFLAGS="-Wall -ansi -pedantic"
+ else
+ case $CC in
+- gcc) emuloop_opt_level=-${optimization_level-"O4 -fomit-frame-pointer"}
++ gcc) emuloop_opt_level=-${optimization_level-"O2 -fomit-frame-pointer"}
+ trutils_opt_level=-${optimization_level-"O1 -fomit-frame-pointer"}
+- builtins_opt_level=-${optimization_level-"O4 -fomit-frame-pointer"}
++ builtins_opt_level=-${optimization_level-"O2 -fomit-frame-pointer"}
+ if test -n "$optimization_level"; then
+ c_inline_level=""
+ else
+@@ -601,23 +601,23 @@
+ CFLAGS="-Wall -ansi -pedantic"
+ ;;
+ cc) if test "$__sunpro_c" = "no"; then
+- emuloop_opt_level=-${optimization_level-"O4"}
+- trutils_opt_level=-${optimization_level-"O4"}
+- builtins_opt_level=-${optimization_level-"O4"}
++ emuloop_opt_level=-${optimization_level-"O2"}
++ trutils_opt_level=-${optimization_level-"O2"}
++ builtins_opt_level=-${optimization_level-"O2"}
+ else
+ # emuloop_opt_level is the optimization level for emuloop.c
+- # Using xO4 would take SunPro more than an hour, hence xO2.
++ # Using xO2 would take SunPro more than an hour, hence xO2.
+ emuloop_opt_level=-${optimization_level-"xO2"}
+- trutils_opt_level=-${optimization_level-"xO4"}
+- builtins_opt_level=-${optimization_level-"xO4"}
++ trutils_opt_level=-${optimization_level-"xO2"}
++ builtins_opt_level=-${optimization_level-"xO2"}
+ fi
+ c_inline_level=""
+ CFLAGS=""
+ ;;
+ acc) # acc also seems to choke on high optimization levels for emuloop.c
+ emuloop_opt_level=-${optimization_level-"O2"}
+- trutils_opt_level=-${optimization_level-"O4"}
+- builtins_opt_level=-${optimization_level-"O4"}
++ trutils_opt_level=-${optimization_level-"O2"}
++ builtins_opt_level=-${optimization_level-"O2"}
+ c_inline_level=""
+ CFLAGS="-Xa"
+ ;;
+@@ -1036,16 +1036,16 @@
+ #fi
+
+
+-# Normally, the optimization level will be O4.
++# Normally, the optimization level will be O2.
+ # SGI64 must have O1 and 32 bit SGI's can have O2
+ if test "$__sunpro_c" = "no"; then
+ if test "$CC" = "gcc" ; then
+- c_opt_level=-${optimization_level-"O4 -fomit-frame-pointer"}
++ c_opt_level=-${optimization_level-"O2 -fomit-frame-pointer"}
+ else
+- c_opt_level=-${optimization_level-"O4"}
++ c_opt_level=-${optimization_level-"O2"}
+ fi
+ else
+- c_opt_level=-${optimization_level-"xO4"}
++ c_opt_level=-${optimization_level-"xO2"}
+ fi
+
+
diff --git a/lang/xsb/files/patch-ac b/lang/xsb/files/patch-ac
new file mode 100644
index 000000000000..64f3c55ee94a
--- /dev/null
+++ b/lang/xsb/files/patch-ac
@@ -0,0 +1,14 @@
+--- makexsb.in.old Sun Jul 29 15:37:36 2001
++++ makexsb.in Sun Jul 29 16:18:20 2001
+@@ -74,9 +74,9 @@
+
+ if test -r "$makefile" ; then
+ echo ""
+- echo "make -f ${makefile} $makeargs"
++ echo "gmake -f ${makefile} $makeargs"
+ echo ""
+- make -f ${makefile} $makeargs
++ gmake -f ${makefile} $makeargs
+ else
+ echo "${makefile}: doesn't exist or is not readable."
+ echo "Have you configured XSB for this architecture?"
diff --git a/lang/xsb/files/patch-ad b/lang/xsb/files/patch-ad
new file mode 100644
index 000000000000..022697bb350f
--- /dev/null
+++ b/lang/xsb/files/patch-ad
@@ -0,0 +1,58 @@
+--- topMakefile.in.old Sun Jul 29 16:23:01 2001
++++ topMakefile.in Sun Jul 29 16:22:28 2001
+@@ -164,9 +164,9 @@
+
+ emu: ${src_config_prefix}/xsb_config.h ${src_config_prefix}/xsb_debug.h
+ cd ${src_emudir}; \
+- make depend; \
++ gmake depend; \
+ rm -f $(srcdir)/build/.xsb_build_failed; \
+- (make EXECUTABLE="$(EXECUTABLE)" $(emumake_goal) || \
++ (gmake EXECUTABLE="$(EXECUTABLE)" $(emumake_goal) || \
+ $(srcdir)/build/touch.sh $(srcdir)/build/.xsb_build_failed) \
+ 2>&1 | tee -a ../build/Installation_summary; \
+ (test ! -f $(srcdir)/build/.xsb_build_failed || \
+@@ -174,7 +174,7 @@
+
+ gpp:
+ @echo ""; echo "Making gpp"
+- @cd $(srcdir)/gpp; make 2>&1 | tee -a ../build/Installation_summary
++ @cd $(srcdir)/gpp; gmake 2>&1 | tee -a ../build/Installation_summary
+
+ # Compiling the interface with sModels.
+ smodels:
+@@ -182,7 +182,7 @@
+ echo "Compiling smodels interface"; \
+ rm -f *.o Makefile *.h *.O *.so 2>/dev/null || echo ""; \
+ ln -s ${src_config_prefix}/smoMakefile ./Makefile; \
+- make XSB=$(src_scriptdir)/xsb$(config_tag) @smodels_goal@ 2>&1\
++ gmake XSB=$(src_scriptdir)/xsb$(config_tag) @smodels_goal@ 2>&1\
+ | tee -a ../../build/Installation_summary
+
+ # Goal for making an XSB load module to be linked with external
+@@ -193,10 +193,10 @@
+ # This invokes xsboramod and xsbmod goals in emuMakefile, respectively
+ xsbmod: ${src_config_prefix}/xsb_config.h ${src_config_prefix}/xsb_debug.h
+ cd ${src_emudir}; \
+- make $(emumake_goal)mod
++ gmake $(emumake_goal)mod
+
+ xsbdll: ${src_config_prefix}/xsb_config.h ${src_config_prefix}/xsb_debug.h
+- cd ${src_emudir}; make dll
++ cd ${src_emudir}; gmake dll
+
+ emu_clean: do_cleaning inform_executable
+
+@@ -305,10 +305,10 @@
+ chmod 644 $(install_config_libdir)/xsb_configuration.O
+
+ remake_dot_O_files:
+- cd $(srcdir); make XSB=$(src_scriptdir)/xsb$(config_tag)
++ cd $(srcdir); gmake XSB=$(src_scriptdir)/xsb$(config_tag)
+
+ remake_dot_O_files_force:
+- cd $(srcdir); make force XSB=$(src_scriptdir)/xsb$(config_tag)
++ cd $(srcdir); gmake force XSB=$(src_scriptdir)/xsb$(config_tag)
+
+ # clean for this architecture only
+ configclean::
diff --git a/lang/xsb/files/patch-ae b/lang/xsb/files/patch-ae
new file mode 100644
index 000000000000..1ce95d56b296
--- /dev/null
+++ b/lang/xsb/files/patch-ae
@@ -0,0 +1,23 @@
+--- ../Makefile.orig Sun Jul 29 17:47:07 2001
++++ ../Makefile Sun Jul 29 17:47:59 2001
+@@ -38,16 +38,16 @@
+
+ syslib::
+ @echo ""
+- cd syslib; make
++ cd syslib; gmake
+
+ lib::
+ @echo ""
+- cd lib; make
++ cd lib; gmake
+
+ cmplib::
+ @echo ""
+- cd cmplib; make
++ cd cmplib; gmake
+
+ packages::
+ @echo ""
+- cd packages; make
++ cd packages; gmake
diff --git a/lang/xsb/files/patch-af b/lang/xsb/files/patch-af
new file mode 100644
index 000000000000..620c21bf5aa7
--- /dev/null
+++ b/lang/xsb/files/patch-af
@@ -0,0 +1,29 @@
+--- register.sh~ Tue Apr 11 18:30:27 2000
++++ register.sh Wed Aug 1 15:25:39 2001
+@@ -6,21 +6,15 @@
+
+ The installation process is now complete. The log is in: Installation_summary
+
+-We would like to ask you to email this log to us.
++We would like to ask you to email this log to us:
++
++ xsb-installation@lists.sourceforge.net
++
+ Installation logs help the XSB group to keep track of the usage of the
+ system on different architectures and to isolate problems more easily.
+
+-The log will be sent automatically to xsb-installation@lists.sourceforge.net
+-Would you like to send us the installation log? (y/n): y
++*******************************************************************************
+ EOF
+-
+-read sendlog
+-
+-if test "$sendlog" != "n" -a "$sendlog" != "no" -a "$sendlog" != "N" ; then
+- (cat sendlog.msg Installation_summary \
+- | mail xsb-installation@lists.sourceforge.net) \
+- && echo "" ; echo "Thank you!"; echo ""
+-fi
+
+ cat <<EOF
+ Should you find a bug in XSB, please report it using our bug tracking system at
diff --git a/lang/xsb/pkg-comment b/lang/xsb/pkg-comment
new file mode 100644
index 000000000000..eec4b69ec5f4
--- /dev/null
+++ b/lang/xsb/pkg-comment
@@ -0,0 +1 @@
+A tabled Logic Programming and Deductive Database system
diff --git a/lang/xsb/pkg-descr b/lang/xsb/pkg-descr
new file mode 100644
index 000000000000..74f705ce7262
--- /dev/null
+++ b/lang/xsb/pkg-descr
@@ -0,0 +1,14 @@
+XSB is a Logic Programming and Deductive Database system for Unix and
+Windows. It is being developed at The Computer Science Department,
+SUNY Stony Brook (http://www.cs.sunysb.edu/), in collaboration with
+Katholieke Universiteit Leuven (http://www.kuleuven.ac.be/),
+Universidade Nova de Lisboa (http://www.unl.pt/), and Uppsala
+Universitet (http://www.uu.se/).
+
+One innovation of XSB is its use of tabled resolution. Tabled
+resolution is useful for recursive query computation, allowing
+programs to terminate correctly in many cases where Prolog does
+not. Users interested in Parsing, Program Analysis, Model-checking,
+Data Mining and Diagnosis may benefit from XSB.
+
+WWW: http://xsb.sourceforge.net/
diff --git a/lang/xsb/pkg-plist b/lang/xsb/pkg-plist
new file mode 100644
index 000000000000..31e4bbaa3a4d
--- /dev/null
+++ b/lang/xsb/pkg-plist
@@ -0,0 +1,1895 @@
+share/xsb
+XSB/etc/CVS/Root
+XSB/etc/CVS/Repository
+XSB/etc/CVS/Entries
+XSB/etc/CVS/Tag
+XSB/etc/images/CVS/Root
+XSB/etc/images/CVS/Repository
+XSB/etc/images/CVS/Entries
+XSB/etc/images/CVS/Tag
+XSB/etc/images/xsb-logo.eps
+XSB/etc/.cvsignore
+XSB/etc/copying.msg
+XSB/etc/help.msg
+XSB/etc/prolog.el
+XSB/bin/xsb
+XSB/bin/wxsb.bat
+XSB/config/%%MACHINE_ARCH%%-unknown-%%OPSYS%%%%OSREL%%/lib/xsb_configuration.P
+XSB/config/%%MACHINE_ARCH%%-unknown-%%OPSYS%%%%OSREL%%/lib/xsb_configuration.O
+XSB/config/%%MACHINE_ARCH%%-unknown-%%OPSYS%%%%OSREL%%/saved.o/gpp.o
+XSB/config/%%MACHINE_ARCH%%-unknown-%%OPSYS%%%%OSREL%%/saved.o/auxlry.o
+XSB/config/%%MACHINE_ARCH%%-unknown-%%OPSYS%%%%OSREL%%/saved.o/biassert.o
+XSB/config/%%MACHINE_ARCH%%-unknown-%%OPSYS%%%%OSREL%%/saved.o/builtin.o
+XSB/config/%%MACHINE_ARCH%%-unknown-%%OPSYS%%%%OSREL%%/saved.o/chat.o
+XSB/config/%%MACHINE_ARCH%%-unknown-%%OPSYS%%%%OSREL%%/saved.o/cinterf.o
+XSB/config/%%MACHINE_ARCH%%-unknown-%%OPSYS%%%%OSREL%%/saved.o/debug_xsb.o
+XSB/config/%%MACHINE_ARCH%%-unknown-%%OPSYS%%%%OSREL%%/saved.o/dis.o
+XSB/config/%%MACHINE_ARCH%%-unknown-%%OPSYS%%%%OSREL%%/saved.o/dynload.o
+XSB/config/%%MACHINE_ARCH%%-unknown-%%OPSYS%%%%OSREL%%/saved.o/dynamic_stack.o
+XSB/config/%%MACHINE_ARCH%%-unknown-%%OPSYS%%%%OSREL%%/saved.o/emuloop.o
+XSB/config/%%MACHINE_ARCH%%-unknown-%%OPSYS%%%%OSREL%%/saved.o/error_xsb.o
+XSB/config/%%MACHINE_ARCH%%-unknown-%%OPSYS%%%%OSREL%%/saved.o/findall.o
+XSB/config/%%MACHINE_ARCH%%-unknown-%%OPSYS%%%%OSREL%%/saved.o/function.o
+XSB/config/%%MACHINE_ARCH%%-unknown-%%OPSYS%%%%OSREL%%/saved.o/hash_xsb.o
+XSB/config/%%MACHINE_ARCH%%-unknown-%%OPSYS%%%%OSREL%%/saved.o/heap_xsb.o
+XSB/config/%%MACHINE_ARCH%%-unknown-%%OPSYS%%%%OSREL%%/saved.o/init_xsb.o
+XSB/config/%%MACHINE_ARCH%%-unknown-%%OPSYS%%%%OSREL%%/saved.o/inst_xsb.o
+XSB/config/%%MACHINE_ARCH%%-unknown-%%OPSYS%%%%OSREL%%/saved.o/io_builtins_xsb.o
+XSB/config/%%MACHINE_ARCH%%-unknown-%%OPSYS%%%%OSREL%%/saved.o/loader_xsb.o
+XSB/config/%%MACHINE_ARCH%%-unknown-%%OPSYS%%%%OSREL%%/saved.o/memory_xsb.o
+XSB/config/%%MACHINE_ARCH%%-unknown-%%OPSYS%%%%OSREL%%/saved.o/orient_xsb.o
+XSB/config/%%MACHINE_ARCH%%-unknown-%%OPSYS%%%%OSREL%%/saved.o/pathname_xsb.o
+XSB/config/%%MACHINE_ARCH%%-unknown-%%OPSYS%%%%OSREL%%/saved.o/private_builtin.o
+XSB/config/%%MACHINE_ARCH%%-unknown-%%OPSYS%%%%OSREL%%/saved.o/psc_xsb.o
+XSB/config/%%MACHINE_ARCH%%-unknown-%%OPSYS%%%%OSREL%%/saved.o/random_xsb.o
+XSB/config/%%MACHINE_ARCH%%-unknown-%%OPSYS%%%%OSREL%%/saved.o/residual.o
+XSB/config/%%MACHINE_ARCH%%-unknown-%%OPSYS%%%%OSREL%%/saved.o/scc_xsb.o
+XSB/config/%%MACHINE_ARCH%%-unknown-%%OPSYS%%%%OSREL%%/saved.o/slgdelay.o
+XSB/config/%%MACHINE_ARCH%%-unknown-%%OPSYS%%%%OSREL%%/saved.o/socket_xsb.o
+XSB/config/%%MACHINE_ARCH%%-unknown-%%OPSYS%%%%OSREL%%/saved.o/string_xsb.o
+XSB/config/%%MACHINE_ARCH%%-unknown-%%OPSYS%%%%OSREL%%/saved.o/struct_manager.o
+XSB/config/%%MACHINE_ARCH%%-unknown-%%OPSYS%%%%OSREL%%/saved.o/sub_delete.o
+XSB/config/%%MACHINE_ARCH%%-unknown-%%OPSYS%%%%OSREL%%/saved.o/subp.o
+XSB/config/%%MACHINE_ARCH%%-unknown-%%OPSYS%%%%OSREL%%/saved.o/system_xsb.o
+XSB/config/%%MACHINE_ARCH%%-unknown-%%OPSYS%%%%OSREL%%/saved.o/table_stats.o
+XSB/config/%%MACHINE_ARCH%%-unknown-%%OPSYS%%%%OSREL%%/saved.o/tables.o
+XSB/config/%%MACHINE_ARCH%%-unknown-%%OPSYS%%%%OSREL%%/saved.o/timer_xsb.o
+XSB/config/%%MACHINE_ARCH%%-unknown-%%OPSYS%%%%OSREL%%/saved.o/token_xsb.o
+XSB/config/%%MACHINE_ARCH%%-unknown-%%OPSYS%%%%OSREL%%/saved.o/tr_utils.o
+XSB/config/%%MACHINE_ARCH%%-unknown-%%OPSYS%%%%OSREL%%/saved.o/trace_xsb.o
+XSB/config/%%MACHINE_ARCH%%-unknown-%%OPSYS%%%%OSREL%%/saved.o/trie_lookup.o
+XSB/config/%%MACHINE_ARCH%%-unknown-%%OPSYS%%%%OSREL%%/saved.o/trie_search.o
+XSB/config/%%MACHINE_ARCH%%-unknown-%%OPSYS%%%%OSREL%%/saved.o/tries.o
+XSB/config/%%MACHINE_ARCH%%-unknown-%%OPSYS%%%%OSREL%%/saved.o/tst_insert.o
+XSB/config/%%MACHINE_ARCH%%-unknown-%%OPSYS%%%%OSREL%%/saved.o/tst_retrv.o
+XSB/config/%%MACHINE_ARCH%%-unknown-%%OPSYS%%%%OSREL%%/saved.o/tst_unify.o
+XSB/config/%%MACHINE_ARCH%%-unknown-%%OPSYS%%%%OSREL%%/saved.o/tst_utils.o
+XSB/config/%%MACHINE_ARCH%%-unknown-%%OPSYS%%%%OSREL%%/saved.o/varstring.o
+XSB/config/%%MACHINE_ARCH%%-unknown-%%OPSYS%%%%OSREL%%/saved.o/xsb.o
+XSB/config/%%MACHINE_ARCH%%-unknown-%%OPSYS%%%%OSREL%%/saved.o/main_xsb.o
+XSB/config/%%MACHINE_ARCH%%-unknown-%%OPSYS%%%%OSREL%%/bin/xsb
+XSB/config/%%MACHINE_ARCH%%-unknown-%%OPSYS%%%%OSREL%%/bin/gpp
+XSB/config/%%MACHINE_ARCH%%-unknown-%%OPSYS%%%%OSREL%%/modMakefile
+XSB/config/%%MACHINE_ARCH%%-unknown-%%OPSYS%%%%OSREL%%/gppMakefile
+XSB/config/%%MACHINE_ARCH%%-unknown-%%OPSYS%%%%OSREL%%/smoMakefile
+XSB/config/%%MACHINE_ARCH%%-unknown-%%OPSYS%%%%OSREL%%/banner.msg
+XSB/config/%%MACHINE_ARCH%%-unknown-%%OPSYS%%%%OSREL%%/MSVC_mkfile.mak
+XSB/config/%%MACHINE_ARCH%%-unknown-%%OPSYS%%%%OSREL%%/xsb_config.h
+XSB/config/%%MACHINE_ARCH%%-unknown-%%OPSYS%%%%OSREL%%/xsb_debug.h
+XSB/config/%%MACHINE_ARCH%%-unknown-%%OPSYS%%%%OSREL%%/config.cache
+XSB/config/%%MACHINE_ARCH%%-unknown-%%OPSYS%%%%OSREL%%/Installation_summary
+XSB/config/%%MACHINE_ARCH%%-unknown-%%OPSYS%%%%OSREL%%/topMakefile
+XSB/config/%%MACHINE_ARCH%%-unknown-%%OPSYS%%%%OSREL%%/emuMakefile
+XSB/examples/c_calling_XSB/CVS/Root
+XSB/examples/c_calling_XSB/CVS/Repository
+XSB/examples/c_calling_XSB/CVS/Entries
+XSB/examples/c_calling_XSB/CVS/Tag
+XSB/examples/c_calling_XSB/.cvsignore
+XSB/examples/c_calling_XSB/Makefile
+XSB/examples/c_calling_XSB/README
+XSB/examples/c_calling_XSB/cmain.c
+XSB/examples/c_calling_XSB/cmain.mak
+XSB/examples/c_calling_XSB/cmain2.c
+XSB/examples/c_calling_XSB/ctest.P
+XSB/examples/c_calling_XSB/make.P
+XSB/examples/CVS/Root
+XSB/examples/CVS/Repository
+XSB/examples/CVS/Entries
+XSB/examples/CVS/Tag
+XSB/examples/XSB_calling_c/CVS/Root
+XSB/examples/XSB_calling_c/CVS/Repository
+XSB/examples/XSB_calling_c/CVS/Entries
+XSB/examples/XSB_calling_c/CVS/Tag
+XSB/examples/XSB_calling_c/.cvsignore
+XSB/examples/XSB_calling_c/MakefileForCreatingDLLs
+XSB/examples/XSB_calling_c/file_expand.H
+XSB/examples/XSB_calling_c/file_expand.c
+XSB/examples/XSB_calling_c/hello.H
+XSB/examples/XSB_calling_c/hello.c
+XSB/examples/XSB_calling_c/second_foreign.H
+XSB/examples/XSB_calling_c/second_foreign.c
+XSB/examples/XSB_calling_c/second_foreign.mak
+XSB/examples/XSB_calling_c/simple_foreign.H
+XSB/examples/XSB_calling_c/simple_foreign.c
+XSB/examples/XSB_calling_c/simple_foreign.mak
+XSB/examples/xmc/Sieve/CVS/Root
+XSB/examples/xmc/Sieve/CVS/Repository
+XSB/examples/xmc/Sieve/CVS/Entries
+XSB/examples/xmc/Sieve/CVS/Tag
+XSB/examples/xmc/Sieve/.cvsignore
+XSB/examples/xmc/Sieve/sieve.xl
+XSB/examples/xmc/Sieve/test.sh
+XSB/examples/xmc/Sieve/test_new
+XSB/examples/xmc/Sieve/test_old
+XSB/examples/xmc/Sieve/test.P
+XSB/examples/xmc/ABP/CVS/Root
+XSB/examples/xmc/ABP/CVS/Repository
+XSB/examples/xmc/ABP/CVS/Entries
+XSB/examples/xmc/ABP/CVS/Tag
+XSB/examples/xmc/ABP/.cvsignore
+XSB/examples/xmc/ABP/abp.xl
+XSB/examples/xmc/ABP/buggyabp.xl
+XSB/examples/xmc/ABP/test.P
+XSB/examples/xmc/ABP/test.sh
+XSB/examples/xmc/ABP/test_new
+XSB/examples/xmc/ABP/test_old
+XSB/examples/xmc/CVS/Root
+XSB/examples/xmc/CVS/Repository
+XSB/examples/xmc/CVS/Entries
+XSB/examples/xmc/CVS/Tag
+XSB/examples/xmc/Iproto/CVS/Root
+XSB/examples/xmc/Iproto/CVS/Repository
+XSB/examples/xmc/Iproto/CVS/Entries
+XSB/examples/xmc/Iproto/CVS/Tag
+XSB/examples/xmc/Iproto/.cvsignore
+XSB/examples/xmc/Iproto/i.xl
+XSB/examples/xmc/Iproto/test.sh
+XSB/examples/xmc/Iproto/test_new
+XSB/examples/xmc/Iproto/test_old
+XSB/examples/xmc/Iproto/test.P
+XSB/examples/xmc/Rether/CVS/Root
+XSB/examples/xmc/Rether/CVS/Repository
+XSB/examples/xmc/Rether/CVS/Entries
+XSB/examples/xmc/Rether/CVS/Tag
+XSB/examples/xmc/Rether/.cvsignore
+XSB/examples/xmc/Rether/rether.xl
+XSB/examples/xmc/Rether/test.sh
+XSB/examples/xmc/Rether/test_new
+XSB/examples/xmc/Rether/test_old
+XSB/examples/xmc/Rether/test.P
+XSB/examples/xmc/Metalock/CVS/Root
+XSB/examples/xmc/Metalock/CVS/Repository
+XSB/examples/xmc/Metalock/CVS/Entries
+XSB/examples/xmc/Metalock/CVS/Tag
+XSB/examples/xmc/Metalock/.cvsignore
+XSB/examples/xmc/Metalock/metalock.xl
+XSB/examples/xmc/Metalock/nomutext_out
+XSB/examples/xmc/Metalock/test.P
+XSB/examples/xmc/Metalock/test.sh
+XSB/examples/xmc/Metalock/test_new
+XSB/examples/xmc/Metalock/test_old
+XSB/examples/xmc/Leader/CVS/Root
+XSB/examples/xmc/Leader/CVS/Repository
+XSB/examples/xmc/Leader/CVS/Entries
+XSB/examples/xmc/Leader/CVS/Tag
+XSB/examples/xmc/Leader/.cvsignore
+XSB/examples/xmc/Leader/leader.xl
+XSB/examples/xmc/Leader/test.sh
+XSB/examples/xmc/Leader/test_new
+XSB/examples/xmc/Leader/test_old
+XSB/examples/xmc/Leader/test.P
+XSB/examples/xmc/Tests/CVS/Root
+XSB/examples/xmc/Tests/CVS/Repository
+XSB/examples/xmc/Tests/CVS/Entries
+XSB/examples/xmc/Tests/CVS/Tag
+XSB/examples/xmc/Tests/.cvsignore
+XSB/examples/xmc/Tests/temp.P
+XSB/examples/xmc/Tests/test1.xl
+XSB/examples/xmc/Tests/test2.xl
+XSB/examples/xmc/Tests/test3.xl
+XSB/examples/xmc/testsuite.sh
+XSB/examples/xmc/testall.sh
+XSB/examples/xmc/test.P
+XSB/examples/xmc/gentest.sh
+XSB/examples/xmc/.cvsignore
+XSB/examples/libwww/CVS/Root
+XSB/examples/libwww/CVS/Repository
+XSB/examples/libwww/CVS/Entries
+XSB/examples/libwww/CVS/Tag
+XSB/examples/libwww/files/CVS/Root
+XSB/examples/libwww/files/CVS/Repository
+XSB/examples/libwww/files/CVS/Entries
+XSB/examples/libwww/files/CVS/Tag
+XSB/examples/libwww/files/simple.html
+XSB/examples/libwww/files/001.ent
+XSB/examples/libwww/files/ex2.rdf
+XSB/examples/libwww/files/REC-xml-19980210.xml
+XSB/examples/libwww/files/ex3.rdf
+XSB/examples/libwww/files/ex4.rdf
+XSB/examples/libwww/files/ex5.rdf
+XSB/examples/libwww/files/ex6.rdf
+XSB/examples/libwww/files/ex7.rdf
+XSB/examples/libwww/files/newsday1.html
+XSB/examples/libwww/files/simple.xml
+XSB/examples/libwww/files/simple1.xml
+XSB/examples/libwww/files/simple2.html
+XSB/examples/libwww/files/simple_wrong.xml
+XSB/examples/libwww/files/team-2.rdf
+XSB/examples/libwww/files/test1.html
+XSB/examples/libwww/files/test2.html
+XSB/examples/libwww/files/w3c.html
+XSB/examples/libwww/files/w3c1.html
+XSB/examples/libwww/.cvsignore
+XSB/examples/libwww/testsuite.P
+XSB/examples/socket/select/CVS/Root
+XSB/examples/socket/select/CVS/Repository
+XSB/examples/socket/select/CVS/Entries
+XSB/examples/socket/select/CVS/Tag
+XSB/examples/socket/select/.cvsignore
+XSB/examples/socket/select/auxdefs.P
+XSB/examples/socket/select/msgclient.P
+XSB/examples/socket/select/msgclient2.P
+XSB/examples/socket/select/msgserver.P
+XSB/examples/socket/select/msgserver2.P
+XSB/examples/socket/select/readclient.P
+XSB/examples/socket/select/readclient2.P
+XSB/examples/socket/select/readserver.P
+XSB/examples/socket/select/readserver2.P
+XSB/examples/socket/select/writeclient.P
+XSB/examples/socket/select/writeclient2.P
+XSB/examples/socket/select/writeserver.P
+XSB/examples/socket/select/writeserver2.P
+XSB/examples/socket/CVS/Root
+XSB/examples/socket/CVS/Repository
+XSB/examples/socket/CVS/Entries
+XSB/examples/socket/CVS/Tag
+XSB/examples/socket/auxdefs.P
+XSB/examples/socket/msgclient.P
+XSB/examples/socket/msgserver.P
+XSB/examples/socket/putclient.P
+XSB/examples/socket/putserver.P
+XSB/examples/socket/streamclient.P
+XSB/examples/socket/streamserver.P
+XSB/examples/socket/.cvsignore
+XSB/examples/subprocess/CVS/Root
+XSB/examples/subprocess/CVS/Repository
+XSB/examples/subprocess/CVS/Entries
+XSB/examples/subprocess/CVS/Tag
+XSB/examples/subprocess/.cvsignore
+XSB/examples/subprocess/child.P
+XSB/examples/subprocess/child2.P
+XSB/examples/subprocess/parent.P
+XSB/examples/subprocess/parent2.P
+XSB/examples/farmer.P
+XSB/examples/fib.P
+XSB/examples/first.P
+XSB/examples/gap.P
+XSB/examples/ham.H
+XSB/examples/ham.P
+XSB/examples/houses.H
+XSB/examples/houses.P
+XSB/examples/lips_mega.H
+XSB/examples/lips_mega.P
+XSB/examples/mandel.H
+XSB/examples/mandel.P
+XSB/examples/map.H
+XSB/examples/map.P
+XSB/examples/nrev.H
+XSB/examples/nrev.P
+XSB/examples/ora_demo.P
+XSB/examples/parser.P
+XSB/examples/ptq.P
+XSB/examples/ptq_examples.P
+XSB/examples/ptq_utils.P
+XSB/examples/ptqlex.P
+XSB/examples/qsort.P
+XSB/examples/queens.H
+XSB/examples/queens.P
+XSB/examples/shortest_path.P
+XSB/examples/table_examples.P
+XSB/examples/tree1k.P
+XSB/examples/wfs.P
+XSB/examples/wf_examples.P
+XSB/examples/.cvsignore
+XSB/examples/Makefile
+XSB/examples/README
+XSB/examples/cyl.P
+XSB/examples/dyn_examples.P
+XSB/examples/farmer.H
+XSB/docs/userman/manual1.ps
+XSB/docs/userman/manual2.ps
+XSB/packages/regmatch/CVS/Root
+XSB/packages/regmatch/CVS/Repository
+XSB/packages/regmatch/CVS/Entries
+XSB/packages/regmatch/CVS/Tag
+XSB/packages/regmatch/cc/CVS/Root
+XSB/packages/regmatch/cc/CVS/Repository
+XSB/packages/regmatch/cc/CVS/Entries
+XSB/packages/regmatch/cc/CVS/Tag
+XSB/packages/regmatch/cc/xsb_re_match.H
+XSB/packages/regmatch/cc/.cvsignore
+XSB/packages/regmatch/cc/NMakefile.mak
+XSB/packages/regmatch/cc/xsb_re_match.c
+XSB/packages/regmatch/cc/xsb_re_match.O
+XSB/packages/regmatch/.cvsignore
+XSB/packages/regmatch/Makefile
+XSB/packages/regmatch/regmtchconfig.P
+XSB/packages/regmatch/regmtchconfig.O
+XSB/packages/xsbdoc/CVS/Root
+XSB/packages/xsbdoc/CVS/Repository
+XSB/packages/xsbdoc/CVS/Entries
+XSB/packages/xsbdoc/CVS/Tag
+XSB/packages/xsbdoc/.cvsignore
+XSB/packages/xsbdoc/basic_props.P
+XSB/packages/xsbdoc/full_ciao_ops.P
+XSB/packages/xsbdoc/pretty_print.P
+XSB/packages/xsbdoc/usage_message.P
+XSB/packages/xmc/GUI/CVS/Root
+XSB/packages/xmc/GUI/CVS/Repository
+XSB/packages/xmc/GUI/CVS/Entries
+XSB/packages/xmc/GUI/CVS/Tag
+XSB/packages/xmc/GUI/close.bmp
+XSB/packages/xmc/GUI/false.gif
+XSB/packages/xmc/GUI/mck.tcl
+XSB/packages/xmc/GUI/mclistbox.tcl
+XSB/packages/xmc/GUI/node.bmp
+XSB/packages/xmc/GUI/open.bmp
+XSB/packages/xmc/GUI/tcl_interface.P
+XSB/packages/xmc/GUI/true.gif
+XSB/packages/xmc/GUI/xmc.tcl
+XSB/packages/xmc/GUI/xsb_interface.tcl
+XSB/packages/xmc/CVS/Root
+XSB/packages/xmc/CVS/Repository
+XSB/packages/xmc/CVS/Entries
+XSB/packages/xmc/CVS/Tag
+XSB/packages/xmc/Makefile
+XSB/packages/xmc/README
+XSB/packages/xmc/annot.P
+XSB/packages/xmc/attr.h
+XSB/packages/xmc/ccs.P
+XSB/packages/xmc/comp.H
+XSB/packages/xmc/comp.P
+XSB/packages/xmc/comp1.P
+XSB/packages/xmc/comp2.P
+XSB/packages/xmc/count.H
+XSB/packages/xmc/count.P
+XSB/packages/xmc/driver.c
+XSB/packages/xmc/formula.H
+XSB/packages/xmc/formula.P
+XSB/packages/xmc/gui.H
+XSB/packages/xmc/gui.P
+XSB/packages/xmc/justify.H
+XSB/packages/xmc/justify.P
+XSB/packages/xmc/lex.yy.c
+XSB/packages/xmc/main.c
+XSB/packages/xmc/models_rule.P
+XSB/packages/xmc/mucalculus.H
+XSB/packages/xmc/mucalculus.P
+XSB/packages/xmc/navigate.H
+XSB/packages/xmc/navigate.P
+XSB/packages/xmc/quad.H
+XSB/packages/xmc/quad.P
+XSB/packages/xmc/reader.P
+XSB/packages/xmc/runlib.P
+XSB/packages/xmc/script.P
+XSB/packages/xmc/setpath.P
+XSB/packages/xmc/simgui.H
+XSB/packages/xmc/simgui.P
+XSB/packages/xmc/stdtype.P
+XSB/packages/xmc/tcl_interface.H
+XSB/packages/xmc/tcl_interface.P
+XSB/packages/xmc/trans.H
+XSB/packages/xmc/trans.P
+XSB/packages/xmc/typecheck.H
+XSB/packages/xmc/typecheck.P
+XSB/packages/xmc/util.H
+XSB/packages/xmc/util.P
+XSB/packages/xmc/xl.l
+XSB/packages/xmc/xl.tab.c
+XSB/packages/xmc/xl.tab.h
+XSB/packages/xmc/xl.y
+XSB/packages/xmc/xlparse.H
+XSB/packages/xmc/xlparse.c
+XSB/packages/xmc/xmc.H
+XSB/packages/xmc/xmc.P
+XSB/packages/xmc/xmc-gui
+XSB/packages/xmc/driver.o
+XSB/packages/xmc/main.o
+XSB/packages/xmc/xl.tab.o
+XSB/packages/xmc/lex.yy.o
+XSB/packages/xmc/parse
+XSB/packages/xmc/libxlp.a
+XSB/packages/xmc/xlparse.O
+XSB/packages/xmc/xlparse.so
+XSB/packages/xmc/comp.O
+XSB/packages/xmc/count.O
+XSB/packages/xmc/formula.O
+XSB/packages/xmc/mucalculus.O
+XSB/packages/xmc/quad.O
+XSB/packages/xmc/typecheck.O
+XSB/packages/xmc/util.O
+XSB/packages/xmc/xmc.O
+XSB/packages/xmc/justify.O
+XSB/packages/xmc/navigate.O
+XSB/packages/xmc/gui.O
+XSB/packages/xmc/.cvsignore
+XSB/packages/wildmatch/CVS/Root
+XSB/packages/wildmatch/CVS/Repository
+XSB/packages/wildmatch/CVS/Entries
+XSB/packages/wildmatch/CVS/Tag
+XSB/packages/wildmatch/cc/CVS/Root
+XSB/packages/wildmatch/cc/CVS/Repository
+XSB/packages/wildmatch/cc/CVS/Entries
+XSB/packages/wildmatch/cc/CVS/Tag
+XSB/packages/wildmatch/cc/xsb_wildmatch.H
+XSB/packages/wildmatch/cc/.cvsignore
+XSB/packages/wildmatch/cc/NMakefile.mak
+XSB/packages/wildmatch/cc/xsb_wildmatch.c
+XSB/packages/wildmatch/cc/xsb_wildmatch.O
+XSB/packages/wildmatch/.cvsignore
+XSB/packages/wildmatch/Makefile
+XSB/packages/wildmatch/wldmtchconfig.P
+XSB/packages/wildmatch/wldmtchconfig.O
+XSB/packages/slx/CVS/Root
+XSB/packages/slx/CVS/Repository
+XSB/packages/slx/CVS/Entries
+XSB/packages/slx/CVS/Tag
+XSB/packages/slx/.cvsignore
+XSB/packages/slx/Makefile
+XSB/packages/slx/slxshell.P
+XSB/packages/slx/slxshell.O
+XSB/packages/sModels/CVS/Root
+XSB/packages/sModels/CVS/Repository
+XSB/packages/sModels/CVS/Entries
+XSB/packages/sModels/CVS/Tag
+XSB/packages/sModels/Makefile
+XSB/packages/sModels/.cvsignore
+XSB/packages/sModels/ex7num.H
+XSB/packages/sModels/ex7num.P
+XSB/packages/sModels/example3_1.H
+XSB/packages/sModels/example3_1.P
+XSB/packages/sModels/example7.H
+XSB/packages/sModels/example7.P
+XSB/packages/sModels/makelinks.sh
+XSB/packages/sModels/smodels.H
+XSB/packages/sModels/smodels.c
+XSB/packages/sModels/smodelsint.H
+XSB/packages/sModels/smodelsint.P
+XSB/packages/sModels/smodelsops.H
+XSB/packages/sModels/smodelsops.P
+XSB/packages/sModels/teste.H
+XSB/packages/sModels/teste.P
+XSB/packages/clpqr/CVS/Root
+XSB/packages/clpqr/CVS/Repository
+XSB/packages/clpqr/CVS/Entries
+XSB/packages/clpqr/CVS/Tag
+XSB/packages/clpqr/.cvsignore
+XSB/packages/clpqr/LICENSE
+XSB/packages/clpqr/Makefile
+XSB/packages/clpqr/arith.P
+XSB/packages/clpqr/arith_r.P
+XSB/packages/clpqr/bb.P
+XSB/packages/clpqr/bv.P
+XSB/packages/clpqr/class.P
+XSB/packages/clpqr/clpr.P
+XSB/packages/clpqr/compenv.P
+XSB/packages/clpqr/dump.P
+XSB/packages/clpqr/expand.P
+XSB/packages/clpqr/fourmotz.P
+XSB/packages/clpqr/geler.P
+XSB/packages/clpqr/ineq.P
+XSB/packages/clpqr/itf3.P
+XSB/packages/clpqr/monash.P
+XSB/packages/clpqr/nf.P
+XSB/packages/clpqr/nfr.P
+XSB/packages/clpqr/ordering.P
+XSB/packages/clpqr/printf.P
+XSB/packages/clpqr/project.P
+XSB/packages/clpqr/redund.P
+XSB/packages/clpqr/store.P
+XSB/packages/clpqr/arith.O
+XSB/packages/clpqr/arith_r.O
+XSB/packages/clpqr/bv.O
+XSB/packages/clpqr/class.O
+XSB/packages/clpqr/clpr.O
+XSB/packages/clpqr/ineq.O
+XSB/packages/clpqr/itf3.O
+XSB/packages/clpqr/fourmotz.O
+XSB/packages/clpqr/nf.O
+XSB/packages/clpqr/ordering.O
+XSB/packages/clpqr/project.O
+XSB/packages/clpqr/redund.O
+XSB/packages/clpqr/store.O
+XSB/packages/clpqr/dump.O
+XSB/packages/perlmatch/cc/CVS/Root
+XSB/packages/perlmatch/cc/CVS/Repository
+XSB/packages/perlmatch/cc/CVS/Entries
+XSB/packages/perlmatch/cc/CVS/Tag
+XSB/packages/perlmatch/cc/xsbpattern.H
+XSB/packages/perlmatch/cc/.cvsignore
+XSB/packages/perlmatch/cc/perlpattern.c
+XSB/packages/perlmatch/cc/xsbpattern.c
+XSB/packages/perlmatch/cc/xsbpattern.O
+XSB/packages/perlmatch/cc/interface.h
+XSB/packages/perlmatch/CVS/Root
+XSB/packages/perlmatch/CVS/Repository
+XSB/packages/perlmatch/CVS/Entries
+XSB/packages/perlmatch/CVS/Tag
+XSB/packages/perlmatch/Makefile
+XSB/packages/perlmatch/plmchconfig.P
+XSB/packages/perlmatch/plmchshell.P
+XSB/packages/perlmatch/plmchconfig.O
+XSB/packages/perlmatch/plmchshell.O
+XSB/packages/perlmatch/.cvsignore
+XSB/packages/libwww/cc/CVS/Root
+XSB/packages/libwww/cc/CVS/Repository
+XSB/packages/libwww/cc/CVS/Entries
+XSB/packages/libwww/cc/CVS/Tag
+XSB/packages/libwww/cc/.cvsignore
+XSB/packages/libwww/cc/NMakefile.mak
+XSB/packages/libwww/cc/libwww_parse.h
+XSB/packages/libwww/cc/libwww_parse_html.c
+XSB/packages/libwww/cc/libwww_parse_html.h
+XSB/packages/libwww/cc/libwww_parse_rdf.c
+XSB/packages/libwww/cc/libwww_parse_rdf.h
+XSB/packages/libwww/cc/libwww_parse_xml.c
+XSB/packages/libwww/cc/libwww_parse_xml.h
+XSB/packages/libwww/cc/libwww_req.h
+XSB/packages/libwww/cc/libwww_request.c
+XSB/packages/libwww/cc/libwww_util.h
+XSB/packages/libwww/CVS/Root
+XSB/packages/libwww/CVS/Repository
+XSB/packages/libwww/CVS/Entries
+XSB/packages/libwww/CVS/Tag
+XSB/packages/libwww/Makefile
+XSB/packages/libwww/configure
+XSB/packages/libwww/configure.in
+XSB/packages/libwww/http_liberr.P
+XSB/packages/libwww/libwww_init.in
+XSB/packages/libwww/libwwwconfig.P
+XSB/packages/libwww/config.log
+XSB/packages/libwww/config.cache
+XSB/packages/libwww/Installation_summary
+XSB/packages/libwww/config.status
+XSB/packages/libwww/libwwwconfig.O
+XSB/packages/libwww/libwww_init.P
+XSB/packages/libwww/libwww_init.O
+XSB/packages/libwww/.cvsignore
+XSB/packages/CVS/Root
+XSB/packages/CVS/Repository
+XSB/packages/CVS/Entries
+XSB/packages/CVS/Tag
+XSB/packages/flora2/lib/CVS/Root
+XSB/packages/flora2/lib/CVS/Repository
+XSB/packages/flora2/lib/CVS/Entries
+XSB/packages/flora2/lib/CVS/Tag
+XSB/packages/flora2/lib/.cvsignore
+XSB/packages/flora2/lib/Makefile
+XSB/packages/flora2/lib/NMakefile.mak
+XSB/packages/flora2/lib/README
+XSB/packages/flora2/lib/flrio.flr
+XSB/packages/flora2/lib/flrprettyprint.flr
+XSB/packages/flora2/lib/flrprettyprint.P
+XSB/packages/flora2/lib/flrio.P
+XSB/packages/flora2/lib/flrprettyprint_pp.O
+XSB/packages/flora2/lib/flrio_io.O
+XSB/packages/flora2/debugger/CVS/Root
+XSB/packages/flora2/debugger/CVS/Repository
+XSB/packages/flora2/debugger/CVS/Entries
+XSB/packages/flora2/debugger/CVS/Tag
+XSB/packages/flora2/debugger/.cvsignore
+XSB/packages/flora2/debugger/Makefile
+XSB/packages/flora2/debugger/NMakefile.mak
+XSB/packages/flora2/debugger/dynamic_data.in
+XSB/packages/flora2/debugger/flrdebugger.P
+XSB/packages/flora2/debugger/static_data.in
+XSB/packages/flora2/debugger/static_data.dat
+XSB/packages/flora2/debugger/flrdebugger.O
+XSB/packages/flora2/debugger/dynamic_data.dat
+XSB/packages/flora2/docs/CVS/Root
+XSB/packages/flora2/docs/CVS/Repository
+XSB/packages/flora2/docs/CVS/Entries
+XSB/packages/flora2/docs/CVS/Tag
+XSB/packages/flora2/docs/.cvsignore
+XSB/packages/flora2/docs/architecture.eps
+XSB/packages/flora2/docs/architecture.fig
+XSB/packages/flora2/docs/architecture.jpg
+XSB/packages/flora2/docs/flora2.tex
+XSB/packages/flora2/emacs/CVS/Root
+XSB/packages/flora2/emacs/CVS/Repository
+XSB/packages/flora2/emacs/CVS/Entries
+XSB/packages/flora2/emacs/CVS/Tag
+XSB/packages/flora2/emacs/.cvsignore
+XSB/packages/flora2/emacs/README
+XSB/packages/flora2/emacs/flora.el
+XSB/packages/flora2/flrincludes/CVS/Root
+XSB/packages/flora2/flrincludes/CVS/Repository
+XSB/packages/flora2/flrincludes/CVS/Entries
+XSB/packages/flora2/flrincludes/CVS/Tag
+XSB/packages/flora2/flrincludes/flora_errors.flh
+XSB/packages/flora2/flrincludes/flora_prefix.flh
+XSB/packages/flora2/flrincludes/flora_terms.flh
+XSB/packages/flora2/genincludes/CVS/Root
+XSB/packages/flora2/genincludes/CVS/Repository
+XSB/packages/flora2/genincludes/CVS/Entries
+XSB/packages/flora2/genincludes/CVS/Tag
+XSB/packages/flora2/genincludes/.cvsignore
+XSB/packages/flora2/genincludes/Makefile
+XSB/packages/flora2/genincludes/README
+XSB/packages/flora2/genincludes/flrpatch.fli
+XSB/packages/flora2/genincludes/flrpatch.flh
+XSB/packages/flora2/genincludes/NMakefile.mak
+XSB/packages/flora2/headerinc/CVS/Root
+XSB/packages/flora2/headerinc/CVS/Repository
+XSB/packages/flora2/headerinc/CVS/Entries
+XSB/packages/flora2/headerinc/CVS/Tag
+XSB/packages/flora2/headerinc/flrdefinition_inc.flh
+XSB/packages/flora2/headerinc/flreqltrailer_inc.flh
+XSB/packages/flora2/headerinc/flrpatch_inc.flh
+XSB/packages/flora2/headerinc/flrscalareql_inc.flh
+XSB/packages/flora2/headerinc/flrtrailer_inc.flh
+XSB/packages/flora2/headerinc/flrheader_inc.flh
+XSB/packages/flora2/includes/CVS/Root
+XSB/packages/flora2/includes/CVS/Repository
+XSB/packages/flora2/includes/CVS/Entries
+XSB/packages/flora2/includes/CVS/Tag
+XSB/packages/flora2/includes/flrdefinition.flh
+XSB/packages/flora2/includes/flrheader.flh
+XSB/packages/flora2/closure/includes/CVS/Root
+XSB/packages/flora2/closure/includes/CVS/Repository
+XSB/packages/flora2/closure/includes/CVS/Entries
+XSB/packages/flora2/closure/includes/CVS/Tag
+XSB/packages/flora2/closure/includes/flrpred.fli
+XSB/packages/flora2/closure/CVS/Root
+XSB/packages/flora2/closure/CVS/Repository
+XSB/packages/flora2/closure/CVS/Entries
+XSB/packages/flora2/closure/CVS/Tag
+XSB/packages/flora2/closure/Makefile
+XSB/packages/flora2/closure/NMakefile.mak
+XSB/packages/flora2/closure/README
+XSB/packages/flora2/closure/flrcommon.fli
+XSB/packages/flora2/closure/flreqltrailer.fli
+XSB/packages/flora2/closure/flrscalareql.fli
+XSB/packages/flora2/closure/flrtrailer.fli
+XSB/packages/flora2/closure/flrcommon.flh
+XSB/packages/flora2/closure/flrtrailer.flh
+XSB/packages/flora2/closure/flreqltrailer.flh
+XSB/packages/flora2/closure/flrscalareql.flh
+XSB/packages/flora2/closure/.cvsignore
+XSB/packages/flora2/libinc/CVS/Root
+XSB/packages/flora2/libinc/CVS/Repository
+XSB/packages/flora2/libinc/CVS/Entries
+XSB/packages/flora2/libinc/CVS/Tag
+XSB/packages/flora2/libinc/flrio_inc.flh
+XSB/packages/flora2/libinc/flrprettyprint_inc.flh
+XSB/packages/flora2/p2h/CVS/Root
+XSB/packages/flora2/p2h/CVS/Repository
+XSB/packages/flora2/p2h/CVS/Entries
+XSB/packages/flora2/p2h/CVS/Tag
+XSB/packages/flora2/p2h/p2h_config.O
+XSB/packages/flora2/p2h/.cvsignore
+XSB/packages/flora2/p2h/Makefile
+XSB/packages/flora2/p2h/NMakefile.mak
+XSB/packages/flora2/p2h/p2h_config.P
+XSB/packages/flora2/p2h/prolog2hilog.H
+XSB/packages/flora2/p2h/prolog2hilog.c
+XSB/packages/flora2/p2h/prolog2hilog.dll
+XSB/packages/flora2/p2h/prolog2hilog.exp
+XSB/packages/flora2/p2h/prolog2hilog.lib
+XSB/packages/flora2/pkgs/CVS/Root
+XSB/packages/flora2/pkgs/CVS/Repository
+XSB/packages/flora2/pkgs/CVS/Entries
+XSB/packages/flora2/pkgs/CVS/Tag
+XSB/packages/flora2/pkgs/.cvsignore
+XSB/packages/flora2/pkgs/Makefile
+XSB/packages/flora2/pkgs/NMakefile.mak
+XSB/packages/flora2/syslib/CVS/Root
+XSB/packages/flora2/syslib/CVS/Repository
+XSB/packages/flora2/syslib/CVS/Entries
+XSB/packages/flora2/syslib/CVS/Tag
+XSB/packages/flora2/syslib/.cvsignore
+XSB/packages/flora2/syslib/CompileChangedFiles.sh
+XSB/packages/flora2/syslib/Makefile
+XSB/packages/flora2/syslib/NMakefile.mak
+XSB/packages/flora2/syslib/README
+XSB/packages/flora2/syslib/flraggavg.P
+XSB/packages/flora2/syslib/flraggcolbag.P
+XSB/packages/flora2/syslib/flraggcolset.P
+XSB/packages/flora2/syslib/flraggcount.P
+XSB/packages/flora2/syslib/flraggmax.P
+XSB/packages/flora2/syslib/flraggmin.P
+XSB/packages/flora2/syslib/flraggsum.P
+XSB/packages/flora2/syslib/flranswer.P
+XSB/packages/flora2/syslib/flrbtdbop.P
+XSB/packages/flora2/syslib/flrcontrol.H
+XSB/packages/flora2/syslib/flrcontrol.P
+XSB/packages/flora2/syslib/flrdbop.P
+XSB/packages/flora2/syslib/flrdisplay.P
+XSB/packages/flora2/syslib/flrdynmod.P
+XSB/packages/flora2/syslib/flrequality.P
+XSB/packages/flora2/syslib/flrexpunge.P
+XSB/packages/flora2/syslib/flrimport.H
+XSB/packages/flora2/syslib/flrimport.P
+XSB/packages/flora2/syslib/flrload.P
+XSB/packages/flora2/syslib/flrmetaops.P
+XSB/packages/flora2/syslib/flrshdirect.P
+XSB/packages/flora2/syslib/flrstorage.P
+XSB/packages/flora2/syslib/flranswer.O
+XSB/packages/flora2/syslib/flrcontrol.O
+XSB/packages/flora2/syslib/flrdisplay.O
+XSB/packages/flora2/syslib/flrload.O
+XSB/packages/flora2/syslib/flraggavg.O
+XSB/packages/flora2/syslib/flraggcolbag.O
+XSB/packages/flora2/syslib/flraggcolset.O
+XSB/packages/flora2/syslib/flraggcount.O
+XSB/packages/flora2/syslib/flraggmax.O
+XSB/packages/flora2/syslib/flraggmin.O
+XSB/packages/flora2/syslib/flraggsum.O
+XSB/packages/flora2/syslib/flrstorage.O
+XSB/packages/flora2/syslib/flrdbop.O
+XSB/packages/flora2/syslib/flrbtdbop.O
+XSB/packages/flora2/syslib/flrshdirect.O
+XSB/packages/flora2/syslib/flrdynmod.O
+XSB/packages/flora2/syslib/flrequality.O
+XSB/packages/flora2/syslib/flrimport.O
+XSB/packages/flora2/syslib/flrexpunge.O
+XSB/packages/flora2/syslibinc/CVS/Root
+XSB/packages/flora2/syslibinc/CVS/Repository
+XSB/packages/flora2/syslibinc/CVS/Entries
+XSB/packages/flora2/syslibinc/CVS/Tag
+XSB/packages/flora2/syslibinc/README
+XSB/packages/flora2/syslibinc/flrabolish_inc.flh
+XSB/packages/flora2/syslibinc/flraggavg_inc.flh
+XSB/packages/flora2/syslibinc/flraggcolbag_inc.flh
+XSB/packages/flora2/syslibinc/flraggcolset_inc.flh
+XSB/packages/flora2/syslibinc/flraggcount_inc.flh
+XSB/packages/flora2/syslibinc/flraggmax_inc.flh
+XSB/packages/flora2/syslibinc/flraggmin_inc.flh
+XSB/packages/flora2/syslibinc/flraggsum_inc.flh
+XSB/packages/flora2/syslibinc/flranswer_inc.flh
+XSB/packages/flora2/syslibinc/flrbtdbop_inc.flh
+XSB/packages/flora2/syslibinc/flrcontrol_inc.flh
+XSB/packages/flora2/syslibinc/flrdbop_inc.flh
+XSB/packages/flora2/syslibinc/flrdynmod_inc.flh
+XSB/packages/flora2/syslibinc/flrequality_inc.flh
+XSB/packages/flora2/syslibinc/flrexpunge_inc.flh
+XSB/packages/flora2/syslibinc/flrload_inc.flh
+XSB/packages/flora2/syslibinc/flrmetaops_inc.flh
+XSB/packages/flora2/syslibinc/flrshdirect_inc.flh
+XSB/packages/flora2/trailer/CVS/Root
+XSB/packages/flora2/trailer/CVS/Repository
+XSB/packages/flora2/trailer/CVS/Entries
+XSB/packages/flora2/trailer/CVS/Tag
+XSB/packages/flora2/trailer/.cvsignore
+XSB/packages/flora2/trailer/Makefile
+XSB/packages/flora2/trailer/NMakefile.mak
+XSB/packages/flora2/trailer/README
+XSB/packages/flora2/trailer/standard.P
+XSB/packages/flora2/trailer/standard.O
+XSB/packages/flora2/trailer/eqlbasic.P
+XSB/packages/flora2/trailer/eqlbasic.O
+XSB/packages/flora2/trailer/eqlflogic.P
+XSB/packages/flora2/trailer/eqlflogic.O
+XSB/packages/flora2/trailer/patch.P
+XSB/packages/flora2/trailer/patch.O
+XSB/packages/flora2/demos/CVS/Root
+XSB/packages/flora2/demos/CVS/Repository
+XSB/packages/flora2/demos/CVS/Entries
+XSB/packages/flora2/demos/CVS/Tag
+XSB/packages/flora2/demos/.cvsignore
+XSB/packages/flora2/demos/CompileChangedFiles.sh
+XSB/packages/flora2/demos/Makefile
+XSB/packages/flora2/demos/NMakefile.mak
+XSB/packages/flora2/demos/aggregate.flr
+XSB/packages/flora2/demos/benchmark.flr
+XSB/packages/flora2/demos/default.flr
+XSB/packages/flora2/demos/family_obj.flr
+XSB/packages/flora2/demos/family_rel.flr
+XSB/packages/flora2/demos/flogic_basics.flr
+XSB/packages/flora2/demos/metavar.flr
+XSB/packages/flora2/demos/mix.flr
+XSB/packages/flora2/demos/mod1.flr
+XSB/packages/flora2/demos/mod2.flr
+XSB/packages/flora2/demos/module1.flr
+XSB/packages/flora2/demos/module2.flr
+XSB/packages/flora2/demos/mono_inherit.flr
+XSB/packages/flora2/demos/nonmono_inherit.flr
+XSB/packages/flora2/demos/pps.flr
+XSB/packages/flora2/demos/rel_ops.flr
+XSB/packages/flora2/demos/tree_traversal.flr
+XSB/packages/flora2/demos/aggregate.P
+XSB/packages/flora2/demos/aggregate.fdb
+XSB/packages/flora2/demos/benchmark.P
+XSB/packages/flora2/demos/aggregate_main.O
+XSB/packages/flora2/demos/benchmark.fdb
+XSB/packages/flora2/demos/default.P
+XSB/packages/flora2/demos/benchmark_main.O
+XSB/packages/flora2/demos/default.fdb
+XSB/packages/flora2/demos/family_obj.P
+XSB/packages/flora2/demos/default_main.O
+XSB/packages/flora2/demos/family_obj.fdb
+XSB/packages/flora2/demos/family_rel.P
+XSB/packages/flora2/demos/family_obj_main.O
+XSB/packages/flora2/demos/family_rel.fdb
+XSB/packages/flora2/demos/metavar.P
+XSB/packages/flora2/demos/family_rel_main.O
+XSB/packages/flora2/demos/flogic_basics.P
+XSB/packages/flora2/demos/flogic_basics.fdb
+XSB/packages/flora2/demos/metavar.fdb
+XSB/packages/flora2/demos/flogic_basics_main.O
+XSB/packages/flora2/demos/mix.P
+XSB/packages/flora2/demos/metavar_main.O
+XSB/packages/flora2/demos/mix.fdb
+XSB/packages/flora2/demos/mod1.P
+XSB/packages/flora2/demos/mix_main.O
+XSB/packages/flora2/demos/module1.P
+XSB/packages/flora2/demos/module1.fdb
+XSB/packages/flora2/demos/mod1.fdb
+XSB/packages/flora2/demos/module1_main.O
+XSB/packages/flora2/demos/mod1_main.O
+XSB/packages/flora2/demos/mono_inherit.P
+XSB/packages/flora2/demos/mono_inherit.fdb
+XSB/packages/flora2/demos/rel_ops.P
+XSB/packages/flora2/demos/mono_inherit_main.O
+XSB/packages/flora2/demos/rel_ops.fdb
+XSB/packages/flora2/demos/rel_ops_main.O
+XSB/packages/flora2/demos/tree_traversal.P
+XSB/packages/flora2/demos/tree_traversal.fdb
+XSB/packages/flora2/demos/tree_traversal_main.O
+XSB/packages/flora2/CVS/Root
+XSB/packages/flora2/CVS/Repository
+XSB/packages/flora2/CVS/Entries
+XSB/packages/flora2/CVS/Tag
+XSB/packages/flora2/flrlexer.P
+XSB/packages/flora2/flrlibman.H
+XSB/packages/flora2/flrlibman.P
+XSB/packages/flora2/flrnodefp.H
+XSB/packages/flora2/flrnodefp.P
+XSB/packages/flora2/flrnowsp.H
+XSB/packages/flora2/flrnowsp.P
+XSB/packages/flora2/flroperator.H
+XSB/packages/flora2/flroperator.P
+XSB/packages/flora2/TODO
+XSB/packages/flora2/flrparser.H
+XSB/packages/flora2/flrparser.P
+XSB/packages/flora2/flrprint.H
+XSB/packages/flora2/flrprint.P
+XSB/packages/flora2/flrprolog.H
+XSB/packages/flora2/flrprolog.P
+XSB/packages/flora2/flrshell.H
+XSB/packages/flora2/flrshell.P
+XSB/packages/flora2/flrundefhook.H
+XSB/packages/flora2/flrundefhook.P
+XSB/packages/flora2/flrutils.H
+XSB/packages/flora2/flrutils.P
+XSB/packages/flora2/flrwraparound.H
+XSB/packages/flora2/flrwraparound.P
+XSB/packages/flora2/flrwrapper.H
+XSB/packages/flora2/flrwrapper.P
+XSB/packages/flora2/flrutils.O
+XSB/packages/flora2/flroperator.O
+XSB/packages/flora2/flrnodefp.O
+XSB/packages/flora2/flrnowsp.O
+XSB/packages/flora2/flrarguments.O
+XSB/packages/flora2/flrprolog.O
+XSB/packages/flora2/flrfirstorder.O
+XSB/packages/flora2/flrprint.O
+XSB/packages/flora2/flrlibman.O
+XSB/packages/flora2/flrlexer.O
+XSB/packages/flora2/flrcomposer.O
+XSB/packages/flora2/flrparser.O
+XSB/packages/flora2/flrcompiler.O
+XSB/packages/flora2/flrcoder.O
+XSB/packages/flora2/flrwrapper.O
+XSB/packages/flora2/flrwraparound.O
+XSB/packages/flora2/flrundefhook.O
+XSB/packages/flora2/flrshell.O
+XSB/packages/flora2/.cvsignore
+XSB/packages/flora2/CompileChangedFiles.sh
+XSB/packages/flora2/Makefile
+XSB/packages/flora2/NMakefile.mak
+XSB/packages/flora2/flrarguments.H
+XSB/packages/flora2/flrarguments.P
+XSB/packages/flora2/flrcoder.H
+XSB/packages/flora2/flrcoder.P
+XSB/packages/flora2/flrcompiler.H
+XSB/packages/flora2/flrcompiler.P
+XSB/packages/flora2/flrcomposer.H
+XSB/packages/flora2/flrcomposer.P
+XSB/packages/flora2/flrfirstorder.H
+XSB/packages/flora2/flrfirstorder.P
+XSB/packages/flora2/flrlexer.H
+XSB/packages/flora/lib/CVS/Root
+XSB/packages/flora/lib/CVS/Repository
+XSB/packages/flora/lib/CVS/Entries
+XSB/packages/flora/lib/CVS/Tag
+XSB/packages/flora/lib/.cvsignore
+XSB/packages/flora/lib/Makefile
+XSB/packages/flora/lib/flrprettyprint.flr
+XSB/packages/flora/closure/CVS/Root
+XSB/packages/flora/closure/CVS/Repository
+XSB/packages/flora/closure/CVS/Entries
+XSB/packages/flora/closure/CVS/Tag
+XSB/packages/flora/closure/.cvsignore
+XSB/packages/flora/closure/flrheader.P
+XSB/packages/flora/closure/flrheader_dyn.P
+XSB/packages/flora/closure/flrtrailer0.P
+XSB/packages/flora/closure/flrtrailer0_dyn.P
+XSB/packages/flora/closure/flrtrailer1.P
+XSB/packages/flora/closure/flrtrailer1_dyn.P
+XSB/packages/flora/CVS/Root
+XSB/packages/flora/CVS/Repository
+XSB/packages/flora/CVS/Entries
+XSB/packages/flora/CVS/Tag
+XSB/packages/flora/pkgs/CVS/Root
+XSB/packages/flora/pkgs/CVS/Repository
+XSB/packages/flora/pkgs/CVS/Entries
+XSB/packages/flora/pkgs/CVS/Tag
+XSB/packages/flora/pkgs/.cvsignore
+XSB/packages/flora/pkgs/Makefile
+XSB/packages/flora/p2h/CVS/Root
+XSB/packages/flora/p2h/CVS/Repository
+XSB/packages/flora/p2h/CVS/Entries
+XSB/packages/flora/p2h/CVS/Tag
+XSB/packages/flora/p2h/.cvsignore
+XSB/packages/flora/p2h/p2h_config.P
+XSB/packages/flora/p2h/prolog2hilog.H
+XSB/packages/flora/p2h/prolog2hilog.c
+XSB/packages/flora/demos/CVS/Root
+XSB/packages/flora/demos/CVS/Repository
+XSB/packages/flora/demos/CVS/Entries
+XSB/packages/flora/demos/CVS/Tag
+XSB/packages/flora/demos/.cvsignore
+XSB/packages/flora/demos/aggregate.flr
+XSB/packages/flora/demos/benchmark.flr
+XSB/packages/flora/demos/default.flr
+XSB/packages/flora/demos/dynmod.flr
+XSB/packages/flora/demos/family_obj.flr
+XSB/packages/flora/demos/family_rel.flr
+XSB/packages/flora/demos/flogic_basics.flr
+XSB/packages/flora/demos/metavar.flr
+XSB/packages/flora/demos/mix.flr
+XSB/packages/flora/demos/module1.flr
+XSB/packages/flora/demos/module2.flr
+XSB/packages/flora/demos/mon_inherit.flr
+XSB/packages/flora/demos/nonmon_inherit.flr
+XSB/packages/flora/demos/rel_ops.flr
+XSB/packages/flora/demos/static.flr
+XSB/packages/flora/demos/tree_traversal.flr
+XSB/packages/flora/includes/CVS/Root
+XSB/packages/flora/includes/CVS/Repository
+XSB/packages/flora/includes/CVS/Entries
+XSB/packages/flora/includes/CVS/Tag
+XSB/packages/flora/includes/flora_prefix.h
+XSB/packages/flora/includes/flora_trailer.h
+XSB/packages/flora/includes/flora_trailer_eq.h
+XSB/packages/flora/includes/flora_trailer_eq_new.h
+XSB/packages/flora/includes/flora_trailer_new.h
+XSB/packages/flora/homepage/CVS/Root
+XSB/packages/flora/homepage/CVS/Repository
+XSB/packages/flora/homepage/CVS/Entries
+XSB/packages/flora/homepage/CVS/Tag
+XSB/packages/flora/homepage/.counter.png
+XSB/packages/flora/homepage/index.html
+XSB/packages/flora/homepage/index.php
+XSB/packages/flora/emacs/CVS/Root
+XSB/packages/flora/emacs/CVS/Repository
+XSB/packages/flora/emacs/CVS/Entries
+XSB/packages/flora/emacs/CVS/Tag
+XSB/packages/flora/emacs/.cvsignore
+XSB/packages/flora/emacs/README
+XSB/packages/flora/emacs/flora.el
+XSB/packages/flora/docs/CVS/Root
+XSB/packages/flora/docs/CVS/Repository
+XSB/packages/flora/docs/CVS/Entries
+XSB/packages/flora/docs/CVS/Tag
+XSB/packages/flora/docs/.cvsignore
+XSB/packages/flora/docs/flora.tex
+XSB/packages/flora/docs/makeman
+XSB/packages/flora/syslib/CVS/Root
+XSB/packages/flora/syslib/CVS/Repository
+XSB/packages/flora/syslib/CVS/Entries
+XSB/packages/flora/syslib/CVS/Tag
+XSB/packages/flora/syslib/.cvsignore
+XSB/packages/flora/syslib/Makefile
+XSB/packages/flora/syslib/flraggregate.P
+XSB/packages/flora/syslib/flraggregate_dyn.P
+XSB/packages/flora/syslib/flrassert.P
+XSB/packages/flora/syslib/flrassert_dyn.P
+XSB/packages/flora/syslib/flrdebug_data.P
+XSB/packages/flora/syslib/flrdebugger.P
+XSB/packages/flora/syslib/flrdisplay.P
+XSB/packages/flora/.cvsignore
+XSB/packages/flora/flrtokens.P
+XSB/packages/flora/flrutils.H
+XSB/packages/flora/flrutils.P
+XSB/packages/flora/flrshell.P
+XSB/packages/flora/flrshell.H
+XSB/packages/flora/flrparser.P
+XSB/packages/flora/flrparser.H
+XSB/packages/flora/flrcompiler.P
+XSB/packages/flora/flrcompiler.H
+XSB/packages/flora/TODO.txt
+XSB/packages/flora/Makefile
+XSB/packages/flora/flrtokens.H
+XSB/packages/gap/CVS/Root
+XSB/packages/gap/CVS/Repository
+XSB/packages/gap/CVS/Entries
+XSB/packages/gap/CVS/Tag
+XSB/packages/gap/.cvsignore
+XSB/packages/gap/Makefile
+XSB/packages/gap/README
+XSB/packages/gap/gapaux.P
+XSB/packages/gap/gapexamps.P
+XSB/packages/gap/gapmeta.P
+XSB/packages/gap/gapmeta.O
+XSB/packages/xmc.O
+XSB/packages/xmc.H
+XSB/packages/xmc.P
+XSB/packages/xsbdoc.P
+XSB/packages/slx.P
+XSB/packages/sModels.P
+XSB/packages/regmatch.P
+XSB/packages/perlmatch.P
+XSB/packages/libwww.P
+XSB/packages/gap.P
+XSB/packages/flora2.P
+XSB/packages/flora.P
+XSB/packages/clpr.P
+XSB/packages/README
+XSB/packages/Makefile
+XSB/packages/slx.O
+XSB/packages/.cvsignore
+XSB/packages/flora2.O
+XSB/packages/perlmatch.O
+XSB/packages/gap.O
+XSB/packages/regmatch.O
+XSB/packages/wildmatch.O
+XSB/packages/sModels.O
+XSB/packages/libwww.O
+XSB/packages/clpr.O
+XSB/packages/xsbdoc.O
+XSB/packages/wildmatch.P
+XSB/prolog_includes/CVS/Root
+XSB/prolog_includes/CVS/Repository
+XSB/prolog_includes/CVS/Entries
+XSB/prolog_includes/CVS/Tag
+XSB/prolog_includes/char_defs.h
+XSB/prolog_includes/flora2.Ph
+XSB/prolog_includes/http_errors.h
+XSB/prolog_includes/standard.h
+XSB/build/.xsb_lib_warn.tmp
+XSB/build/aclocal.m4
+XSB/build/MSVC_mkfile.in
+XSB/build/banner.in
+XSB/build/configure.in
+XSB/build/def_config.in
+XSB/build/def_config_mnoc.in
+XSB/build/def_config_wind.in
+XSB/build/def_debug.in
+XSB/build/def_prolog_config.in
+XSB/build/emuMakefile.in
+XSB/build/gppMakefile.in
+XSB/build/makexsb.in
+XSB/build/modMakefile.in
+XSB/build/private_builtin.in
+XSB/build/register.sh.orig
+XSB/build/smoMakefile.in
+XSB/build/topMakefile.in
+XSB/build/wxsb.in
+XSB/build/xmc-gui.in
+XSB/build/xmc.in
+XSB/build/xsb.in
+XSB/build/xsb_configuration.in
+XSB/build/xsb_configuration_wind.in
+XSB/build/config.guess
+XSB/build/config.sub
+XSB/build/MSVC.sh
+XSB/build/clean_pkgs.sh
+XSB/build/copysubdirs.sh
+XSB/build/install-sh
+XSB/build/pkg_config.sh
+XSB/build/register.sh
+XSB/build/strip.sh
+XSB/build/touch.sh
+XSB/build/version.sh
+XSB/build/registration.msg
+XSB/build/sendlog.msg
+XSB/build/configure
+XSB/build/README
+XSB/build/configure.orig
+XSB/build/configure.in.orig
+XSB/build/makexsb.in.orig
+XSB/build/topMakefile.in.orig
+XSB/build/config.log
+XSB/build/.apkgs.tmp
+XSB/build/config.status
+XSB/build/makexsb
+XSB/build/Installation_summary
+XSB/build/.xsb_cmplib_warn.tmp
+XSB/build/.xsb_syslib_warn.tmp
+XSB/build/acconfig.h
+XSB/emu/dde/CVS/Root
+XSB/emu/dde/CVS/Repository
+XSB/emu/dde/CVS/Entries
+XSB/emu/dde/CVS/Tag
+XSB/emu/dde/ddemain_xsb.c
+XSB/emu/CVS/Root
+XSB/emu/CVS/Repository
+XSB/emu/CVS/Entries
+XSB/emu/CVS/Tag
+XSB/emu/debugs/CVS/Root
+XSB/emu/debugs/CVS/Repository
+XSB/emu/debugs/CVS/Entries
+XSB/emu/debugs/CVS/Tag
+XSB/emu/debugs/.cvsignore
+XSB/emu/debugs/README
+XSB/emu/debugs/debug_attv.h
+XSB/emu/debugs/debug_biassert.h
+XSB/emu/debugs/debug_delay.h
+XSB/emu/debugs/debug_residual.h
+XSB/emu/debugs/debug_tables.h
+XSB/emu/debugs/debug_tries.h
+XSB/emu/orastuff/CVS/Root
+XSB/emu/orastuff/CVS/Repository
+XSB/emu/orastuff/CVS/Entries
+XSB/emu/orastuff/CVS/Tag
+XSB/emu/orastuff/close_xsb_i.h
+XSB/emu/orastuff/desc_bv_xsb_i.h
+XSB/emu/orastuff/fetch_xsb_i.h
+XSB/emu/orastuff/open_xsb_i.h
+XSB/emu/orastuff/prepdecl_xsb_i.h
+XSB/emu/orastuff/desc_sli_xsb_i.h
+XSB/emu/auxlry.c
+XSB/emu/auxlry.h
+XSB/emu/basicdefs.h
+XSB/emu/basictypes.h
+XSB/emu/biassert.c
+XSB/emu/binding.h
+XSB/emu/bineg_xsb_i.h
+XSB/emu/builtin.c
+XSB/emu/builtin.h
+XSB/emu/call_xsb_i.h
+XSB/emu/cell_def_xsb.h
+XSB/emu/cell_xsb.h
+XSB/emu/celltags_xsb.h
+XSB/emu/chat.c
+XSB/emu/chat.h
+XSB/emu/chatsched_xsb_i.h
+XSB/emu/choice.h
+XSB/emu/cinterf.c
+XSB/emu/cinterf.h
+XSB/emu/complete_xsb_i.h
+XSB/emu/conget_xsb_i.h
+XSB/emu/cut_xsb.h
+XSB/emu/debug_xsb.c
+XSB/emu/deref.h
+XSB/emu/dis.c
+XSB/emu/dllinit_xsb.cc
+XSB/emu/dynamic_stack.c
+XSB/emu/dynamic_stack.h
+XSB/emu/dynaout_xsb_i.h
+XSB/emu/dynelf_xsb_i.h
+XSB/emu/dynload.c
+XSB/emu/dynload.h
+XSB/emu/dynwin32_xsb_i.h
+XSB/emu/emudef.h
+XSB/emu/emuloop.c
+XSB/emu/emuloop.h
+XSB/emu/emuloop_aux.h
+XSB/emu/error_xsb.c
+XSB/emu/error_xsb.h
+XSB/emu/export.h
+XSB/emu/file_modes_xsb.h
+XSB/emu/findall.c
+XSB/emu/findall.h
+XSB/emu/proc.mk
+XSB/emu/flag_defs_xsb.h
+XSB/emu/flags_xsb.h
+XSB/emu/function.c
+XSB/emu/hash_xsb.c
+XSB/emu/hash_xsb.h
+XSB/emu/heap_defs_xsb.h
+XSB/emu/heap_xsb.c
+XSB/emu/heap_xsb.h
+XSB/emu/init_xsb.c
+XSB/emu/inst_xsb.c
+XSB/emu/inst_xsb.h
+XSB/emu/io_builtins_xsb.c
+XSB/emu/io_builtins_xsb.h
+XSB/emu/io_builtins_xsb_i.h
+XSB/emu/io_defs_xsb.h
+XSB/emu/loader_xsb.c
+XSB/emu/loader_xsb.h
+XSB/emu/macro_xsb.h
+XSB/emu/main_xsb.c
+XSB/emu/memory_xsb.c
+XSB/emu/memory_xsb.h
+XSB/emu/odbc_xsb.c
+XSB/emu/odbc_xsb.h
+XSB/emu/odbc_string.h
+XSB/emu/odbc_xsb_i.h
+XSB/emu/oracle_xsb.h
+XSB/emu/oracle_xsb_i.h
+XSB/emu/orastuff.h
+XSB/emu/orastuff.pc
+XSB/emu/orient_xsb.c
+XSB/emu/orient_xsb.h
+XSB/emu/pathname_xsb.c
+XSB/emu/private_builtin.c
+XSB/emu/psc_defs.h
+XSB/emu/psc_xsb.c
+XSB/emu/psc_xsb.h
+XSB/emu/ptoc_tag_xsb_i.h
+XSB/emu/random_xsb.c
+XSB/emu/random_xsb.h
+XSB/emu/realloc.h
+XSB/emu/register.h
+XSB/emu/residual.c
+XSB/emu/residual.h
+XSB/emu/scc_xsb.c
+XSB/emu/scc_xsb.h
+XSB/emu/sig_xsb.h
+XSB/emu/schedrev_xsb_i.h
+XSB/emu/setjmp_xsb.h
+XSB/emu/slgdelay.c
+XSB/emu/slgdelay.h
+XSB/emu/slginsts_xsb_i.h
+XSB/emu/socket_defs_xsb.h
+XSB/emu/socket_xsb.c
+XSB/emu/socket_xsb.h
+XSB/emu/sp_unify_xsb_i.h
+XSB/emu/sql.h
+XSB/emu/sqlext.h
+XSB/emu/sqltypes.h
+XSB/emu/std_cases_xsb_i.h
+XSB/emu/std_pred_xsb_i.h
+XSB/emu/string_xsb.c
+XSB/emu/struct_manager.c
+XSB/emu/struct_manager.h
+XSB/emu/sub_delete.c
+XSB/emu/sub_tables_xsb_i.h
+XSB/emu/subinst.h
+XSB/emu/subp.c
+XSB/emu/subp.h
+XSB/emu/sw_envs.h
+XSB/emu/syscall_xsb.h
+XSB/emu/system_defs_xsb.h
+XSB/emu/system_xsb.c
+XSB/emu/system_xsb.h
+XSB/emu/table_stats.c
+XSB/emu/table_stats.h
+XSB/emu/table_status_defs.h
+XSB/emu/tables.c
+XSB/emu/tables.h
+XSB/emu/tc_insts_xsb_i.h
+XSB/emu/term_psc_xsb_i.h
+XSB/emu/timer_defs_xsb.h
+XSB/emu/timer_xsb.c
+XSB/emu/timer_xsb.h
+XSB/emu/token_defs_xsb.h
+XSB/emu/token_xsb.c
+XSB/emu/token_xsb.h
+XSB/emu/tr_code_xsb_i.h
+XSB/emu/tr_delay.h
+XSB/emu/tr_utils.c
+XSB/emu/tr_utils.h
+XSB/emu/trace_xsb.c
+XSB/emu/trassert.h
+XSB/emu/trie_internals.h
+XSB/emu/trie_lookup.c
+XSB/emu/tries.c
+XSB/emu/tries.h
+XSB/emu/tst_aux.h
+XSB/emu/tst_insert.c
+XSB/emu/tst_retrv.c
+XSB/emu/tst_unify.c
+XSB/emu/tst_utils.c
+XSB/emu/tst_utils.h
+XSB/emu/unify_xsb.h
+XSB/emu/unify_xsb_i.h
+XSB/emu/varstring.c
+XSB/emu/varstring_xsb.h
+XSB/emu/wfs_xsb_i.h
+XSB/emu/wind2unix.h
+XSB/emu/wsipx.h
+XSB/emu/xsb.def
+XSB/emu/xsb_time.h
+XSB/emu/xsb_inst_list.h
+XSB/emu/trie_search.c
+XSB/emu/README
+XSB/emu/.cvsignore
+XSB/emu/CODING_GUIDELINES
+XSB/syslib/objfiles.saved/xcallxsb.O
+XSB/syslib/objfiles.saved/atts.O
+XSB/syslib/objfiles.saved/basics.O
+XSB/syslib/objfiles.saved/consult.O
+XSB/syslib/objfiles.saved/curr_sym.O
+XSB/syslib/objfiles.saved/dbclause.O
+XSB/syslib/objfiles.saved/dcg.O
+XSB/syslib/objfiles.saved/debugger.O
+XSB/syslib/objfiles.saved/domain.O
+XSB/syslib/objfiles.saved/eval.O
+XSB/syslib/objfiles.saved/file_io.O
+XSB/syslib/objfiles.saved/file_op.O
+XSB/syslib/objfiles.saved/gensym.O
+XSB/syslib/objfiles.saved/hilogsym.O
+XSB/syslib/objfiles.saved/num_vars.O
+XSB/syslib/objfiles.saved/push_io.O
+XSB/syslib/objfiles.saved/setof.O
+XSB/syslib/objfiles.saved/shell.O
+XSB/syslib/objfiles.saved/subsumes.O
+XSB/syslib/objfiles.saved/sysinitrc.O
+XSB/syslib/objfiles.saved/tables.O
+XSB/syslib/objfiles.saved/term_exp.O
+XSB/syslib/objfiles.saved/unix.O
+XSB/syslib/objfiles.saved/x_interp.O
+XSB/syslib/objfiles.saved/xsb_hook.O
+XSB/syslib/objfiles.saved/xsb_read.O
+XSB/syslib/objfiles.saved/xsb_writ.O
+XSB/syslib/objfiles.saved/assert.O
+XSB/syslib/CVS/Root
+XSB/syslib/CVS/Repository
+XSB/syslib/CVS/Entries
+XSB/syslib/CVS/Tag
+XSB/syslib/CompileChangedFiles.sh
+XSB/syslib/Makefile
+XSB/syslib/README
+XSB/syslib/assert.H
+XSB/syslib/assert.O
+XSB/syslib/assert.P
+XSB/syslib/atts.O
+XSB/syslib/atts.P
+XSB/syslib/basics.H
+XSB/syslib/basics.O
+XSB/syslib/basics.P
+XSB/syslib/consult.H
+XSB/syslib/consult.O
+XSB/syslib/consult.P
+XSB/syslib/curr_sym.H
+XSB/syslib/curr_sym.O
+XSB/syslib/curr_sym.P
+XSB/syslib/dbclause.H
+XSB/syslib/dbclause.O
+XSB/syslib/dbclause.P
+XSB/syslib/dcg.H
+XSB/syslib/dcg.O
+XSB/syslib/dcg.P
+XSB/syslib/debugger.H
+XSB/syslib/debugger.O
+XSB/syslib/debugger.P
+XSB/syslib/debugger_data.P
+XSB/syslib/domain.H
+XSB/syslib/domain.O
+XSB/syslib/domain.P
+XSB/syslib/eval.H
+XSB/syslib/eval.O
+XSB/syslib/eval.P
+XSB/syslib/file_io.H
+XSB/syslib/file_io.O
+XSB/syslib/file_io.P
+XSB/syslib/file_op.H
+XSB/syslib/file_op.O
+XSB/syslib/file_op.P
+XSB/syslib/gensym.H
+XSB/syslib/gensym.O
+XSB/syslib/gensym.P
+XSB/syslib/hilogsym.H
+XSB/syslib/hilogsym.O
+XSB/syslib/hilogsym.P
+XSB/syslib/loader.H
+XSB/syslib/loader.O
+XSB/syslib/loader.P
+XSB/syslib/machine.H
+XSB/syslib/machine.O
+XSB/syslib/machine.P
+XSB/syslib/num_vars.H
+XSB/syslib/num_vars.O
+XSB/syslib/num_vars.P
+XSB/syslib/push_io.H
+XSB/syslib/push_io.O
+XSB/syslib/push_io.P
+XSB/syslib/setof.H
+XSB/syslib/setof.O
+XSB/syslib/setof.P
+XSB/syslib/shell.H
+XSB/syslib/shell.O
+XSB/syslib/shell.P
+XSB/syslib/standard.H
+XSB/syslib/standard.O
+XSB/syslib/standard.P
+XSB/syslib/std_xsb.H
+XSB/syslib/std_xsb.O
+XSB/syslib/std_xsb.P
+XSB/syslib/string.H
+XSB/syslib/string.O
+XSB/syslib/string.P
+XSB/syslib/subsumes.H
+XSB/syslib/subsumes.O
+XSB/syslib/unix.O
+XSB/syslib/subsumes.P
+XSB/syslib/sysinitrc.O
+XSB/syslib/sysinitrc.P
+XSB/syslib/tables.H
+XSB/syslib/tables.O
+XSB/syslib/tables.P
+XSB/syslib/term_exp.H
+XSB/syslib/term_exp.O
+XSB/syslib/term_exp.P
+XSB/syslib/unix.P
+XSB/syslib/x_interp.H
+XSB/syslib/x_interp.O
+XSB/syslib/x_interp.P
+XSB/syslib/xcallxsb.H
+XSB/syslib/xcallxsb.O
+XSB/syslib/xcallxsb.P
+XSB/syslib/xsb_hook.H
+XSB/syslib/xsb_hook.O
+XSB/syslib/xsb_hook.P
+XSB/syslib/xsb_read.H
+XSB/syslib/xsb_read.O
+XSB/syslib/xsb_read.P
+XSB/syslib/xsb_writ.H
+XSB/syslib/xsb_writ.O
+XSB/syslib/xsb_writ.P
+XSB/syslib/.cvsignore
+XSB/cmplib/objfiles.saved/writeasm.O
+XSB/cmplib/objfiles.saved/asm_inst.O
+XSB/cmplib/objfiles.saved/asm_opt.O
+XSB/cmplib/objfiles.saved/asmpass2.O
+XSB/cmplib/objfiles.saved/auxlry.O
+XSB/cmplib/objfiles.saved/compile.O
+XSB/cmplib/objfiles.saved/config.O
+XSB/cmplib/objfiles.saved/cp_opt.O
+XSB/cmplib/objfiles.saved/cutcheck.O
+XSB/cmplib/objfiles.saved/flatten.O
+XSB/cmplib/objfiles.saved/inprog.O
+XSB/cmplib/objfiles.saved/listutil.O
+XSB/cmplib/objfiles.saved/makemode.O
+XSB/cmplib/objfiles.saved/modeinf.O
+XSB/cmplib/objfiles.saved/modes.O
+XSB/cmplib/objfiles.saved/parse.O
+XSB/cmplib/objfiles.saved/peephole.O
+XSB/cmplib/objfiles.saved/pre_cond.O
+XSB/cmplib/objfiles.saved/preproc.O
+XSB/cmplib/objfiles.saved/printres.O
+XSB/cmplib/objfiles.saved/prof_sbp.O
+XSB/cmplib/objfiles.saved/sanity.O
+XSB/cmplib/objfiles.saved/singlton.O
+XSB/cmplib/objfiles.saved/spec.O
+XSB/cmplib/objfiles.saved/suppltab.O
+XSB/cmplib/objfiles.saved/symtab.O
+XSB/cmplib/objfiles.saved/tabdef.O
+XSB/cmplib/objfiles.saved/ti_mod.O
+XSB/cmplib/objfiles.saved/tp_comp.O
+XSB/cmplib/objfiles.saved/tp_cond.O
+XSB/cmplib/objfiles.saved/tp_eval.O
+XSB/cmplib/objfiles.saved/tp_goal.O
+XSB/cmplib/objfiles.saved/tp_index.O
+XSB/cmplib/objfiles.saved/tp_var.O
+XSB/cmplib/objfiles.saved/tpinline.O
+XSB/cmplib/objfiles.saved/tprog.O
+XSB/cmplib/objfiles.saved/useinfer.O
+XSB/cmplib/objfiles.saved/varproc.O
+XSB/cmplib/objfiles.saved/asm.O
+XSB/cmplib/CVS/Root
+XSB/cmplib/CVS/Repository
+XSB/cmplib/CVS/Entries
+XSB/cmplib/CVS/Tag
+XSB/cmplib/Makefile
+XSB/cmplib/README
+XSB/cmplib/asm.D
+XSB/cmplib/asm.H
+XSB/cmplib/asm.O
+XSB/cmplib/asm.P
+XSB/cmplib/asm_inst.D
+XSB/cmplib/asm_inst.H
+XSB/cmplib/asm_inst.O
+XSB/cmplib/asm_inst.P
+XSB/cmplib/asm_opt.D
+XSB/cmplib/asm_opt.H
+XSB/cmplib/asm_opt.O
+XSB/cmplib/asm_opt.P
+XSB/cmplib/asmpass2.D
+XSB/cmplib/asmpass2.H
+XSB/cmplib/asmpass2.O
+XSB/cmplib/asmpass2.P
+XSB/cmplib/auxlry.D
+XSB/cmplib/auxlry.H
+XSB/cmplib/auxlry.O
+XSB/cmplib/auxlry.P
+XSB/cmplib/builtin.D
+XSB/cmplib/builtin.H
+XSB/cmplib/builtin.O
+XSB/cmplib/builtin.P
+XSB/cmplib/ciao_directives.O
+XSB/cmplib/ciao_directives.P
+XSB/cmplib/compile.D
+XSB/cmplib/compile.H
+XSB/cmplib/compile.O
+XSB/cmplib/compile.P
+XSB/cmplib/config.D
+XSB/cmplib/config.H
+XSB/cmplib/config.O
+XSB/cmplib/config.P
+XSB/cmplib/cp_opt.D
+XSB/cmplib/cp_opt.H
+XSB/cmplib/cp_opt.O
+XSB/cmplib/cp_opt.P
+XSB/cmplib/cutcheck.D
+XSB/cmplib/cutcheck.H
+XSB/cmplib/cutcheck.O
+XSB/cmplib/cutcheck.P
+XSB/cmplib/flatten.D
+XSB/cmplib/flatten.H
+XSB/cmplib/modes.D
+XSB/cmplib/flatten.O
+XSB/cmplib/flatten.P
+XSB/cmplib/inprog.D
+XSB/cmplib/inprog.H
+XSB/cmplib/inprog.O
+XSB/cmplib/inprog.P
+XSB/cmplib/listutil.D
+XSB/cmplib/listutil.H
+XSB/cmplib/listutil.O
+XSB/cmplib/listutil.P
+XSB/cmplib/makemode.D
+XSB/cmplib/makemode.O
+XSB/cmplib/makemode.P
+XSB/cmplib/modeinf.D
+XSB/cmplib/modeinf.H
+XSB/cmplib/modeinf.O
+XSB/cmplib/modeinf.P
+XSB/cmplib/modes.H
+XSB/cmplib/modes.O
+XSB/cmplib/modes.P
+XSB/cmplib/parse.D
+XSB/cmplib/parse.H
+XSB/cmplib/parse.O
+XSB/cmplib/parse.P
+XSB/cmplib/peephole.D
+XSB/cmplib/peephole.H
+XSB/cmplib/peephole.O
+XSB/cmplib/peephole.P
+XSB/cmplib/pre_cond.D
+XSB/cmplib/pre_cond.H
+XSB/cmplib/pre_cond.O
+XSB/cmplib/pre_cond.P
+XSB/cmplib/preproc.D
+XSB/cmplib/preproc.H
+XSB/cmplib/preproc.O
+XSB/cmplib/preproc.P
+XSB/cmplib/printres.D
+XSB/cmplib/printres.H
+XSB/cmplib/printres.O
+XSB/cmplib/printres.P
+XSB/cmplib/prof_sbp.D
+XSB/cmplib/prof_sbp.H
+XSB/cmplib/prof_sbp.O
+XSB/cmplib/prof_sbp.P
+XSB/cmplib/sanity.D
+XSB/cmplib/sanity.H
+XSB/cmplib/sanity.O
+XSB/cmplib/sanity.P
+XSB/cmplib/singlton.D
+XSB/cmplib/singlton.H
+XSB/cmplib/singlton.O
+XSB/cmplib/singlton.P
+XSB/cmplib/spec.D
+XSB/cmplib/spec.H
+XSB/cmplib/spec.O
+XSB/cmplib/spec.P
+XSB/cmplib/stdmode.D
+XSB/cmplib/stdmodes.D
+XSB/cmplib/suppltab.D
+XSB/cmplib/suppltab.H
+XSB/cmplib/suppltab.O
+XSB/cmplib/suppltab.P
+XSB/cmplib/symtab.D
+XSB/cmplib/symtab.H
+XSB/cmplib/symtab.O
+XSB/cmplib/symtab.P
+XSB/cmplib/tabdef.D
+XSB/cmplib/tabdef.H
+XSB/cmplib/tabdef.O
+XSB/cmplib/tabdef.P
+XSB/cmplib/ti_mod.H
+XSB/cmplib/ti_mod.O
+XSB/cmplib/ti_mod.P
+XSB/cmplib/tp_comp.D
+XSB/cmplib/tp_comp.H
+XSB/cmplib/tp_comp.O
+XSB/cmplib/tp_comp.P
+XSB/cmplib/tp_cond.D
+XSB/cmplib/tp_cond.H
+XSB/cmplib/tp_cond.O
+XSB/cmplib/tp_cond.P
+XSB/cmplib/tp_eval.D
+XSB/cmplib/tp_eval.H
+XSB/cmplib/tp_eval.O
+XSB/cmplib/tp_eval.P
+XSB/cmplib/tp_goal.D
+XSB/cmplib/tp_goal.H
+XSB/cmplib/tp_goal.O
+XSB/cmplib/tp_goal.P
+XSB/cmplib/tp_index.D
+XSB/cmplib/tp_index.H
+XSB/cmplib/tp_index.O
+XSB/cmplib/tp_index.P
+XSB/cmplib/tp_var.D
+XSB/cmplib/tp_var.H
+XSB/cmplib/tp_var.O
+XSB/cmplib/tp_var.P
+XSB/cmplib/tpinline.D
+XSB/cmplib/tpinline.H
+XSB/cmplib/tpinline.O
+XSB/cmplib/tpinline.P
+XSB/cmplib/tprog.D
+XSB/cmplib/tprog.H
+XSB/cmplib/tprog.O
+XSB/cmplib/tprog.P
+XSB/cmplib/useinfer.D
+XSB/cmplib/useinfer.H
+XSB/cmplib/useinfer.O
+XSB/cmplib/useinfer.P
+XSB/cmplib/varproc.D
+XSB/cmplib/varproc.H
+XSB/cmplib/varproc.O
+XSB/cmplib/varproc.P
+XSB/cmplib/writeasm.D
+XSB/cmplib/writeasm.H
+XSB/cmplib/writeasm.O
+XSB/cmplib/writeasm.P
+XSB/cmplib/.cvsignore
+XSB/lib/CVS/Root
+XSB/lib/CVS/Repository
+XSB/lib/CVS/Entries
+XSB/lib/CVS/Tag
+XSB/lib/packaging.O
+XSB/lib/.cvsignore
+XSB/lib/Makefile
+XSB/lib/README
+XSB/lib/aggregs.H
+XSB/lib/aggregs.P
+XSB/lib/array.P
+XSB/lib/array1.P
+XSB/lib/assoc_xsb.P
+XSB/lib/basic_props.P
+XSB/lib/directry.P
+XSB/lib/foreign.H
+XSB/lib/foreign.P
+XSB/lib/format.P
+XSB/lib/intern.H
+XSB/lib/intern.P
+XSB/lib/justifyLP.H
+XSB/lib/justifyLP.P
+XSB/lib/obsolete.H
+XSB/lib/obsolete.P
+XSB/lib/odbc_call.H
+XSB/lib/odbc_call.P
+XSB/lib/ora_call.H
+XSB/lib/ora_call.P
+XSB/lib/ordsets.P
+XSB/lib/packaging.H
+XSB/lib/packaging.P
+XSB/lib/random.H
+XSB/lib/random.P
+XSB/lib/scrptutl.H
+XSB/lib/scrptutl.P
+XSB/lib/socket.H
+XSB/lib/socket.P
+XSB/lib/storage.H
+XSB/lib/storage.P
+XSB/lib/ugraphs.P
+XSB/lib/wrapping.H
+XSB/lib/wrapping.P
+XSB/lib/write_term.P
+XSB/lib/xnmr.H
+XSB/lib/xnmr.P
+XSB/lib/xsb_ciao.P
+XSB/lib/aggregs.O
+XSB/lib/array.O
+XSB/lib/array1.O
+XSB/lib/assoc_xsb.O
+XSB/lib/basic_props.O
+XSB/lib/directry.O
+XSB/lib/foreign.O
+XSB/lib/xnmr.O
+XSB/lib/format.O
+XSB/lib/intern.O
+XSB/lib/obsolete.O
+XSB/lib/odbc_call.O
+XSB/lib/ordsets.O
+XSB/lib/ora_call.O
+XSB/lib/random.O
+XSB/lib/scrptutl.O
+XSB/lib/socket.O
+XSB/lib/storage.O
+XSB/lib/ugraphs.O
+XSB/lib/wrapping.O
+XSB/lib/write_term.O
+XSB/lib/xsb_ciao.O
+XSB/lib/justifyLP.O
+XSB/gpp/CVS/Root
+XSB/gpp/CVS/Repository
+XSB/gpp/CVS/Entries
+XSB/gpp/CVS/Tag
+XSB/gpp/.cvsignore
+XSB/gpp/MSVC_mkfile.mak
+XSB/gpp/gpp.c
+XSB/LICENSE
+XSB/FAQ
+XSB/README
+XSB/INSTALL_WINDOWS
+XSB/Makefile.orig
+XSB/INSTALL_PROBLEMS
+XSB/INSTALL
+XSB/Makefile
+
+@exec mkdir %D/XSB/site
+@exec mkdir %D/XSB/site/lib
+@exec mkdir %D/XSB/site/config
+@exec mkdir %D/XSB/site/config/%%MACHINE_ARCH%%-unknown-%%OPSYS%%%%OSREL%%
+@exec mkdir %D/XSB/site/config/%%MACHINE_ARCH%%-unknown-%%OPSYS%%%%OSREL%%/lib
+
+@dirrm XSB/site/config/%%MACHINE_ARCH%%-unknown-%%OPSYS%%%%OSREL%%/lib
+@dirrm XSB/site/config/%%MACHINE_ARCH%%-unknown-%%OPSYS%%%%OSREL%%
+@dirrm XSB/site/config
+@dirrm XSB/site/lib
+@dirrm XSB/site
+@dirrm XSB/gpp/CVS
+@dirrm XSB/gpp
+@dirrm XSB/lib/CVS
+@dirrm XSB/lib
+@dirrm XSB/cmplib/CVS
+@dirrm XSB/cmplib/objfiles.saved
+@dirrm XSB/cmplib
+@dirrm XSB/syslib/CVS
+@dirrm XSB/syslib/objfiles.saved
+@dirrm XSB/syslib
+@dirrm XSB/emu/orastuff/CVS
+@dirrm XSB/emu/orastuff
+@dirrm XSB/emu/debugs/CVS
+@dirrm XSB/emu/debugs
+@dirrm XSB/emu/CVS
+@dirrm XSB/emu/dde/CVS
+@dirrm XSB/emu/dde
+@dirrm XSB/emu
+@dirrm XSB/build
+@dirrm XSB/prolog_includes/CVS
+@dirrm XSB/prolog_includes
+@dirrm XSB/packages/gap/CVS
+@dirrm XSB/packages/gap
+@dirrm XSB/packages/flora/syslib/CVS
+@dirrm XSB/packages/flora/syslib
+@dirrm XSB/packages/flora/docs/CVS
+@dirrm XSB/packages/flora/docs
+@dirrm XSB/packages/flora/emacs/CVS
+@dirrm XSB/packages/flora/emacs
+@dirrm XSB/packages/flora/homepage/CVS
+@dirrm XSB/packages/flora/homepage
+@dirrm XSB/packages/flora/includes/CVS
+@dirrm XSB/packages/flora/includes
+@dirrm XSB/packages/flora/demos/CVS
+@dirrm XSB/packages/flora/demos
+@dirrm XSB/packages/flora/p2h/CVS
+@dirrm XSB/packages/flora/p2h
+@dirrm XSB/packages/flora/pkgs/CVS
+@dirrm XSB/packages/flora/pkgs
+@dirrm XSB/packages/flora/CVS
+@dirrm XSB/packages/flora/closure/CVS
+@dirrm XSB/packages/flora/closure
+@dirrm XSB/packages/flora/lib/CVS
+@dirrm XSB/packages/flora/lib
+@dirrm XSB/packages/flora
+@dirrm XSB/packages/flora2/CVS
+@dirrm XSB/packages/flora2/demos/CVS
+@dirrm XSB/packages/flora2/demos
+@dirrm XSB/packages/flora2/trailer/CVS
+@dirrm XSB/packages/flora2/trailer
+@dirrm XSB/packages/flora2/syslibinc/CVS
+@dirrm XSB/packages/flora2/syslibinc
+@dirrm XSB/packages/flora2/syslib/CVS
+@dirrm XSB/packages/flora2/syslib
+@dirrm XSB/packages/flora2/pkgs/CVS
+@dirrm XSB/packages/flora2/pkgs
+@dirrm XSB/packages/flora2/p2h/CVS
+@dirrm XSB/packages/flora2/p2h
+@dirrm XSB/packages/flora2/libinc/CVS
+@dirrm XSB/packages/flora2/libinc
+@dirrm XSB/packages/flora2/closure/CVS
+@dirrm XSB/packages/flora2/closure/includes/CVS
+@dirrm XSB/packages/flora2/closure/includes
+@dirrm XSB/packages/flora2/closure
+@dirrm XSB/packages/flora2/includes/CVS
+@dirrm XSB/packages/flora2/includes
+@dirrm XSB/packages/flora2/headerinc/CVS
+@dirrm XSB/packages/flora2/headerinc
+@dirrm XSB/packages/flora2/genincludes/CVS
+@dirrm XSB/packages/flora2/genincludes
+@dirrm XSB/packages/flora2/flrincludes/CVS
+@dirrm XSB/packages/flora2/flrincludes
+@dirrm XSB/packages/flora2/emacs/CVS
+@dirrm XSB/packages/flora2/emacs
+@dirrm XSB/packages/flora2/docs/CVS
+@dirrm XSB/packages/flora2/docs
+@dirrm XSB/packages/flora2/debugger/CVS
+@dirrm XSB/packages/flora2/debugger
+@dirrm XSB/packages/flora2/lib/CVS
+@dirrm XSB/packages/flora2/lib
+@dirrm XSB/packages/flora2
+@dirrm XSB/packages/CVS
+@dirrm XSB/packages/libwww/CVS
+@dirrm XSB/packages/libwww/cc/CVS
+@dirrm XSB/packages/libwww/cc
+@dirrm XSB/packages/libwww
+@dirrm XSB/packages/perlmatch/CVS
+@dirrm XSB/packages/perlmatch/cc/CVS
+@dirrm XSB/packages/perlmatch/cc
+@dirrm XSB/packages/perlmatch
+@dirrm XSB/packages/clpqr/CVS
+@dirrm XSB/packages/clpqr
+@dirrm XSB/packages/sModels/CVS
+@dirrm XSB/packages/sModels
+@dirrm XSB/packages/slx/CVS
+@dirrm XSB/packages/slx
+@dirrm XSB/packages/wildmatch/cc/CVS
+@dirrm XSB/packages/wildmatch/cc
+@dirrm XSB/packages/wildmatch/CVS
+@dirrm XSB/packages/wildmatch
+@dirrm XSB/packages/xmc/CVS
+@dirrm XSB/packages/xmc/GUI/CVS
+@dirrm XSB/packages/xmc/GUI
+@dirrm XSB/packages/xmc
+@dirrm XSB/packages/xsbdoc/CVS
+@dirrm XSB/packages/xsbdoc
+@dirrm XSB/packages/regmatch/cc/CVS
+@dirrm XSB/packages/regmatch/cc
+@dirrm XSB/packages/regmatch/CVS
+@dirrm XSB/packages/regmatch
+@dirrm XSB/packages
+@dirrm XSB/docs/userman
+@dirrm XSB/docs
+@dirrm XSB/examples/subprocess/CVS
+@dirrm XSB/examples/subprocess
+@dirrm XSB/examples/socket/CVS
+@dirrm XSB/examples/socket/select/CVS
+@dirrm XSB/examples/socket/select
+@dirrm XSB/examples/socket
+@dirrm XSB/examples/libwww/files/CVS
+@dirrm XSB/examples/libwww/files
+@dirrm XSB/examples/libwww/CVS
+@dirrm XSB/examples/libwww
+@dirrm XSB/examples/xmc/Tests/CVS
+@dirrm XSB/examples/xmc/Tests
+@dirrm XSB/examples/xmc/Leader/CVS
+@dirrm XSB/examples/xmc/Leader
+@dirrm XSB/examples/xmc/Metalock/CVS
+@dirrm XSB/examples/xmc/Metalock
+@dirrm XSB/examples/xmc/Rether/CVS
+@dirrm XSB/examples/xmc/Rether
+@dirrm XSB/examples/xmc/Iproto/CVS
+@dirrm XSB/examples/xmc/Iproto
+@dirrm XSB/examples/xmc/CVS
+@dirrm XSB/examples/xmc/ABP/CVS
+@dirrm XSB/examples/xmc/ABP
+@dirrm XSB/examples/xmc/Sieve/CVS
+@dirrm XSB/examples/xmc/Sieve
+@dirrm XSB/examples/xmc
+@dirrm XSB/examples/XSB_calling_c/CVS
+@dirrm XSB/examples/XSB_calling_c
+@dirrm XSB/examples/CVS
+@dirrm XSB/examples/c_calling_XSB/CVS
+@dirrm XSB/examples/c_calling_XSB
+@dirrm XSB/examples
+@dirrm XSB/config/%%MACHINE_ARCH%%-unknown-%%OPSYS%%%%OSREL%%/bin
+@dirrm XSB/config/%%MACHINE_ARCH%%-unknown-%%OPSYS%%%%OSREL%%/saved.o
+@dirrm XSB/config/%%MACHINE_ARCH%%-unknown-%%OPSYS%%%%OSREL%%/lib
+@dirrm XSB/config/%%MACHINE_ARCH%%-unknown-%%OPSYS%%%%OSREL%%
+@dirrm XSB/config
+@dirrm XSB/bin
+@dirrm XSB/etc/images/CVS
+@dirrm XSB/etc/images
+@dirrm XSB/etc/CVS
+@dirrm XSB/etc
+@dirrm XSB