diff options
author | Vincent Laporte <Vincent.Laporte@gmail.com> | 2020-12-05 17:27:37 +0100 |
---|---|---|
committer | Vincent Laporte <vbgl@users.noreply.github.com> | 2020-12-08 17:19:48 +0100 |
commit | 73182c1442f26386aff968b07f0a2ec7d3dd14b3 (patch) | |
tree | 64f6a06146fa4fdb60ae12d7a329d895672ded2a /pkgs/development/ocaml-modules | |
parent | 46281741b2be8fcee97bd72efa611a28f3a086e2 (diff) | |
download | nixlib-73182c1442f26386aff968b07f0a2ec7d3dd14b3.tar nixlib-73182c1442f26386aff968b07f0a2ec7d3dd14b3.tar.gz nixlib-73182c1442f26386aff968b07f0a2ec7d3dd14b3.tar.bz2 nixlib-73182c1442f26386aff968b07f0a2ec7d3dd14b3.tar.lz nixlib-73182c1442f26386aff968b07f0a2ec7d3dd14b3.tar.xz nixlib-73182c1442f26386aff968b07f0a2ec7d3dd14b3.tar.zst nixlib-73182c1442f26386aff968b07f0a2ec7d3dd14b3.zip |
ocamlPackages.gmap: use Dune 2
Diffstat (limited to 'pkgs/development/ocaml-modules')
-rw-r--r-- | pkgs/development/ocaml-modules/gmap/default.nix | 8 |
1 files changed, 5 insertions, 3 deletions
diff --git a/pkgs/development/ocaml-modules/gmap/default.nix b/pkgs/development/ocaml-modules/gmap/default.nix index 2585dfcaa968..407919f91bc3 100644 --- a/pkgs/development/ocaml-modules/gmap/default.nix +++ b/pkgs/development/ocaml-modules/gmap/default.nix @@ -1,9 +1,11 @@ -{ lib, buildDunePackage, fetchurl, alcotest }: +{ lib, buildDunePackage, ocaml, fetchurl, alcotest }: buildDunePackage rec { pname = "gmap"; version = "0.3.0"; + useDune2 = true; + src = fetchurl { url = "https://github.com/hannesm/gmap/releases/download/${version}/gmap-${version}.tbz"; sha256 = "073wa0lrb0jj706j87cwzf1a8d1ff14100mnrjs8z3xc4ri9xp84"; @@ -11,9 +13,9 @@ buildDunePackage rec { minimumOCamlVersion = "4.03"; - buildInputs = [ alcotest ]; + checkInputs = [ alcotest ]; - doCheck = true; + doCheck = lib.versionAtLeast ocaml.version "4.05"; meta = { description = "Heterogenous maps over a GADT"; |