Add ppx_deriving dependency after 766d123

This patch adds an explicit dependency to ppx_deriving to alt-ergo-lib and to the nix config.
OCamlPro · Oct 10, 2023 · 73b5de2 · 73b5de2
1 parent 766d123
commit 73b5de2
Show file tree

Hide file tree

Showing 3 changed files with 3 additions and 0 deletions.
diff --git a/default.nix b/default.nix
@@ -23,6 +23,7 @@ let
       ppx_blob
       dolmen_loop
       camlzip
+      ppx_deriving
     ];
   };
 

diff --git a/dune-project b/dune-project
@@ -88,6 +88,7 @@ See more details on http://alt-ergo.ocamlpro.com/"
   (ppx_blob (>= 0.7.2))
   (camlzip (>= 1.07))
   (odoc :with-doc)
+  ppx_deriving
  )
  (conflicts
   (ppxlib (< 0.30.0))

diff --git a/shell.nix b/shell.nix
@@ -36,5 +36,6 @@ pkgs.mkShell {
     cmdliner
     ppx_blob
     odoc
+    ppx_deriving
   ];
 }
-Original file line number
+Diff line change
@@ Expand Up / @@ -23,6 +23,7 @@ let @@
           ppx_blob
           dolmen_loop
           camlzip
+          ppx_deriving
         ];
       };
@@ Expand Down @@