./lang/swi-prolog [Prolog for the real world]
[+] Add this package to your ports tracker

[ CVSweb ] [ Homepage ] [ RSS feed ]

Version: 7.6.0, Package name: swi-prolog-7.6.0
Maintained by: Edd Barrett
Master sites:
Description
SWI-Prolog started life in 1986 as a Prolog in the Edinburgh tradition.
Its development has been guided from the very beginning by the desire to
build large scale applications in Prolog. For this reason it stresses
connectivity to the C-language, few system limits, comprehensive memory
management, modules, multi-threading, coroutining, constraints and a
fast and interactive development environment. Portable libraries for
graphics, databases, networking, web-services, XML, RDF and many more
complete the system.

SWI-Prolog is compliant to part one of ISO standard Prolog. In addition
it provides functionality compatible to Quintus, SICStus, LPA, Ciao and
many more.


Filesize: 16370.585 KB
Version History (View Complete History)
  • (2017-11-07) Updated to version: swi-prolog-7.6.0
  • (2014-04-04) Updated to version: swi-prolog-6.6.4
  • (2013-07-10) Updated to version: swi-prolog-6.2.6
  • (2012-10-02) Updated to version: swi-prolog-6.2.2
  • (2011-09-18) Updated to version: swi-prolog-5.10.5
  • (2011-05-12) Updated to version: swi-prolog-5.10.4
  • (2011-01-03) Updated to version: swi-prolog-5.10.2
  • (2010-01-28) Updated to version: swi-prolog-5.6.59p4
  • (2009-08-11) Updated to version: swi-prolog-5.6.59p3
  • (2009-06-23) Updated to version: swi-prolog-5.6.59p2
[show/hide] View available PLISTS (Can be a lot of data)

CVS Commit History:

   2017-08-21 13:25:52 by Christian Weisgerber | Files touched by this commit (13)
Log message:
bump for plist changes 6.1 -> 6.2
   2017-03-14 06:23:21 by Jeremie Courreges-Anglas | Files touched by this commit (1)
Log message:
Use lang/gcc for atomic builtins on arm
ok edd@ (maintainer)
   2017-03-14 06:22:41 by Jeremie Courreges-Anglas | Files touched by this commit (1)
Log message:
Fix MASTER_SITES
ok edd@ (maintainer)
   2017-03-04 14:59:56 by Stuart Henderson | Files touched by this commit (10)
Log message:
bump ports with openbsd version number in filenames
   2016-09-10 07:03:44 by Antoine Jacoutot | Files touched by this commit (95)
Log message:
First pass at pre-entively fixing ports that would break once guenther's header
pollution diff is in.
lang/squeak/vm does not build but it's due to the recent audio changes
games/xbattle: also fixes some conflicting implicit decl
print/hplip: also fixes some conflicting implicit decl
   2016-09-10 07:03:44 by Antoine Jacoutot | Files touched by this commit (95)
Log message:
First pass at pre-entively fixing ports that would break once guenther's header
pollution diff is in.
lang/squeak/vm does not build but it's due to the recent audio changes
games/xbattle: also fixes some conflicting implicit decl
print/hplip: also fixes some conflicting implicit decl
   2016-05-11 19:17:14 by Christian Weisgerber | Files touched by this commit (15)
Log message:
bump for plist changes 5.9 -> 6.0
   2016-03-15 15:12:07 by Christian Weisgerber | Files touched by this commit (3)
Log message:
replace after-bsd.port.mk hack with PROPERTIES check, regen PLIST
   2016-03-15 15:12:07 by Christian Weisgerber | Files touched by this commit (3)
Log message:
replace after-bsd.port.mk hack with PROPERTIES check, regen PLIST
   2016-03-15 15:12:07 by Christian Weisgerber | Files touched by this commit (3)
Log message:
replace after-bsd.port.mk hack with PROPERTIES check, regen PLIST
   2016-03-10 04:50:13 by Christian Weisgerber | Files touched by this commit (9)
Log message:
requires --enable-shared
   2016-02-21 09:17:26 by Jonathan Gray | Files touched by this commit (11)
Log message:
Don't attempt to build on arm.  sync atomic builtins required.
   2015-12-25 01:39:46 by Antoine Jacoutot | Files touched by this commit (5)
Log message:
Remove some BROKEN markers for ports that should build now with the new libgcc
assisted built-in atomic ops for mips64.
from Brad
   2015-12-19 17:16:28 by Christian Weisgerber | Files touched by this commit (15)
Log message:
bump for plist changes 5.8 -> 5.9
   2015-11-24 02:11:07 by Jasper Lievisse Adriaanse | Files touched by this commit (86)
Log message:
switch distfiles.nl to SSL, setup with security/letsencrypt/client
   2015-06-17 14:03:12 by Stuart Henderson | Files touched by this commit (16)
Log message:
port REVISION bumps as base has moved to 5.8
   2015-05-22 05:31:20 by Antoine Jacoutot | Files touched by this commit (296)
Log message:
"/usr/local/lib/pkgconfig/" is part of mtree(8).
Packages should not own this dir to prevent its deletion or a warning that it
cannot be removed because it's not empty at pkg_delete(1) time.
   2015-05-22 05:31:20 by Antoine Jacoutot | Files touched by this commit (296)
Log message:
"/usr/local/lib/pkgconfig/" is part of mtree(8).
Packages should not own this dir to prevent its deletion or a warning that it
cannot be removed because it's not empty at pkg_delete(1) time.
   2015-05-05 11:00:21 by Stuart Henderson | Files touched by this commit (152)
Log message:
sync WANTLIB
   2015-02-16 15:57:14 by Christian Weisgerber | Files touched by this commit (213)
Log message:
Drop USE_GROFF from ports where the formatting differences are acceptable
or mandoc provides the more useful output.
   2015-01-02 07:26:12 by Stuart Henderson | Files touched by this commit (13)
Log message:
bump REVISION for 5.7
   2011-07-18 13:06:37 by Christian Weisgerber | Files touched by this commit (29)
Log message:
bump revision for plist changes 4.9 -> 5.0
   2011-04-28 13:18:22 by Jasper Lievisse Adriaanse | Files touched by this commit (1)
Log message:
make build logs a lot easier to read by zapping the
"<malloc.h> is obsolete, use <stdlib.h>" warnings.
   2011-04-28 12:59:18 by Jasper Lievisse Adriaanse | Files touched by this commit (4)
Log message:
- enable rdf and sgml libraries now that libc has swprintf()
   2011-04-28 12:59:18 by Jasper Lievisse Adriaanse | Files touched by this commit (4)
Log message:
- enable rdf and sgml libraries now that libc has swprintf()
   2011-04-28 12:59:18 by Jasper Lievisse Adriaanse | Files touched by this commit (4)
Log message:
- enable rdf and sgml libraries now that libc has swprintf()
   2011-04-28 12:59:18 by Jasper Lievisse Adriaanse | Files touched by this commit (4)
Log message:
- enable rdf and sgml libraries now that libc has swprintf()
   2011-04-16 05:49:01 by Jasper Lievisse Adriaanse | Files touched by this commit (1)
Log message:
- switch to autoconf 2.67. config.h was checked.
ok sthen@
   2011-04-11 00:43:39 by Jasper Lievisse Adriaanse | Files touched by this commit (1)
Log message:
this does need jpeg after all
   2011-04-08 01:55:16 by Jasper Lievisse Adriaanse | Files touched by this commit (6)
Log message:
- update to 5.10.4
   2011-04-08 01:55:16 by Jasper Lievisse Adriaanse | Files touched by this commit (6)
Log message:
- update to 5.10.4
   2011-04-08 01:55:16 by Jasper Lievisse Adriaanse | Files touched by this commit (6)
Log message:
- update to 5.10.4
   2011-04-08 01:55:16 by Jasper Lievisse Adriaanse | Files touched by this commit (6)
Log message:
- update to 5.10.4
   2011-04-08 01:55:16 by Jasper Lievisse Adriaanse | Files touched by this commit (6)
Log message:
- update to 5.10.4
   2011-04-08 01:55:16 by Jasper Lievisse Adriaanse | Files touched by this commit (6)
Log message:
- update to 5.10.4
   2011-01-14 18:09:43 by Christian Weisgerber | Files touched by this commit (28)
Log message:
bump revision for plist changes 4.8 -> 4.9
   2010-12-27 09:07:08 by Jasper Lievisse Adriaanse | Files touched by this commit (13)
Log message:
- update swi-prolog to 5.10.2
- unbreak on hppa (tested by landry@)
If you are upgrading from an older release (e.g. 5.6.x) it is advised to
read the upgrading guide which is available from
http://www.swi-prolog.org/Upgrade-5.8.html
   2010-12-27 09:07:08 by Jasper Lievisse Adriaanse | Files touched by this commit (13)
Log message:
- update swi-prolog to 5.10.2
- unbreak on hppa (tested by landry@)
If you are upgrading from an older release (e.g. 5.6.x) it is advised to
read the upgrading guide which is available from
http://www.swi-prolog.org/Upgrade-5.8.html
   2010-12-27 09:07:08 by Jasper Lievisse Adriaanse | Files touched by this commit (13)
Log message:
- update swi-prolog to 5.10.2
- unbreak on hppa (tested by landry@)
If you are upgrading from an older release (e.g. 5.6.x) it is advised to
read the upgrading guide which is available from
http://www.swi-prolog.org/Upgrade-5.8.html
   2010-12-27 09:07:08 by Jasper Lievisse Adriaanse | Files touched by this commit (13)
Log message:
- update swi-prolog to 5.10.2
- unbreak on hppa (tested by landry@)
If you are upgrading from an older release (e.g. 5.6.x) it is advised to
read the upgrading guide which is available from
http://www.swi-prolog.org/Upgrade-5.8.html
   2010-12-27 09:07:08 by Jasper Lievisse Adriaanse | Files touched by this commit (13)
Log message:
- update swi-prolog to 5.10.2
- unbreak on hppa (tested by landry@)
If you are upgrading from an older release (e.g. 5.6.x) it is advised to
read the upgrading guide which is available from
http://www.swi-prolog.org/Upgrade-5.8.html
   2010-12-27 09:07:08 by Jasper Lievisse Adriaanse | Files touched by this commit (13)
Log message:
- update swi-prolog to 5.10.2
- unbreak on hppa (tested by landry@)
If you are upgrading from an older release (e.g. 5.6.x) it is advised to
read the upgrading guide which is available from
http://www.swi-prolog.org/Upgrade-5.8.html
   2010-12-27 09:07:08 by Jasper Lievisse Adriaanse | Files touched by this commit (13)
Log message:
- update swi-prolog to 5.10.2
- unbreak on hppa (tested by landry@)
If you are upgrading from an older release (e.g. 5.6.x) it is advised to
read the upgrading guide which is available from
http://www.swi-prolog.org/Upgrade-5.8.html
   2010-12-27 09:07:08 by Jasper Lievisse Adriaanse | Files touched by this commit (13)
Log message:
- update swi-prolog to 5.10.2
- unbreak on hppa (tested by landry@)
If you are upgrading from an older release (e.g. 5.6.x) it is advised to
read the upgrading guide which is available from
http://www.swi-prolog.org/Upgrade-5.8.html
   2010-12-27 09:07:08 by Jasper Lievisse Adriaanse | Files touched by this commit (13)
Log message:
- update swi-prolog to 5.10.2
- unbreak on hppa (tested by landry@)
If you are upgrading from an older release (e.g. 5.6.x) it is advised to
read the upgrading guide which is available from
http://www.swi-prolog.org/Upgrade-5.8.html
   2010-12-27 09:07:08 by Jasper Lievisse Adriaanse | Files touched by this commit (13)
Log message:
- update swi-prolog to 5.10.2
- unbreak on hppa (tested by landry@)
If you are upgrading from an older release (e.g. 5.6.x) it is advised to
read the upgrading guide which is available from
http://www.swi-prolog.org/Upgrade-5.8.html
   2010-12-27 09:07:08 by Jasper Lievisse Adriaanse | Files touched by this commit (13)
Log message:
- update swi-prolog to 5.10.2
- unbreak on hppa (tested by landry@)
If you are upgrading from an older release (e.g. 5.6.x) it is advised to
read the upgrading guide which is available from
http://www.swi-prolog.org/Upgrade-5.8.html
   2010-12-27 09:07:08 by Jasper Lievisse Adriaanse | Files touched by this commit (13)
Log message:
- update swi-prolog to 5.10.2
- unbreak on hppa (tested by landry@)
If you are upgrading from an older release (e.g. 5.6.x) it is advised to
read the upgrading guide which is available from
http://www.swi-prolog.org/Upgrade-5.8.html
   2010-12-27 09:07:08 by Jasper Lievisse Adriaanse | Files touched by this commit (13)
Log message:
- update swi-prolog to 5.10.2
- unbreak on hppa (tested by landry@)
If you are upgrading from an older release (e.g. 5.6.x) it is advised to
read the upgrading guide which is available from
http://www.swi-prolog.org/Upgrade-5.8.html
   2010-12-22 16:24:21 by Jasper Lievisse Adriaanse | Files touched by this commit (3)
Log message:
- make this fetchable again
- set a license version
- make Makefile somewhat readable
- reformat DESCR
- regen PLIST
- regen WANTLIB
   2010-12-22 16:24:21 by Jasper Lievisse Adriaanse | Files touched by this commit (3)
Log message:
- make this fetchable again
- set a license version
- make Makefile somewhat readable
- reformat DESCR
- regen PLIST
- regen WANTLIB
   2010-12-22 16:24:21 by Jasper Lievisse Adriaanse | Files touched by this commit (3)
Log message:
- make this fetchable again
- set a license version
- make Makefile somewhat readable
- reformat DESCR
- regen PLIST
- regen WANTLIB
   2010-11-17 01:05:18 by Marc Espie | Files touched by this commit (317)
Log message:
new depends
   2010-10-24 15:24:05 by Antoine Jacoutot | Files touched by this commit (16)
Log message:
Remove USE_X11.
   2010-10-24 15:11:46 by Stuart Henderson | Files touched by this commit (5)
Log message:
new lib_depends
   2010-10-18 13:20:42 by Marc Espie | Files touched by this commit (54)
Log message:
USE_GROFF=Yes
   2010-09-13 08:54:46 by Christian Weisgerber | Files touched by this commit (1)
Log message:
fix build with new libX11 Xdefs.h; ok jasper@
   2010-07-24 17:05:08 by Christian Weisgerber | Files touched by this commit (27)
Log message:
bump PKGNAME for PLIST changes 4.7 -> 4.8
   2010-06-10 12:18:31 by Landry Breuil | Files touched by this commit (1)
Log message:
Mark as BROKEN on hppa, build stalls hard when bootstrapping in packages/chr.
If someone wants to fix it, be my guest.
   2010-01-27 14:43:28 by Christian Weisgerber | Files touched by this commit (27)
Log message:
bump PKGNAME for PLIST changes 4.6 -> 4.7
   2009-08-10 11:31:07 by Matthias Kilian | Files touched by this commit (19)
Log message:
WANTLIB changes after xcb addition and bump.
For some unknown reason, I forgot to commit lang/*
this morning.
   2009-06-22 11:00:24 by Christian Weisgerber | Files touched by this commit (26)
Log message:
bump PKGNAME for PLIST changes 4.5 -> 4.6
   2009-03-08 17:05:12 by Stuart Henderson | Files touched by this commit (4)
Log message:
fix WANTLIB and bump.
   2009-02-09 13:48:23 by Christian Weisgerber | Files touched by this commit (26)
Log message:
bump PKGNAME for PLIST changes 4.4 -> 4.5
   2008-08-29 06:30:21 by Marc Espie | Files touched by this commit (6)
Log message:
update to 5.6.59
   2008-08-29 06:30:21 by Marc Espie | Files touched by this commit (6)
Log message:
update to 5.6.59
   2008-08-29 06:30:21 by Marc Espie | Files touched by this commit (6)
Log message:
update to 5.6.59
   2008-08-29 06:30:21 by Marc Espie | Files touched by this commit (6)
Log message:
update to 5.6.59
   2008-08-29 06:30:21 by Marc Espie | Files touched by this commit (6)
Log message:
update to 5.6.59
   2008-08-29 06:30:21 by Marc Espie | Files touched by this commit (6)
Log message:
update to 5.6.59
   2008-08-29 05:52:20 by Marc Espie | Files touched by this commit (6)
Log message:
fix stupid conflict marker introduced ages ago that my friends forgot to fix...
   2008-08-29 05:52:20 by Marc Espie | Files touched by this commit (6)
Log message:
fix stupid conflict marker introduced ages ago that my friends forgot to fix...
   2008-08-29 05:52:20 by Marc Espie | Files touched by this commit (6)
Log message:
fix stupid conflict marker introduced ages ago that my friends forgot to fix...
   2008-08-29 05:52:20 by Marc Espie | Files touched by this commit (6)
Log message:
fix stupid conflict marker introduced ages ago that my friends forgot to fix...
   2008-07-30 13:47:10 by Martynas Venckus | Files touched by this commit (5)
Log message:
last round of library bumps due to libc/libm changes.  from sthen@
double-checked & ok naddy@, go for it pval@
   2008-07-04 10:46:10 by Christian Weisgerber | Files touched by this commit (3)
Log message:
bump PKGNAME for PLIST changes 4.3 -> 4.4
   2008-02-22 14:09:04 by Christian Weisgerber | Files touched by this commit (3)
Log message:
bump PKGNAME for PLIST changes 4.2 -> 4.3
   2008-01-04 10:48:38 by Marc Espie | Files touched by this commit (187)
Log message:
tweak FAKE_FLAGS semantics to saner defaults.
   2007-11-14 02:43:40 by Steven Mestdagh | Files touched by this commit (29)
Log message:
fix WANTLIB
   2007-07-27 16:01:38 by Christian Weisgerber | Files touched by this commit (5)
Log message:
bump package name due to OSREV increment
   2007-07-10 14:53:59 by Matthias Kilian | Files touched by this commit (3)
Log message:
Unbreak for amd64. Noticed, suggested and ok, steven@.
Zap a -O3 from packages/semweb and honor our CFLAGS instead (also
noticed by steven@). No ok (or any feedback at all) for this. But I'm
pretty sure it doesn't break *%&$#@
   2007-07-10 14:53:59 by Matthias Kilian | Files touched by this commit (3)
Log message:
Unbreak for amd64. Noticed, suggested and ok, steven@.
Zap a -O3 from packages/semweb and honor our CFLAGS instead (also
noticed by steven@). No ok (or any feedback at all) for this. But I'm
pretty sure it doesn't break *%&$#@
   2007-07-10 14:53:59 by Matthias Kilian | Files touched by this commit (3)
Log message:
Unbreak for amd64. Noticed, suggested and ok, steven@.
Zap a -O3 from packages/semweb and honor our CFLAGS instead (also
noticed by steven@). No ok (or any feedback at all) for this. But I'm
pretty sure it doesn't break *%&$#@
   2007-06-10 17:32:27 by Matthias Kilian | Files touched by this commit (1)
Log message:
Spread our own config.guess where appropriate and unbreak the build
at least on powerpc.
While here, s/WRKDIST/WRKSRC/
Suggested by (after a naive patch from me) and ok, espie@
   2007-04-05 10:20:19 by Marc Espie | Files touched by this commit (912)
Log message:
base64 checksums.


   2007-02-14 09:55:28 by Steven Mestdagh | Files touched by this commit (8)
Log message:
bump PKGNAME due to PLIST changes after 4.0 -> 4.1


   2007-01-27 10:35:46 by Marc Espie | Files touched by this commit (8)
Log message:
update to 5.6.27. We lose the sgml package temporarily (wide-chars),
but we gain sparc64 support ! seems the fixes for win64 also fixed
our problems.
Add a few SUBST variables to simplify packing-list comparisons.
   2007-01-27 10:35:46 by Marc Espie | Files touched by this commit (8)
Log message:
update to 5.6.27. We lose the sgml package temporarily (wide-chars),
but we gain sparc64 support ! seems the fixes for win64 also fixed
our problems.
Add a few SUBST variables to simplify packing-list comparisons.
   2007-01-27 10:35:46 by Marc Espie | Files touched by this commit (8)
Log message:
update to 5.6.27. We lose the sgml package temporarily (wide-chars),
but we gain sparc64 support ! seems the fixes for win64 also fixed
our problems.
Add a few SUBST variables to simplify packing-list comparisons.
   2007-01-27 10:35:46 by Marc Espie | Files touched by this commit (8)
Log message:
update to 5.6.27. We lose the sgml package temporarily (wide-chars),
but we gain sparc64 support ! seems the fixes for win64 also fixed
our problems.
Add a few SUBST variables to simplify packing-list comparisons.
   2007-01-27 10:35:46 by Marc Espie | Files touched by this commit (8)
Log message:
update to 5.6.27. We lose the sgml package temporarily (wide-chars),
but we gain sparc64 support ! seems the fixes for win64 also fixed
our problems.
Add a few SUBST variables to simplify packing-list comparisons.
   2007-01-27 10:35:46 by Marc Espie | Files touched by this commit (8)
Log message:
update to 5.6.27. We lose the sgml package temporarily (wide-chars),
but we gain sparc64 support ! seems the fixes for win64 also fixed
our problems.
Add a few SUBST variables to simplify packing-list comparisons.
   2007-01-27 10:35:46 by Marc Espie | Files touched by this commit (8)
Log message:
update to 5.6.27. We lose the sgml package temporarily (wide-chars),
but we gain sparc64 support ! seems the fixes for win64 also fixed
our problems.
Add a few SUBST variables to simplify packing-list comparisons.
   2007-01-27 10:35:46 by Marc Espie | Files touched by this commit (8)
Log message:
update to 5.6.27. We lose the sgml package temporarily (wide-chars),
but we gain sparc64 support ! seems the fixes for win64 also fixed
our problems.
Add a few SUBST variables to simplify packing-list comparisons.
   2006-11-13 04:20:25 by Steven Mestdagh | Files touched by this commit (62)
Log message:
USE_X11
   2006-10-18 11:56:14 by Marc Espie | Files touched by this commit (2)
Log message:
variant part for 64 bit architectures.
No pkg bump, since it doesn't affect the packages that were already
building correctly.
found out by nikolay.
   2006-10-18 11:56:14 by Marc Espie | Files touched by this commit (2)
Log message:
variant part for 64 bit architectures.
No pkg bump, since it doesn't affect the packages that were already
building correctly.
found out by nikolay.