mirror/freebsd-ports
1
0
Fork 0
mirror of https://git.FreeBSD.org/ports.git synced 2024-11-27 00:57:50 +00:00
Code Issues Releases Activity

upgrade to 2.5

Browse Source 
PR:		39474
Submitted by:	maintainer
This commit is contained in:
Ying-Chieh Liao 2002-06-20 19:53:10 +00:00
parent 79eb24a036
commit 041df375fc
Notes: svn2git 2021-03-31 03:12:20 +00:00 
svn path=/head/; revision=61647
10 changed files with 454 additions and 528 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

19
lang/xsb/Makefile
View File

@ -6,18 +6,22 @@
#
PORTNAME= XSB
PORTVERSION= 2.4
PORTVERSION= 2.5
CATEGORIES= lang
MASTER_SITES= ${MASTER_SITE_SOURCEFORGE}
MASTER_SITE_SUBDIR= xsb
MASTER_SITE_SUBDIR= ${PORTNAME:L}
DISTNAME= ${PORTNAME}-${PORTVERSION:S/./_/g}
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}
USE_GMAKE= yes
MAN1= xsb.1
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 ; \
@ -25,9 +29,10 @@ do-build:
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 ; \
${ECHO} The user manual is in ${PREFIX}/share/xsb
${ECHO_CMD} XSB is now installed. ; \
${ECHO_CMD} To run it, execute ${PREFIX}/XSB/bin/xsb ; \
${ECHO_CMD} The user manual is in ${PREFIX}/share/xsb
.include <bsd.port.mk>

2
lang/xsb/distinfo
View File

@ -1 +1 @@
MD5 (XSB-2.4.tar.gz) = 3f86ed352f7d1b95e9700e492ecca933
MD5 (XSB-2_5.tar.gz) = 30d747cf9659af6701062ef198ef552a

28
lang/xsb/files/patch-aa
View File

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

28
lang/xsb/files/patch-ab
View File

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

4
lang/xsb/files/patch-ac
View File

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

27
lang/xsb/files/patch-ad
View File

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

4
lang/xsb/files/patch-ae
View File

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

35
lang/xsb/files/patch-af
View File

@ -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 <<EOF
*******************************************************************************
The installation process is now complete. The log is in: Installation_summary
-The installation process is now complete. The log is in: Installation_summary
+The installation process is now complete.
-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.
-Installation logs help the XSB group to keep track of the usage of the
-system on different architectures and to isolate problems more easily.
+A log of this process has been created in:
-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
-
-EOF
+ Installation_summary
+
+We would like to ask you to email this log to us:
-read sendlog
-
+ xsb-installation@lists.sourceforge.net
-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
+Installation logs help the XSB group to keep track of the usage of the
+system on different architectures and to isolate problems more easily.
+*******************************************************************************
+EOF
cat <<EOF
Should you find a bug in XSB, please report it using our bug tracking system at

20
lang/xsb/files/patch-ag Normal file
View File

@ -0,0 +1,20 @@
--- config.guess.orig Tue Jun 18 11:40:04 2002
+++ config.guess Tue Jun 18 11:40:48 2002
@@ -79,7 +79,7 @@
fi
-dummy=dummy-$$
+dummy=/tmp/dummy-$$
trap 'rm -f $dummy.c $dummy.o $dummy; exit 1' 1 2 15
# Use $HOST_CC if defined. $CC may point to a cross-compiler
@@ -92,7 +92,7 @@
else
echo 'int dummy(){}' >$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

815
lang/xsb/pkg-plist
View File

File diff suppressed because it is too large Load Diff