this repo has no description
Merge pull request #27066 from hannesm/avoid-deprecated
as suggested by @mseri, use deprecated instead of avoid-version in solo5*
authored by
Marcello Seri
and committed by
GitHub
e1de27e2
1b2a0162
+25
-25
+1
-1
packages/solo5-bindings-hvt/solo5-bindings-hvt.0.4.0/opam
+1
-1
packages/solo5-bindings-hvt/solo5-bindings-hvt.0.4.0/opam
···
13
13
install: [make "opam-hvt-install" "PREFIX=%{prefix}%"]
14
14
remove: [make "opam-hvt-uninstall" "PREFIX=%{prefix}%"]
15
15
depends: "conf-pkg-config" {< "3"}
16
-
flags: avoid-version # ./configure.sh is broken for gcc>=10
16
+
flags: deprecated # ./configure.sh is broken for gcc>=10
17
17
x-ci-accept-failures: ["debian-unstable"]
18
18
depexts: [
19
19
["linux-headers"] {os-distribution = "alpine"}
+1
-1
packages/solo5-bindings-hvt/solo5-bindings-hvt.0.4.1/opam
+1
-1
packages/solo5-bindings-hvt/solo5-bindings-hvt.0.4.1/opam
···
13
13
install: [make "opam-hvt-install" "PREFIX=%{prefix}%"]
14
14
remove: [make "opam-hvt-uninstall" "PREFIX=%{prefix}%"]
15
15
depends: "conf-pkg-config" {< "3"}
16
-
flags: avoid-version # ./configure.sh is broken for gcc>=10
16
+
flags: deprecated # ./configure.sh is broken for gcc>=10
17
17
x-ci-accept-failures: ["debian-unstable"]
18
18
depexts: [
19
19
["linux-headers"] {os-distribution = "alpine"}
+1
-1
packages/solo5-bindings-hvt/solo5-bindings-hvt.0.6.2/opam
+1
-1
packages/solo5-bindings-hvt/solo5-bindings-hvt.0.6.2/opam
···
19
19
[make "V=1" "uninstall-opam-hvt" "PREFIX=%{prefix}%"]
20
20
]
21
21
depends: "conf-pkg-config" {< "3"}
22
-
flags: avoid-version # ./configure.sh is broken for gcc>=10
22
+
flags: deprecated # ./configure.sh is broken for gcc>=10
23
23
x-ci-accept-failures: ["debian-unstable"]
24
24
depexts: [
25
25
["linux-headers"] {os-distribution = "alpine"}
+1
-1
packages/solo5-bindings-hvt/solo5-bindings-hvt.0.6.3/opam
+1
-1
packages/solo5-bindings-hvt/solo5-bindings-hvt.0.6.3/opam
···
23
23
"conf-pkg-config" {< "3"}
24
24
"conf-libseccomp" {build & os = "linux"}
25
25
]
26
-
flags: avoid-version # ./configure.sh is broken for gcc>=10
26
+
flags: deprecated # ./configure.sh is broken for gcc>=10
27
27
depexts: [
28
28
["linux-headers"] {os-distribution = "alpine"}
29
29
["linux-libc-dev"] {os-family = "debian"}
+1
-1
packages/solo5-bindings-hvt/solo5-bindings-hvt.0.6.4/opam
+1
-1
packages/solo5-bindings-hvt/solo5-bindings-hvt.0.6.4/opam
···
23
23
"conf-pkg-config" {< "3"}
24
24
"conf-libseccomp" {build & os = "linux"}
25
25
]
26
-
flags: avoid-version # ./configure.sh is broken for gcc>=10
26
+
flags: deprecated # ./configure.sh is broken for gcc>=10
27
27
depexts: [
28
28
["linux-headers"] {os-distribution = "alpine"}
29
29
["linux-libc-dev"] {os-distribution = "debian"}
+1
-1
packages/solo5-bindings-muen/solo5-bindings-muen.0.4.0/opam
+1
-1
packages/solo5-bindings-muen/solo5-bindings-muen.0.4.0/opam
···
14
14
remove: [make "opam-muen-uninstall" "PREFIX=%{prefix}%"]
15
15
x-ci-accept-failures: ["debian-unstable"]
16
16
depends: "conf-pkg-config" {< "3"}
17
-
flags: avoid-version # ./configure.sh is broken for gcc>=10
17
+
flags: deprecated # ./configure.sh is broken for gcc>=10
18
18
conflicts: [
19
19
"solo5-bindings-genode"
20
20
"solo5-bindings-hvt"
+1
-1
packages/solo5-bindings-muen/solo5-bindings-muen.0.4.1/opam
+1
-1
packages/solo5-bindings-muen/solo5-bindings-muen.0.4.1/opam
···
14
14
remove: [make "opam-muen-uninstall" "PREFIX=%{prefix}%"]
15
15
x-ci-accept-failures: ["debian-unstable"]
16
16
depends: "conf-pkg-config" {< "3"}
17
-
flags: avoid-version # ./configure.sh is broken for gcc>=10
17
+
flags: deprecated # ./configure.sh is broken for gcc>=10
18
18
conflicts: [
19
19
"solo5-bindings-genode"
20
20
"solo5-bindings-hvt"
+1
-1
packages/solo5-bindings-muen/solo5-bindings-muen.0.6.2/opam
+1
-1
packages/solo5-bindings-muen/solo5-bindings-muen.0.6.2/opam
···
20
20
]
21
21
x-ci-accept-failures: ["debian-unstable"]
22
22
depends: "conf-pkg-config" {< "3"}
23
-
flags: avoid-version # ./configure.sh is broken for gcc>=10
23
+
flags: deprecated # ./configure.sh is broken for gcc>=10
24
24
conflicts: [
25
25
"solo5-bindings-genode"
26
26
"solo5-bindings-hvt"
+1
-1
packages/solo5-bindings-muen/solo5-bindings-muen.0.6.3/opam
+1
-1
packages/solo5-bindings-muen/solo5-bindings-muen.0.6.3/opam
+1
-1
packages/solo5-bindings-muen/solo5-bindings-muen.0.6.4/opam
+1
-1
packages/solo5-bindings-muen/solo5-bindings-muen.0.6.4/opam
+1
-1
packages/solo5-bindings-spt/solo5-bindings-spt.0.6.2/opam
+1
-1
packages/solo5-bindings-spt/solo5-bindings-spt.0.6.2/opam
···
20
20
]
21
21
x-ci-accept-failures: ["debian-unstable"]
22
22
depends: "conf-pkg-config"
23
-
flags: avoid-version # ./configure.sh is broken for gcc>=10
23
+
flags: deprecated # ./configure.sh is broken for gcc>=10
24
24
depexts: [
25
25
["linux-headers"] {os-distribution = "alpine"}
26
26
["linux-libc-dev"] {os-family = "debian"}
+1
-1
packages/solo5-bindings-spt/solo5-bindings-spt.0.6.3/opam
+1
-1
packages/solo5-bindings-spt/solo5-bindings-spt.0.6.3/opam
···
23
23
"conf-pkg-config"
24
24
"conf-libseccomp" {os = "linux"}
25
25
]
26
-
flags: avoid-version # ./configure.sh is broken for gcc>=10
26
+
flags: deprecated # ./configure.sh is broken for gcc>=10
27
27
depexts: [
28
28
["linux-headers"] {os-distribution = "alpine"}
29
29
["linux-libc-dev"] {os-family = "debian"}
+1
-1
packages/solo5-bindings-spt/solo5-bindings-spt.0.6.4/opam
+1
-1
packages/solo5-bindings-spt/solo5-bindings-spt.0.6.4/opam
···
23
23
"conf-pkg-config"
24
24
"conf-libseccomp" {os = "linux"}
25
25
]
26
-
flags: avoid-version # ./configure.sh is broken for gcc>=10
26
+
flags: deprecated # ./configure.sh is broken for gcc>=10
27
27
depexts: [
28
28
["linux-headers"] {os-distribution = "alpine"}
29
29
["linux-libc-dev"] {os-distribution = "debian"}
+1
-1
packages/solo5-bindings-virtio/solo5-bindings-virtio.0.4.0/opam
+1
-1
packages/solo5-bindings-virtio/solo5-bindings-virtio.0.4.0/opam
···
14
14
remove: [make "opam-virtio-uninstall" "PREFIX=%{prefix}%"]
15
15
x-ci-accept-failures: ["debian-unstable"]
16
16
depends: "conf-pkg-config" {< "3"}
17
-
flags: avoid-version # ./configure.sh is broken for gcc>=10
17
+
flags: deprecated # ./configure.sh is broken for gcc>=10
18
18
conflicts: [
19
19
"solo5-bindings-genode"
20
20
"solo5-bindings-hvt"
+1
-1
packages/solo5-bindings-virtio/solo5-bindings-virtio.0.4.1/opam
+1
-1
packages/solo5-bindings-virtio/solo5-bindings-virtio.0.4.1/opam
···
14
14
remove: [make "opam-virtio-uninstall" "PREFIX=%{prefix}%"]
15
15
x-ci-accept-failures: ["debian-unstable"]
16
16
depends: "conf-pkg-config" {< "3"}
17
-
flags: avoid-version # ./configure.sh is broken for gcc>=10
17
+
flags: deprecated # ./configure.sh is broken for gcc>=10
18
18
conflicts: [
19
19
"solo5-bindings-genode"
20
20
"solo5-bindings-hvt"
+1
-1
packages/solo5-bindings-virtio/solo5-bindings-virtio.0.6.2/opam
+1
-1
packages/solo5-bindings-virtio/solo5-bindings-virtio.0.6.2/opam
···
20
20
]
21
21
x-ci-accept-failures: ["debian-unstable"]
22
22
depends: "conf-pkg-config" {< "3"}
23
-
flags: avoid-version # ./configure.sh is broken for gcc>=10
23
+
flags: deprecated # ./configure.sh is broken for gcc>=10
24
24
conflicts: [
25
25
"solo5-bindings-hvt"
26
26
"solo5-bindings-spt"
+1
-1
packages/solo5-bindings-virtio/solo5-bindings-virtio.0.6.3/opam
+1
-1
packages/solo5-bindings-virtio/solo5-bindings-virtio.0.6.3/opam
+1
-1
packages/solo5-bindings-virtio/solo5-bindings-virtio.0.6.4/opam
+1
-1
packages/solo5-bindings-virtio/solo5-bindings-virtio.0.6.4/opam
+1
-1
packages/solo5/solo5.0.7.0/opam
+1
-1
packages/solo5/solo5.0.7.0/opam
···
52
52
src: "https://github.com/Solo5/solo5/releases/download/v0.7.0/solo5-v0.7.0.tar.gz"
53
53
checksum: "sha512=7d89539d4964c4c2133bddf82fab865db523b069845b2f6367f3f2bf68e743cfe97e5ffff6fa90a217cc9392078b52de63ecd8e540e9a50c39f435fded0717d0"
54
54
}
55
-
flags: [ avoid-version ] # uses -Werror
55
+
flags: [ deprecated ] # uses -Werror
+1
-1
packages/solo5/solo5.0.7.1/opam
+1
-1
packages/solo5/solo5.0.7.1/opam
···
50
50
src: "https://github.com/Solo5/solo5/releases/download/v0.7.1/solo5-v0.7.1.tar.gz"
51
51
checksum: "sha512=ccbe136a402b856dc99e5da449f62c1ed24f49b676ebae0a715a1f043cb0762ac404754f0887039d3dbdef1cd413a0a7e4d92b8dee562f06d3932fcb668180ed"
52
52
}
53
-
flags: [ avoid-version ] # uses -Werror
53
+
flags: [ deprecated ] # uses -Werror
+1
-1
packages/solo5/solo5.0.7.2/opam
+1
-1
packages/solo5/solo5.0.7.2/opam
···
50
50
src: "https://github.com/Solo5/solo5/releases/download/v0.7.2/solo5-v0.7.2.tar.gz"
51
51
checksum: "sha512=376d5d6caebf824928949a2e8be9b879dd924a6ce30128e183ebdfb99d812a42f528196315d85b0bee4ddec87ea92264ed763f74548cf3f9519c94fd13abb4b9"
52
52
}
53
-
flags: [ avoid-version ] # uses -Werror
53
+
flags: [ deprecated ] # uses -Werror
+1
-1
packages/solo5/solo5.0.7.3/opam
+1
-1
packages/solo5/solo5.0.7.3/opam
···
50
50
src: "https://github.com/Solo5/solo5/releases/download/v0.7.3/solo5-v0.7.3.tar.gz"
51
51
checksum: "sha512=cafc590923b7bb53f27d46255914af620e47f14ce772c2e03afb0badf3c89abe06e625db290a8ccfaf280320ad4e63cf4876106f5d1d8a7801b13ccb5c033f2d"
52
52
}
53
-
flags: [ avoid-version ] # uses -Werror
53
+
flags: [ deprecated ] # uses -Werror
+1
-1
packages/solo5/solo5.0.7.4/opam
+1
-1
packages/solo5/solo5.0.7.4/opam
···
51
51
src: "https://github.com/Solo5/solo5/releases/download/v0.7.4/solo5-v0.7.4.tar.gz"
52
52
checksum: "sha512=1a47ee4a9e08704ae7aa5f48efdd79e33ae83d4d2f60a2c8ef7db33c85412cd1f0b023b4acc0ad6123377933a2ce6841590cf127fd2c062ff8d1594f36cddda1"
53
53
}
54
-
flags: [ avoid-version ] # uses -Werror
54
+
flags: [ deprecated ] # uses -Werror
+1
-1
packages/solo5/solo5.0.7.5/opam
+1
-1
packages/solo5/solo5.0.7.5/opam
···
51
51
src: "https://github.com/Solo5/solo5/releases/download/v0.7.5/solo5-v0.7.5.tar.gz"
52
52
checksum: "sha512=1e8be23e84e54f8fdb364e8d2a20933150930b43f91085b4dd378ed6445718ef38abca98bcfd0a1e68cdbda747bf829551f0b2a31cdcfe13db219e332512ff79"
53
53
}
54
-
flags: [ avoid-version ] # uses -Werror
54
+
flags: [ deprecated ] # uses -Werror
+1
-1
packages/solo5/solo5.0.8.0/opam
+1
-1
packages/solo5/solo5.0.8.0/opam
···
51
51
src: "https://github.com/Solo5/solo5/releases/download/v0.8.0/solo5-v0.8.0.tar.gz"
52
52
checksum: "sha512=d819d66407b84b56d46b5e534d5424903f15b124aa1c24d546abe1d9adb5a622ceee93cb1303a14ebf7811c7b5dad2d94a490cabbde489245efd66114617c39b"
53
53
}
54
-
flags: [ avoid-version ] # uses -Werror
54
+
flags: [ deprecated ] # uses -Werror