run tests after make install in opam package

Author: palmskog

coq-paramcoq.opam

@@ -13,8 +13,10 @@ The plugin is still in an experimental state. It is not very user friendly (lack
 """
 
 build: [make "-j%{jobs}%" ]
-install: [make "install"]
-run-test: [make "-C" "test-suite" "examples"]
+install: [
+  [make "install"]
+  [make "-C" "test-suite" "examples"] {with-test}
+]
 depends: [
   "coq" {= "dev" }
 ]