| Port details |
- xsb A tabled Logic Programming and Deductive Database system
- 2.6_1 lang
 =0      2.6_1Version of this port present on the latest quarterly branch.  BROKEN: "Does not compile on !i386 and !sparc64"
 DEPRECATED: has been broken for 6 months
 This port expired on: 2010-01-08
 IGNORE: is marked as broken: "Does not compile on !i386 and !sparc64"
- Maintainer: c.rued@xsb.com
- Port Added: 2001-08-18 05:42:17
- Last Update: 2010-01-20 19:14:56
- SVN Revision: UNKNOWN
- License: not specified in port
- Description:
- 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/
- Christopher Rued
c.rued@xsb.com
 cgit ¦ GitHub ¦ GitHub ¦ GitLab ¦  - pkg-plist: as obtained via:
make generate-plist - There is no configure plist information for this port.
- Dependency lines:
-
- No installation instructions:
- This port has been deleted.
- PKGNAME: XSB
- Flavors: there is no flavor information for this port.
- distinfo:
- There is no distinfo for this port.
No package information for this port in our database- Sometimes this happens. Not all ports have packages.
- Dependencies
- NOTE: FreshPorts displays only information on required and default dependencies. Optional dependencies are not covered.
- Build dependencies:
-
- makedepend : devel/makedepend
- gmake : devel/gmake
- There are no ports dependent upon this port
Configuration Options:- No options to configure
- Options name:
- N/A
- FreshPorts was unable to extract/find any pkg message
- Master Sites:
|
| Commit History - (may be incomplete: for full details, see links to repositories near top of page) |
| Commit | Credits | Log message |
|---|
2.6_1
20 Jan 2010 19:14:56
  |
miwi |
2010-01-08 audio/dino: has been broken for 7 months
2010-01-08 devel/asis-gpl: has been broken for 3 months
2010-01-08 devel/florist-gpl: has been broken for 3 months
2010-01-08 devel/kdesvn: has been broken for 4 months
2010-01-08 devel/radrails: has been broken for 3 months
2010-01-08 devel/rubygem-rtags: has been broken for 5 months
2010-01-12 games/hattrickorganizer: Has been broken for quite some time
2010-01-08 games/laughingman: has been broken for 3 months
2010-01-08 devel/aunit: has been broken for 3 months
2010-01-18 devel/gdb53: has been broken for 3 months
2010-01-08 lang/ccscript: has been broken for 4 months
2010-01-08 lang/gnat-glade: has been broken for 3 months
2010-01-08 lang/xsb: has been broken for 6 months
2010-01-08 multimedia/nmm: has been broken for 3 months
2010-01-08 multimedia/sabbu: has been broken for 3 months
2010-01-08 net/adasockets: has been broken for 3 months
2010-01-08 textproc/bidiv: has been broken for 3 months
2010-01-08 textproc/xmlada-gps: has been broken for 3 months |
2.6_1
08 Dec 2009 14:30:09
|
pav |
This port has been broken for 3+ months, thus
- Mark DEPRECATED and schedule for expiration in one month
With hat: portmgr |
2.6_1
22 Aug 2009 00:24:37
 |
amdmi3 |
- Switch SourceForge ports to the new File Release System: categories starting
with H,I,J,K,L |
2.6_1
06 Jun 2009 11:21:36
|
erwin |
Mark BROKEN: does not package. |
2.6_1
23 Sep 2008 09:17:59
|
gahr |
- Unbreak on CURRENT |
2.6_1
19 Apr 2008 17:56:05
|
miwi |
- Remove unneeded dependency from gtk12/gtk20 [1]
- Remove USE_XLIB/USE_X_PREFIX/USE_XPM in favor of USE_XORG
- Remove X11BASE support in favor of LOCALBASE or PREFIX
- Use USE_LDCONFIG instead of INSTALLS_SHLIB
- Remove unneeded USE_GCC 3.4+
Thanks to all Helpers:
Dmitry Marakasov, Chess Griffin, beech@, dinoex, rafan, gahr,
ehaupt, nox, itetcu, flz, pav
PR: 116263
Tested on: pointyhat
Approved by: portmgr (pav) |
2.6_1
01 Oct 2007 09:52:51
|
linimon |
Mark as broken on gcc4.2. |
2.6_1
22 Jan 2006 12:42:24
|
edwin |
SHA256ify
Approved by: krion@ |
2.6_1
12 Apr 2005 03:26:57
|
obrien |
At Kris's request, back out the MACHINE_ARCH spelling correction until
after 5.4-RELEASE. |
2.6_1
11 Apr 2005 08:04:41
|
obrien |
Assist getting more ports working on AMD64 by obeying the
Ports Collection documentation and use 'ARCH' rather than 'MACHINE_ARCH'. |
2.6_1
10 Apr 2005 21:14:31
|
kris |
Now builds on sparc64 |
2.6_1
19 Aug 2004 01:40:22
|
anholt |
Fix more hardcoding of imake-4 port directory to use X_IMAKE_PORT. |
2.6_1
31 Mar 2004 03:12:58
|
trevor |
SIZEify (maintainer timeout) |
2.6_1
29 Mar 2004 06:48:52
|
kris |
BROKEN on !i386: Does not compile |
2.6_1
20 Mar 2004 00:48:05
|
linimon |
The dependency in the previous commit should have been devel/imake-4,
not devel/imake, which is the XFree86-3 version and is marked for
deprecation Real Soon Now. |
2.6_1
11 Feb 2004 20:03:35
|
pav |
- Add missed dependency on makedepend (unbreak build)
PR: ports/62624
Submitted by: Volker Stolz <stolz@i2.informatik.rwth-aachen.de> |
2.6_1
04 Feb 2004 05:21:48
|
marcus |
Bump PORTREVISION on all ports that depend on gettext to aid with upgrading.
(Part 2) |
2.6
01 Feb 2004 17:50:57
|
pav |
- Update to 2.6
PR: ports/62205
Submitted by: Christopher Rued <c.rued@xsb.com> (maintainer) |
2.5
05 Apr 2003 21:07:12
|
kris |
Add missing files |
2.5
21 Feb 2003 12:35:09
|
knu |
De-pkg-comment. |
2.5
20 Jun 2002 19:53:10
|
ijliao |
upgrade to 2.5
PR: 39474
Submitted by: maintainer |
23 Aug 2001 17:07:34
    |
alex |
USE_GMAKE |
18 Aug 2001 09:42:17
|
ijliao |
add xsb A tabled Logic Programming and Deductive Database system |
As an Amazon Associate I earn from qualifying purchases.