Commit graph

26 commits

Author SHA1 Message Date
Jan van Brügge a2497d21d7
polyml: 5.8.1 -> 5.8.2 2021-07-18 23:51:35 +02:00
Ben Siraphob acc5f7b18a pkgs/development/compilers: stdenv.lib -> lib 2021-01-23 08:57:37 +07:00
Vaibhav Sagar c177c436af polyml: 5.8 -> 5.8.1 2020-07-25 18:31:43 +10:00
Michael Reilly 84cf00f980
treewide: Per RFC45, remove all unquoted URLs 2020-04-10 17:54:53 +01:00
Kovacsics Robert f4c29ebfc2 polyml: updated maintainers
I am not sure if we still need the old packages, nothing explicitly
depends on polyml56 or polyml57 according to a grep, not sure if
external packages might (hol and isabelle depend on polyml, the latest
version).
2020-03-02 09:13:12 +01:00
Kovacsics Robert f8c402ecad polyml: fix with new libffi
New libffi doesn't have FFI_SYSV for x86/64 unix, this pulls in the
commit for the upstream version which fixes it, and ports that patch to
the 5.7 version. The 5.6 version is unchanged.

For ZHF: #80379
2020-03-02 09:13:12 +01:00
Marco Maggesi ff1ed720e2 Rename z77z into maggesi
Make the "handle" of the maintainer match the name of the github account.
Also update the email address.
2019-10-07 17:05:25 +02:00
volth c814d72b51 treewide: name -> pname 2019-08-17 10:54:38 +00:00
volth 46420bbaa3 treewide: name -> pname (easy cases) (#66585)
treewide replacement of

stdenv.mkDerivation rec {
  name = "*-${version}";
  version = "*";

to pname
2019-08-15 13:41:18 +01:00
Vaibhav Sagar 9c3b994c49 Use Poly/ML 5.7 for Isabelle 2019-03-27 22:30:45 -04:00
Vaibhav Sagar cb0f01cf2e polyml: 5.7.1 -> 5.8 2019-03-27 21:51:49 -04:00
Ryan Mulligan 1d54dc6841 treewide: http -> https 2018-06-29 17:18:27 -07:00
Ryan Mulligan c381bdc1c5 polyml: 5.7 -> 5.7.1
Semi-automatic update generated by https://github.com/ryantm/nix-update tools.

This update was made based on information from https://repology.org/metapackage/polyml/versions.

These checks were done:

- built on NixOS
- ran `/nix/store/ac6iwd3ixncb9cqjg59fbj2nzcfmsqgn-polyml-5.7.1/bin/poly --help` got 0 exit code
- ran `/nix/store/ac6iwd3ixncb9cqjg59fbj2nzcfmsqgn-polyml-5.7.1/bin/poly -v` and found version 5.7.1
- ran `/nix/store/ac6iwd3ixncb9cqjg59fbj2nzcfmsqgn-polyml-5.7.1/bin/poly --help` and found version 5.7.1
- ran `/nix/store/ac6iwd3ixncb9cqjg59fbj2nzcfmsqgn-polyml-5.7.1/bin/polyc --help` got 0 exit code
- ran `/nix/store/ac6iwd3ixncb9cqjg59fbj2nzcfmsqgn-polyml-5.7.1/bin/polyc --help` and found version 5.7.1
- found 5.7.1 with grep in /nix/store/ac6iwd3ixncb9cqjg59fbj2nzcfmsqgn-polyml-5.7.1
- directory tree listing: https://gist.github.com/e23988ea219cf9deddb7b7c0578cfd89
2018-03-29 11:16:14 -07:00
Gabriel Ebner 795c003359 isabelle: use polyml 5.6
Isabelle 2016 does not work with newer PolyML versions.
2017-08-07 17:21:08 +02:00
Eric Bailey 0f51a2a029
polyml: autoreconfHook -> nativeBuildInputs
Thanks, @peterhoeg.
2017-06-18 11:41:26 -05:00
Eric Bailey 6818848fac polyml: enable libffi and gmp
Thanks, @Mic92.
2017-06-18 11:33:21 -05:00
Eric Bailey 478e88d13e
polyml: 5.6 -> 5.7
- fetchurl -> fetchFromGitHub
- use `with stdenv.lib` in meta
- add darwin to platforms
- add yurrriq to maintainers
2017-06-17 19:31:25 -05:00
Gabriel Ebner 151fd89ba0 polyml: 5.5.2 -> 5.6 2016-02-23 14:19:04 +01:00
Jude Taylor 020bd4a723 darwin purity: polyml 2015-10-31 16:58:32 -07:00
John Wiegley 10e215a3ae isabelle: Version 2014 building on Linux and Darwin 2014-09-30 23:15:31 -05:00
Marco Maggesi e9e2e8ace6 PolyML expression: Factorize version number in a separate variable 2014-01-15 15:58:27 +01:00
Marco Maggesi aa8f36e238 Update PolyML to version 5.5.1 2014-01-14 15:27:10 +01:00
Peter Simons ef649da119 polyml: fix bogus license attribute 2012-09-06 18:46:54 +02:00
Marco Maggesi 264c528154 Upgrade PolyML to version 5.4.1 2012-09-04 12:02:18 +02:00
Marco Maggesi bdace03143 Update PolyML to version 5.4
Also enable hydra build for linux

svn path=/nixpkgs/trunk/; revision=27250
2011-05-13 15:55:05 +00:00
Marco Maggesi adbaa14548 Add expression for PolyML
svn path=/nixpkgs/trunk/; revision=18875
2009-12-10 13:16:06 +00:00