jolheiser/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
101,463 Commits 266 Branches 122 Tags 5.3 GiB
44820907af
Commit Graph

22 Commits

Author SHA1 Message Date
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