diff options
| author | V3n3RiX <venerix@koprulu.sector> | 2022-10-07 01:22:59 +0100 |
|---|---|---|
| committer | V3n3RiX <venerix@koprulu.sector> | 2022-10-07 01:22:59 +0100 |
| commit | a67cd6675142fbbe7b09fff2361f2961a9031451 (patch) | |
| tree | 50c9362957d0fe7af9b67eb05a22aac8287e6521 /dev-lang/boogie | |
| parent | 744892aecb5cdf9ca0bbe504f7bbcdfb87b518fc (diff) | |
gentoo auto-resync : 07:10:2022 - 01:22:59
Diffstat (limited to 'dev-lang/boogie')
| -rw-r--r-- | dev-lang/boogie/Manifest | 2 | ||||
| -rw-r--r-- | dev-lang/boogie/boogie-2.15.8-r3.ebuild (renamed from dev-lang/boogie/boogie-2.15.8-r2.ebuild) | 5 |
2 files changed, 4 insertions, 3 deletions
diff --git a/dev-lang/boogie/Manifest b/dev-lang/boogie/Manifest index 20bb477293fa..5b094bb61706 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-r2.ebuild 2139 BLAKE2B 6f7af923ecf912d82b86f992632dd0edca08ea4b32dfeb738dcfcc5f56272c95d800db7c2aa36dd8726bba2842b1ab52d4317c83be0cebbe63f70e1ade6a04d1 SHA512 7a55f3147d287eeadff1fc4c657648160e5ebf2cfcd66e6a7364c45359ebc087b67fbc0828861d6f7e7705bd08b9cdefb9cf65931640fe8e2e9cbfcf21019725 +EBUILD boogie-2.15.8-r3.ebuild 2179 BLAKE2B 5285abd06ce14d3d7caabecb6a6375bfa1f7b42d6e2df233edd14ec4fed00fc7b294bdb780b7869ea6d437ffcd12a76863cfab7371c5fcd99142f0ae3ed1f719 SHA512 3c495cf46b6a6c5bdae68390a155a1ee52c529e0ef9c7eca8e1307cee16c7758c5d86c73e811e6dd7630dabe78c9c6e1f268d4f9c1a11c5e5b57559a255a8756 MISC metadata.xml 1090 BLAKE2B 838630d17f9e2aa9d8d329f5f6da0e2f00636c3e01ceb02e10f06d3b53b722859818343c6a6936e1d2a495b9ec8d77b729f03dfbc0e017dace31116dccee4ff7 SHA512 e66f1077862a81efd0e311d6e2a2f0b4cd5fd650748c4232e3d70cbd982685bf03da616092929686589e115a4fe3ba2d52c420b416222ccae221469ca2d5face diff --git a/dev-lang/boogie/boogie-2.15.8-r2.ebuild b/dev-lang/boogie/boogie-2.15.8-r3.ebuild index 7324430f8146..1b6c0b18edd5 100644 --- a/dev-lang/boogie/boogie-2.15.8-r2.ebuild +++ b/dev-lang/boogie/boogie-2.15.8-r3.ebuild @@ -43,7 +43,7 @@ src_prepare() { 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 NUGET_PACKAGES="${S}"/Source/nuget_packages default @@ -68,7 +68,8 @@ src_prepare() { } src_configure() { - edob dotnet restore -p:TargetFramework=net${DOTNET_COMPAT} "${S}"/Source + edob dotnet restore "${S}"/Source \ + --source "${NUGET_PACKAGES}" -p:TargetFramework=net${DOTNET_COMPAT} } src_compile() { |