aboutsummaryrefslogtreecommitdiff
path: root/stitch.opam
diff options
context:
space:
mode:
Diffstat (limited to 'stitch.opam')
-rw-r--r--stitch.opam7
1 files changed, 4 insertions, 3 deletions
diff --git a/stitch.opam b/stitch.opam
index 18a5bde..0bf5454 100644
--- a/stitch.opam
+++ b/stitch.opam
@@ -1,5 +1,6 @@
# This file is generated by dune, edit dune-project instead
opam-version: "2.0"
+version: "efe45fe-dirty"
synopsis: "A Note Composer"
description:
"A minimal CLI tool that allows you to compose notes together. Useful as part of a bigger system for building a PKM."
@@ -18,7 +19,7 @@ depends: [
"odoc" {with-doc}
]
build: [
- ["dune" "subst"] {dev}
+ ["dune" "subst"] {release}
[
"dune"
"build"
@@ -27,7 +28,7 @@ build: [
"-j"
jobs
"@install"
- "@runtest" {with-test}
- "@doc" {with-doc}
+ "--profile"
+ "release"
]
]