diff options
author | Vincent Laporte <Vincent.Laporte@gmail.com> | 2021-08-02 07:49:30 +0200 |
---|---|---|
committer | Vincent Laporte <Vincent.Laporte@gmail.com> | 2021-08-02 07:53:11 +0200 |
commit | da4eadf384243a20bd6cd8066955bc067f360f12 (patch) | |
tree | b7a8dc8572620a7c5fe708374f5ab1285e6d3d94 /pkgs/development/ocaml-modules/dolmen/default.nix | |
parent | d5c4c62e5c1ba8cfdc6f478f9a840075043f080c (diff) |
ocamlPackages.dolmen: 0.2 → 0.6
Diffstat (limited to 'pkgs/development/ocaml-modules/dolmen/default.nix')
-rw-r--r-- | pkgs/development/ocaml-modules/dolmen/default.nix | 35 |
1 files changed, 19 insertions, 16 deletions
diff --git a/pkgs/development/ocaml-modules/dolmen/default.nix b/pkgs/development/ocaml-modules/dolmen/default.nix index 815e1acd72ac5..56b87a4e971df 100644 --- a/pkgs/development/ocaml-modules/dolmen/default.nix +++ b/pkgs/development/ocaml-modules/dolmen/default.nix @@ -1,27 +1,30 @@ -{ stdenv, lib, fetchFromGitHub, ocaml, findlib, ocamlbuild, menhir, menhirLib }: +{ lib, fetchurl, buildDunePackage +, menhir, menhirLib +, fmt +}: -stdenv.mkDerivation rec { - name = "ocaml${ocaml.version}-dolmen-${version}"; - version = "0.2"; - src = fetchFromGitHub { - owner = "Gbury"; - repo = "dolmen"; - rev = "v${version}"; - sha256 = "1b9mf8p6mic0n76acx8x82hhgm2n40sdv0jri95im65l52223saf"; - }; +buildDunePackage rec { + pname = "dolmen"; + version = "0.6"; + + useDune2 = true; - buildInputs = [ ocaml findlib ocamlbuild menhir ]; - propagatedBuildInputs = [ menhirLib ]; + minimalOCamlVersion = "4.08"; + + src = fetchurl { + url = "https://github.com/Gbury/dolmen/releases/download/v${version}/dolmen-v${version}.tbz"; + sha256 = "133l23mwxa9xy340izvk4zp5jqjz2cwsm2innsgs2kg85pd39c41"; + }; - makeFlags = [ "-C" "src" ]; + buildInputs = [ menhir ]; + propagatedBuildInputs = [ menhirLib fmt ]; - createFindlibDestdir = true; + doCheck = true; meta = { description = "An OCaml library providing clean and flexible parsers for input languages"; license = lib.licenses.bsd2; maintainers = [ lib.maintainers.vbgl ]; - inherit (src.meta) homepage; - inherit (ocaml.meta) platforms; + homepage = "https://github.com/Gbury/dolmen"; }; } |