ocamlPackages.dolmen: 0.6 → 0.9
This commit is contained in:
parent
46b9ee34e4
commit
fe16955be7
|
@ -1,24 +1,26 @@
|
|||
{ lib, fetchurl, buildDunePackage
|
||||
, menhir, menhirLib
|
||||
, fmt
|
||||
, qcheck
|
||||
}:
|
||||
|
||||
buildDunePackage rec {
|
||||
pname = "dolmen";
|
||||
version = "0.6";
|
||||
version = "0.9";
|
||||
|
||||
minimalOCamlVersion = "4.08";
|
||||
|
||||
src = fetchurl {
|
||||
url = "https://github.com/Gbury/dolmen/releases/download/v${version}/dolmen-v${version}.tbz";
|
||||
sha256 = "133l23mwxa9xy340izvk4zp5jqjz2cwsm2innsgs2kg85pd39c41";
|
||||
url = "https://github.com/Gbury/dolmen/releases/download/v${version}/dolmen-${version}.tbz";
|
||||
hash = "sha256-AD21OFS6zDoz+lXtac95gXwQNppPfGvpRK8dzDZXigo=";
|
||||
};
|
||||
|
||||
nativeBuildInputs = [ menhir ];
|
||||
propagatedBuildInputs = [ menhirLib fmt ];
|
||||
|
||||
# Testr are not compatible with menhir 20211128
|
||||
doCheck = false;
|
||||
doCheck = true;
|
||||
|
||||
checkInputs = [ qcheck ];
|
||||
|
||||
meta = {
|
||||
description = "An OCaml library providing clean and flexible parsers for input languages";
|
||||
|
|
|
@ -1,12 +1,13 @@
|
|||
{ buildDunePackage, dolmen, dolmen_type
|
||||
, gen
|
||||
, pp_loc
|
||||
}:
|
||||
|
||||
buildDunePackage {
|
||||
pname = "dolmen_loop";
|
||||
inherit (dolmen) src version;
|
||||
|
||||
propagatedBuildInputs = [ dolmen dolmen_type gen ];
|
||||
propagatedBuildInputs = [ dolmen dolmen_type gen pp_loc ];
|
||||
|
||||
meta = dolmen.meta // {
|
||||
description = "A tool library for automated deduction tools";
|
||||
|
|
Loading…
Reference in a new issue