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

Please give me your LTO-4 or better tape library and I'll put it to good use.
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 : Distfiles Availability : PortsMon

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

No installation instructions: this port has been deleted.

The package name of this deleted port was: XSB


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
FAQ
How big is it?
The latest upgrade!
Privacy
Forums
Blog
Contact

Search
Enter Keywords:
 
more...

Latest Vulnerabilities
cinepaint*Jul 01
darktable*Jul 01
dcraw*Jul 01
dcraw-m*Jul 01
exact-image*Jul 01
flphoto*Jul 01
freeimage*Jul 01
kodi*Jul 01
libraw*Jul 01
libxml2Jul 01
lightzone*Jul 01
netpbm*Jul 01
opengtl*Jul 01
rawstudio*Jul 01
ufraw*Jul 01

27 vulnerabilities affecting 60 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 24948
Broken 209
Deprecated 44
Ignore 506
Forbidden 1
Restricted 204
No CDROM 94
Vulnerable 32
Expired 1
Set to expire 32
Interactive 0
new 24 hours 12
new 48 hours20
new 7 days66
new fortnight92
new month180

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