From 2793a6cd9633565421e4c846439b04fe2d117685 Mon Sep 17 00:00:00 2001 From: Will Crichton Date: Tue, 3 Oct 2023 17:17:24 -0700 Subject: [PATCH] Add ppx_deriving to dependencies --- document_calculus.opam | 1 + dune-project | 2 +- lib/dune | 2 +- 3 files changed, 3 insertions(+), 2 deletions(-) diff --git a/document_calculus.opam b/document_calculus.opam index 884b719..9b182c5 100644 --- 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 index 6102017..4292ad7 100644 --- 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)) \ No newline at end of file + (depends ocaml dune ppx_deriving)) \ No newline at end of file diff --git a/lib/dune b/lib/dune index c76c356..6ba983a 100644 --- 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)))