freebsd/ports
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

add xsb

Browse Source 
A tabled Logic Programming and Deductive Database system

PR:		29322
Submitted by:	Christopher Rued <c.rued@xsb.com>
This commit is contained in:
Ying-Chieh Liao
2001-08-18 08:42:17 +00:00
parent 48c088f221
commit 07ab3ccfac
12 changed files with 2220 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

1
lang/Makefile
View File

@@ -172,6 +172,7 @@
SUBDIR += tinycobol
SUBDIR += treecc
SUBDIR += wamcc
SUBDIR += xsb
SUBDIR += yabasic
SUBDIR += yap
SUBDIR += yorick

32
lang/xsb/Makefile Normal file
View File

@@ -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>

1
lang/xsb/distinfo Normal file
View File

@@ -0,0 +1 @@
MD5 (XSB-2.4.tar.gz) = 3f86ed352f7d1b95e9700e492ecca933

76
lang/xsb/files/patch-aa Normal file
View File

@@ -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

76
lang/xsb/files/patch-ab Normal file
View File

@@ -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

14
lang/xsb/files/patch-ac Normal file
View File

@@ -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?"

58
lang/xsb/files/patch-ad Normal file
View File

@@ -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::

23
lang/xsb/files/patch-ae Normal file
View File

@@ -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

29
lang/xsb/files/patch-af Normal file
View File

@@ -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

1
lang/xsb/pkg-comment Normal file
View File

@@ -0,0 +1 @@
A tabled Logic Programming and Deductive Database system

14
lang/xsb/pkg-descr Normal file
View File

@@ -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/

1895
lang/xsb/pkg-plist Normal file
View File

File diff suppressed because it is too large Load Diff