JakeHillion/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
215,492 Commits 2 Branches 0 Tags 13 GiB
f8c402ecad
Commit Graph

21 Commits

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