diff options
Diffstat (limited to 'dev-lang')
-rw-r--r-- | dev-lang/Manifest.gz | bin | 20691 -> 20679 bytes | |||
-rw-r--r-- | dev-lang/boogie/Manifest | 2 | ||||
-rw-r--r-- | dev-lang/boogie/boogie-3.0.4.ebuild | 7 | ||||
-rw-r--r-- | dev-lang/mond/Manifest | 2 | ||||
-rw-r--r-- | dev-lang/mond/mond-0.9.4-r1.ebuild (renamed from dev-lang/mond/mond-0.9.4.ebuild) | 9 |
5 files changed, 11 insertions, 9 deletions
diff --git a/dev-lang/Manifest.gz b/dev-lang/Manifest.gz Binary files differindex bef0e0a4e79b..f5b14bcef5ef 100644 --- a/dev-lang/Manifest.gz +++ b/dev-lang/Manifest.gz diff --git a/dev-lang/boogie/Manifest b/dev-lang/boogie/Manifest index 055c050a79c6..04ed9c136bcb 100644 --- a/dev-lang/boogie/Manifest +++ b/dev-lang/boogie/Manifest @@ -191,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 9075 BLAKE2B 021445a49ed9491900c263f87617622cd1cf70f3303417def910dd6f98ce555996411972ef789a516f7c7194811333e687e0f24ad56d0097f149be9a7923ebec SHA512 504a9327b071c53aa3eb2924c8543854cf323fa216634679d65be571223a345454dfbe8807f333584b210da047822917c618d34fd9e38f48346c9fb4b38575a7 +EBUILD boogie-3.0.4.ebuild 9013 BLAKE2B af1950dde0419ab27525a3fe2f01698fcc89c1b143e94547f7ee0081b918777ff8e47de14cebc6e562d2fd7b97bece1d846c75eeb70143234a1ec7440d5d816c SHA512 e17ce6de4eb7c590765ef3d9e3fe4f3b72297388d4767eee7ecbe01b20f454343dafe823a3132c57edec4d84b34c8d30bd14ab48422f7ffdb4e5c26bfef67ed2 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 fd4d8b31113f..8cb18a16b354 100644 --- a/dev-lang/boogie/boogie-3.0.4.ebuild +++ b/dev-lang/boogie/boogie-3.0.4.ebuild @@ -234,6 +234,7 @@ 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:RollForward=Major ) pkg_setup() { check-reqs_pkg_setup @@ -243,16 +244,12 @@ pkg_setup() { src_unpack() { dotnet-pkg_src_unpack - if [[ -n ${EGIT_REPO_URI} ]] ; then + if [[ -n "${EGIT_REPO_URI}" ]] ; then git-r3_src_unpack fi } src_prepare() { - # Bump used .NET version: 6.0 -> 7.0 - sed -e "s|net6.0|net7.0|g" \ - -i "${S}/Source/Directory.Build.props" || die - # Remove bad tests. local -a bad_tests=( civl/inductive-sequentialization/BroadcastConsensus.bpl diff --git a/dev-lang/mond/Manifest b/dev-lang/mond/Manifest index 7256d7472633..69f08eb5a95c 100644 --- a/dev-lang/mond/Manifest +++ b/dev-lang/mond/Manifest @@ -71,5 +71,5 @@ DIST system.threading.tasks.4.0.11.nupkg 840020 BLAKE2B ec5b6bbd3c912d3552922acd DIST system.threading.tasks.extensions.4.0.0.nupkg 49355 BLAKE2B 898f05110ec79e3518937d10df244782ae19e36a11228b427785f367e1974135836046a6a0445c87b206550c11fd23b6d22b0dd399992ae5ac20b3d5c3060056 SHA512 f294f1a4179f53d59f91f01a372cc7896bf8c322e9827299cb1aa3ae2b1f809e98034834f5ccd4cb3fa1c30735082d244fff6584dab6e8870ad409b55e8a4986 DIST system.xml.readerwriter.4.0.11.nupkg 1363068 BLAKE2B b151c0560022d796720ce342c6c47189d5cb5d292bdc62eb0439deb87b05e80d9c57cb38267a9e153e0d4513e8edf503d88926e9956eba118b5d00d488e2fc78 SHA512 d40d6e9d55e57acdf04132bcb8ae8abf1abb3483620cde969c78c6c393a9936abf742c1dcf66288e6e9dffcb399a880ee3c11540ac140cb32e20b41365aaf35e DIST system.xml.xdocument.4.0.11.nupkg 591353 BLAKE2B 8373fa19c6aafbe6e347db7bb1ec304dd8ce77df415acf0c3ee04ea2dcfce050f59d6e72cdeb14c4e54d29c1c07fc9eb0ef8045fb09830b48fb1a8e90dcb09a8 SHA512 f8ae902901963f2636f39c0652d82daa9df3fb3e3d5a60493c39f6cf01ed07c7d57f175a2d2895f4a872d4e92527e5131522218d1a67da2fd491e162273a8527 -EBUILD mond-0.9.4.ebuild 3302 BLAKE2B 17fd1104d9e86d6134108bfd194f26bf112fc188e3d915304e1c4f69a15e6ab84761784908ea4d2030f791e01e056244aa4b45617ad6dc7ffca0c5e76435d107 SHA512 2500515439bf00e762f00726f0c4e4d8bcf856b780362bd0c8f592bd21dad8f1ec4f33fa8aab57659733d682deff17613e952e459ef7cfa74d691403ddb2b617 +EBUILD mond-0.9.4-r1.ebuild 3425 BLAKE2B 9c4f8becc9b92c812cb1ecd8869f37bee274f62fa2fcaf660f707b01652030223131aae97dd6386fc42e063c5aa28ad895c9fe8798ebe3ff4c270923c051329d SHA512 575e38535edbb571715131191dcb8109aa9303028aed24f40cfdb980150dcd5942e89f9e040ada3254c53468f15ffa5e31768c460cfc018692c29a8a6bcc3b3b MISC metadata.xml 407 BLAKE2B c23e1813bba6b1e7beb547a075e0b283941571270493902195fd370854963ad07e1a6e30673dc7733b542d02839d84aa6f554d806aa0e8021d44570b655ca1fd SHA512 ff0fa87463543a559675a8397a7c1dceea2b59faa76435569cb996ad43ad123d2c5272642a73a35f4c7a132b8a3cb6bff6bc5a1114bf62887ef2f0461967eb5f diff --git a/dev-lang/mond/mond-0.9.4.ebuild b/dev-lang/mond/mond-0.9.4-r1.ebuild index 99a0a2af7a4f..1b9f50069855 100644 --- a/dev-lang/mond/mond-0.9.4.ebuild +++ b/dev-lang/mond/mond-0.9.4-r1.ebuild @@ -3,7 +3,7 @@ EAPI=8 -DOTNET_PKG_COMPAT=6.0 +DOTNET_PKG_COMPAT=7.0 NUGETS=" fleck@1.2.0 microsoft.build.tasks.git@1.1.1 @@ -102,6 +102,7 @@ SRC_URI+=" ${NUGET_URIS} " LICENSE="MIT" SLOT="0" +DOTNET_PKG_BUILD_EXTRA_ARGS=( -p:RollForward=Major ) DOTNET_PKG_PROJECTS=( Mond.Repl/Mond.Repl.csproj ) DOCS=( README.md Examples ) @@ -109,11 +110,15 @@ DOCS=( README.md Examples ) src_unpack() { dotnet-pkg_src_unpack - if [[ -n ${EGIT_REPO_URI} ]] ; then + if [[ -n "${EGIT_REPO_URI}" ]] ; then git-r3_src_unpack fi } +src_test() { + dotnet-pkg-base_test -p:RollForward=Major Mond.sln +} + src_install() { dotnet-pkg-base_install dotnet-pkg-base_dolauncher "/usr/share/${P}/Mond.Repl" "${PN}" |