summaryrefslogtreecommitdiff
path: root/dev-lang
diff options
context:
space:
mode:
Diffstat (limited to 'dev-lang')
-rw-r--r--dev-lang/Manifest.gzbin22150 -> 22138 bytes
-rw-r--r--dev-lang/boogie/Manifest8
-rw-r--r--dev-lang/boogie/boogie-3.1.4.ebuild2
-rw-r--r--dev-lang/boogie/boogie-3.1.5.ebuild2
-rw-r--r--dev-lang/boogie/boogie-3.1.6.ebuild (renamed from dev-lang/boogie/boogie-3.1.3.ebuild)8
-rw-r--r--dev-lang/dafny/Manifest6
-rw-r--r--dev-lang/dafny/dafny-4.4.0-r1.ebuild2
-rw-r--r--dev-lang/dafny/dafny-4.5.0.ebuild2
-rw-r--r--dev-lang/dafny/dafny-4.6.0.ebuild2
-rw-r--r--dev-lang/dzaima-bqn/Manifest4
-rw-r--r--dev-lang/dzaima-bqn/dzaima-bqn-0.2.1.ebuild4
-rw-r--r--dev-lang/dzaima-bqn/dzaima-bqn-9999.ebuild4
-rw-r--r--dev-lang/eisl/Manifest2
-rw-r--r--dev-lang/eisl/eisl-3.95.ebuild52
-rw-r--r--dev-lang/ispc/Manifest2
-rw-r--r--dev-lang/ispc/ispc-1.24.0.ebuild101
16 files changed, 180 insertions, 21 deletions
diff --git a/dev-lang/Manifest.gz b/dev-lang/Manifest.gz
index f1bc6a05b5fd..d05f3ae31f29 100644
--- a/dev-lang/Manifest.gz
+++ b/dev-lang/Manifest.gz
Binary files differ
diff --git a/dev-lang/boogie/Manifest b/dev-lang/boogie/Manifest
index e085ebf1f7d8..4656486ced65 100644
--- a/dev-lang/boogie/Manifest
+++ b/dev-lang/boogie/Manifest
@@ -1,7 +1,7 @@
AUX boogie-3.0.4-disable-analyzers.patch 764 BLAKE2B 965f6a8007a4324aa95b165109dcbc85f7bba5696d04772c53cfb1e456d0c60d2d3dce9103df641fe7f565d2a2d4e04a5d02aba43ac1ccc4527dcaae90b7b28b SHA512 b8c7b9172cd2f45be84058babd33c75f37dcb08f6c1a0b7c79b0ae2bd8afec70b29886f23d0a5553a00e1d3761a7788db0444d06788ee32aed2d1c2cd7cb9554
-DIST boogie-3.1.3.tar.gz 2038898 BLAKE2B 4a5604d6b00ca81393ccf37c542bfed3f3983453b1fd390fc466e37c7133030f1b453c61f2907bb399fe2891e134dcf3dc86b1ac562cd4ed34b634625320497d SHA512 2ae4bd267ea4636c4f52cb7aae0907db9b8411d6f19d35a9338237ef7820f6cf03ebe9939497fe34a646e8b1f69da0882a5765bcc1224bb8cdfd2a7f999d8862
DIST boogie-3.1.4.tar.gz 2050762 BLAKE2B 01a8faa38a3a7d134d8f5d54f2b8e0a6a2a07b11d46469c8dbd65d80987e3292cd61937437321e6f79ab55895f6dbe5cfdf410d311f314ab7ed69f684a48d98b SHA512 76a9a4cb2ae2ac49db7fdbca049f797c1272b19e1a783541a74cd310b085c8bab5360fee4293d4f1478371ae26368751e2f658965023a4d7a7dc6b9d25489edb
DIST boogie-3.1.5.tar.gz 2051316 BLAKE2B 903c6bc2d9cfbf3cde7aa301f229b87ac5ac8f855f70efaf399a9d7f0a5b7d047417a47f162afccd40e33fcc870f74b5f0c03a0f032686f0f9732f078d756870 SHA512 e248139a4ae06e9f5ad02d1bdc1bec5dec32d6c9a3895438a7da9b220b191784f9a92ec678d142070bf8d250e901bbd8ac55706e822972654966bc15743bd0bd
+DIST boogie-3.1.6.tar.gz 2053303 BLAKE2B bc4c9ee72e605b1c78140f6120d0fe8ffcad663638829b28e8b5c7238d7265c156ad8994f4bb79989aea030b571b261f71b09050d80ab5a94625e47adc29a74d SHA512 31c4ca25bde610354f5ce4aaeab8f885c89f443a2d96671d55b4b38dc5dc30b6060f89100dba68a2bc962d6169618e1ab9f6958b1f12730687fa1e5c47267663
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
DIST microsoft.csharp.4.0.1.nupkg 462346 BLAKE2B 209ccebc9103b803d26ea1f0232245c3cd231078b03a83a0011a2a79a1a8a324a72c5b3fda94b2686fff170932f366e165f81a36a70df590a39c45d70778e4be SHA512 c0e75a9162f28ba4c4572c8fac4fd4c8c97d6d3505a37683646ba5f7e5f6ac0da69d5200d2646054de90e8e08f893a10e514591b69b8273640842b2cf90bddec
@@ -192,7 +192,7 @@ 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.1.3.ebuild 9370 BLAKE2B e233893308e1b7081b849146906fd03dc2e5ebbbefeaa1e689908c6f6e1332740e8212ed8bcc113349d73471b3dd00de65ea9b43be4dbc882bb94a485eb79770 SHA512 921327b53e5e579b2dd8a71182039de0c454aaf19b24bb56fef7af79f18f54f9eac367546ffe859591c5540fda8ed11763b49d707c412049b991d22455eabcb6
-EBUILD boogie-3.1.4.ebuild 9370 BLAKE2B e233893308e1b7081b849146906fd03dc2e5ebbbefeaa1e689908c6f6e1332740e8212ed8bcc113349d73471b3dd00de65ea9b43be4dbc882bb94a485eb79770 SHA512 921327b53e5e579b2dd8a71182039de0c454aaf19b24bb56fef7af79f18f54f9eac367546ffe859591c5540fda8ed11763b49d707c412049b991d22455eabcb6
-EBUILD boogie-3.1.5.ebuild 9371 BLAKE2B e2ad13decab6ffbd414b8776b1471b9a92bb8da659ab6db9aab830da47918ac51cd3109d13902679f4a456d078fdc19215f8dc51a495297baa841141ca448ae4 SHA512 e0d9cf21afcab3b8a59392ba173ef307de9f77b0b4d0bd25483fe5337f5fa7163e71b9260afd193f430ee053c5a624f6dfad00f66e80f6e1c11eb4eb9fc834b2
+EBUILD boogie-3.1.4.ebuild 9369 BLAKE2B c22619417e7f599fed423b137cce6d9e0006706bcf2df8aaf85ab201155447c68097cc65a3ac13c1aad6feaea0a3f37d5e9e9c37363ee03e06843ad64de21749 SHA512 10434ee79d835ab99087c7d107fa388b9c2b7dc4bf1f560568127aa8675c6bbbd53ab61e801557241572051805ea2e919268e96a83e26544da21a85e29583eba
+EBUILD boogie-3.1.5.ebuild 9370 BLAKE2B 8deeee29e236c1eb0cb06ccc0f208c2869c93ed85ecde183718a9ed2019dfa32e1be477a038ac8102988e9488be4016bbc557ee6445fadbf6a9236330af0efbe SHA512 6894b1c3d10be0322654a0043373f361ecd90005b32c636bfb05d62b81baca7fa6d246ea066beca5c14f51eb4fbe0153e756269cf727175e3864bc58bb03d770
+EBUILD boogie-3.1.6.ebuild 9419 BLAKE2B b087adaecedae07385a1f88df3b7af87071ac077f1a84571b300f6965c5b5f6fee1b9073dfdb1b397ff0a7a8c79d018b600de4145e641a8be4d91544ad87b767 SHA512 a7a03929fdbd884db8aceca1d20a71f643f7493cdf4d6c43a6625c3b2ebdb82770536780f7a1601593b1f10ff64c086b7dcc4917ce6eaf6ba88ba0a45ee6b1de
MISC metadata.xml 1102 BLAKE2B 215544658792715aae72787f7c949ed89df9c05ceab5a919a861c02b7938c0d1ee228e0ede55008287b616faf70992a8c1f2854e6e5e1fc909718ae682996bb8 SHA512 b6a626c485e2a5db3390da62c629507a60417eda8b508d7ed8d1c017ac337743d2c4fe0e8554b103f989176dcd2969cc8579e91532b07a22c1b66328ef241e8d
diff --git a/dev-lang/boogie/boogie-3.1.4.ebuild b/dev-lang/boogie/boogie-3.1.4.ebuild
index a8464716070a..ea97294fb5f6 100644
--- a/dev-lang/boogie/boogie-3.1.4.ebuild
+++ b/dev-lang/boogie/boogie-3.1.4.ebuild
@@ -292,7 +292,7 @@ src_test() {
--verbose
--workers="$(makeopts_jobs)"
)
- edob lit "${lit_opts[@]}" "${S}/Test"
+ edo lit "${lit_opts[@]}" "${S}/Test"
}
src_install() {
diff --git a/dev-lang/boogie/boogie-3.1.5.ebuild b/dev-lang/boogie/boogie-3.1.5.ebuild
index d7ab20c085a9..89031fd4016a 100644
--- a/dev-lang/boogie/boogie-3.1.5.ebuild
+++ b/dev-lang/boogie/boogie-3.1.5.ebuild
@@ -292,7 +292,7 @@ src_test() {
--verbose
--workers="$(makeopts_jobs)"
)
- edob lit "${lit_opts[@]}" "${S}/Test"
+ edo lit "${lit_opts[@]}" "${S}/Test"
}
src_install() {
diff --git a/dev-lang/boogie/boogie-3.1.3.ebuild b/dev-lang/boogie/boogie-3.1.6.ebuild
index a8464716070a..9a7d7f9626f1 100644
--- a/dev-lang/boogie/boogie-3.1.3.ebuild
+++ b/dev-lang/boogie/boogie-3.1.6.ebuild
@@ -210,7 +210,7 @@ else
SRC_URI="https://github.com/boogie-org/${PN}/archive/v${PV}.tar.gz
-> ${P}.tar.gz"
- KEYWORDS="amd64"
+ KEYWORDS="~amd64"
fi
SRC_URI+=" ${NUGET_URIS} "
@@ -260,6 +260,7 @@ src_prepare() {
civl/large-samples/GC.bpl
civl/paxos/is.sh
civl/samples/reserve.bpl
+ civl/samples/treiber-stack.bpl
inst/vector-generic.bpl
livevars/stack_overflow.bpl
prover/cvc5-offline.bpl
@@ -288,11 +289,12 @@ src_test() {
local -a lit_opts=(
--order=lexical
--time-tests
- --timeout 1800 # Let one test take no mere than half a hour.
+ --timeout 1800 # Let one test take no more than half a hour.
--verbose
--workers="$(makeopts_jobs)"
+ --workers=1
)
- edob lit "${lit_opts[@]}" "${S}/Test"
+ edo lit "${lit_opts[@]}" "${S}/Test"
}
src_install() {
diff --git a/dev-lang/dafny/Manifest b/dev-lang/dafny/Manifest
index 5a42487b816d..bdef3d748e95 100644
--- a/dev-lang/dafny/Manifest
+++ b/dev-lang/dafny/Manifest
@@ -374,7 +374,7 @@ DIST xunit.extensibility.execution.2.4.2.nupkg 353652 BLAKE2B f10e20d43b8030f51c
DIST xunit.runner.visualstudio.2.4.3.nupkg 809588 BLAKE2B ce18ac895657d1efa9752e44148812a452401fa06eba913dad716cfd6743d85a09ffbc0be52276a4b90d039ab76077cca7ab5316b73009aeff2b2fe77dc465f1 SHA512 d8b0d124425db24f98335b332fe55e1a08b39af55d8834dd4a2717fd4be45f3a06ae6cb16427a17adfb31e215dab622856152bb2da715acb1946ec9e935299f4
DIST xunit.runner.visualstudio.2.5.1.nupkg 348549 BLAKE2B 530ffc6b699a1589ad6a7fb5aa826d7238b63ea8dcd13ce5705a3d29a0ba70edeac2d9950cd1a00a13a779add761e4e14335689051a43b4cd662a330734e4df7 SHA512 0cc7887e7c7c3315db31aab79df236db9b5542e0234c27543dd5b11cf917674a8fdebc384e7331663b08d586fcf20628479a20ad7edbed4e61667903e812c6f0
DIST xunit.skippablefact.1.4.8.nupkg 44542 BLAKE2B 3c9b09d5196e8901770099b2e5078d9373e8ebc2da058a9071707d6fee56eab7c876578734f3be5b088db6ae83c8ad81a3aadfcab38e1fd2b28bd25601fe5463 SHA512 a2c680223bda4f9bfdbd751c8d6a5319e0a4611533272860ca0a396b26c473a13065301a5d8973074ea2bb5119caaeec5a67d547a96ae5d762dc09f337f51ad1
-EBUILD dafny-4.4.0-r1.ebuild 18791 BLAKE2B 82082f5eeadc299a7854a17896199a6feb084b95ca383fa1cf55d402a3a2099e038cb48f8502a5abdbc1f8f31fa985f4c376dc88889c39e5c2743907f4d50d19 SHA512 f50a039842519acd5c93d5f29d563fdbfdf4615344b4b1cfb6493a1a3a54d7dd646c8db49ebaa2541f482156b6660ab72f9315a4d47107fd5bb650acd9ebc472
-EBUILD dafny-4.5.0.ebuild 19547 BLAKE2B ec7d8bc7fc9c9270f8a8bf497b4e2e7caf813b5edb75ae756174ba643e5d5eb0d468ddaac00b2523b4113fbe41fc1f4785209261681714bf7edafdac7851b5c4 SHA512 374ff6264d48ac542a1ca9b82566709878444821333ce6eb26468818744fc91c489ebcc92e6ec6bb4f7a2eec1fa089db5a33f1c4797b2daeb9a997e79b1df9ec
-EBUILD dafny-4.6.0.ebuild 19635 BLAKE2B e8a55b535bb11df8b61c65ef81bf7522fd9269445e27049160b55889bfb09a17c4e50255d31e9eeb0140f0436f0ab3a6edb496c4e9b8be36ac80703a4c941c9f SHA512 e0e793f2c5b639a29499212b0e2ec920ef3cde88f2c06eb4e266e227c4c7db7cd23f541aabee7921d6531ea9f5d6e6a87fdd9d0ae75d578b66c34b704ca1725e
+EBUILD dafny-4.4.0-r1.ebuild 18790 BLAKE2B 7e4eab480b86acb8816a48efe4432b94ef641bfb60e14e4abb0c5642f65dab008c01c2e92ba51cf3d88a9c09e358bf2e88b53bd5944d1ed74d6b5820884c1feb SHA512 eabb91eb1d35e8c3c5a0a3dac365bd162eb36c613bc87f94c487c9a2013f4feaecdae205c6a67779d1a56b0faea7d4bdabf479120811ccfd69994cade72c26d9
+EBUILD dafny-4.5.0.ebuild 19546 BLAKE2B c601993087774479cc430970462cf6c846f4a9b96912d911c548309cdea6d8fbb30820a15ca741c7f47ba9eb8c139723bc80126af3405df28fdaff5bf5b27297 SHA512 34d18f64b96d306cbea78708c701890c202cb6d7321bfde045a7c43990f184791ea14976661c1571764b4c678e96a70505e6d85595a253e67a255523eb6108ef
+EBUILD dafny-4.6.0.ebuild 19634 BLAKE2B 9af894491d57dc523a72cfc0769aa2db689a73cb429b63671316b770ca412544ab36a800bc2b8d47091db61bd037fd226a250ff068d4d5f3e03a9334d7f66a7f SHA512 4e476a0bd05515f897d302ee773a4c0ffcb24427c09d80f4dc73fdbd2fb88860ac3f9820873c294ea04f66c0e3b534f71188b19c7448c0bb0fd8deda53d13660
MISC metadata.xml 1884 BLAKE2B e3a53cfd90a4edf1d9fd9f567ac3c23fd88cc46602cfe6aea31ddc40585ebc89ab82833dcd21c82083671a54454d62f162f45d56d6b0ec9c202148b3d5ea2c6d SHA512 4cffb9c237ed85097ce1496a72f5aa9c5a0f5758402fe66ff745a3b1dbc3f8d9a40fecc9140ee1b9418f09b62794f7e0a47f908e6ba01b370087d4df62bfa46e
diff --git a/dev-lang/dafny/dafny-4.4.0-r1.ebuild b/dev-lang/dafny/dafny-4.4.0-r1.ebuild
index 2fd7b19b0f00..4ec014fca8b0 100644
--- a/dev-lang/dafny/dafny-4.4.0-r1.ebuild
+++ b/dev-lang/dafny/dafny-4.4.0-r1.ebuild
@@ -567,7 +567,7 @@ src_test() {
--verbose
--workers="$(makeopts_jobs)"
)
- edob lit "${lit_opts[@]}" "${TEST_S}"
+ edo lit "${lit_opts[@]}" "${TEST_S}"
}
src_install() {
diff --git a/dev-lang/dafny/dafny-4.5.0.ebuild b/dev-lang/dafny/dafny-4.5.0.ebuild
index 601423b0fbfa..ad97276a1553 100644
--- a/dev-lang/dafny/dafny-4.5.0.ebuild
+++ b/dev-lang/dafny/dafny-4.5.0.ebuild
@@ -594,7 +594,7 @@ src_test() {
--verbose
--workers="$(makeopts_jobs)"
)
- edob lit "${lit_opts[@]}" "${TEST_S}"
+ edo lit "${lit_opts[@]}" "${TEST_S}"
}
src_install() {
diff --git a/dev-lang/dafny/dafny-4.6.0.ebuild b/dev-lang/dafny/dafny-4.6.0.ebuild
index ca5c0f6861e7..2ec7748b03e7 100644
--- a/dev-lang/dafny/dafny-4.6.0.ebuild
+++ b/dev-lang/dafny/dafny-4.6.0.ebuild
@@ -597,7 +597,7 @@ src_test() {
--verbose
--workers="$(makeopts_jobs)"
)
- edob lit "${lit_opts[@]}" "${TEST_S}"
+ edo lit "${lit_opts[@]}" "${TEST_S}"
}
src_install() {
diff --git a/dev-lang/dzaima-bqn/Manifest b/dev-lang/dzaima-bqn/Manifest
index c05c1d92bf80..a1824cadf9c0 100644
--- a/dev-lang/dzaima-bqn/Manifest
+++ b/dev-lang/dzaima-bqn/Manifest
@@ -1,4 +1,4 @@
DIST dzaima-bqn-0.2.1.tar.gz 315654 BLAKE2B 1b11ad6901ec2fbb6b10a87d7e46e098cceb2ffdfd351d82a3709df3370f30e0aaee1b2e270c4d228f305ed573f1e1a979238fcbc6ca8ac690f26048a30bff2c SHA512 92ab33ed64ace127ece76526ea298f131d720e7deaa917551e16c0eb0e626b1b0074668260fcc652e18b1c90603149f8631a574b0e98d2b715bd73dbc3340d8e
-EBUILD dzaima-bqn-0.2.1.ebuild 1247 BLAKE2B cc7f046f4416174f35052d108ac3c2d77e969ce9d67ce9be7ec963695abed79121e7163996e34f8e7c98cda79024e7d4142282f24c76bd60c2ac0f7dea107378 SHA512 ef27519002b7a5323f5fca65830e8770b3298f11e49dcd0a9a43be363dc563ff68ea99fc74c56f4b4397f459e29d4e23bbc8087e57ca8936c4dc7afe5aa15ed0
-EBUILD dzaima-bqn-9999.ebuild 1248 BLAKE2B 6ba353796c526b0106ca41b5c81c22c98e3f785ced445605c323b9f85013505b273effe58fe7668fb41b4fba4ebfff15accf6f83a7eee37ab4bea9ee5913265e SHA512 4b2fe0b31c45058261a2514b72a1caebe65de33ad303192ed3a496c4478a6758f9219c408b62f5aafaa9a54dd241745ddfa1f22cb0c1b469958c28bf9529df7a
+EBUILD dzaima-bqn-0.2.1.ebuild 1246 BLAKE2B 44187d3b087f2f0c79302f4fe9d7268e576ad6f33de6b57e796cd82bc5c72f0b22203490b5c10cca1bc67db0210b45a602eff274c371f81f15fb63780a93ba69 SHA512 7e5d72101b54c3de6c839578be0449963ee7a9275d6e8de56d1725589fc2630f73a31555794b5e971c49991912372f6e538a0fa4f69d8cb0129d27f725ee452d
+EBUILD dzaima-bqn-9999.ebuild 1247 BLAKE2B 1357590de0370869aece48456b8556497e992e6979513578d05d3573596995095ecb2eacb5c97951432b6887e12348462e3231129ecb2b8780f47981fae87f7e SHA512 e36d232f1550bc186094b5797ac2a5fc39266935b835eaebfbb98fd4171c56d5abedd44c5f61ba52fd811cefe45eb1c9bc63a777a6fa1ed1f88fcd929f616048
MISC metadata.xml 391 BLAKE2B ad7dca8c5f86fa31d5d50cf9a0f0ba1f45c1ecef285d144a1e4ce7ad38a279a28191364d9d4e8ee36846724cf90bd2b11896f3da302768e94be9b9e76240ac56 SHA512 4e8a6cf419a6aaef930c6ae716c55600bb35c0ffb4e6ef386984366a735b572648431bb16f4296c708811a0970bf69b96a6f87c7e38dfd0f7c1ff23b10f015d8
diff --git a/dev-lang/dzaima-bqn/dzaima-bqn-0.2.1.ebuild b/dev-lang/dzaima-bqn/dzaima-bqn-0.2.1.ebuild
index de1b210a761b..6ea55f8362e1 100644
--- a/dev-lang/dzaima-bqn/dzaima-bqn-0.2.1.ebuild
+++ b/dev-lang/dzaima-bqn/dzaima-bqn-0.2.1.ebuild
@@ -1,4 +1,4 @@
-# Copyright 1999-2023 Gentoo Authors
+# Copyright 1999-2024 Gentoo Authors
# Distributed under the terms of the GNU General Public License v2
EAPI=8
@@ -46,7 +46,7 @@ src_compile() {
}
src_test() {
- edob java -jar "${BUILD_JAR}" -f "${S}"/test/test
+ edo java -jar "${BUILD_JAR}" -f "${S}"/test/test
}
src_install() {
diff --git a/dev-lang/dzaima-bqn/dzaima-bqn-9999.ebuild b/dev-lang/dzaima-bqn/dzaima-bqn-9999.ebuild
index 9c7b4bd92031..1f962b56b85c 100644
--- a/dev-lang/dzaima-bqn/dzaima-bqn-9999.ebuild
+++ b/dev-lang/dzaima-bqn/dzaima-bqn-9999.ebuild
@@ -1,4 +1,4 @@
-# Copyright 1999-2023 Gentoo Authors
+# Copyright 1999-2024 Gentoo Authors
# Distributed under the terms of the GNU General Public License v2
EAPI=8
@@ -46,7 +46,7 @@ src_compile() {
}
src_test() {
- edob java -jar "${BUILD_JAR}" -f "${S}"/test/test
+ edo java -jar "${BUILD_JAR}" -f "${S}"/test/test
}
src_install() {
diff --git a/dev-lang/eisl/Manifest b/dev-lang/eisl/Manifest
index 08230236220e..c5ccb2ec1d77 100644
--- a/dev-lang/eisl/Manifest
+++ b/dev-lang/eisl/Manifest
@@ -1,7 +1,9 @@
AUX eisl-3.60-Makefile.patch 883 BLAKE2B 42419e7db0c5b960e218e821cd53d11caaa1a48d74c3e3d810c387e7e74f4fb2699d1cc54fc59c4201664a35384288c1f43e9910cabca9747f2522f2dc3aa364 SHA512 de22e920debb00b2988b8cd9d63c50c7c43d680c5b668f32dd9841a50875f7a857f5c320a00311f4d4adbff857298bf1e25f19f6a0baa7f0cba81ac63aaacd0f
DIST eisl-3.72.tar.gz 2430755 BLAKE2B e64f249ada16fb291e3aeb29e2a3366936fe458f2ae1e1915b7577f1d212c577438debaf73ad2daae59af52c3b8a72253160b4cc84bd0f338c57dcb164b4a235 SHA512 bc73008732505e5b610dd4797302c4e37730bfbf17d46643c616f7aaa5bbd63a3f0909be3f047c1134302fb017827c2883ce7ec5e2bf9d96ee06bc77557c596d
DIST eisl-3.90.tar.gz 2435398 BLAKE2B 168c96312783542d2011fc190bd471d9ed9f7f384cc38a5e05617b873623a44641e0fad155c1970b30edd333d03b77ad228798c7f340a63e26d64f79ad7f8cce SHA512 1295d77c25779258882541f4d2a3cd75eb31dbcd89c03144028bfc86453f69c90f822deaca5a20bd45c6361bb0ba74f544c344cd92e6bca6ce8983c36c1860d6
+DIST eisl-3.95.tar.gz 2438216 BLAKE2B 927af9a8b0469fcda16501a6fffba60eebc708dcfaba1b076b0ffe80396c285fc1fbb427694548418f76102451f7e37506686bf8d025decd04245e105fa618f7 SHA512 50e4159bbbc3c72fe985db3b2d77be63f2e8197027e97ac5af0e9316e5f817497bfc0a9f7cf0b0624bb8baf2cf28b5b94556ad77edcdee2e8e8a6d63a74e02a2
EBUILD eisl-3.72.ebuild 1010 BLAKE2B caf0eaf92d6f0397eba23e8641b1bff1d5316d97d1886e75a2bcd504354fbef1ca19d053168ad592503156a7b6270da2dd39cb03f65f78dbb210f6c569476904 SHA512 f637a8521189709117940c1d4240280357394dfb9dceb591658afbc58ccc5190e649144df52ac100f24e0ca3c98913b53d67ca4fa5aa92814bab560791913b35
EBUILD eisl-3.90.ebuild 1011 BLAKE2B 291b801fbede039429edf9317a5ac1a7beed406019edb25aa218be9f718deff1742a4e99adc349ebe04d5160126bae590de9dc831378aeddfaf7bcce5e554ca1 SHA512 71d7528dbfbc0b76b68bc574aa7ca11b463cae94a5682bc74458cd8b0530de222de50aa540e3e9e444bbef58b2c36d49bb94ad929a99dc9574148ac3abba6afd
+EBUILD eisl-3.95.ebuild 1011 BLAKE2B 291b801fbede039429edf9317a5ac1a7beed406019edb25aa218be9f718deff1742a4e99adc349ebe04d5160126bae590de9dc831378aeddfaf7bcce5e554ca1 SHA512 71d7528dbfbc0b76b68bc574aa7ca11b463cae94a5682bc74458cd8b0530de222de50aa540e3e9e444bbef58b2c36d49bb94ad929a99dc9574148ac3abba6afd
EBUILD eisl-9999.ebuild 1005 BLAKE2B bf9361efcf3f564ea3dd41a9f9d404b95b774df7f88b6280fa1d41d67eebbe1063d6f49876068478d31d11dc0846247b7655d4022ca07cd26c4ee869856acd6b SHA512 dfb4fc078498d62a137dcac57a0cd7bf5c7efb85bf4b9cbec3406ebbe432906e1d621ddf282145a3037bdd1a84b603b665d14638adf4d2894441da7b9c7a3b8c
MISC metadata.xml 631 BLAKE2B fd171b07cf1f7beae7be774a5da360d466c83f01a6bd52dc69af436926ae5aebec27a2723c11498be21c4f96f6b82c6aa3571f4b84e763459ef78086450252f2 SHA512 dd9e329f24ce6d3922e92e81d36234b93151f71c88d6ba4b38557565a7c1c3bc4b7172d4d55f1d2d5bd6c5cada449691067cc71abd4d456941f6a8b78fe0df87
diff --git a/dev-lang/eisl/eisl-3.95.ebuild b/dev-lang/eisl/eisl-3.95.ebuild
new file mode 100644
index 000000000000..0ef48728bee1
--- /dev/null
+++ b/dev-lang/eisl/eisl-3.95.ebuild
@@ -0,0 +1,52 @@
+# Copyright 1999-2024 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=8
+
+inherit toolchain-funcs
+
+DESCRIPTION="Interpreter and compiler compatible with the ISLisp standard"
+HOMEPAGE="https://github.com/sasagawa888/eisl/"
+
+if [[ "${PV}" == *9999* ]] ; then
+ inherit git-r3
+
+ EGIT_REPO_URI="https://github.com/sasagawa888/${PN}.git"
+else
+ SRC_URI="https://github.com/sasagawa888/${PN}/archive/v${PV}.tar.gz
+ -> ${P}.tar.gz"
+
+ KEYWORDS="~amd64 ~x86"
+fi
+
+LICENSE="BSD-2"
+SLOT="0"
+RESTRICT="test" # Tests run cppcheck (and fail)
+
+DOCS=( README{,-ja}.md documents )
+
+RDEPEND="
+ sys-libs/ncurses:=
+"
+DEPEND="
+ ${RDEPEND}
+"
+
+PATCHES=( "${FILESDIR}/${PN}-3.60-Makefile.patch" )
+
+src_compile() {
+ emake CC="$(tc-getCC)" clean edlis eisl
+}
+
+src_install() {
+ exeinto /usr/bin
+ doexe edlis eisl
+
+ # Compilation of ISLisp files on installation fails.
+ # Do not compile them and mimic "make install".
+ insinto "/usr/share/${PN}"
+ doins -r library
+ doins fast.h ffi.h
+
+ einstalldocs
+}
diff --git a/dev-lang/ispc/Manifest b/dev-lang/ispc/Manifest
index 8fb3068c9f3e..a7ae68b8ce98 100644
--- a/dev-lang/ispc/Manifest
+++ b/dev-lang/ispc/Manifest
@@ -1,3 +1,5 @@
DIST ispc-1.23.0.gh.tar.gz 19624959 BLAKE2B 08cf817bdd4cd76121dd6c9586ef5f3f9296e7a3b509c51db6413fb62aee0b462ae8baa9fd9497b20c67d4df90149eba16a48b61dd8793c5b64c95a21b13e5d8 SHA512 34cd2572cdaf38f7911ffe52dfb7346f1607de1f81635bdf94e365dee810b30ddeb090eee4a592d9331bb051498172bfd868cd8de9c38bed388d7207a30ac0d8
+DIST ispc-1.24.0.gh.tar.gz 19674211 BLAKE2B 246a079f03fa17f1ab4d80c55b992e92f44d5395e3f1feadee90c773771496ead4de0671b3869c70d5a93038d7c0ccaf9ed3ad5b5e40eb156d605a73150b15d9 SHA512 ad9feab1b5986471a52c775c1220ae46904ae952b33a14299f525eb03e004c6e1395dd171ddedee833892d57ad195ffddb234b26a2df42138fb1b2364b62803e
EBUILD ispc-1.23.0.ebuild 2305 BLAKE2B 522905c18bb87d34e244f1e5a956291ac2fafc1d8d5331fca62c2152d60d6458a0932079b3576d69ab6e23822520d8c0a62212ecd93e1341e99eac8dc5838498 SHA512 5aafda25901eaacc4706e23b2ca05db4f4debaa6b64076be1df1b0ef54111f935aaeb2db7056934e1281f979e70683a3c2bbe00696a7f8164ca97015d28d9b8c
+EBUILD ispc-1.24.0.ebuild 2312 BLAKE2B 877c7ee9de0203f5880dd3fa627a4cab0189bedc8282c90e62f13a180f6b4adaf4e67a985bfb509536c7610a231c1b09e229ad155e87fe6f7f14979d3b2f8dcc SHA512 959e92cc3270f552ff302dfec4212a9b91a72463d49ea42fe3a852af110e972e6521e0431d613dfbb01e22c40534a179212136b1fc749d1bfd0a6cba09432488
MISC metadata.xml 509 BLAKE2B b605dfbff352fab4fcc58ad46f89f97d5db8522de237a0623021c521231798ad00b2b8cd82ce6840d86cfebbe185e6e767e8d0ec276b03a68554ecad20e6b96d SHA512 eae5fcfb0d56190f969ac83012624965b00bd757d8be0bbafce74ab1ea119dc4ee0c33076dd447fabf0a6a6d5f1e2783b54f6c59ebd7aa0a35a4a27df7db01f9
diff --git a/dev-lang/ispc/ispc-1.24.0.ebuild b/dev-lang/ispc/ispc-1.24.0.ebuild
new file mode 100644
index 000000000000..0040707fe672
--- /dev/null
+++ b/dev-lang/ispc/ispc-1.24.0.ebuild
@@ -0,0 +1,101 @@
+# Copyright 1999-2024 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=8
+
+LLVM_COMPAT=( {17..18} )
+PYTHON_COMPAT=( python3_{10..12} )
+
+inherit cmake llvm-r1 multiprocessing python-any-r1 toolchain-funcs
+
+DESCRIPTION="Intel SPMD Program Compiler"
+HOMEPAGE="
+ https://ispc.github.io/
+ https://github.com/ispc/ispc/
+"
+SRC_URI="
+ https://github.com/ispc/ispc/archive/v${PV}.tar.gz
+ -> ${P}.gh.tar.gz
+"
+
+LICENSE="BSD BSD-2 UoI-NCSA"
+SLOT="0"
+KEYWORDS="~amd64 ~arm ~arm64 ~ppc64 ~x86"
+IUSE="examples gpu openmp test"
+RESTRICT="!test? ( test )"
+
+DEPEND="
+ $(llvm_gen_dep '
+ sys-devel/clang:${LLVM_SLOT}
+ ')
+ sys-libs/ncurses:=
+ gpu? ( dev-libs/level-zero:= )
+ !openmp? ( dev-cpp/tbb:= )
+"
+RDEPEND="
+ ${DEPEND}
+"
+BDEPEND="
+ app-alternatives/yacc
+ app-alternatives/lex
+ ${PYTHON_DEPS}
+"
+
+pkg_pretend() {
+ [[ ${MERGE_TYPE} != binary ]] && use openmp && tc-check-openmp
+}
+
+pkg_setup() {
+ [[ ${MERGE_TYPE} != binary ]] && use openmp && tc-check-openmp
+ llvm-r1_pkg_setup
+ python-any-r1_pkg_setup
+}
+
+src_prepare() {
+ if use amd64; then
+ # On amd64 systems, build system enables x86/i686 build too.
+ # This ebuild doesn't even have multilib support, nor need it.
+ # https://bugs.gentoo.org/730062
+ einfo "Removing auto-x86 build on amd64"
+ sed -i -e 's:set(target_arch "i686"):return():' cmake/GenerateBuiltins.cmake || die
+ fi
+
+ # do not require bundled gtest
+ mkdir -p ispcrt/tests/vendor/google/googletest || die
+ cat > ispcrt/tests/vendor/google/googletest/CMakeLists.txt <<-EOF || die
+ find_package(GTest)
+ EOF
+ # remove hacks that break unbundling
+ sed -i -e '/gmock/d' -e '/install/,$d' ispcrt/tests/CMakeLists.txt || die
+
+ cmake_src_prepare
+}
+
+src_configure() {
+ local mycmakeargs=(
+ -DARM_ENABLED=$(usex arm)
+ -DCMAKE_SKIP_RPATH=ON
+ -DISPC_INCLUDE_EXAMPLES=OFF
+ -DISPC_INCLUDE_TESTS=$(usex test)
+ -DISPC_INCLUDE_UTILS=OFF
+ -DISPCRT_BUILD_GPU=$(usex gpu)
+ -DISPCRT_BUILD_TASK_MODEL=$(usex openmp OpenMP TBB)
+ )
+ cmake_src_configure
+}
+
+src_test() {
+ # Inject path to prevent using system ispc
+ local -x PATH="${BUILD_DIR}/bin:${PATH}"
+ "${EPYTHON}" ./run_tests.py "-j$(makeopts_jobs)" -v ||
+ die "Testing failed under ${EPYTHON}"
+}
+
+src_install() {
+ cmake_src_install
+
+ if use examples; then
+ docompress -x /usr/share/doc/${PF}/examples
+ dodoc -r examples
+ fi
+}
generated by cgit v1.2.3 (git 2.25.1) at 2024-11-05 20:37:44 +0000