oacmlPackages.toml: make compatible with menhir ≥ 20211215
This commit is contained in:
parent
f6f5188f75
commit
0a91054a94
@ -1,4 +1,4 @@
|
||||
{ lib, fetchFromGitHub, buildDunePackage
|
||||
{ lib, fetchFromGitHub, fetchpatch, buildDunePackage
|
||||
, iso8601, menhir
|
||||
}:
|
||||
|
||||
@ -13,6 +13,12 @@ buildDunePackage rec {
|
||||
sha256 = "sha256-VEZQTFPwAGShCBGbKUiNOIY1zA/JdTpXU0ZIGNWopnQ=";
|
||||
};
|
||||
|
||||
# Ensure compatibility with menhir ≥ 20211215
|
||||
patches = fetchpatch {
|
||||
url = "https://github.com/ocaml-toml/To.ml/commit/41172b739dff43424a12f7c1f0f64939e3660648.patch";
|
||||
sha256 = "sha256:1333xkmm9qp5m3pp4y5w17k6rvmb30v62qyra6rfk1km2v28hqqq";
|
||||
};
|
||||
|
||||
nativeBuildInputs = [ menhir ];
|
||||
propagatedBuildInputs = [ iso8601 ];
|
||||
|
||||
|
Loading…
Reference in New Issue
Block a user