satysfi: use Dune 3

This commit is contained in:
Vincent Laporte 2023-01-15 08:55:21 +01:00
parent 911525afce
commit f5ed640652
No known key found for this signature in database
GPG Key ID: EBD582ADDDB1F81F

View File

@ -1,4 +1,4 @@
{ lib, stdenv, fetchFromGitHub, ruby, dune_2, ocamlPackages
{ lib, stdenv, fetchFromGitHub, ruby, dune_3, ocamlPackages
, ipaexfont, junicode, lmodern, lmmath
}:
let
@ -28,7 +28,7 @@ let
rev = "v1.4.2+satysfi";
sha256 = "17s5xrnpim54d1apy972b5l08bph4c0m5kzbndk600fl0vnlirnl";
};
useDune2 = true;
duneVersion = "3";
nativeBuildInputs = [ ocamlPackages.cppo ];
propagatedBuildInputs = [ ocamlPackages.biniou ];
inherit (ocamlPackages.yojson) meta;
@ -53,7 +53,7 @@ in
DUNE_PROFILE = "release";
nativeBuildInputs = [ ruby dune_2 ];
nativeBuildInputs = [ ruby dune_3 ];
buildInputs = [ camlpdf otfm yojson-with-position ] ++ (with ocamlPackages; [
ocaml findlib menhir menhirLib