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

I am looking for an LTO tape library. Do you have one to spare?
Port details
xsb 2.6_1 lang Deleted on this many watch lists=0 search for ports that depend on 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"
A tabled Logic Programming and Deductive Database system
Was Maintained by: 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 : Main Web Site : Distfiles Availability : PortsMon

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

Required To Build:
  1. devel/makedepend
  2. 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
kdelibs3Jul 31
kdelibs4Jul 31
torJul 30
torJul 30
tor-develJul 30
i2pJul 28
i2pJul 28
i2pJul 28
bugzilla44Jul 25
apache22Jul 24
apache22-event-mpmJul 24
apache22-itk-mpmJul 24
apache22-peruser-mpmJul 24
apache22-worker-mpmJul 24
firefoxJul 23

11 vulnerabilities affecting 36 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 24401
Broken 180
Deprecated 813
Ignore 515
Forbidden 16
Restricted 263
No CDROM 101
Vulnerable 27
Expired 5
Set to expire 800
Interactive 13
new 24 hours 6
new 48 hours10
new 7 days23
new fortnight38
new month112

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