Commit Graph

14 Commits

Author SHA1 Message Date
Yorick van Pelt
4550405ac9
ocaml-modules: replace buildInputs with nativeBuildInputs where appropriate
The default has been to use buildInputs for build dependencies.
This doesn't work when cross-compiling.
2019-11-11 11:10:14 +03:00
Daniel Schaefer
bac4d95aa2 treewide: Change URLs to HTTPS
Lots of URLs were HTTP redirect to HTTPS. Changed those and checked them
if there's actual content. Inspired by
https://github.com/NixOS/nixpkgs/issues/60004
2019-04-22 10:19:54 +02:00
Matthew Bauer
290a5d916e treewide: update homepages to https where available
Based on "problems" from repology:

https://repology.org/repository/nix_unstable/problems

Mostly simple changes to reflect redirects.
2019-04-15 10:10:05 -04:00
R. RyanTM
8c2d2cba7c ocamlPackages.topkg: 0.9.1 -> 1.0.0
Semi-automatic update generated by
https://github.com/ryantm/nixpkgs-update tools. This update was made
based on information from
https://repology.org/metapackage/ocaml4.06.1-topkg/versions
2019-02-11 12:35:22 +01:00
Théo Zimmermann
208aedb971 ocamlPackages.*: remove unnecessary unpackCmd 2018-11-12 17:25:18 +00:00
Vincent Laporte
c066d9dfc3
ocamlPackages.topkg: use opaline 2018-06-06 07:14:21 +00:00
Vincent Laporte
6328c97a7b
ocamlPackages.topkg: add some comments 2017-12-15 06:33:56 +00:00
Vincent Laporte
5e4edcc4ec
ocamlPackages.topkg: refactoring 2017-12-14 07:36:29 +00:00
dywedir
a86e48acae ocamlPackages.topkg: 0.8.1 -> 0.9.1 2017-10-27 14:13:26 +02:00
Vincent Laporte
79ddb5d5e0 ocamlPackages.topkg: requires OCaml ≥ 4.01 2017-07-10 20:18:48 +02:00
Vincent Laporte
c4a2bd4668 ocamlPackages.topkg: 0.7.8 -> 0.8.1 2017-01-13 06:38:06 +00:00
Vincent Laporte
0a309311dd ocamlPackages.topkg: make the installPhase independent of the package name
It can then be reused as-is in other derivations (e.g., uucd).
2016-11-23 10:01:30 +01:00
Vincent Laporte
4168706d4f OCaml modules: make explicit some dependencies to ocamlbuild 2016-10-09 11:55:19 +02:00
Vincent Laporte
a99d7b1071 ocaml-topkg: init at 0.7.8 2016-08-19 08:14:36 +02:00