aboutsummaryrefslogtreecommitdiff
path: root/disml.opam
diff options
context:
space:
mode:
authorAdelyn Breelove <[email protected]>2018-12-19 14:06:23 -0700
committerAdelyn Breelove <[email protected]>2018-12-19 14:06:23 -0700
commit47421af4afeaf7cd4c160b2001e207f1fae775c2 (patch)
tree273bffc246baf75cd2c4e99462da76f669a8c01b /disml.opam
parentRe-arrange autogen serialization files and incorporate into dune file (diff)
downloaddisml-47421af4afeaf7cd4c160b2001e207f1fae775c2.tar.xz
disml-47421af4afeaf7cd4c160b2001e207f1fae775c2.zip
More type abstraction stuff
Diffstat (limited to 'disml.opam')
-rw-r--r--disml.opam2
1 files changed, 1 insertions, 1 deletions
diff --git a/disml.opam b/disml.opam
index 448cbcf..a1564d7 100644
--- a/disml.opam
+++ b/disml.opam
@@ -11,5 +11,5 @@ build: [
["dune" "subst"] {pinned}
["dune" "build" "-p" name "-j" jobs]
]
-install: [dune install disml]
+install: []
dev-repo: "git+https://gitlab.com/Mishio595/disml" \ No newline at end of file