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
