FreshPorts -- The Place For Ports If you buy from Amazon USA, please support us by using this link.
Follow us
Blog
Twitter

Port details
xsb A tabled Logic Programming and Deductive Database system
2.6_1 lang Deleted on this many watch lists=0 search for ports that depend on this port Find issues related to this port Report an issue related to this port
Broken BROKEN: "Does not compile on !i386 and !sparc64"
Deprecated DEPRECATED: has been broken for 6 months
Expired This port expired on: 2010-01-08
Ignore IGNORE: is marked as broken: "Does not compile on !i386 and !sparc64"
Maintainer: c.rued@xsb.com search for ports maintained by this maintainer
Port Added: 18 Aug 2001 05:42:17
License: not specified in port
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
SVNWeb : Homepage : PortsMon

No installation instructions: this port has been deleted.

The package name of this deleted port was: XSB

PKGNAME: XSB


NOTE: FreshPorts displays only information on required and default dependencies. Optional dependencies are not covered.

Build dependencies:
  1. makedepend : devel/makedepend
  2. gmake : devel/gmake
There are no ports dependent upon this port

Configuration Options
     No options to configure

Master Sites:
  1. ftp://ftp.FreeBSD.org/pub/FreeBSD/ports/distfiles/
  2. http://biznetnetworks.dl.sourceforge.net/project/xsb/xsb/2.6%20%28Duff%29/
  3. http://freefr.dl.sourceforge.net/project/xsb/xsb/2.6%20%28Duff%29/
  4. http://heanet.dl.sourceforge.net/project/xsb/xsb/2.6%20%28Duff%29/
  5. http://internode.dl.sourceforge.net/project/xsb/xsb/2.6%20%28Duff%29/
  6. http://iweb.dl.sourceforge.net/project/xsb/xsb/2.6%20%28Duff%29/
  7. http://jaist.dl.sourceforge.net/project/xsb/xsb/2.6%20%28Duff%29/
  8. http://kent.dl.sourceforge.net/project/xsb/xsb/2.6%20%28Duff%29/
  9. http://nchc.dl.sourceforge.net/project/xsb/xsb/2.6%20%28Duff%29/
  10. http://osdn.dl.sourceforge.net/project/xsb/xsb/2.6%20%28Duff%29/
  11. http://softlayer.dl.sourceforge.net/project/xsb/xsb/2.6%20%28Duff%29/
  12. http://sunet.dl.sourceforge.net/project/xsb/xsb/2.6%20%28Duff%29/
  13. http://surfnet.dl.sourceforge.net/project/xsb/xsb/2.6%20%28Duff%29/
  14. http://switch.dl.sourceforge.net/project/xsb/xsb/2.6%20%28Duff%29/
  15. http://transact.dl.sourceforge.net/project/xsb/xsb/2.6%20%28Duff%29/
  16. http://upfr.dl.sourceforge.net/project/xsb/xsb/2.6%20%28Duff%29/
  17. http://voxel.dl.sourceforge.net/project/xsb/xsb/2.6%20%28Duff%29/
Port Moves
  • port deleted on 2010-01-20
    REASON: Has expired: has been broken for 6 months

Number of commits found: 23

Commit History - (may be incomplete: see SVNWeb link above for full details)
DateByDescription
20 Jan 2010 19:14:56
Original commit files touched by this commit  2.6_1
miwi search for other commits by this committer
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
08 Dec 2009 14:30:09
Original commit files touched by this commit  2.6_1
pav search for other commits by this committer
  This port has been broken for 3+ months, thus

- Mark DEPRECATED and schedule for expiration in one month

With hat:       portmgr
22 Aug 2009 00:24:37
Original commit files touched by this commit  2.6_1
  Sanity Test Failure
amdmi3 search for other commits by this committer
- Switch SourceForge ports to the new File Release System: categories starting
with H,I,J,K,L
06 Jun 2009 11:21:36
Original commit files touched by this commit  2.6_1
erwin search for other commits by this committer
Mark BROKEN: does not package.
23 Sep 2008 09:17:59
Original commit files touched by this commit  2.6_1
gahr search for other commits by this committer
- Unbreak on CURRENT
19 Apr 2008 17:56:05
Original commit files touched by this commit  2.6_1
  Sanity Test Failure
miwi search for other commits by this committer
- 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)
01 Oct 2007 09:52:51
Original commit files touched by this commit  2.6_1
linimon search for other commits by this committer
Mark as broken on gcc4.2.
22 Jan 2006 12:42:24
Original commit files touched by this commit  2.6_1
edwin search for other commits by this committer
SHA256ify

Approved by: krion@
12 Apr 2005 03:26:57
Original commit files touched by this commit  2.6_1
obrien search for other commits by this committer
At Kris's request, back out the MACHINE_ARCH spelling correction until
after 5.4-RELEASE.
11 Apr 2005 08:04:41
Original commit files touched by this commit  2.6_1
obrien search for other commits by this committer
Assist getting more ports working on AMD64 by obeying the
Ports Collection documentation and use 'ARCH' rather than 'MACHINE_ARCH'.
10 Apr 2005 21:14:31
Original commit files touched by this commit  2.6_1
kris search for other commits by this committer
Now builds on sparc64
19 Aug 2004 01:40:22
Original commit files touched by this commit  2.6_1
anholt search for other commits by this committer
Fix more hardcoding of imake-4 port directory to use X_IMAKE_PORT.
31 Mar 2004 03:12:58
Original commit files touched by this commit  2.6_1
trevor search for other commits by this committer
SIZEify (maintainer timeout)
29 Mar 2004 06:48:52
Original commit files touched by this commit  2.6_1
kris search for other commits by this committer
BROKEN on !i386: Does not compile
20 Mar 2004 00:48:05
Original commit files touched by this commit  2.6_1
linimon search for other commits by this committer
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.
11 Feb 2004 20:03:35
Original commit files touched by this commit  2.6_1
pav search for other commits by this committer
- Add missed dependency on makedepend (unbreak build)

PR:             ports/62624
Submitted by:   Volker Stolz <stolz@i2.informatik.rwth-aachen.de>
04 Feb 2004 05:21:48
Original commit files touched by this commit  2.6_1
marcus search for other commits by this committer
Bump PORTREVISION on all ports that depend on gettext to aid with upgrading.

(Part 2)
01 Feb 2004 17:50:57
Original commit files touched by this commit  2.6
pav search for other commits by this committer
- Update to 2.6

PR:             ports/62205
Submitted by:   Christopher Rued <c.rued@xsb.com> (maintainer)
05 Apr 2003 21:07:12
Original commit files touched by this commit  2.5
kris search for other commits by this committer
Add missing files
21 Feb 2003 12:35:09
Original commit files touched by this commit  2.5
knu search for other commits by this committer
De-pkg-comment.
20 Jun 2002 19:53:10
Original commit files touched by this commit  2.5
ijliao search for other commits by this committer
upgrade to 2.5

PR:             39474
Submitted by:   maintainer
23 Aug 2001 17:07:34
files touched by this commit
alex search for other commits by this committer
USE_GMAKE    
18 Aug 2001 09:42:17
files touched by this commit
ijliao search for other commits by this committer
add xsb   A tabled Logic Programming and Deductive Database system    

Number of commits found: 23

Login
User Login
Create account

Servers and bandwidth provided by
New York Internet, SuperNews, and RootBSD

This site
What is FreshPorts?
About the authors
Issues
FAQ
How big is it?
The latest upgrade!
Privacy
Forums
Blog
Contact

Search
Enter Keywords:
 
more...

Latest Vulnerabilities
openvswitchMay 29
cactiMay 28
chromiumMay 28
chromiumMay 28
chromiumMay 28
php55May 28
php55-gdMay 28
php55-pharMay 28
php56May 28
php56-gdMay 28
php70-gdMay 28
php70-intlMay 28
mediawiki123May 24
mediawiki124May 24
mediawiki125May 24

10 vulnerabilities affecting 20 ports have been reported in the past 14 days

* - modified, not new

All vulnerabilities


Ports
Home
Categories
Deleted ports
Sanity Test Failures
Newsfeeds

Statistics
Graphs
NEW Graphs (Javascript)
Traffic

Calculated hourly:
Port count 26092
Broken 286
Deprecated 58
Ignore 551
Forbidden 0
Restricted 202
No CDROM 85
Vulnerable 53
Expired 16
Set to expire 46
Interactive 0
new 24 hours 4
new 48 hours9
new 7 days35
new fortnight61
new month132

Servers and bandwidth provided by
New York Internet, SuperNews, and RootBSD
Valid HTML, CSS, and RSS.
Copyright © 2000-2014 Dan Langille. All rights reserved.