summaryrefslogtreecommitdiff
path: root/src/META
diff options
context:
space:
mode:
authorAlasdair Armstrong2020-01-30 20:17:12 +0000
committerAlasdair Armstrong2020-01-30 20:17:12 +0000
commit82b16d23182f9b6e1c19052b9af9f088d5920017 (patch)
tree936b9442c2af28ba236785cd56af7a17745e53e8 /src/META
parent519424cba29c7c356fc098256092979aea7f417f (diff)
Make sure external pprint is listed as a dependency for sail when used as an OCaml library
Diffstat (limited to 'src/META')
-rw-r--r--src/META2
1 files changed, 1 insertions, 1 deletions
diff --git a/src/META b/src/META
index 80194d98..60db4555 100644
--- a/src/META
+++ b/src/META
@@ -1,6 +1,6 @@
# META file of package sail:
description = "Sail is a language for describing the instruction-set architecture (ISA) semantics of processors."
-requires = "linenoise lem linksem omd base64 yojson"
+requires = "linenoise lem linksem omd base64 yojson pprint"
version = "0.8"
archive(byte) = "libsail.cma"
archive(native) = "libsail.cmxa"