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/boogie-3.0.4.ebuild | |
parent | 2b03b0d9c5ca3890c219ebd24721133e766e9bb9 (diff) |
gentoo auto-resync : 06:10:2023 - 17:57:58
Diffstat (limited to 'dev-lang/boogie/boogie-3.0.4.ebuild')
-rw-r--r-- | dev-lang/boogie/boogie-3.0.4.ebuild | 4 |
1 files changed, 3 insertions, 1 deletions
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 |