Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | swi-prolog: 7.2.3 -> 7.4.2 | mimadrid | 2017-08-01 |
| | |||
* | swiProlog: fixed for darwin | Alex Ivanov | 2016-10-13 |
| | |||
* | swiProlog: 6.6.6 -> 7.2.3 | Etienne Laurin | 2016-09-15 |
| | |||
* | Merge remote-tracking branch 'upstream/master' into hardened-stdenv | Robin Gloster | 2016-08-03 |
|\ | |||
| * | treewide: Lots of meta.hydraPlatforms -> meta.platforms | Tuomas Tynkkynen | 2016-08-02 |
| | | | | | | | | | | | | 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. | ||
* | | Merge remote-tracking branch 'origin/master' into hardened-stdenv | Franz Pletz | 2016-05-18 |
|\| | |||
| * | Bring my stdenv.lib.maintainers user name in line with my github nick. | Peter Simons | 2016-05-16 |
| | | |||
* | | Use general hardening flag toggle lists | Franz Pletz | 2016-03-05 |
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | 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 | ||
* | | swiProlog: disable format hardening | Robin Gloster | 2016-02-24 |
|/ | |||
* | swiProlog: update from 6.6.5 to 6.6.6 | Evgeny Egorochkin | 2014-10-27 |
| | |||
* | swiProlog: update from 6.6.3 to 6.6.5 | Rob Vermaas | 2014-05-22 |
| | |||
* | swiProlog: update from 6.6.2 to 6.6.3 | Peter Simons | 2014-04-09 |
| | |||
* | swiProlog: update from 6.6.1 to 6.6.2 | Peter Simons | 2014-03-05 |
| | |||
* | swi-prolog: update to version 6.6.1 | Peter Simons | 2014-01-13 |
| | |||
* | Update SWI-Prolog to version 6.4.1 | Dries Van Daele | 2013-09-11 |
| | |||
* | clean some include flags that weren't really needed | Vladimír Čunát | 2013-08-03 |
| | | | | Tested the builds still work (x86_64-linux). | ||
* | swiProlog: major update to 6.2.6 | Vladimír Čunát | 2013-04-18 |
| | | | | However, from news this does *not* seem to be a big change. | ||
* | swi-prolog: updated to version 5.10.5 | Peter Simons | 2011-09-19 |
| | | | | svn path=/nixpkgs/trunk/; revision=29350 | ||
* | Fix SWI-Prolog build | Michael Raskin | 2011-03-17 |
| | | | | svn path=/nixpkgs/trunk/; revision=26407 | ||
* | Update SWI Prolog | Michael Raskin | 2010-12-04 |
| | | | | svn path=/nixpkgs/trunk/; revision=24966 | ||
* | pkgs/development/compilers/swi-prolog/default.nix: updated to version 5.6.64 ↵ | Peter Simons | 2009-12-09 |
| | | | | | | and enabled GUI support svn path=/nixpkgs/trunk/; revision=18853 | ||
* | * Removed selectVersion. There's no good reason to write | Eelco Dolstra | 2009-11-18 |
| | | | | | | | | | | | | `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 | ||
* | * Add swi-prolog without any options. | Nicolas Pierron | 2008-03-06 |
svn path=/nixpkgs/trunk/; revision=11003 |