Merge pull request #26175 from Niols/fix-morbig-0.11.0

mseri · web-flow · commit 25bf491468b6 · 2024-07-03T16:18:44.000+02:00
Fix installation of Morbig 0.11.0
diff --git a/packages/morbig/morbig.0.11.0/opam b/packages/morbig/morbig.0.11.0/opam
@@ -33,6 +33,7 @@ depends: [
 ]
 
 build: [make "build"]
+install: [make "install"]
 run-test: [make "check"]
 
 url {
