diff options
| author | V3n3RiX <venerix@koprulu.sector> | 2023-10-06 17:57:58 +0100 |
|---|---|---|
| committer | V3n3RiX <venerix@koprulu.sector> | 2023-10-06 17:57:58 +0100 |
| commit | 8368c614e6a1232f34a14cd6495cf2f68933030d (patch) | |
| tree | fb445ed1110e0361c9c25136c00c4fb948bb46c4 /dev-lang/boogie | |
| parent | 2b03b0d9c5ca3890c219ebd24721133e766e9bb9 (diff) | |
gentoo auto-resync : 06:10:2023 - 17:57:58
Diffstat (limited to 'dev-lang/boogie')
| -rw-r--r-- | dev-lang/boogie/Manifest | 3 | ||||
| -rw-r--r-- | dev-lang/boogie/boogie-3.0.4.ebuild | 4 | ||||
| -rw-r--r-- | dev-lang/boogie/files/boogie-3.0.4-disable-analyzers.patch | 18 |
3 files changed, 23 insertions, 2 deletions
diff --git a/dev-lang/boogie/Manifest b/dev-lang/boogie/Manifest index 342cd6239b60..055c050a79c6 100644 --- a/dev-lang/boogie/Manifest +++ b/dev-lang/boogie/Manifest @@ -1,3 +1,4 @@ +AUX boogie-3.0.4-disable-analyzers.patch 764 BLAKE2B 965f6a8007a4324aa95b165109dcbc85f7bba5696d04772c53cfb1e456d0c60d2d3dce9103df641fe7f565d2a2d4e04a5d02aba43ac1ccc4527dcaae90b7b28b SHA512 b8c7b9172cd2f45be84058babd33c75f37dcb08f6c1a0b7c79b0ae2bd8afec70b29886f23d0a5553a00e1d3761a7788db0444d06788ee32aed2d1c2cd7cb9554 DIST boogie-3.0.4.tar.gz 2024651 BLAKE2B ccd6892aef048f7e031d8101ead979eb8aeb09d14954e62d862cf60ef35bb34f70449b20ac4182f6eb253cc30f7fda6d17dc3206b50e1d0762d2be39fc28d12f SHA512 ff9f9fd9d143c79ddba146ed834aa68ef78b95a54445b8ae3ed89c2a55ca84106a4e0ba18f3b640ef1052ceb3b1ca166e6fb46242d9789a11d71a6d197e6f30c DIST microsoft.bcl.asyncinterfaces.6.0.0.nupkg 76354 BLAKE2B aca3f5db71e4037dbdd604aeaebcd0962ccc171915b77b4c409ab744bf0a469c7d588f9504fc7fa49e3863e9593b66b4083235cb49e812d1f87b3dadb32e6003 SHA512 221a05a0c910f7a87b620d8f3831ed392b4eb95d112bee274d35f27009ad2a26445de9d7cd235fe6fb4a03f2550874bda3be3dddd96edaf9c0852a9c23d7b099 DIST microsoft.codecoverage.16.2.0.nupkg 3133582 BLAKE2B 418cf403247d594cde0d827f8ca8690019a7631525f07993937085f4bbf8473364b4c99aea6e8b7b0020208d15fe0da63f0f4e69c273493c51ae011e8bd82667 SHA512 91f1d43fc038a20f5367d9aab669105dc7514dfbe749260b52789c09a75abcc6bdc000ee0c7f432231d4cc09e99bf5b863dd6289d813342f74d9dad23a651625 @@ -190,5 +191,5 @@ DIST system.xml.xpath.4.0.1.nupkg 250135 BLAKE2B d6f211f98f33f6b8959b918cff8e676 DIST system.xml.xpath.4.3.0.nupkg 250182 BLAKE2B 8a4177d47af56bc7a6289ed8f2cac41d504dee212a858ed221277b3f523b1ce38ccb47bc3ce4d59a2c7cfd77f00f3c9693a9c257c90adb38096ee77a860f10cc SHA512 2bd0979a2020579fb32ad374b89929a272e763ee1233ed9a215408c0a1f9f82a5fdb74330c1c55a6102e0dfdb8b7b59ed25fdf6454bf3de146152ea779f366e0 DIST system.xml.xpath.xmldocument.4.0.1.nupkg 86933 BLAKE2B 4c03b5a9433c2c954e75d212f9026885aa7514574b73a54880c3d55baee6bd5517abb46b67b22b9b6e63de92a8bc5ab4ff37e3f7e6454a5c5137ae2be6574b75 SHA512 81041a08d3b9158c43dfb48d42f13ec9950d7c2b7f63e1600a779a77786edfb46c522c32d9cc6a44358fbfe11efba0e539e578ef169261867a1905b8121a045d DIST system.xml.xpath.xmldocument.4.3.0.nupkg 138523 BLAKE2B ba53f3b5ac0f2d1d1e9120940b302e6960690ed4a44b96ba15b03e16f9159f2c57d6004aa55b796ba2327009d23fc2f10d4d09e948b88eb6af36efa5f76e401b SHA512 f75b6f7c75874ab6053e8942c1662a6e9a3561aa01502437b8d67f3bfcebd1ebf906792801326889ed7acb094c55469766d7d27cd10bc61b46ddaaa94dfc11e3 -EBUILD boogie-3.0.4.ebuild 9094 BLAKE2B 88bef8c92381d28c28f4af607ef053f3696d7205bd80bdcc06ee2cd48907c818fb171b05efee748be3a35a2b5b36cc07e8ece20e7e47c4120535a9bdf2df51bc SHA512 416f7d18c85b1697fc733cdee967fce288d5ff8d2c933e2b4b295dee08e06be61c8b0b2fd4b9a4eed2cfe513398e195d4496aa3dff465baf504b39bb8a7606bc +EBUILD boogie-3.0.4.ebuild 9075 BLAKE2B 021445a49ed9491900c263f87617622cd1cf70f3303417def910dd6f98ce555996411972ef789a516f7c7194811333e687e0f24ad56d0097f149be9a7923ebec SHA512 504a9327b071c53aa3eb2924c8543854cf323fa216634679d65be571223a345454dfbe8807f333584b210da047822917c618d34fd9e38f48346c9fb4b38575a7 MISC metadata.xml 1102 BLAKE2B 215544658792715aae72787f7c949ed89df9c05ceab5a919a861c02b7938c0d1ee228e0ede55008287b616faf70992a8c1f2854e6e5e1fc909718ae682996bb8 SHA512 b6a626c485e2a5db3390da62c629507a60417eda8b508d7ed8d1c017ac337743d2c4fe0e8554b103f989176dcd2969cc8579e91532b07a22c1b66328ef241e8d diff --git a/dev-lang/boogie/boogie-3.0.4.ebuild b/dev-lang/boogie/boogie-3.0.4.ebuild index 4a65a8887995..fd4d8b31113f 100644 --- a/dev-lang/boogie/boogie-3.0.4.ebuild +++ b/dev-lang/boogie/boogie-3.0.4.ebuild @@ -210,6 +210,7 @@ if [[ "${PV}" == *9999* ]] ; then else SRC_URI="https://github.com/boogie-org/${PN}/archive/v${PV}.tar.gz -> ${P}.tar.gz" + KEYWORDS="~amd64" fi @@ -229,9 +230,10 @@ BDEPEND=" ) " +PATCHES=( "${FILESDIR}/${PN}-3.0.4-disable-analyzers.patch" ) + CHECKREQS_DISK_BUILD="2G" DOTNET_PKG_PROJECTS=( Source/BoogieDriver/BoogieDriver.csproj ) -DOTNET_PKG_BUILD_EXTRA_ARGS=( -p:WarningLevel=0 ) # Extreme amounts of warnings. pkg_setup() { check-reqs_pkg_setup diff --git a/dev-lang/boogie/files/boogie-3.0.4-disable-analyzers.patch b/dev-lang/boogie/files/boogie-3.0.4-disable-analyzers.patch new file mode 100644 index 000000000000..65bc3a988c1a --- /dev/null +++ b/dev-lang/boogie/files/boogie-3.0.4-disable-analyzers.patch @@ -0,0 +1,18 @@ +--- a/Source/Directory.Build.props ++++ b/Source/Directory.Build.props +@@ -16,13 +16,13 @@ + </ItemGroup> + + <!-- Use StyleCop to check for consistent code formatting --> +- <ItemGroup Condition="'$(Configuration)' != 'Release'"> ++ <ItemGroup Condition="'$(Configuration)' == 'Disable'"> + <PackageReference Include="StyleCop.Analyzers" Version="1.1.118" PrivateAssets="All" /> + <AdditionalFiles Include="$(MSBuildThisFileDirectory)stylecop.json" /> + </ItemGroup> + + <!-- Configure StyleCop analysis rules --> +- <PropertyGroup Condition="'$(Configuration)' != 'Release'"> ++ <PropertyGroup Condition="'$(Configuration)' == 'Disable'"> + <CodeAnalysisRuleSet>$(MSBuildThisFileDirectory)StyleCop.ruleset</CodeAnalysisRuleSet> + </PropertyGroup> + |