aboutsummaryrefslogtreecommitdiff
path: root/disml.opam
diff options
context:
space:
mode:
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