Commit Graph

17 Commits

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