ppx_tools is not available for recent versions of ocaml

AeneasVerif · Jan 13, 2025 · 9411d03 · 9411d03
1 parent 478291d
commit 9411d03
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/nix/charon-ml.nix b/nix/charon-ml.nix
@@ -1,6 +1,7 @@
 { lib
 , charon
 , fetchFromGitHub
+, ocaml-ng
 , ocamlPackages
 , runCommand
 , stdenv
@@ -87,7 +88,7 @@ let
         calendar
         charon-name_matcher_parser
         unionFind
-        ppx_tools # to view the output of visitor derivation
+        ocaml-ng.ocamlPackages_4_14.ppx_tools # to view the output of visitor derivation
       ];
       inherit doCheck;