Merge branch 'fix/opam/install' into 'stable/cobalt'

[opam] fix release option in opam installation See merge request frama-c/frama-c!4226

Merge branch 'fix/opam/install' into 'stable/cobalt'
a1f8d329 · Allan Blanchard · 7978b80c · d6c59aaf · a1f8d329
Commit a1f8d329 authored 1 year ago by Allan Blanchard
--- a/opam
+++ b/opam
@@ -98,7 +98,7 @@ build: [
 install: [
  [make
-   "PREFIX=%{prefix}%" "MANDIR=%{man}%"
+   "RELEASE=yes" "PREFIX=%{prefix}%" "MANDIR=%{man}%"
   "DOCDIR=%{doc}%" { with-doc }
   "install"
  ]