1 |
commit: 25d4c54ad05c08970b7ccfe132334ddc89047dd2 |
2 |
Author: Maciej Barć <xgqt <AT> gentoo <DOT> org> |
3 |
AuthorDate: Mon Nov 28 17:44:38 2022 +0000 |
4 |
Commit: Maciej Barć <xgqt <AT> gentoo <DOT> org> |
5 |
CommitDate: Mon Nov 28 20:33:18 2022 +0000 |
6 |
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=25d4c54a |
7 |
|
8 |
dev-lang/boogie: bump to 2.16.0 |
9 |
|
10 |
Signed-off-by: Maciej Barć <xgqt <AT> gentoo.org> |
11 |
|
12 |
dev-lang/boogie/Manifest | 1 + |
13 |
dev-lang/boogie/boogie-2.16.0.ebuild | 94 ++++++++++++++++++++++++++++++++++++ |
14 |
2 files changed, 95 insertions(+) |
15 |
|
16 |
diff --git a/dev-lang/boogie/Manifest b/dev-lang/boogie/Manifest |
17 |
index 9136617d22f7..c2c381596ec3 100644 |
18 |
--- a/dev-lang/boogie/Manifest |
19 |
+++ b/dev-lang/boogie/Manifest |
20 |
@@ -1,3 +1,4 @@ |
21 |
DIST boogie-2.15.8-deps.tar.xz 71100772 BLAKE2B 1249627710fe0cc08c640ac7fe5e518793d237291810dc2df5d26bae2a4fd0fec15f0529b6fb799231002881665c2b2cf66b3a6a88494c780e96e51d78086959 SHA512 ee8df5693264c6b6e925f966a85e312e2df80d121c6e81786e7672d1591cdab8a66601c7d740df9db9704330a82f5aa01982d758cc4d5f151838be41c4d0b76f |
22 |
DIST boogie-2.15.8.tar.gz 1548233 BLAKE2B cd3d46b6702eb9c16cdb94ae9776ee52bb142be57e3b0dfd014e59c2f3a98aec84d891544cbd239d773c49ac6bc0b3e1eb5e1eb5cda1f1a0b9aa029f0ee674f2 SHA512 5e214a6451b0ac6a33088797957661cdb35e7fc99f880935f0f1d9329975c11a0849f5ba6244e90f528e6cc31dc2fc83636506130f59464889bf04ecf6130990 |
23 |
DIST boogie-2.15.9.tar.gz 1542068 BLAKE2B eb4802a628b3b96b02dd4736e6958f3b4362142f948e675e0f13c2270d062e42f1e441ddee427340e974cf6dbb3b6700b750318570e830ba0541c6737096991e SHA512 93eab4ba7f746c78c054f6ee8355c408e4435a836fc45def5485c973e4aec50e419412ecd376ff412632cb466384ad9df90bb368af4dc5e23cd7e207e47b5b1f |
24 |
+DIST boogie-2.16.0.tar.gz 1540957 BLAKE2B e42615f1a0963aa68cc898945aafa6b518acc2134da17b717a81b4c5601bdb8112b79e96aafdb277a5517ca855679175bb5e6fdf9faae37b2e4b00f7c0ff3af5 SHA512 50be3d688f92481890687ba6853ff30716899a045ef1a5915f8bd2c4e86deec73983edaf9e96766efb7c4bc0d522e0087d472de1bf6151adbe35ef903cd8a875 |
25 |
|
26 |
diff --git a/dev-lang/boogie/boogie-2.16.0.ebuild b/dev-lang/boogie/boogie-2.16.0.ebuild |
27 |
new file mode 100644 |
28 |
index 000000000000..f4b0b0eea17f |
29 |
--- /dev/null |
30 |
+++ b/dev-lang/boogie/boogie-2.16.0.ebuild |
31 |
@@ -0,0 +1,94 @@ |
32 |
+# Copyright 1999-2022 Gentoo Authors |
33 |
+# Distributed under the terms of the GNU General Public License v2 |
34 |
+ |
35 |
+EAPI=8 |
36 |
+ |
37 |
+DOTNET_COMPAT=6.0 |
38 |
+ |
39 |
+inherit edo multiprocessing |
40 |
+ |
41 |
+DESCRIPTION="SMT-based program verifier" |
42 |
+HOMEPAGE="https://github.com/boogie-org/boogie/" |
43 |
+SRC_URI=" |
44 |
+ https://github.com/boogie-org/${PN}/archive/v${PV}.tar.gz |
45 |
+ -> ${P}.tar.gz |
46 |
+ https://dev.gentoo.org/~xgqt/distfiles/deps/${PN}-2.15.8-deps.tar.xz |
47 |
+" |
48 |
+ |
49 |
+LICENSE="MIT" |
50 |
+SLOT="0" |
51 |
+KEYWORDS="~amd64" |
52 |
+IUSE="debug test" |
53 |
+RESTRICT="!test? ( test )" |
54 |
+ |
55 |
+BDEPEND="virtual/dotnet-sdk:${DOTNET_COMPAT}" |
56 |
+RDEPEND=" |
57 |
+ ${BDEPEND} |
58 |
+ sci-mathematics/z3 |
59 |
+" |
60 |
+BDEPEND+=" |
61 |
+ test? ( |
62 |
+ dev-python/lit |
63 |
+ dev-python/OutputCheck |
64 |
+ ) |
65 |
+" |
66 |
+ |
67 |
+# Generated by dotnet. |
68 |
+QA_PREBUILT="/usr/share/boogie/BoogieDriver" |
69 |
+ |
70 |
+src_prepare() { |
71 |
+ export DOTNET_CLI_TELEMETRY_OPTOUT=1 |
72 |
+ export DOTNET_NOLOGO=1 |
73 |
+ export DOTNET_CONFIGURATION=$(usex debug Debug Release) |
74 |
+ export DOTNET_OUTPUT="${WORKDIR}"/${P}_net${DOTNET_COMPAT}_${DOTNET_CONFIGURATION}/${PN} |
75 |
+ export NUGET_PACKAGES="${WORKDIR}"/${PN}-2.15.8/Source/nuget_packages |
76 |
+ |
77 |
+ default |
78 |
+ |
79 |
+ # Remove bad tests. |
80 |
+ local bad_tests=( |
81 |
+ civl/inductive-sequentialization/BroadcastConsensus.bpl |
82 |
+ livevars/bla1.bpl |
83 |
+ prover/cvc5.bpl |
84 |
+ test0/MaxKeepGoingSplits.bpl |
85 |
+ test15/CaptureInlineUnroll.bpl |
86 |
+ test15/CaptureState.bpl |
87 |
+ test15/CommonVariablesPruning.bpl |
88 |
+ ) |
89 |
+ local bad_test |
90 |
+ for bad_test in ${bad_tests[@]} ; do |
91 |
+ rm "${S}"/Test/${bad_test} || die |
92 |
+ done |
93 |
+ |
94 |
+ # Update the boogieBinary variable. |
95 |
+ sed "/^boogieBinary/s|= .*|= '${DOTNET_OUTPUT}/BoogieDriver.dll'|" \ |
96 |
+ -i "${S}"/Test/lit.site.cfg || die "failed to update lit.site.cfg" |
97 |
+} |
98 |
+ |
99 |
+src_configure() { |
100 |
+ edob dotnet restore "${S}"/Source \ |
101 |
+ --source "${NUGET_PACKAGES}" -p:TargetFramework=net${DOTNET_COMPAT} |
102 |
+} |
103 |
+ |
104 |
+src_compile() { |
105 |
+ local myopts=( |
106 |
+ --configuration ${DOTNET_CONFIGURATION} |
107 |
+ --no-restore |
108 |
+ --no-self-contained |
109 |
+ --nologo |
110 |
+ --output "${DOTNET_OUTPUT}" |
111 |
+ -consoleLoggerParameters:ErrorsOnly |
112 |
+ -maxCpuCount:$(makeopts_jobs) |
113 |
+ ) |
114 |
+ edob dotnet build ${myopts[@]} "${S}"/Source |
115 |
+} |
116 |
+ |
117 |
+src_test() { |
118 |
+ lit "${S}"/Test || die "tests failed" |
119 |
+} |
120 |
+ |
121 |
+src_install() { |
122 |
+ mkdir -p "${ED}"/usr/share/ || die |
123 |
+ cp -r "${DOTNET_OUTPUT}" "${ED}"/usr/share/ || die |
124 |
+ dosym -r /usr/share/${PN}/BoogieDriver /usr/bin/boogie |
125 |
+} |