Commit Graph

44 Commits

Author SHA1 Message Date
Ben Siraphob
c1fe21db90 swi-prolog: 8.3.9 -> 8.3.29 2021-09-07 23:09:12 -05:00
Ben Siraphob
2e0d123158 swi-prolog: set meta.mainProgram 2021-09-07 22:51:03 -05:00
Stéphan Kochen
3cf4c5d09b swiProlog: fix darwin build 2021-05-11 21:10:57 +02:00
Rowan Skewes
09eca0013a swiProlog: fix and document pack install
Add pack install location to swipl pack path
Document using local pack install
2021-03-16 17:25:38 +11:00
Ben Siraphob
acc5f7b18a pkgs/development/compilers: stdenv.lib -> lib 2021-01-23 08:57:37 +07:00
Jonathan Ringer
9bb3fccb5b treewide: pkgs.pkgconfig -> pkgs.pkg-config, move pkgconfig to alias.nix
continuation of #109595

pkgconfig was aliased in 2018, however, it remained in
all-packages.nix due to its wide usage. This cleans
up the remaining references to pkgs.pkgsconfig and
moves the entry to aliases.nix.

python3Packages.pkgconfig remained unchanged because
it's the canonical name of the upstream package
on pypi.
2021-01-19 01:16:25 -08:00
Timo Kaufmann
959b818a89 swiProlog: 8.1.26 -> 8.3.9 2020-10-15 17:25:55 +02:00
Timo Kaufmann
8c6fe8eb61 swiProlog: 8.1.15 -> 8.1.26 2020-10-15 17:19:36 +02:00
Mario Rodas
ed79857170
swiProlog: fix build on darwin 2019-10-14 22:30:00 -05:00
Mario Rodas
a388e920f3
Merge pull request #70720 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 (#63177)
* 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