minor tweaks to opam files

mirage · Dec 18, 2020 · 1c89adf · 1c89adf
1 parent 653ffd9
commit 1c89adf
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 23 deletions.
diff --git a/ppx_repr.opam b/ppx_repr.opam
@@ -17,16 +17,7 @@ depends: [
 ]
 build: [
   ["dune" "subst"] {dev}
-  [
-    "dune"
-    "build"
-    "-p"
-    name
-    "-j"
-    jobs
-    "@install"
-    "@runtest" {with-test}
-    "@doc" {with-doc}
-  ]
+  ["dune" "build" "-p" name "-j" jobs]
+  ["dune" "runtest" "-p" name] {with-test}
 ]
 dev-repo: "git+https://github.com/mirage/repr.git"
diff --git a/repr.opam b/repr.opam
@@ -21,20 +21,10 @@ depends: [
   "uutf"
   "jsonm" {>= "1.0.0"}
   "base64" {>= "2.0.0"}
-  "odoc" {with-doc}
 ]
 build: [
   ["dune" "subst"] {dev}
-  [
-    "dune"
-    "build"
-    "-p"
-    name
-    "-j"
-    jobs
-    "@install"
-    "@runtest" {with-test}
-    "@doc" {with-doc}
-  ]
+  ["dune" "build" "-p" name "-j" jobs]
+  ["dune" "runtest" "-p" name] {with-test}
 ]
 dev-repo: "git+https://github.com/mirage/repr.git"