head	1.3;
access;
symbols
	RELEASE_5_2_1:1.2
	RELEASE_5_2_0:1.2
	RELEASE_4_9_0:1.2
	RELEASE_5_1_0:1.2
	RELEASE_4_8_0:1.2
	RELEASE_5_0_0:1.2
	RELEASE_4_7_0:1.2
	RELEASE_4_6_2:1.1
	RELEASE_4_6_1:1.1
	RELEASE_4_6_0:1.1
	RELEASE_5_0_DP1:1.1
	RELEASE_4_5_0:1.1
	RELEASE_4_4_0:1.1;
locks; strict;
comment	@# @;


1.3
date	2004.02.01.17.50.56;	author pav;	state dead;
branches;
next	1.2;

1.2
date	2002.06.20.19.53.10;	author ijliao;	state Exp;
branches;
next	1.1;

1.1
date	2001.08.18.08.42.17;	author ijliao;	state Exp;
branches;
next	;


desc
@@


1.3
log
@- Update to 2.6

PR:		ports/62205
Submitted by:	Christopher Rued <c.rued@@xsb.com> (maintainer)
@
text
@--- 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?"
@


1.2
log
@upgrade to 2.5

PR:		39474
Submitted by:	maintainer
@
text
@@


1.1
log
@add xsb
A tabled Logic Programming and Deductive Database system

PR:		29322
Submitted by:	Christopher Rued <c.rued@@xsb.com>
@
text
@d1 2
a2 2
--- makexsb.in.old	Sun Jul 29 15:37:36 2001
+++ makexsb.in	Sun Jul 29 16:18:20 2001
@

