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) |
|
2021-02-06 15:08:35 by Christian Weisgerber | Files touched by this commit (8) |
Log message: bump for plist changes 6.8 -> 6.9 |
2020-08-31 16:20:50 by Christian Weisgerber | Files touched by this commit (12) |
Log message: bump for plist changes 6.7 -> 6.8 |
2020-04-17 07:01:53 by Charlene Wendling | Files touched by this commit (1) |
Log message: swi-prolog: remove BROKEN-powerpc, it builds and works fine with clang OK edd@ (maintainer) |
2020-04-05 09:44:53 by Christian Weisgerber | Files touched by this commit (11) |
Log message: bump for plist changes 6.6 -> 6.7 |
2020-01-26 04:14:34 by Jasper Lievisse Adriaanse | Files touched by this commit (95) |
Log message: update MASTER_SITES where distfiles.nl was used |
2019-08-10 13:41:08 by Christian Weisgerber | Files touched by this commit (13) |
Log message: bump for plist changes 6.5 -> 6.6 |
2019-07-12 14:47:59 by Stuart Henderson | Files touched by this commit (874) |
Log message: replace simple PERMIT_PACKAGE_CDROM=Yes with PERMIT_PACKAGE=Yes |
2019-05-17 10:19:41 by Stuart Henderson | Files touched by this commit (86) |
Log message: update curses WANTLIB entries following the change in base libraries to use soname |
2019-02-27 18:52:38 by Christian Weisgerber | Files touched by this commit (14) |
Log message: bump for plist changes 6.4 -> 6.5 |
2018-11-02 12:48:39 by Christian Weisgerber | Files touched by this commit (43) |
Log message: bump for package path change devel/gmp -> devel/gmp,-main |
2018-08-10 22:58:47 by Christian Weisgerber | Files touched by this commit (12) |
Log message: bump for plist changes 6.3 -> 6.4 |
2018-02-28 12:23:56 by Stuart Henderson | Files touched by this commit (12) |
Log message: bump; plist changes now we are at 6.3-beta |
2017-12-18 04:16:34 by Jeremie Courreges-Anglas | Files touched by this commit (1) |
Log message: BROKEN on powerpc pl-modul.c:1497: internal compiler error: in extract_insn, at recog.c:2077 |
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-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-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-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-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-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-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 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-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. |
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. |