diff -ruN xsb.old/Makefile xsb/Makefile --- xsb.old/Makefile Thu Aug 23 12:07:34 2001 +++ xsb/Makefile Sat Apr 27 13:43:28 2002 @@ -6,13 +6,16 @@ # PORTNAME= XSB -PORTVERSION= 2.4 +PORTVERSION= 2.5 CATEGORIES= lang MASTER_SITES= ${MASTER_SITE_SOURCEFORGE} MASTER_SITE_SUBDIR= xsb +DISTNAME=${PORTNAME}-${PORTVERSION:S/./_/g} MAINTAINER= c.rued@xsb.com +MAN1=xsb.1 + 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} @@ -25,6 +28,7 @@ do-install: @ ${CP} -r ${WRKDIR}/XSB ${PREFIX} ; \ + ${INSTALL_MAN} ${WRKDIR}/XSB/docs/userman/xsb.1 ${MAN1PREFIX}/man/man1 ; \ ${LN} -s ${PREFIX}/XSB/docs ${PREFIX}/share/xsb ; \ ${ECHO} XSB is now installed. ; \ ${ECHO} To run it, execute ${PREFIX}/XSB/bin/xsb ; \ diff -ruN xsb.old/distinfo xsb/distinfo --- xsb.old/distinfo Sat Aug 18 04:42:17 2001 +++ xsb/distinfo Sat Apr 27 12:13:09 2002 @@ -1 +1 @@ -MD5 (XSB-2.4.tar.gz) = 3f86ed352f7d1b95e9700e492ecca933 +MD5 (XSB-2_5.tar.gz) = 30d747cf9659af6701062ef198ef552a diff -ruN xsb.old/files/patch-aa xsb/files/patch-aa --- xsb.old/files/patch-aa Sat Aug 18 04:42:17 2001 +++ xsb/files/patch-aa Sat Apr 27 11:47:16 2002 @@ -1,16 +1,16 @@ ---- 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 +--- configure.orig Sat Apr 27 11:18:26 2002 ++++ configure Sat Apr 27 11:02:49 2002 +@@ -1664,7 +1664,7 @@ + CFLAGS="" + c_inline_level="" + else - 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" +@@ -1676,9 +1676,9 @@ + fi else case $CC in - gcc) emuloop_opt_level=-${optimization_level-"O4 -fomit-frame-pointer"} @@ -21,7 +21,7 @@ if test -n "$optimization_level"; then c_inline_level="" else -@@ -1583,23 +1583,23 @@ +@@ -1687,23 +1687,23 @@ CFLAGS="-Wall -ansi -pedantic" ;; cc) if test "$__sunpro_c" = "no"; then @@ -33,8 +33,7 @@ + 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. + # Using xO4 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"} @@ -53,12 +52,7 @@ c_inline_level="" CFLAGS="-Xa" ;; -@@ -3006,16 +3006,16 @@ - #fi - - --# Normally, the optimization level will be O4. -+# Normally, the optimization level will be O2. +@@ -3231,12 +3231,12 @@ # SGI64 must have O1 and 32 bit SGI's can have O2 if test "$__sunpro_c" = "no"; then if test "$CC" = "gcc" ; then diff -ruN xsb.old/files/patch-ab xsb/files/patch-ab --- xsb.old/files/patch-ab Sat Aug 18 04:42:17 2001 +++ xsb/files/patch-ab Sat Apr 27 11:47:16 2002 @@ -1,16 +1,16 @@ ---- 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 +--- configure.in.orig Sat Apr 27 11:20:37 2002 ++++ configure.in Sat Apr 27 11:20:21 2002 +@@ -652,7 +652,7 @@ + CFLAGS="" + c_inline_level="" + else - 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" +@@ -664,9 +664,9 @@ + fi else case $CC in - gcc) emuloop_opt_level=-${optimization_level-"O4 -fomit-frame-pointer"} @@ -21,7 +21,7 @@ if test -n "$optimization_level"; then c_inline_level="" else -@@ -601,23 +601,23 @@ +@@ -675,23 +675,23 @@ CFLAGS="-Wall -ansi -pedantic" ;; cc) if test "$__sunpro_c" = "no"; then @@ -33,8 +33,7 @@ + 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. + # Using xO4 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"} @@ -53,12 +52,7 @@ c_inline_level="" CFLAGS="-Xa" ;; -@@ -1036,16 +1036,16 @@ - #fi - - --# Normally, the optimization level will be O4. -+# Normally, the optimization level will be O2. +@@ -1161,12 +1161,12 @@ # SGI64 must have O1 and 32 bit SGI's can have O2 if test "$__sunpro_c" = "no"; then if test "$CC" = "gcc" ; then diff -ruN xsb.old/files/patch-ac xsb/files/patch-ac --- xsb.old/files/patch-ac Sat Aug 18 04:42:17 2001 +++ xsb/files/patch-ac Sat Apr 27 11:47:16 2002 @@ -1,5 +1,5 @@ ---- makexsb.in.old Sun Jul 29 15:37:36 2001 -+++ makexsb.in Sun Jul 29 16:18:20 2001 +--- makexsb.in.orig Sat Apr 27 11:23:44 2002 ++++ makexsb.in Sat Apr 27 11:23:32 2002 @@ -74,9 +74,9 @@ if test -r "$makefile" ; then diff -ruN xsb.old/files/patch-ad xsb/files/patch-ad --- xsb.old/files/patch-ad Sat Aug 18 04:42:17 2001 +++ xsb/files/patch-ad Sat Apr 27 11:47:16 2002 @@ -1,6 +1,6 @@ ---- topMakefile.in.old Sun Jul 29 16:23:01 2001 -+++ topMakefile.in Sun Jul 29 16:22:28 2001 -@@ -164,9 +164,9 @@ +--- topMakefile.in.orig Sat Apr 27 11:25:35 2002 ++++ topMakefile.in Sat Apr 27 11:26:48 2002 +@@ -172,9 +172,9 @@ emu: ${src_config_prefix}/xsb_config.h ${src_config_prefix}/xsb_debug.h cd ${src_emudir}; \ @@ -12,7 +12,7 @@ $(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 @@ +@@ -182,7 +182,7 @@ gpp: @echo ""; echo "Making gpp" @@ -21,16 +21,16 @@ # Compiling the interface with sModels. smodels: -@@ -182,7 +182,7 @@ +@@ -190,7 +190,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\ +- make CROSS_SIMULATOR=@CROSS_SIMULATOR@ XSB=$(src_scriptdir)/xsb$(config_tag) @smodels_goal@ 2>&1\ ++ gmake CROSS_SIMULATOR=@CROSS_SIMULATOR@ 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 @@ +@@ -201,10 +201,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}; \ @@ -43,7 +43,7 @@ emu_clean: do_cleaning inform_executable -@@ -305,10 +305,10 @@ +@@ -394,10 +394,10 @@ chmod 644 $(install_config_libdir)/xsb_configuration.O remake_dot_O_files: @@ -56,3 +56,12 @@ # clean for this architecture only configclean:: +@@ -419,7 +419,7 @@ + @cd ../packages; ../build/clean_pkgs.sh + @-cd ${src_examples}; rm -f *.O *.o *~ */*.O */*.o */*~ + @echo "Cleaning up ${src_libdir}" +- @-(cd ${src_libdir}; make clean) ++ @-(cd ${src_libdir}; gmake clean) + + # recreate the makefiles + again: Makefile.in emuMakefile.in config.status ${src_config_prefix}/config.cache diff -ruN xsb.old/files/patch-ae xsb/files/patch-ae --- xsb.old/files/patch-ae Sat Aug 18 04:42:17 2001 +++ xsb/files/patch-ae Sat Apr 27 11:47:16 2002 @@ -1,5 +1,5 @@ ---- ../Makefile.orig Sun Jul 29 17:47:07 2001 -+++ ../Makefile Sun Jul 29 17:47:59 2001 +--- ../Makefile.orig Sat Apr 27 11:28:50 2002 ++++ ../Makefile Sat Apr 27 11:28:39 2002 @@ -38,16 +38,16 @@ syslib:: diff -ruN xsb.old/files/patch-af xsb/files/patch-af --- xsb.old/files/patch-af Sat Aug 18 04:42:17 2001 +++ xsb/files/patch-af Sat Apr 27 11:47:16 2002 @@ -1,29 +1,36 @@ ---- register.sh~ Tue Apr 11 18:30:27 2000 -+++ register.sh Wed Aug 1 15:25:39 2001 -@@ -6,21 +6,15 @@ +--- register.sh.orig Sat Apr 27 11:34:29 2002 ++++ register.sh Sat Apr 27 11:33:33 2002 +@@ -4,23 +4,20 @@ + cat < diff -ruN xsb.old/xsb/distinfo xsb/xsb/distinfo --- xsb.old/xsb/distinfo Wed Dec 31 19:00:00 1969 +++ xsb/xsb/distinfo Tue Jun 18 12:06:11 2002 @@ -0,0 +1 @@ +MD5 (XSB-2_5.tar.gz) = 30d747cf9659af6701062ef198ef552a diff -ruN xsb.old/xsb/files/patch-aa xsb/xsb/files/patch-aa --- xsb.old/xsb/files/patch-aa Wed Dec 31 19:00:00 1969 +++ xsb/xsb/files/patch-aa Tue Jun 18 12:06:11 2002 @@ -0,0 +1,70 @@ +--- configure.orig Sat Apr 27 11:18:26 2002 ++++ configure Sat Apr 27 11:02:49 2002 +@@ -1664,7 +1664,7 @@ + CFLAGS="" + c_inline_level="" + else +- 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 +@@ -1676,9 +1676,9 @@ + fi + 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 +@@ -1687,23 +1687,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. + 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" + ;; +@@ -3231,12 +3231,12 @@ + # 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 -ruN xsb.old/xsb/files/patch-ab xsb/xsb/files/patch-ab --- xsb.old/xsb/files/patch-ab Wed Dec 31 19:00:00 1969 +++ xsb/xsb/files/patch-ab Tue Jun 18 12:06:11 2002 @@ -0,0 +1,70 @@ +--- configure.in.orig Sat Apr 27 11:20:37 2002 ++++ configure.in Sat Apr 27 11:20:21 2002 +@@ -652,7 +652,7 @@ + CFLAGS="" + c_inline_level="" + else +- 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 +@@ -664,9 +664,9 @@ + fi + 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 +@@ -675,23 +675,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. + 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" + ;; +@@ -1161,12 +1161,12 @@ + # 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 -ruN xsb.old/xsb/files/patch-ac xsb/xsb/files/patch-ac --- xsb.old/xsb/files/patch-ac Wed Dec 31 19:00:00 1969 +++ xsb/xsb/files/patch-ac Tue Jun 18 12:06:11 2002 @@ -0,0 +1,14 @@ +--- makexsb.in.orig Sat Apr 27 11:23:44 2002 ++++ makexsb.in Sat Apr 27 11:23:32 2002 +@@ -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 -ruN xsb.old/xsb/files/patch-ad xsb/xsb/files/patch-ad --- xsb.old/xsb/files/patch-ad Wed Dec 31 19:00:00 1969 +++ xsb/xsb/files/patch-ad Tue Jun 18 12:06:11 2002 @@ -0,0 +1,67 @@ +--- topMakefile.in.orig Sat Apr 27 11:25:35 2002 ++++ topMakefile.in Sat Apr 27 11:26:48 2002 +@@ -172,9 +172,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 || \ +@@ -182,7 +182,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: +@@ -190,7 +190,7 @@ + echo "Compiling smodels interface"; \ + rm -f *.o Makefile *.h *.O *.so 2>/dev/null || echo ""; \ + ln -s ${src_config_prefix}/smoMakefile ./Makefile; \ +- make CROSS_SIMULATOR=@CROSS_SIMULATOR@ XSB=$(src_scriptdir)/xsb$(config_tag) @smodels_goal@ 2>&1\ ++ gmake CROSS_SIMULATOR=@CROSS_SIMULATOR@ 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 +@@ -201,10 +201,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 + +@@ -394,10 +394,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:: +@@ -419,7 +419,7 @@ + @cd ../packages; ../build/clean_pkgs.sh + @-cd ${src_examples}; rm -f *.O *.o *~ */*.O */*.o */*~ + @echo "Cleaning up ${src_libdir}" +- @-(cd ${src_libdir}; make clean) ++ @-(cd ${src_libdir}; gmake clean) + + # recreate the makefiles + again: Makefile.in emuMakefile.in config.status ${src_config_prefix}/config.cache diff -ruN xsb.old/xsb/files/patch-ae xsb/xsb/files/patch-ae --- xsb.old/xsb/files/patch-ae Wed Dec 31 19:00:00 1969 +++ xsb/xsb/files/patch-ae Tue Jun 18 12:06:11 2002 @@ -0,0 +1,23 @@ +--- ../Makefile.orig Sat Apr 27 11:28:50 2002 ++++ ../Makefile Sat Apr 27 11:28:39 2002 +@@ -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 -ruN xsb.old/xsb/files/patch-af xsb/xsb/files/patch-af --- xsb.old/xsb/files/patch-af Wed Dec 31 19:00:00 1969 +++ xsb/xsb/files/patch-af Tue Jun 18 12:06:11 2002 @@ -0,0 +1,36 @@ +--- register.sh.orig Sat Apr 27 11:34:29 2002 ++++ register.sh Sat Apr 27 11:33:33 2002 +@@ -4,23 +4,20 @@ + cat <$dummy.c + for c in cc c89 gcc; do +- ($c $dummy.c -c) >/dev/null 2>&1 ++ ($c $dummy.c -c -o $dummy.o) >/dev/null 2>&1 + if test $? = 0; then + CC_FOR_BUILD="$c"; break + fi diff -ruN xsb.old/xsb/pkg-comment xsb/xsb/pkg-comment --- xsb.old/xsb/pkg-comment Wed Dec 31 19:00:00 1969 +++ xsb/xsb/pkg-comment Tue Jun 18 12:06:11 2002 @@ -0,0 +1 @@ +A tabled Logic Programming and Deductive Database system diff -ruN xsb.old/xsb/pkg-descr xsb/xsb/pkg-descr --- xsb.old/xsb/pkg-descr Wed Dec 31 19:00:00 1969 +++ xsb/xsb/pkg-descr Tue Jun 18 12:06:11 2002 @@ -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 -ruN xsb.old/xsb/pkg-plist xsb/xsb/pkg-plist --- xsb.old/xsb/pkg-plist Wed Dec 31 19:00:00 1969 +++ xsb/xsb/pkg-plist Tue Jun 18 12:06:11 2002 @@ -0,0 +1,1792 @@ +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/remove_unf.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/storage_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/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/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/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/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/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/Needham/CVS/Root +XSB/examples/xmc/Needham/CVS/Repository +XSB/examples/xmc/Needham/CVS/Entries +XSB/examples/xmc/Needham/CVS/Tag +XSB/examples/xmc/Needham/needham.xl +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/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/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/docs/userman/xsb.1 +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/.cvsignore +XSB/packages/regmatch/cc/NMakefile.mak +XSB/packages/regmatch/cc/xsb_re_match.c +XSB/packages/regmatch/cc/xsb_re_match.H +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/Makefile +XSB/packages/xsbdoc/full_ciao_ops.P +XSB/packages/xsbdoc/pretty_print.P +XSB/packages/xsbdoc/usage_message.P +XSB/packages/xsbdoc/basic_props.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/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.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/.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/.cvsignore +XSB/packages/wildmatch/cc/NMakefile.mak +XSB/packages/wildmatch/cc/xsb_wildmatch.c +XSB/packages/wildmatch/cc/xsb_wildmatch.H +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/.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/sModels/Makefile +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/perlmatch/CVS/Root +XSB/packages/perlmatch/CVS/Repository +XSB/packages/perlmatch/CVS/Entries +XSB/packages/perlmatch/CVS/Tag +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/.cvsignore +XSB/packages/perlmatch/cc/interface.h +XSB/packages/perlmatch/cc/perlpattern.c +XSB/packages/perlmatch/cc/xsbpattern.c +XSB/packages/perlmatch/.cvsignore +XSB/packages/perlmatch/Makefile +XSB/packages/perlmatch/plmchconfig.P +XSB/packages/perlmatch/plmchshell.P +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/.cvsignore +XSB/packages/CVS/Root +XSB/packages/CVS/Repository +XSB/packages/CVS/Entries +XSB/packages/CVS/Tag +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/flrheader_inc.flh +XSB/packages/flora2/headerinc/flrindex_P_inc.flh +XSB/packages/flora2/headerinc/flrpatch_inc.flh +XSB/packages/flora2/headerinc/flrpreddef_inc.flh +XSB/packages/flora2/headerinc/flrscalareql_inc.flh +XSB/packages/flora2/headerinc/flrtrailer_inc.flh +XSB/packages/flora2/CVS/Root +XSB/packages/flora2/CVS/Repository +XSB/packages/flora2/CVS/Entries +XSB/packages/flora2/CVS/Tag +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/btupdates.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/pretty.flr +XSB/packages/flora2/demos/pretty_data.flr +XSB/packages/flora2/demos/rel_ops.flr +XSB/packages/flora2/demos/tree_traversal.flr +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/dynamic_data.in +XSB/packages/flora2/debugger/flrdebugger.P +XSB/packages/flora2/debugger/static_data.in +XSB/packages/flora2/debugger/NMakefile.mak +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/Makefile +XSB/packages/flora2/docs/NMakefile.mak +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/docs/technical.txt +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/Makefile +XSB/packages/flora2/emacs/NMakefile.mak +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/NMakefile.mak +XSB/packages/flora2/genincludes/README +XSB/packages/flora2/genincludes/flrindex_P.fli +XSB/packages/flora2/genincludes/flrpatch.fli +XSB/packages/flora2/genincludes/flrpreddef.fli +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/.cvsignore +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/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/flrstorage.flr +XSB/packages/flora2/lib/flrsystem.flr +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/libinc/flrstorage_inc.flh +XSB/packages/flora2/libinc/flrsystem_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/.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/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/flrfirstorder.P +XSB/packages/flora2/flrlexer.H +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/flrparser.H +XSB/packages/flora2/flroperator.H +XSB/packages/flora2/flroperator.P +XSB/packages/flora2/flrparser.P +XSB/packages/flora2/flrprettyprint.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.P +XSB/packages/flora2/flrundefined.H +XSB/packages/flora2/flrundefined.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/flrundefhook.H +XSB/packages/flora2/.cvsignore +XSB/packages/flora2/CompileChangedFiles.sh +XSB/packages/flora2/Makefile +XSB/packages/flora2/NMakefile.mak +XSB/packages/flora2/TODO +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/flrdependency.H +XSB/packages/flora2/flrdependency.P +XSB/packages/flora2/flrfirstorder.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/gapaux.P +XSB/packages/gap/gapexamps.P +XSB/packages/gap/gapmeta.P +XSB/packages/gap/README +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/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.guess.orig +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/register.sh.orig +XSB/build/.apkgs.tmp +XSB/build/config.status +XSB/build/Installation_summary +XSB/build/makexsb +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_local.h +XSB/emu/com_0002fxsb_0002finterprolog_0002fNativeEngine.h +XSB/emu/com_xsb_interprolog_NativeEngine.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/flag_defs_xsb.h +XSB/emu/flags_xsb.h +XSB/emu/function.c +XSB/emu/gc_copy.h +XSB/emu/gc_mark.h +XSB/emu/gc_print.h +XSB/emu/gc_profile.h +XSB/emu/gc_slide.h +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/interprolog_xsb.h +XSB/emu/io_defs_xsb.h +XSB/emu/interprolog_callback.c +XSB/emu/interprolog_xsb_i.h +XSB/emu/io_builtins_xsb.c +XSB/emu/io_builtins_xsb.h +XSB/emu/io_builtins_xsb_i.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_string.h +XSB/emu/odbc_xsb.c +XSB/emu/odbc_xsb.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/proc.mk +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/remove_unf.c +XSB/emu/remove_unf.h +XSB/emu/residual.c +XSB/emu/residual.h +XSB/emu/scc_xsb.c +XSB/emu/scc_xsb.h +XSB/emu/schedrev_xsb_i.h +XSB/emu/setjmp_xsb.h +XSB/emu/sig_xsb.h +XSB/emu/slgdelay.c +XSB/emu/slgdelay.h +XSB/emu/slginsts_xsb_i.h +XSB/emu/socket_xsb.c +XSB/emu/socket_defs_xsb.h +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/storage_xsb.c +XSB/emu/storage_xsb.h +XSB/emu/storage_xsb_defs.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/tries.c +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/trie_lookup.c +XSB/emu/trie_internals.h +XSB/emu/trie_search.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_inst_list.h +XSB/emu/xsb_time.h +XSB/emu/trassert.h +XSB/emu/.cvsignore +XSB/emu/CODING_GUIDELINES +XSB/emu/README +XSB/syslib/CVS/Root +XSB/syslib/CVS/Repository +XSB/syslib/CVS/Entries +XSB/syslib/CVS/Tag +XSB/syslib/objfiles.saved/xcallxsb.O +XSB/syslib/objfiles.saved/atts.O +XSB/syslib/objfiles.saved/basics.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/gensym.O +XSB/syslib/objfiles.saved/hilogsym.O +XSB/syslib/objfiles.saved/loader.O +XSB/syslib/objfiles.saved/machine.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/xsb_hook.O +XSB/syslib/objfiles.saved/assert.O +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/subsumes.P +XSB/syslib/unix.O +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.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/xcallxsb.H +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/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/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/tprog.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_goal.O +XSB/cmplib/objfiles.saved/tp_index.O +XSB/cmplib/objfiles.saved/tpinline.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/tprog.D +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.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/.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/packaging.O +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 +share/xsb + +@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/etc/CVS +@dirrm XSB/etc/images/CVS +@dirrm XSB/etc/images +@dirrm XSB/etc +@dirrm XSB/bin +@dirrm XSB/config/%%MACHINE_ARCH%%-unknown-%%OPSYS%%%%OSREL%%/lib +@dirrm XSB/config/%%MACHINE_ARCH%%-unknown-%%OPSYS%%%%OSREL%%/saved.o +@dirrm XSB/config/%%MACHINE_ARCH%%-unknown-%%OPSYS%%%%OSREL%%/bin +@dirrm XSB/config/%%MACHINE_ARCH%%-unknown-%%OPSYS%%%%OSREL%% +@dirrm XSB/config +@dirrm XSB/examples/c_calling_XSB/CVS +@dirrm XSB/examples/c_calling_XSB +@dirrm XSB/examples/CVS +@dirrm XSB/examples/XSB_calling_c/CVS +@dirrm XSB/examples/XSB_calling_c +@dirrm XSB/examples/xmc/Rether/CVS +@dirrm XSB/examples/xmc/Rether +@dirrm XSB/examples/xmc/ABP/CVS +@dirrm XSB/examples/xmc/ABP +@dirrm XSB/examples/xmc/Tests/CVS +@dirrm XSB/examples/xmc/Tests +@dirrm XSB/examples/xmc/Sieve/CVS +@dirrm XSB/examples/xmc/Sieve +@dirrm XSB/examples/xmc/Leader/CVS +@dirrm XSB/examples/xmc/Leader +@dirrm XSB/examples/xmc/Needham/CVS +@dirrm XSB/examples/xmc/Needham +@dirrm XSB/examples/xmc/Metalock/CVS +@dirrm XSB/examples/xmc/Metalock +@dirrm XSB/examples/xmc/CVS +@dirrm XSB/examples/xmc/Iproto/CVS +@dirrm XSB/examples/xmc/Iproto +@dirrm XSB/examples/xmc +@dirrm XSB/examples/libwww/CVS +@dirrm XSB/examples/libwww/files/CVS +@dirrm XSB/examples/libwww/files +@dirrm XSB/examples/libwww +@dirrm XSB/examples/socket/select/CVS +@dirrm XSB/examples/socket/select +@dirrm XSB/examples/socket/CVS +@dirrm XSB/examples/socket +@dirrm XSB/examples/subprocess/CVS +@dirrm XSB/examples/subprocess +@dirrm XSB/examples +@dirrm XSB/docs/userman +@dirrm XSB/docs +@dirrm XSB/packages/regmatch/CVS +@dirrm XSB/packages/regmatch/cc/CVS +@dirrm XSB/packages/regmatch/cc +@dirrm XSB/packages/regmatch +@dirrm XSB/packages/xsbdoc/CVS +@dirrm XSB/packages/xsbdoc +@dirrm XSB/packages/xmc/GUI/CVS +@dirrm XSB/packages/xmc/GUI +@dirrm XSB/packages/xmc/CVS +@dirrm XSB/packages/xmc +@dirrm XSB/packages/wildmatch/CVS +@dirrm XSB/packages/wildmatch/cc/CVS +@dirrm XSB/packages/wildmatch/cc +@dirrm XSB/packages/wildmatch +@dirrm XSB/packages/slx/CVS +@dirrm XSB/packages/slx +@dirrm XSB/packages/sModels/CVS +@dirrm XSB/packages/sModels +@dirrm XSB/packages/clpqr/CVS +@dirrm XSB/packages/clpqr +@dirrm XSB/packages/perlmatch/CVS +@dirrm XSB/packages/perlmatch/cc/CVS +@dirrm XSB/packages/perlmatch/cc +@dirrm XSB/packages/perlmatch +@dirrm XSB/packages/libwww/cc/CVS +@dirrm XSB/packages/libwww/cc +@dirrm XSB/packages/libwww/CVS +@dirrm XSB/packages/libwww +@dirrm XSB/packages/CVS +@dirrm XSB/packages/flora2/headerinc/CVS +@dirrm XSB/packages/flora2/headerinc +@dirrm XSB/packages/flora2/CVS +@dirrm XSB/packages/flora2/demos/CVS +@dirrm XSB/packages/flora2/demos +@dirrm XSB/packages/flora2/debugger/CVS +@dirrm XSB/packages/flora2/debugger +@dirrm XSB/packages/flora2/docs/CVS +@dirrm XSB/packages/flora2/docs +@dirrm XSB/packages/flora2/emacs/CVS +@dirrm XSB/packages/flora2/emacs +@dirrm XSB/packages/flora2/flrincludes/CVS +@dirrm XSB/packages/flora2/flrincludes +@dirrm XSB/packages/flora2/genincludes/CVS +@dirrm XSB/packages/flora2/genincludes +@dirrm XSB/packages/flora2/closure/includes/CVS +@dirrm XSB/packages/flora2/closure/includes +@dirrm XSB/packages/flora2/closure/CVS +@dirrm XSB/packages/flora2/closure +@dirrm XSB/packages/flora2/includes/CVS +@dirrm XSB/packages/flora2/includes +@dirrm XSB/packages/flora2/lib/CVS +@dirrm XSB/packages/flora2/lib +@dirrm XSB/packages/flora2/libinc/CVS +@dirrm XSB/packages/flora2/libinc +@dirrm XSB/packages/flora2/p2h/CVS +@dirrm XSB/packages/flora2/p2h +@dirrm XSB/packages/flora2/pkgs/CVS +@dirrm XSB/packages/flora2/pkgs +@dirrm XSB/packages/flora2/syslib/CVS +@dirrm XSB/packages/flora2/syslib +@dirrm XSB/packages/flora2/syslibinc/CVS +@dirrm XSB/packages/flora2/syslibinc +@dirrm XSB/packages/flora2/trailer/CVS +@dirrm XSB/packages/flora2/trailer +@dirrm XSB/packages/flora2 +@dirrm XSB/packages/flora/lib/CVS +@dirrm XSB/packages/flora/lib +@dirrm XSB/packages/flora/closure/CVS +@dirrm XSB/packages/flora/closure +@dirrm XSB/packages/flora/CVS +@dirrm XSB/packages/flora/pkgs/CVS +@dirrm XSB/packages/flora/pkgs +@dirrm XSB/packages/flora/p2h/CVS +@dirrm XSB/packages/flora/p2h +@dirrm XSB/packages/flora/demos/CVS +@dirrm XSB/packages/flora/demos +@dirrm XSB/packages/flora/includes/CVS +@dirrm XSB/packages/flora/includes +@dirrm XSB/packages/flora/homepage/CVS +@dirrm XSB/packages/flora/homepage +@dirrm XSB/packages/flora/emacs/CVS +@dirrm XSB/packages/flora/emacs +@dirrm XSB/packages/flora/docs/CVS +@dirrm XSB/packages/flora/docs +@dirrm XSB/packages/flora/syslib/CVS +@dirrm XSB/packages/flora/syslib +@dirrm XSB/packages/flora +@dirrm XSB/packages/gap/CVS +@dirrm XSB/packages/gap +@dirrm XSB/packages +@dirrm XSB/prolog_includes/CVS +@dirrm XSB/prolog_includes +@dirrm XSB/build +@dirrm XSB/emu/dde/CVS +@dirrm XSB/emu/dde +@dirrm XSB/emu/CVS +@dirrm XSB/emu/debugs/CVS +@dirrm XSB/emu/debugs +@dirrm XSB/emu/orastuff/CVS +@dirrm XSB/emu/orastuff +@dirrm XSB/emu +@dirrm XSB/syslib/CVS +@dirrm XSB/syslib/objfiles.saved +@dirrm XSB/syslib +@dirrm XSB/cmplib/objfiles.saved +@dirrm XSB/cmplib/CVS +@dirrm XSB/cmplib +@dirrm XSB/lib/CVS +@dirrm XSB/lib +@dirrm XSB/gpp/CVS +@dirrm XSB/gpp +@dirrm XSB/site/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 +@dirrm XSB