Add support for test running to opam file

querycert · Sep 16, 2020 · 0f07b1c · 0f07b1c
1 parent 774fd68
commit 0f07b1c
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/coq-qcert.opam b/coq-qcert.opam
@@ -19,7 +19,7 @@ build: [
   [make "-j" jobs name]
   ["dune" "build" "-j" jobs "-p" name]
   [make "docs"] {with-doc}
-
+  [make "test"] {with-test}
 ]
 install: [
   [make "install-coqdev"]