diff options
| author | V3n3RiX <venerix@koprulu.sector> | 2022-10-04 07:16:51 +0100 |
|---|---|---|
| committer | V3n3RiX <venerix@koprulu.sector> | 2022-10-04 07:16:51 +0100 |
| commit | bf99f8024d68382f76665735c70ae912331bc2ca (patch) | |
| tree | 6fa5830f88fa9ddb794b019c25b83a76ec410df4 /dev-lang/boogie | |
| parent | c1bd8495f43d1e8a084ac779db6e4623aaa8d6ad (diff) | |
gentoo auto-resync : 04:10:2022 - 07:16:51
Diffstat (limited to 'dev-lang/boogie')
| -rw-r--r-- | dev-lang/boogie/Manifest | 2 | ||||
| -rw-r--r-- | dev-lang/boogie/boogie-2.15.8-r1.ebuild (renamed from dev-lang/boogie/boogie-2.15.8.ebuild) | 15 |
2 files changed, 11 insertions, 6 deletions
diff --git a/dev-lang/boogie/Manifest b/dev-lang/boogie/Manifest index f198be1b2f49..2bf5ed96bfd1 100644 --- a/dev-lang/boogie/Manifest +++ b/dev-lang/boogie/Manifest @@ -1,4 +1,4 @@ DIST boogie-2.15.8-deps.tar.xz 71100772 BLAKE2B 1249627710fe0cc08c640ac7fe5e518793d237291810dc2df5d26bae2a4fd0fec15f0529b6fb799231002881665c2b2cf66b3a6a88494c780e96e51d78086959 SHA512 ee8df5693264c6b6e925f966a85e312e2df80d121c6e81786e7672d1591cdab8a66601c7d740df9db9704330a82f5aa01982d758cc4d5f151838be41c4d0b76f DIST boogie-2.15.8.tar.gz 1548233 BLAKE2B cd3d46b6702eb9c16cdb94ae9776ee52bb142be57e3b0dfd014e59c2f3a98aec84d891544cbd239d773c49ac6bc0b3e1eb5e1eb5cda1f1a0b9aa029f0ee674f2 SHA512 5e214a6451b0ac6a33088797957661cdb35e7fc99f880935f0f1d9329975c11a0849f5ba6244e90f528e6cc31dc2fc83636506130f59464889bf04ecf6130990 -EBUILD boogie-2.15.8.ebuild 1253 BLAKE2B 19a90699d5b502791b66e3d30666b9d18b43f87aebdf50e983d4aced3568d1f8670c3257d5685b96f116a945c51fbb951b375088112d0156c4c85fed18cef089 SHA512 1ccb9a939cf9348fe4f6b6af72a8afa3c94de629c9c0a4efa1a87922d7b2fad2089e93c5d15d9d5ede88ee0fc4e96e8f6e334fb5172e29cd8a2fcb249da9e9ad +EBUILD boogie-2.15.8-r1.ebuild 1417 BLAKE2B 41e8b82fd412a7ecdc87d6c61ce0af4db83c3a07f8b897d39080cc1cb1e20720fd6f9b59fe4b562bdb2f8e7554cd174cc9c201a6e80df822620437ea20eebe6c SHA512 e828654c2b9bd17896c859fa3c42b02beb3b7a3e39bbfe9b436a6347b502bab37058c293e7a1d40fca4415094389052932a1c80e445f4eea5edef1a703e3f522 MISC metadata.xml 1090 BLAKE2B 838630d17f9e2aa9d8d329f5f6da0e2f00636c3e01ceb02e10f06d3b53b722859818343c6a6936e1d2a495b9ec8d77b729f03dfbc0e017dace31116dccee4ff7 SHA512 e66f1077862a81efd0e311d6e2a2f0b4cd5fd650748c4232e3d70cbd982685bf03da616092929686589e115a4fe3ba2d52c420b416222ccae221469ca2d5face diff --git a/dev-lang/boogie/boogie-2.15.8.ebuild b/dev-lang/boogie/boogie-2.15.8-r1.ebuild index 791a595d8262..2bfc10a32fcf 100644 --- a/dev-lang/boogie/boogie-2.15.8.ebuild +++ b/dev-lang/boogie/boogie-2.15.8-r1.ebuild @@ -18,9 +18,13 @@ S="${S}"/Source LICENSE="MIT" SLOT="0" KEYWORDS="~amd64" +IUSE="debug" -RDEPEND="virtual/dotnet-sdk:${DOTNET_COMPAT}" -BDEPEND="${RDEPEND}" +BDEPEND="virtual/dotnet-sdk:${DOTNET_COMPAT}" +RDEPEND=" + ${BDEPEND} + sci-mathematics/z3 +" # Generated by dotnet. QA_PREBUILT="/usr/share/boogie/BoogieDriver" @@ -28,19 +32,20 @@ QA_PREBUILT="/usr/share/boogie/BoogieDriver" src_prepare() { export DOTNET_CLI_TELEMETRY_OPTOUT=1 export DOTNET_NOLOGO=1 + export DOTNET_CONFIGURATION=$(usex debug Debug Release) + export DOTNET_OUTPUT="${WORKDIR}"/${P}_net${DOTNET_COMPAT}_${DOTNET_CONFIGURATION}/${PN} export NUGET_PACKAGES="${S}"/nuget_packages - export DOTNET_OUTPUT="${WORKDIR}"/${P}_net${DOTNET_COMPAT}_Release/${PN} default } src_configure() { - edob dotnet restore + edob dotnet restore -p:TargetFramework=net${DOTNET_COMPAT} } src_compile() { local myopts=( - --configuration Release + --configuration ${DOTNET_CONFIGURATION} --no-restore --no-self-contained --nologo |