Commit Graph

35 Commits

Author SHA1 Message Date
Mario Rodas
a388e920f3
Merge pull request from yrashk/swipl-8.1.15
swipl: 8.1.4 -> 8.1.15
2019-10-14 22:16:16 -05:00
Yurii Rashkovskii
e0d7a96903
swipl: include GUI tools
swi-prolog currently misses GUI packages / tools (xpce, prolog_ide)
due to missing X dependencies.
2019-10-11 00:17:41 +07:00
Yurii Rashkovskii
cbb4b91e70
swipl: 8.1.4 -> 8.1.15
8.1.4 can no longer download SWI-Prolog packages (pack_list,
pack_install, etc), rendering it much less useful.
2019-10-08 13:26:41 +07:00
volth
c814d72b51 treewide: name -> pname 2019-08-17 10:54:38 +00:00
volth
f3282c8d1e treewide: remove unused variables ()
* treewide: remove unused variables

* making ofborg happy
2019-06-16 19:59:05 +00:00
Barak Bercovitz
990acf7025 swi-prolog: updated version + packs support
Using "extraPacks" and "extraLibraries" arguments
it is possible to create fully functional virtual-envs
for SWI-Prolog projects.
(In a way similar to what "ghcWithPackages" does for Haskell)
2019-04-25 22:20:54 +03:00
Peter Simons
9d9c599055 swi-prolog: remove myself from list of maintainers 2019-03-05 12:53:04 +01:00
Tuomas Tynkkynen
008fd5fcf5 Merge remote-tracking branch 'upstream/master' into staging 2018-08-04 15:17:42 +03:00
John Ericson
db965063b3 treewide: Make configureFlags lists 2018-08-03 17:06:03 -04:00
Carlo Nucera
bc96cec295 Add missing dependencies for swi-prolog
In the previous version of this derivation, when the command

?- check_installation.

was issued in the swipl prompt, five errors were encountered. This patch fixes
that, so that the installation is correctly checked.

This enables the usage of the command pack_install to install prolog libraries,
which otherwise fails for the lack of libarchive.
2018-08-02 19:36:48 +02:00
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