3
0
Fork 0
forked from mirrors/nixpkgs
Commit graph

25 commits

Author SHA1 Message Date
Corey O'Connor 6c1931b15f swi-prolog: 7.4.2 -> 7.6.4 2018-03-13 22:46:39 -07:00
Corey O'Connor cce1e28fae swi-prolog: add JDK to build dependencies to enable JPL. 2018-03-13 22:45:55 -07:00
mimadrid c8b0f338a0
swi-prolog: 7.2.3 -> 7.4.2 2017-08-01 20:54:47 +02:00
Alex Ivanov e9e69993b2 swiProlog: fixed for darwin 2016-10-13 09:36:49 +03:00
Etienne Laurin ff9208c37a swiProlog: 6.6.6 -> 7.2.3 2016-09-15 00:31:23 -04:00
Robin Gloster 1b979d8384 Merge remote-tracking branch 'upstream/master' into hardened-stdenv 2016-08-03 13:34:44 +00:00
Tuomas Tynkkynen 1bf5ded193 treewide: Lots of meta.hydraPlatforms -> meta.platforms
In all of these files, there is no meta.platforms but only
meta.hydraPlatforms, which doesn't seem to have any purpose except being
inconsistent.
2016-08-02 21:17:44 +03:00
Franz Pletz f8d481754c
Merge remote-tracking branch 'origin/master' into hardened-stdenv 2016-05-18 17:10:02 +02:00
Peter Simons 8e462995ba Bring my stdenv.lib.maintainers user name in line with my github nick. 2016-05-16 22:49:55 +02:00
Franz Pletz aff1f4ab94 Use general hardening flag toggle lists
The following parameters are now available:

  * hardeningDisable
    To disable specific hardening flags
  * hardeningEnable
    To enable specific hardening flags

Only the cc-wrapper supports this right now, but these may be reused by
other wrappers, builders or setup hooks.

cc-wrapper supports the following flags:

  * fortify
  * stackprotector
  * pie (disabled by default)
  * pic
  * strictoverflow
  * format
  * relro
  * bindnow
2016-03-05 18:55:26 +01:00
Robin Gloster 282d03c4b0 swiProlog: disable format hardening 2016-02-24 17:10:58 +00:00
Evgeny Egorochkin a506faf9f9 swiProlog: update from 6.6.5 to 6.6.6 2014-10-27 07:16:33 +02:00
Rob Vermaas 1cb2f20511 swiProlog: update from 6.6.3 to 6.6.5 2014-05-22 12:55:03 +02:00
Peter Simons 740c502a77 swiProlog: update from 6.6.2 to 6.6.3 2014-04-09 12:41:11 +02:00
Peter Simons a1439ae0c2 swiProlog: update from 6.6.1 to 6.6.2 2014-03-05 15:32:15 +01:00
Peter Simons 471f0e7b36 swi-prolog: update to version 6.6.1 2014-01-13 17:10:11 +01:00
Dries Van Daele 3d5e7a99f4 Update SWI-Prolog to version 6.4.1 2013-09-11 19:00:31 +02:00
Vladimír Čunát 98f3716650 clean some include flags that weren't really needed
Tested the builds still work (x86_64-linux).
2013-08-03 10:45:13 +02:00
Vladimír Čunát 368f1a25fd swiProlog: major update to 6.2.6
However, from news this does *not* seem to be a big change.
2013-04-18 10:29:29 +02:00
Peter Simons 5bb330db07 swi-prolog: updated to version 5.10.5
svn path=/nixpkgs/trunk/; revision=29350
2011-09-19 16:38:16 +00:00
Michael Raskin 36af24fc05 Fix SWI-Prolog build
svn path=/nixpkgs/trunk/; revision=26407
2011-03-17 22:09:22 +00:00
Michael Raskin 0141bfec63 Update SWI Prolog
svn path=/nixpkgs/trunk/; revision=24966
2010-12-04 11:16:39 +00:00
Peter Simons abebc10cf1 pkgs/development/compilers/swi-prolog/default.nix: updated to version 5.6.64 and enabled GUI support
svn path=/nixpkgs/trunk/; revision=18853
2009-12-09 14:07:09 +00:00
Eelco Dolstra 7f5b839524 * Removed selectVersion. There's no good reason to write
`selectVersion ./foo "bar"' instead of `import ./foo/bar.nix'.
* Replaced `with args' with formal function arguments in several
  packages.
* Renamed several files to `default.nix'.  As a general rule, version
  numbers should only be included in the filename when there is a
  reason to keep multiple versions of a package in Nixpkgs.
  Otherwise, it just makes it harder to update the package.

svn path=/nixpkgs/trunk/; revision=18403
2009-11-18 09:39:59 +00:00
Nicolas Pierron aec4356a10 * Add swi-prolog without any options.
svn path=/nixpkgs/trunk/; revision=11003
2008-03-06 21:53:54 +00:00