Add ppx_deriving to dependencies

cognitive-engineering-lab · Oct 4, 2023 · 2793a6c · 2793a6c
1 parent 12a03ce
commit 2793a6c
Show file tree

Hide file tree

Showing 3 changed files with 3 additions and 2 deletions.
diff --git a/document_calculus.opam b/document_calculus.opam
@@ -11,6 +11,7 @@ bug-reports:
 depends: [
   "ocaml"
   "dune" {>= "3.6"}
+  "ppx_deriving"
   "odoc" {with-doc}
 ]
 build: [

diff --git a/dune-project b/dune-project
@@ -16,4 +16,4 @@
 (package
  (name document_calculus)
  (synopsis "Accompanying materials for \"A Core Calculus for Documents\" (Crichton and Krishnamurthi 2024).")
- (depends ocaml dune))
+ (depends ocaml dune ppx_deriving))
diff --git a/lib/dune b/lib/dune
@@ -1,4 +1,4 @@
 (library
  (name document_calculus)
- (libraries base ppx_deriving.std)
+ (libraries ppx_deriving.std)
  (preprocess (pps ppx_deriving.show)))