anil.recoil.org / opam-repository
this repo has no description
0
fork

Configure Feed

Select the types of activity you want to include in your feed.

Make Frama-C use `-p` instead of `--release`

Marek Kubica 675b4988 2f373774

+13 -13
+1 -1
packages/frama-c/frama-c.26.0/opam
··· 86 86 ] 87 87 88 88 build: [ 89 - ["dune" "build" "-j%{jobs}%" "--release" "--promote-install-files=false" "@install"] 89 + ["dune" "build" "-j%{jobs}%" "-p" name "--promote-install-files=false" "@install"] 90 90 [make "-C" "doc" "download"] {with-doc} 91 91 ] 92 92
+1 -1
packages/frama-c/frama-c.26.0~beta/opam
··· 88 88 ] 89 89 90 90 build: [ 91 - ["dune" "build" "-j%{jobs}%" "--release" "--promote-install-files=false" "@install"] 91 + ["dune" "build" "-j%{jobs}%" "-p" name "--promote-install-files=false" "@install"] 92 92 [make "-C" "doc" "download"] {with-doc} 93 93 ] 94 94
+1 -1
packages/frama-c/frama-c.26.1/opam
··· 87 87 88 88 build: [ 89 89 ["bash" "dev/disable-plugins.sh" "e-acsl"] { os-family = "windows" } 90 - ["dune" "build" "-j%{jobs}%" "--release" "--promote-install-files=false" "@install"] 90 + ["dune" "build" "-j%{jobs}%" "-p" name "--promote-install-files=false" "@install"] 91 91 [make "-C" "doc" "download"] {with-doc} 92 92 ] 93 93
+1 -1
packages/frama-c/frama-c.27.0/opam
··· 88 88 89 89 build: [ 90 90 ["bash" "dev/disable-plugins.sh" "e-acsl"] { os-family = "windows" } 91 - ["dune" "build" "-j%{jobs}%" "--release" "--promote-install-files=false" 91 + ["dune" "build" "-j%{jobs}%" "-p" name "--promote-install-files=false" 92 92 "@install" 93 93 "@doc" { with-doc } 94 94 ]
+1 -1
packages/frama-c/frama-c.27.0~beta/opam
··· 90 90 91 91 build: [ 92 92 ["bash" "dev/disable-plugins.sh" "e-acsl"] { os-family = "windows" } 93 - ["dune" "build" "-j%{jobs}%" "--release" "--promote-install-files=false" "@install"] 93 + ["dune" "build" "-j%{jobs}%" "-p" name "--promote-install-files=false" "@install"] 94 94 [make "-C" "doc" "download"] {with-doc} 95 95 ] 96 96
+1 -1
packages/frama-c/frama-c.27.1/opam
··· 88 88 89 89 build: [ 90 90 ["bash" "dev/disable-plugins.sh" "e-acsl"] { os-family = "windows" } 91 - ["dune" "build" "-j%{jobs}%" "--release" "--promote-install-files=false" 91 + ["dune" "build" "-j%{jobs}%" "-p" name "--promote-install-files=false" 92 92 "@install" 93 93 "@doc" { with-doc } 94 94 ]
+1 -1
packages/frama-c/frama-c.28.0/opam
··· 91 91 build: [ 92 92 ["bash" "dev/disable-plugins.sh" "e-acsl"] { os-family = "windows" } 93 93 ["bash" "dev/disable-plugins.sh" "gui"] { os = "macos" } 94 - ["dune" "build" "-j%{jobs}%" "--release" "--promote-install-files=false" 94 + ["dune" "build" "-j%{jobs}%" "-p" name "--promote-install-files=false" 95 95 "@install" 96 96 "@doc" { with-doc } 97 97 ]
+1 -1
packages/frama-c/frama-c.28.0~beta/opam
··· 93 93 build: [ 94 94 ["bash" "dev/disable-plugins.sh" "e-acsl"] { os-family = "windows" } 95 95 ["bash" "dev/disable-plugins.sh" "gui"] { os = "macos" } 96 - ["dune" "build" "-j%{jobs}%" "--release" "--promote-install-files=false" 96 + ["dune" "build" "-j%{jobs}%" "-p" name "--promote-install-files=false" 97 97 "@install" 98 98 "@doc" { with-doc } 99 99 ]
+1 -1
packages/frama-c/frama-c.28.1/opam
··· 91 91 build: [ 92 92 ["bash" "dev/disable-plugins.sh" "e-acsl"] { os-family = "windows" } 93 93 ["bash" "dev/disable-plugins.sh" "gui"] { os = "macos" } 94 - ["dune" "build" "-j%{jobs}%" "--release" "--promote-install-files=false" 94 + ["dune" "build" "-j%{jobs}%" "-p" name "--promote-install-files=false" 95 95 "@install" 96 96 "@doc" { with-doc } 97 97 ]
+1 -1
packages/frama-c/frama-c.29.0/opam
··· 94 94 build: [ 95 95 ["bash" "dev/disable-plugins.sh" "e-acsl"] { os-family = "windows" } 96 96 ["bash" "dev/disable-plugins.sh" "gui"] { os = "macos" } 97 - ["dune" "build" "-j%{jobs}%" "--release" "--promote-install-files=false" 97 + ["dune" "build" "-j%{jobs}%" "-p" name "--promote-install-files=false" 98 98 "@install" 99 99 "@doc" { with-doc } 100 100 ]
+1 -1
packages/frama-c/frama-c.29.0~beta/opam
··· 96 96 build: [ 97 97 ["bash" "dev/disable-plugins.sh" "e-acsl"] { os-family = "windows" } 98 98 ["bash" "dev/disable-plugins.sh" "gui"] { os = "macos" } 99 - ["dune" "build" "-j%{jobs}%" "--release" "--promote-install-files=false" 99 + ["dune" "build" "-j%{jobs}%" "-p" name "--promote-install-files=false" 100 100 "@install" 101 101 "@doc" { with-doc } 102 102 ]
+1 -1
packages/frama-c/frama-c.30.0/opam
··· 96 96 build: [ 97 97 ["bash" "dev/disable-plugins.sh" "e-acsl"] { os-family = "windows" } 98 98 ["bash" "dev/disable-plugins.sh" "gui"] { os = "macos" } 99 - ["dune" "build" "-j%{jobs}%" "--release" "--promote-install-files=false" 99 + ["dune" "build" "-j%{jobs}%" "-p" name "--promote-install-files=false" 100 100 "@install" 101 101 "@doc" { with-doc } 102 102 ]
+1 -1
packages/frama-c/frama-c.30.0~beta/opam
··· 98 98 build: [ 99 99 ["bash" "dev/disable-plugins.sh" "e-acsl"] { os-family = "windows" } 100 100 ["bash" "dev/disable-plugins.sh" "gui"] { os = "macos" } 101 - ["dune" "build" "-j%{jobs}%" "--release" "--promote-install-files=false" 101 + ["dune" "build" "-j%{jobs}%" "-p" name "--promote-install-files=false" 102 102 "@install" 103 103 "@doc" { with-doc } 104 104 ]