Merge updates from master

This commit is contained in:
Repository mirror & CI
2024-10-13 19:33:14 +00:00
25 changed files with 756 additions and 159 deletions
+1
View File
@@ -1 +1,2 @@
DIST distrobox-1.7.2.1.tar.gz 6888919 BLAKE2B 1fd4e49585f686cf9f434c3285935bdda1131684b74dfcc20b018ab9853fb13516f3dbaf7c16b9ea55a0d038e3d9eb297bcea74c95755fbe60ef6512a9ce0df8 SHA512 aaf4324a9a31844dc08a6cc4e06d3b725675c92df01b558e733c96701d7e9700baabc1afad97ce5e2a8e2345defcea71c85f0ea6667249316f850aeca5aea149
DIST distrobox-1.8.0.tar.gz 6915152 BLAKE2B ac1d3e8b99c1f9ec93518ec92c023aab76849a258e0482c23667ac3e7f4f80b4e93a4c7f0636c1bdd93dfe3dc67ccfc28261fb7f83d998259b8a0209534d3c90 SHA512 5d34c8aea935a6ea328071268b63ba8a5cd3e7962f85e9753e0adfcca6121c560d790124a1ce288ec6362e4c58e4e732d45a2873053a48a3d9b8bd823ddd72c5
@@ -0,0 +1,35 @@
# Copyright 1999-2024 Gentoo Authors
# Distributed under the terms of the GNU General Public License v2
EAPI=8
DESCRIPTION="Use any Linux distribution inside your terminal (powered by docker/podman)"
HOMEPAGE="https://distrobox.it/
https://github.com/89luca89/distrobox/"
if [[ "${PV}" == *9999* ]] ; then
inherit git-r3
EGIT_REPO_URI="https://github.com/89luca89/${PN}.git"
else
SRC_URI="https://github.com/89luca89/${PN}/archive/${PV}.tar.gz
-> ${P}.tar.gz"
KEYWORDS="~amd64 ~arm ~arm64 ~riscv ~x86"
fi
LICENSE="GPL-3" # GPL-3.0-only !
SLOT="0"
RDEPEND="
|| (
app-containers/docker
app-containers/podman
)
"
src_install() {
sh ./install --prefix "${ED}/usr" || die "${PN} install script failed"
dodoc *.md
}
+1
View File
@@ -1 +1,2 @@
DIST eldev-1.10.1.tar.gz 307097 BLAKE2B e86dbd717faca925c57c3331d2a5177e6ae96959b2425a1a62082ce268650f08b40744cab819f948d26c752523764ae330c6c57cffd0f1bcc440b8c0b4ea75b2 SHA512 8be7913457e826d10eea4625d5f412996e3b485d9d65749bcdc9bb020fac33aa41840d856e31fefe9a2f4b5a9dc597be8820416eaed96717287b8a966f663861
DIST eldev-1.10.2.tar.gz 307514 BLAKE2B 9da91154ad464971798d6430d398b90c078e8cf32460c0bb1056d67a1e2599e33f9ee81d3e0d7c9dcd44e12c3c6d0cbcac459a714cb855ea454b78bc01fb315e SHA512 d82543271c235d25069008d87e885800342c4b13cf26adbd2cb9a64dfa224352c0019a322916191594b1be926d29830abbee8abbef1175a705d28e003f040ca3
+59
View File
@@ -0,0 +1,59 @@
# Copyright 1999-2024 Gentoo Authors
# Distributed under the terms of the GNU General Public License v2
EAPI=8
inherit elisp
DESCRIPTION="Emacs Lisp Development Tool"
HOMEPAGE="https://emacs-eldev.github.io/eldev/
https://github.com/doublep/eldev/"
if [[ "${PV}" == *9999* ]] ; then
inherit git-r3
EGIT_REPO_URI="https://github.com/doublep/${PN}.git"
else
SRC_URI="https://github.com/doublep/${PN}/archive/${PV}.tar.gz
-> ${P}.tar.gz"
KEYWORDS="~amd64 ~arm ~ppc64 ~riscv ~x86"
fi
LICENSE="GPL-3+"
SLOT="0"
ELISP_REMOVE="
test/doctor.el
"
DOCS=( README.adoc )
SITEFILE="50${PN}-gentoo.el"
src_test() {
ELDEV_LOCAL="${S}" "./bin/${PN}" test
}
src_install() {
elisp_src_install
exeinto /usr/bin
doexe "./bin/${PN}"
# NOTICE: If ELDEV_LOCAL is defined Eldev will use it
# to load up it's components,
# if it is not it will bootstrap itself from network
# always check if it uses installed Emacs Lisp files.
# Also, do not forget to run `env-update` & reopen your shell.
# https://github.com/doublep/eldev#influential-environment-variables
echo "ELDEV_LOCAL=${SITELISP}/${PN}" >> "${T}/99${PN}" || die
doenvd "${T}/99${PN}"
}
pkg_postinst() {
elisp_pkg_postinst
ewarn "Remember to run \`env-update && source /etc/profile\` if you plan"
ewarn "to use Eldev in a shell before logging out (or restarting"
ewarn "your login manager)."
}
+1
View File
@@ -1 +1,2 @@
DIST gptel-0.9.0.tar.gz 75974 BLAKE2B 51bf6ebe754a8fecaa2645d9dba77b844dbc65fbfd430ff67dcaa6b4893c66960f83c8e4344d0fa8b294ba8b468c8ce744fa0f284ed4e87b6e694edb07d2dd14 SHA512 6b7030bc87ef5a9edac547efe62c3392cbca08973eec5f7ace4358b0ad8c25049b69309beec100e6604ed35935468f531f0e0325df65d771819f80826b6b419d
DIST gptel-0.9.5.tar.gz 89369 BLAKE2B 7556163a95484400f9a24bbdced5e8e72f7f18833acd20a8085b3e0681a5f66a391d492f41d606bf762f0375c641923b822bfef49f70d9f64a384db3cc888a52 SHA512 98377cc3c05eacfc61b1f47a087c92a926cb1881b8194e856adb5613fdc0c3abc0274d927b3fcc8e8a910af93a007c994cc37630c1f85e67fdd579866a29f9a8
+43
View File
@@ -0,0 +1,43 @@
# Copyright 1999-2024 Gentoo Authors
# Distributed under the terms of the GNU General Public License v2
EAPI=8
NEED_EMACS="27.1"
inherit elisp
DESCRIPTION="Simple Large Language Model chat client for GNU Emacs"
HOMEPAGE="https://github.com/karthink/gptel/"
if [[ "${PV}" == *9999* ]] ; then
inherit git-r3
EGIT_REPO_URI="https://github.com/karthink/${PN}.git"
else
SRC_URI="https://github.com/karthink/${PN}/archive/refs/tags/v${PV}.tar.gz
-> ${P}.tar.gz"
KEYWORDS="~amd64 ~arm64"
fi
LICENSE="GPL-3"
SLOT="0"
RDEPEND="
>=app-emacs/compat-30.0.0.0
app-emacs/transient
"
BDEPEND="
${RDEPEND}
"
DOCS=( README.org )
SITEFILE="50${PN}-gentoo.el"
elisp-enable-tests ert test -l gptel-org -l gptel-org-test
src_compile() {
elisp_src_compile
elisp-make-autoload-file
}
+1
View File
@@ -1,6 +1,7 @@
DIST boogie-3.2.4.tar.gz 2067404 BLAKE2B 3c7edfa3c78335f587e9b3216599c2ffef639ba78103889d1a08236824b04a501a6def08393e08e506eadf1805a8a7310b252b03762f737d28bbab978364710c SHA512 a7d87a980b9b23540102276857621e24c020b6a66762e57c008ab2aa0f82255ba7c0c03b13e7e8ab6e94088e031b23ff2463ef2a96c3e2f572651030b89ce286
DIST boogie-3.2.5.tar.gz 2067333 BLAKE2B 2014351c53fa9a7fcea6cc11f8d236b398b9f44acf0ff388e45a9e3b3e306963b939c45619c4227d398100ab52d6deebaeb5a5d668047cd6d5e631b058f89a07 SHA512 92896489f82ee158b851b3579b363e43dc69c3490815e9f1ba17da115fd6f6f7264e4fcf8388b5dd1891c8ff63514df6ec037454029fb80c5db71381c4d4e8a9
DIST boogie-3.3.0.tar.gz 2072702 BLAKE2B 1731c4e32ddbc3d311f3eea5d12946008060fb7fa99b16b40699e0126417b18d6bc9f66343d8870b699a39a7dd9f7fca10d7e1660c5d154193a7d87206c6fc95 SHA512 4c9c19c7b7188a0ff39bb9fd56625d5b3ef97d857e5686fc850ea060470aaef3fafc5bf50e1eb8cde13b6b1d01a2e3450db38c77bd79ca48f663e42464c1bad1
DIST boogie-3.3.2.tar.gz 2071625 BLAKE2B 2a9dda5e44c283279b3affe97963ba00434a9fcc235e375b8ddfaafa31c2ee2d81a3f0226155ef1759f368a45c72102b62f8cc6389040df21acce9f50d7751d4 SHA512 15023fedad93750d03b15a5baeca3374d8ad711a5020933e9c4217840c851cc1710ca1c77476afe1487521f02eebc5c5bd12e6044aaa369636c3d4ccffb816df
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
+309
View File
@@ -0,0 +1,309 @@
# Copyright 1999-2024 Gentoo Authors
# Distributed under the terms of the GNU General Public License v2
EAPI=8
DOTNET_PKG_COMPAT="8.0"
NUGETS="
microsoft.bcl.asyncinterfaces@6.0.0
microsoft.codecoverage@16.2.0
microsoft.csharp@4.0.1
microsoft.dotnet.internalabstractions@1.0.0
microsoft.net.test.sdk@16.2.0
microsoft.netcore.platforms@1.0.1
microsoft.netcore.platforms@1.1.0
microsoft.netcore.targets@1.0.1
microsoft.netcore.targets@1.1.0
microsoft.testplatform.objectmodel@16.2.0
microsoft.testplatform.testhost@16.2.0
microsoft.win32.primitives@4.0.1
microsoft.win32.primitives@4.3.0
microsoft.win32.registry@4.0.0
microsoft.win32.registry@4.3.0
microsoft.win32.systemevents@6.0.0
netstandard.library@1.6.0
netstandard.library@2.0.0
newtonsoft.json@9.0.1
nunit@3.12.0
nunit3testadapter@3.15.1
runtime.any.system.collections@4.3.0
runtime.any.system.diagnostics.tools@4.3.0
runtime.any.system.diagnostics.tracing@4.3.0
runtime.any.system.globalization.calendars@4.3.0
runtime.any.system.globalization@4.3.0
runtime.any.system.io@4.3.0
runtime.any.system.reflection.extensions@4.3.0
runtime.any.system.reflection.primitives@4.3.0
runtime.any.system.reflection@4.3.0
runtime.any.system.resources.resourcemanager@4.3.0
runtime.any.system.runtime.handles@4.3.0
runtime.any.system.runtime.interopservices@4.3.0
runtime.any.system.runtime@4.3.0
runtime.any.system.text.encoding.extensions@4.3.0
runtime.any.system.text.encoding@4.3.0
runtime.any.system.threading.tasks@4.3.0
runtime.any.system.threading.timer@4.3.0
runtime.debian.8-x64.runtime.native.system.security.cryptography.openssl@4.3.0
runtime.fedora.23-x64.runtime.native.system.security.cryptography.openssl@4.3.0
runtime.fedora.24-x64.runtime.native.system.security.cryptography.openssl@4.3.0
runtime.native.system.io.compression@4.1.0
runtime.native.system.net.http@4.0.1
runtime.native.system.security.cryptography.openssl@4.3.0
runtime.native.system.security.cryptography@4.0.0
runtime.native.system@4.0.0
runtime.native.system@4.3.0
runtime.opensuse.13.2-x64.runtime.native.system.security.cryptography.openssl@4.3.0
runtime.opensuse.42.1-x64.runtime.native.system.security.cryptography.openssl@4.3.0
runtime.osx.10.10-x64.runtime.native.system.security.cryptography.openssl@4.3.0
runtime.rhel.7-x64.runtime.native.system.security.cryptography.openssl@4.3.0
runtime.ubuntu.14.04-x64.runtime.native.system.security.cryptography.openssl@4.3.0
runtime.ubuntu.16.04-x64.runtime.native.system.security.cryptography.openssl@4.3.0
runtime.ubuntu.16.10-x64.runtime.native.system.security.cryptography.openssl@4.3.0
runtime.unix.microsoft.win32.primitives@4.3.0
runtime.unix.system.console@4.3.0
runtime.unix.system.diagnostics.debug@4.3.0
runtime.unix.system.io.filesystem@4.3.0
runtime.unix.system.net.primitives@4.3.0
runtime.unix.system.net.sockets@4.3.0
runtime.unix.system.private.uri@4.3.0
runtime.unix.system.runtime.extensions@4.3.0
system.appcontext@4.1.0
system.buffers@4.0.0
system.buffers@4.3.0
system.collections.concurrent@4.0.12
system.collections.immutable@1.2.0
system.collections.nongeneric@4.0.1
system.collections.nongeneric@4.3.0
system.collections.specialized@4.0.1
system.collections.specialized@4.3.0
system.collections@4.0.11
system.collections@4.3.0
system.componentmodel.eventbasedasync@4.0.11
system.componentmodel.eventbasedasync@4.3.0
system.componentmodel.primitives@4.1.0
system.componentmodel.primitives@4.3.0
system.componentmodel.typeconverter@4.1.0
system.componentmodel.typeconverter@4.3.0
system.componentmodel@4.0.1
system.componentmodel@4.3.0
system.configuration.configurationmanager@6.0.0
system.console@4.0.0
system.diagnostics.debug@4.0.11
system.diagnostics.debug@4.3.0
system.diagnostics.diagnosticsource@4.0.0
system.diagnostics.process@4.1.0
system.diagnostics.process@4.3.0
system.diagnostics.textwritertracelistener@4.0.0
system.diagnostics.tools@4.0.1
system.diagnostics.tracesource@4.0.0
system.diagnostics.tracing@4.1.0
system.diagnostics.tracing@4.3.0
system.drawing.common@6.0.0
system.dynamic.runtime@4.0.11
system.globalization.calendars@4.0.1
system.globalization.extensions@4.0.1
system.globalization.extensions@4.3.0
system.globalization@4.0.11
system.globalization@4.3.0
system.io.compression.zipfile@4.0.1
system.io.compression@4.1.0
system.io.filesystem.primitives@4.0.1
system.io.filesystem.primitives@4.3.0
system.io.filesystem@4.0.1
system.io.filesystem@4.3.0
system.io@4.1.0
system.io@4.3.0
system.linq.async@6.0.1
system.linq.expressions@4.1.0
system.linq@4.1.0
system.linq@4.3.0
system.net.http@4.1.0
system.net.nameresolution@4.3.0
system.net.primitives@4.0.11
system.net.sockets@4.1.0
system.objectmodel@4.0.12
system.private.datacontractserialization@4.1.1
system.private.uri@4.3.0
system.reactive@4.4.1
system.reflection.emit.ilgeneration@4.0.1
system.reflection.emit.lightweight@4.0.1
system.reflection.emit@4.0.1
system.reflection.extensions@4.0.1
system.reflection.extensions@4.3.0
system.reflection.metadata@1.3.0
system.reflection.primitives@4.0.1
system.reflection.primitives@4.3.0
system.reflection.typeextensions@4.1.0
system.reflection.typeextensions@4.3.0
system.reflection@4.1.0
system.reflection@4.3.0
system.resources.resourcemanager@4.0.1
system.resources.resourcemanager@4.3.0
system.runtime.caching@6.0.0
system.runtime.extensions@4.1.0
system.runtime.extensions@4.3.0
system.runtime.handles@4.0.1
system.runtime.handles@4.3.0
system.runtime.interopservices.runtimeinformation@4.0.0
system.runtime.interopservices.runtimeinformation@4.3.0
system.runtime.interopservices@4.1.0
system.runtime.interopservices@4.3.0
system.runtime.loader@4.0.0
system.runtime.numerics@4.0.1
system.runtime.serialization.json@4.0.2
system.runtime.serialization.primitives@4.1.1
system.runtime@4.1.0
system.runtime@4.3.0
system.security.accesscontrol@6.0.0
system.security.claims@4.3.0
system.security.cryptography.algorithms@4.2.0
system.security.cryptography.cng@4.2.0
system.security.cryptography.csp@4.0.0
system.security.cryptography.encoding@4.0.0
system.security.cryptography.openssl@4.0.0
system.security.cryptography.primitives@4.0.0
system.security.cryptography.protecteddata@6.0.0
system.security.cryptography.x509certificates@4.1.0
system.security.permissions@6.0.0
system.security.principal.windows@4.3.0
system.security.principal@4.3.0
system.text.encoding.extensions@4.0.11
system.text.encoding.extensions@4.3.0
system.text.encoding@4.0.11
system.text.encoding@4.3.0
system.text.regularexpressions@4.1.0
system.text.regularexpressions@4.3.0
system.threading.tasks.extensions@4.0.0
system.threading.tasks.extensions@4.3.0
system.threading.tasks@4.0.11
system.threading.tasks@4.3.0
system.threading.thread@4.0.0
system.threading.thread@4.3.0
system.threading.threadpool@4.0.10
system.threading.threadpool@4.3.0
system.threading.timer@4.0.1
system.threading@4.0.11
system.threading@4.3.0
system.windows.extensions@6.0.0
system.xml.readerwriter@4.0.11
system.xml.readerwriter@4.3.0
system.xml.xdocument@4.0.11
system.xml.xmldocument@4.0.1
system.xml.xmldocument@4.3.0
system.xml.xmlserializer@4.0.11
system.xml.xpath.xmldocument@4.0.1
system.xml.xpath.xmldocument@4.3.0
system.xml.xpath@4.0.1
system.xml.xpath@4.3.0
"
inherit check-reqs dotnet-pkg edo multiprocessing
DESCRIPTION="SMT-based program verifier"
HOMEPAGE="https://github.com/boogie-org/boogie/"
if [[ "${PV}" == *9999* ]] ; then
inherit git-r3
EGIT_REPO_URI="https://github.com/boogie-org/${PN}.git"
else
SRC_URI="https://github.com/boogie-org/${PN}/archive/v${PV}.tar.gz
-> ${P}.tar.gz"
KEYWORDS="~amd64"
fi
SRC_URI+=" ${NUGET_URIS} "
LICENSE="MIT"
SLOT="0"
IUSE="test"
RESTRICT="!test? ( test )"
RDEPEND="
sci-mathematics/z3
"
BDEPEND="
${RDEPEND}
test? (
dev-python/OutputCheck
dev-python/lit
dev-python/psutil
)
"
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
dotnet-pkg_pkg_setup
}
src_unpack() {
dotnet-pkg_src_unpack
if [[ -n "${EGIT_REPO_URI}" ]] ; then
git-r3_src_unpack
fi
}
src_prepare() {
# Remove bad tests.
local -a bad_tests=(
civl/inductive-sequentialization/BroadcastConsensus.bpl
civl/inductive-sequentialization/ChangRoberts.bpl
civl/inductive-sequentialization/PingPong.bpl
civl/large-samples/GC.bpl
civl/large-samples/verified-ft.bpl
civl/paxos/is.sh
civl/samples/reserve.bpl
civl/samples/treiber-stack.bpl
havoc0/MouseClassFindMorePorts.bpl
inst/vector-generic.bpl
inst/vector.bpl
livevars/stack_overflow.bpl
prover/cvc5-offline.bpl
prover/cvc5.bpl
prover/exitcode.bpl
prover/z3-hard-timeout.bpl
prover/z3mutl.bpl
snapshots/runtest.snapshot
test15/CaptureInlineUnroll.bpl
test2/Timeouts0.bpl
test2/git-issue-366.bpl
test21/InterestingExamples4.bpl
)
local bad_test
for bad_test in "${bad_tests[@]}" ; do
rm "${S}/Test/${bad_test}" || ewarn "Failed to remove test: ${bad_test}"
done
# Update the boogieBinary variable.
sed "/^boogieBinary/s|= .*|= '${DOTNET_PKG_OUTPUT}/BoogieDriver.dll'|" \
-i "${S}/Test/lit.site.cfg" || die "failed to update lit.site.cfg"
dotnet-pkg_src_prepare
}
src_test() {
einfo "Starting tests using the lit test tool."
local -a lit_opts=(
--order="lexical"
--time-tests
--timeout="1800" # Let one test take no more than half a hour.
--verbose
--workers="$(makeopts_jobs)"
)
edo lit "${lit_opts[@]}" "${S}/Test"
}
src_install() {
dotnet-pkg-base_install
dotnet-pkg-base_dolauncher "/usr/share/${P}/BoogieDriver" "${PN}"
einstalldocs
}
@@ -0,0 +1,11 @@
--- a/makefile
+++ b/makefile
@@ -3,7 +3,7 @@
# To regenerate run ``niminst csource`` or ``koch csource``
CC ?= gcc
-CFLAGS += -Ic_code -w -fmax-errors=3 -O3 -fno-strict-aliasing -fno-ident -fno-math-errno
+CFLAGS += -Ic_code -fno-strict-aliasing -fno-ident -fno-math-errno
LDFLAGS +=
binDir = bin
+13 -14
View File
@@ -42,6 +42,8 @@ BDEPEND="
)
"
PATCHES=( "${FILESDIR}/${PN}-2.2.0-makefile.patch" )
src_configure() {
xdg_environment_reset # bug #667182
@@ -83,22 +85,19 @@ src_configure() {
}
src_compile() {
emake CC="$(tc-getCC)"
local -x PATH="${S}/bin:${PATH}"
local -a nimflags=(
-d:release
--listCmd
--parallelBuild:$(makeopts_jobs)
)
edo ./build.sh --parallel "$(makeopts_jobs)"
ebegin "Waiting for unfinished parallel jobs"
while [[ ! -f "bin/nim" ]] ; do
sleep 3
done
sleep 10
eend 0
edo chmod +x ./bin/nim
edo ./bin/nim compile -d:release koch
edo ./koch boot -d:nimUseLinenoise -d:release --skipParentCfg:off
edo ./koch tools -d:release
edo ./bin/nim compile -d:release ./tools/niminst/niminst.nim
edo ./bin/nim compile "${nimflags[@]}" koch
edo ./koch boot "${nimflags[@]}" -d:nimUseLinenoise --skipParentCfg:off
edo ./koch tools "${nimflags[@]}"
edo ./bin/nim compile "${nimflags[@]}" ./tools/niminst/niminst.nim
}
src_test() {
+13 -14
View File
@@ -39,6 +39,8 @@ BDEPEND="
)
"
PATCHES=( "${FILESDIR}/${PN}-2.2.0-makefile.patch" )
src_configure() {
xdg_environment_reset # bug #667182
@@ -80,22 +82,19 @@ src_configure() {
}
src_compile() {
emake CC="$(tc-getCC)"
local -x PATH="${S}/bin:${PATH}"
local -a nimflags=(
-d:release
--listCmd
--parallelBuild:$(makeopts_jobs)
)
edo ./build.sh --parallel "$(makeopts_jobs)"
ebegin "Waiting for unfinished parallel jobs"
while [[ ! -f "bin/nim" ]] ; do
sleep 3
done
sleep 10
eend 0
edo chmod +x ./bin/nim
edo ./bin/nim compile -d:release koch
edo ./koch boot -d:nimUseLinenoise -d:release --skipParentCfg:off
edo ./koch tools -d:release
edo ./bin/nim compile -d:release ./tools/niminst/niminst.nim
edo ./bin/nim compile "${nimflags[@]}" koch
edo ./koch boot "${nimflags[@]}" -d:nimUseLinenoise --skipParentCfg:off
edo ./koch tools "${nimflags[@]}"
edo ./bin/nim compile "${nimflags[@]}" ./tools/niminst/niminst.nim
}
src_test() {
+1
View File
@@ -2,3 +2,4 @@ DIST nprolog-1.94.tar.gz 128172 BLAKE2B b3a2de8e5e247bce55fc6eabbd06dddee1d42d8d
DIST nprolog-3.22.tar.gz 586822 BLAKE2B ac2e3e468de38c9d503c4670fd6aa5c61b93cca3f44fbd8f3668cd070563615d3567e009141f52577352a231d8f8d2713f2fc85979ff7ebd383817e8bbd0a610 SHA512 5f80d4fc9d08172d8555c57c4dd466037b0c878ff13c20b413f45859a614c1fed8ed3e4c75f68a2b9309fd09601d1ca56fb66a3f2a14d6378d194e85f8873cad
DIST nprolog-3.30.tar.gz 593861 BLAKE2B 878082729facd8dc74e1d0c8c9c7158b40446172f449915c1799fe1061c9d812fad61fe89d9f6da4e5a51f0dd8e9fed571e8b36f3342b7906de79be34697bee4 SHA512 7837a43328b5285f8184147f93add1135331ae768ceccf6259ce9d694f6bf0f0fea9ca004ec6f7c6d3c43d3c58be61eb016dbb5834fa3fd685ebb3c600c6342d
DIST nprolog-3.31.tar.gz 594055 BLAKE2B e83b3ef0a77851c93a5b549ef35ea1974f12ea16854c264295ac69a249a1b3c51c11902a7f94d85c829c8584e442588b78e236d10869ee1824f5f577dbe1d5c1 SHA512 5bcf5f42ccf0fdc3731f58618295bb18249012f5b4bb73612ca70f088c6f6a9bb515a8c0e3b365cc201486c2e191e0471d7b94beed055a848bad382f0c068a55
DIST nprolog-3.32.tar.gz 595875 BLAKE2B e703cf1851cc1f1e6b07fdbb2f28e42c42f3f11cf1f64dbace2d3a264177c80454fda2457b8ba6f49af025ec05e6cfc0fa00b110cb0d70a39e820c7c621e2eb8 SHA512 21114f89e0e29cd0a08b45580f29eb490abdadbedd5ff500aeef2ee73f5ca321ec3617f27770072e72e71bf5e682db6759802d0590ed51b638e0e00c6a198ad0
+49
View File
@@ -0,0 +1,49 @@
# 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 to be compatible with Arity/Prolog32"
HOMEPAGE="https://github.com/sasagawa888/nprolog/"
if [[ "${PV}" == *9999* ]] ; then
inherit git-r3
EGIT_REPO_URI="https://github.com/sasagawa888/${PN}.git"
else
SRC_URI="https://github.com/sasagawa888/nprolog/archive/v${PV}.tar.gz
-> ${P}.tar.gz"
KEYWORDS="~amd64 ~x86"
fi
LICENSE="BSD-2"
SLOT="0"
PATCHES=( "${FILESDIR}/${PN}-3.22-ncursesw.patch" )
DOCS=( README{,-ja}.md document )
src_prepare() {
if [[ -f edlog ]] ; then
rm edlog || die
fi
default
}
src_compile() {
emake CC="$(tc-getCC)" CFLAGS="${CFLAGS}" LDFLAGS="${LDFLAGS}"
}
src_install() {
exeinto /usr/bin
doexe npl
insinto "/usr/share/${PN}"
doins -r example library
einstalldocs
}
+1 -1
View File
@@ -25,7 +25,7 @@ else
"
if [[ ${PV} != *_alpha* && ${PV} != *_beta* ]] ; then
KEYWORDS="~alpha amd64 ~arm arm64 ~hppa ~loong ~m68k ~mips ~ppc ppc64 ~riscv ~s390 ~sparc x86 ~arm64-macos ~ppc-macos ~x64-macos ~x64-solaris"
KEYWORDS="~alpha amd64 ~arm arm64 ~hppa ~loong ~m68k ~mips ~ppc ppc64 ~riscv ~s390 sparc x86 ~arm64-macos ~ppc-macos ~x64-macos ~x64-solaris"
fi
fi
+1 -1
View File
@@ -17,6 +17,6 @@ RUBY_S="ruby-${P}"
LICENSE="MIT"
SLOT="$(ver_cut 1)"
KEYWORDS="amd64 arm arm64 ~hppa ~loong ppc ppc64 ~riscv ~s390 ~sparc x86"
KEYWORDS="amd64 arm arm64 ~hppa ~loong ppc ppc64 ~riscv ~s390 sparc x86"
ruby_add_bdepend "test? ( dev-ruby/minitest-global_expectations )"
+1
View File
@@ -46,6 +46,7 @@ DIST skiasharp.nativeassets.win32.2.88.3.nupkg 10909359 BLAKE2B b9a7e8d30508f78a
DIST skiasharp.nativeassets.win32.2.88.8.nupkg 10918061 BLAKE2B 5cd3273f99d994c19463685d8834d18f9062f7a6f39e22b5858a7103817a6d55d333d1a109590448ccbdf5633a10166fc1b3b6c4eb86854b90df33a4c61b616a SHA512 cf469d9b57e03bd775035db8da878241c7bfca0917195665fccf8f73de4d8b5bdf95613421c2fc3dc12c88d05163fa7e8f4cc7ca382cb4288302258ccfe88be8
DIST sourcegit-8.31.tar.gz 2895984 BLAKE2B 94fbb71adc4013d1bca991dd2d6f1cc8b52ae752836cfea32f8380f5ffb7941acbda568279a62508ce83a35b25f5a96de87025fa7f7624f7a3d4af4dcba15da4 SHA512 38007669791275534ef04a0a0586c4ebecfa39360a90d1c8732c9bf8321952898b1dd447b52eea21b68330fd16b25bf25da4eef2c0bc6c54bea876c540bbb638
DIST sourcegit-8.32.tar.gz 2897371 BLAKE2B 810cbac1e64a61c2861154cef3fb55bef2ab0eb7a9348c8e830bcf6826fbb37307ed949fe7387e86b2c46b0f8d92f279eb181edcb3cb7d20ef17a68081324708 SHA512 11d2cf007d1b9982a140c0bfcac9ed517d88debebc5afa2f4255eb0183d114d5c9b3a2c4e09aae14cc5024b39af720ce81f0e100ead5ad5db54b87b1cbbd69c3
DIST sourcegit-8.33.tar.gz 2898694 BLAKE2B 6026132fed3a6ed6e023566644cd62f625bc627821db928b66b2640818ee869acdb1dd24b85620a129d0c307f6360249aef7eaadbad86861616c15be55f3ded4 SHA512 f73ee46bd0721f529a9d31fb9297a81628b80c20409348e869767cceed8e872be6e58c023c885756d4287f043981dd922ce0d1ffb72aea21adfb33fb346d43b4
DIST system.io.pipelines.6.0.0.nupkg 221298 BLAKE2B 344160cc3e08c0a9004eac9672b89d8aa9fc726a0dbcb2aecd677f995157f90354d3c704862422bdf8a0195918a7411b6ad9315c2f68b01c0c24ca666f4dee53 SHA512 c5983b4510bc8ae4116133ffb9b280fe61d99d47ef52dd78e5bfd03e090901896d5d5fd738dae57006b971840a4d9422bded33ddefa5e927d75d309ef1f70dea
DIST system.numerics.vectors.4.5.0.nupkg 382792 BLAKE2B a97284a76a6729052d3a127e1875e2012ae5b90a40533783dc799b543d44cc084035374799e9e1b894083cb61f2639711f18b76ff31145140519a9674dd9d2aa SHA512 9c04ec0530f608aaf801837a791b33857e2ca6d2265a6049c01fd4e972825967e709cad3070f174829b7400f608e9a641d3afc3a45d4636d4c47dd43dd0657b3
DIST system.text.encodings.web.8.0.0.nupkg 374440 BLAKE2B 97211e710df3dcd17932f168e254806d7c8692ac01d667a2e89a5ddc956b24fba8467fbc2d451057757b5c502442d2c91bcaf0f867da7e95456b2aa18136b354 SHA512 ba0822c38c3b658aba9495642d269e882b827e3be4ad2dc1426d8a97d3cbc5a2277c5f80847d0cb9381078af01523328c4992caa058146d5d8ee6b8a08609c32
+141
View File
@@ -0,0 +1,141 @@
# Copyright 1999-2024 Gentoo Authors
# Distributed under the terms of the GNU General Public License v2
EAPI=8
DOTNET_PKG_COMPAT="8.0"
NUGETS="
avalonia.angle.windows.natives@2.1.22045.20230930
avalonia.avaloniaedit@11.1.0
avalonia.buildservices@0.0.29
avalonia.controls.colorpicker@11.1.3
avalonia.controls.datagrid@11.1.3
avalonia.desktop@11.1.3
avalonia.diagnostics@11.1.3
avalonia.fonts.inter@11.1.3
avalonia.freedesktop@11.1.3
avalonia.native@11.1.3
avalonia.remote.protocol@11.1.3
avalonia.skia@11.0.0
avalonia.skia@11.1.3
avalonia.themes.fluent@11.1.3
avalonia.themes.simple@11.1.3
avalonia.win32@11.1.3
avalonia.x11@11.1.3
avalonia@11.1.3
avaloniaedit.textmate@11.1.0
communitytoolkit.mvvm@8.2.2
harfbuzzsharp.nativeassets.linux@2.8.2.3
harfbuzzsharp.nativeassets.linux@7.3.0.2
harfbuzzsharp.nativeassets.macos@2.8.2.3
harfbuzzsharp.nativeassets.macos@7.3.0.2
harfbuzzsharp.nativeassets.webassembly@2.8.2.3
harfbuzzsharp.nativeassets.webassembly@7.3.0.2
harfbuzzsharp.nativeassets.win32@2.8.2.3
harfbuzzsharp.nativeassets.win32@7.3.0.2
harfbuzzsharp@2.8.2.3
harfbuzzsharp@7.3.0.2
livechartscore.skiasharpview.avalonia@2.0.0-rc3.3
livechartscore.skiasharpview@2.0.0-rc3.3
livechartscore@2.0.0-rc3.3
microcom.runtime@0.11.0
onigwrap@1.0.6
skiasharp.harfbuzz@2.88.8
skiasharp.nativeassets.linux@2.88.3
skiasharp.nativeassets.linux@2.88.8
skiasharp.nativeassets.macos@2.88.3
skiasharp.nativeassets.macos@2.88.8
skiasharp.nativeassets.webassembly@2.88.3
skiasharp.nativeassets.webassembly@2.88.8
skiasharp.nativeassets.win32@2.88.3
skiasharp.nativeassets.win32@2.88.8
skiasharp@2.88.3
skiasharp@2.88.8
system.io.pipelines@6.0.0
system.numerics.vectors@4.5.0
system.text.encodings.web@8.0.0
system.text.json@8.0.4
textmatesharp.grammars@1.0.63
textmatesharp@1.0.63
tmds.dbus.protocol@0.16.0
"
inherit check-reqs dotnet-pkg desktop xdg
DESCRIPTION="Open Source Git GUI client using .NET AvaloniaUI"
HOMEPAGE="https://github.com/sourcegit-scm/sourcegit/"
if [[ "${PV}" == *9999* ]] ; then
inherit git-r3
EGIT_REPO_URI="https://github.com/sourcegit-scm/${PN}.git"
else
SRC_URI="https://github.com/sourcegit-scm/${PN}/archive/v${PV}.tar.gz
-> ${P}.tar.gz"
KEYWORDS="~amd64"
fi
SRC_URI+=" ${NUGET_URIS} "
LICENSE="MIT"
SLOT="0"
RDEPEND="
app-arch/brotli
app-arch/bzip2
dev-libs/expat
dev-libs/glib:2
dev-libs/libpcre2
dev-vcs/git
media-gfx/graphite2
media-libs/fontconfig:1.0
media-libs/freetype:2
media-libs/harfbuzz
media-libs/libpng
"
CHECKREQS_DISK_BUILD="1G"
DOTNET_PKG_PROJECTS=( src/SourceGit.csproj )
pkg_setup() {
check-reqs_pkg_setup
dotnet-pkg_pkg_setup
}
src_unpack() {
dotnet-pkg_src_unpack
if [[ -n "${EGIT_REPO_URI}" ]] ; then
git-r3_src_unpack
fi
}
src_prepare() {
sed -i "./build/resources/_common/applications/${PN}.desktop" \
-e "s|/opt/sourcegit/sourcegit|sourcegit|g" \
-e "s|/usr/share/icons/sourcegit.png|sourcegit|g" \
|| die
dotnet-pkg_src_prepare
}
src_install() {
dotnet-pkg-base_install
dotnet-pkg-base_dolauncher "/usr/share/${P}/SourceGit" "${PN}"
doicon "./build/resources/_common/icons/${PN}.png"
domenu "./build/resources/_common/applications/${PN}.desktop"
einstalldocs
}
pkg_postinst() {
xdg_icon_cache_update
xdg_desktop_database_update
}
pkg_postrm() {
xdg_icon_cache_update
xdg_desktop_database_update
}
-2
View File
@@ -1,3 +1 @@
DIST cartridges-2.7.4.tar.gz 1099412 BLAKE2B 0f15bbe53d8a893dd22b54b0b9435e8a301536c3654b99a302622655dc1207dc657ec21f9c0b8bb7526465126e62d86f7b35ce5561ccf0c275282ce04b685a44 SHA512 3f0c8b7fb83454296d5d676a5a69a8e6c9ae0e833a092b43a45fe0ff39c9eeeb0593a8ae8cf6bf936f84fa2ed8141d8c35fc26a4a05d4eb9ab04e04c627ae4e9
DIST cartridges-2.8.5.tar.gz 1103584 BLAKE2B f09e6c9bd42c60731d26bb3550fd04af4856ec71779c32dfc46acb8064ba2cfaf606a1ff1ebcd782c920765afe4b2c24ad2a0f807f451e9f1188c15604acb106 SHA512 13b2223f31d8ddeaa925fcf16ee549ff07b53c5968c6def3562792986717ee3d86812affb317c3e3e17455ba433089da4fa091cd7660fd210aca55dd8a20e8ee
DIST cartridges-2.9.3.tar.gz 2290701 BLAKE2B 0e9700e7ab78b303e6f8a50654053233f72a4e684cbee529af252a027ade1dd7d9496c6d7539c177959fd55628b9b35d785daa1152f192edf2f477e11f08d0bf SHA512 9fa9c2492b05e03379e6ead44273f1a566ad3aa25365eb5137fef6d6bc50a3e8c4937ac732609a9e72bb6cbd6d139df075ac1ebf3bfd8e2a17883f69352dbd75
@@ -1,62 +0,0 @@
# Copyright 1999-2024 Gentoo Authors
# Distributed under the terms of the GNU General Public License v2
EAPI=8
PYTHON_COMPAT=( python3_{10..12} )
inherit gnome2-utils python-single-r1 meson xdg
DESCRIPTION="Simple game launcher written in Python using GTK4 and Libadwaita"
HOMEPAGE="https://github.com/kra-mo/cartridges/"
if [[ "${PV}" == *9999* ]] ; then
inherit git-r3
EGIT_REPO_URI="https://github.com/kra-mo/${PN}.git"
else
SRC_URI="https://github.com/kra-mo/${PN}/archive/v${PV}.tar.gz
-> ${P}.tar.gz"
KEYWORDS="amd64 ~x86"
fi
LICENSE="GPL-3+"
SLOT="0"
RESTRICT="test" # Just appstream file validation that uses network.
REQUIRED_USE="${PYTHON_REQUIRED_USE}"
RDEPEND="
${PYTHON_DEPS}
>=gui-libs/libadwaita-1.4.0:1[introspection]
gui-libs/gtk:4[introspection]
$(python_gen_cond_dep '
dev-python/pillow[${PYTHON_USEDEP}]
dev-python/pygobject:3[${PYTHON_USEDEP}]
dev-python/pyyaml[${PYTHON_USEDEP}]
dev-python/requests[${PYTHON_USEDEP}]
')
"
BDEPEND="
${RDEPEND}
dev-libs/appstream-glib
dev-util/blueprint-compiler
dev-util/desktop-file-utils
"
src_install() {
meson_src_install
python_fix_shebang "${ED}/usr/bin"
python_optimize "${ED}/usr"
}
pkg_postinst() {
gnome2_schemas_update
xdg_pkg_postinst
}
pkg_postrm() {
gnome2_schemas_update
xdg_pkg_postrm
}
@@ -1,62 +0,0 @@
# Copyright 1999-2024 Gentoo Authors
# Distributed under the terms of the GNU General Public License v2
EAPI=8
PYTHON_COMPAT=( python3_{10..12} )
inherit gnome2-utils python-single-r1 meson xdg
DESCRIPTION="Simple game launcher written in Python using GTK4 and Libadwaita"
HOMEPAGE="https://github.com/kra-mo/cartridges/"
if [[ "${PV}" == *9999* ]] ; then
inherit git-r3
EGIT_REPO_URI="https://github.com/kra-mo/${PN}.git"
else
SRC_URI="https://github.com/kra-mo/${PN}/archive/v${PV}.tar.gz
-> ${P}.tar.gz"
KEYWORDS="~amd64 ~x86"
fi
LICENSE="GPL-3+"
SLOT="0"
RESTRICT="test" # Just appstream file validation that uses network.
REQUIRED_USE="${PYTHON_REQUIRED_USE}"
RDEPEND="
${PYTHON_DEPS}
>=gui-libs/libadwaita-1.5.1:1[introspection]
gui-libs/gtk:4[introspection]
$(python_gen_cond_dep '
dev-python/pillow[${PYTHON_USEDEP}]
dev-python/pygobject:3[${PYTHON_USEDEP}]
dev-python/pyyaml[${PYTHON_USEDEP}]
dev-python/requests[${PYTHON_USEDEP}]
')
"
BDEPEND="
${RDEPEND}
dev-libs/appstream-glib
dev-util/blueprint-compiler
dev-util/desktop-file-utils
"
src_install() {
meson_src_install
python_fix_shebang "${ED}/usr/bin"
python_optimize "${ED}/usr"
}
pkg_postinst() {
gnome2_schemas_update
xdg_pkg_postinst
}
pkg_postrm() {
gnome2_schemas_update
xdg_pkg_postrm
}
+1
View File
@@ -1,2 +1,3 @@
DIST curtail-1.10.0.tar.gz 205428 BLAKE2B 7a9d1c56542648cd1c4c6fe1355276896bea96a8f054d03c2e4a174e392867db05c3a6548897d31f078b2416eac8b3695cafd3977236f0b66fd10f3020e35d3a SHA512 6bd76b4cefd693199e25db112e90acaa990d2a8dbc2016bd9d55e8d1857bd9c6e94f9164691855231afeff65ae3b070c646a8dc8b446591a08509683dd4a9fb7
DIST curtail-1.11.0.tar.gz 208900 BLAKE2B b1f9fdff8d974ba20345100b24b783c72f241e8612c28468eec424dbe8781affd88523953299a7f5d90575db7c6727e6fa7a4a1e7439dcb94c47806fb77412cf SHA512 eb5bf7400fa97d14d67a0eecaeee2c3cc6b3407b882a5ae42bb517df98429997fe4448a7852c55a39177f035764e4e544f13fb89d7a55e5b6a01a549acc71ecb
DIST curtail-1.11.1.tar.gz 208910 BLAKE2B 6a8ed78ba5e09242d0ae497541d41e310b18c6a26cdc5292503d15c003b1e265ee79e6ca057964aac0782041efcbf2beeb16912802aff534465ea0e96c0a750d SHA512 d59bcad4e774a9aa1d195f6b18964d05e41b47e81cd6fcdd86638488c0a63702c0c2ee97e20712eed4e81a0de562b7218df5519573707ace53191c14ac875b86
+71
View File
@@ -0,0 +1,71 @@
# Copyright 1999-2024 Gentoo Authors
# Distributed under the terms of the GNU General Public License v2
EAPI=8
PYTHON_COMPAT=( python3_{11..13} )
inherit gnome2-utils meson python-single-r1 xdg
DESCRIPTION="Image compressor, supporting PNG, JPEG and WebP"
HOMEPAGE="https://github.com/Huluti/Curtail/"
if [[ "${PV}" == *9999* ]] ; then
inherit git-r3
EGIT_REPO_URI="https://github.com/Huluti/${PN^}.git"
else
SRC_URI="https://github.com/Huluti/${PN^}/archive/${PV}.tar.gz
-> ${P}.tar.gz"
S="${WORKDIR}/${P^}"
KEYWORDS="~amd64 ~x86"
fi
LICENSE="GPL-3+"
SLOT="0"
REQUIRED_USE="${PYTHON_REQUIRED_USE}"
RESTRICT="test" # Just desktop / schema / appstream file validation (fails).
RDEPEND="
${PYTHON_DEPS}
gui-libs/gtk:4[introspection]
$(python_gen_cond_dep '
dev-python/pygobject:3[${PYTHON_USEDEP}]
')
"
BDEPEND="
${RDEPEND}
dev-libs/appstream-glib
dev-util/desktop-file-utils
"
RDEPEND+="
>=gui-libs/libadwaita-1.3.1
media-gfx/jpegoptim
media-gfx/oxipng
media-gfx/pngquant
media-libs/libwebp
"
DOCS=( CHANGELOG.md README.md )
src_prepare() {
sed -i "s|@PYTHON@|${PYTHON}|" "${S}/src/${PN}.in" || die
default
}
src_install() {
meson_src_install
python_optimize
}
pkg_postinst() {
xdg_pkg_postinst
gnome2_schemas_update
}
pkg_postrm() {
xdg_pkg_postrm
gnome2_schemas_update
}
+1 -1
View File
@@ -10,7 +10,7 @@ if [[ ${PV} == 9999 ]] ; then
inherit git-r3
else
SRC_URI="https://github.com/ngtcp2/nghttp3/releases/download/v${PV}/${P}.tar.xz"
KEYWORDS="amd64 arm arm64 ~hppa ~loong ~mips ~ppc ppc64 ~riscv ~sparc x86 ~arm64-macos ~x64-macos ~x64-solaris"
KEYWORDS="amd64 arm arm64 ~hppa ~loong ~mips ~ppc ppc64 ~riscv sparc x86 ~arm64-macos ~x64-macos ~x64-solaris"
fi
DESCRIPTION="HTTP/3 library written in C"
+1 -1
View File
@@ -10,7 +10,7 @@ if [[ ${PV} == 9999 ]] ; then
inherit git-r3
else
SRC_URI="https://github.com/ngtcp2/ngtcp2/releases/download/v${PV}/${P}.tar.xz"
KEYWORDS="amd64 arm arm64 ~hppa ~loong ~mips ~ppc ppc64 ~riscv ~sparc x86"
KEYWORDS="amd64 arm arm64 ~hppa ~loong ~mips ~ppc ppc64 ~riscv sparc x86"
fi
DESCRIPTION="Implementation of the IETF QUIC Protocol"
+1 -1
View File
@@ -21,7 +21,7 @@ else
https://curl.se/download/${P}.tar.xz
verify-sig? ( https://curl.se/download/${P}.tar.xz.asc )
"
KEYWORDS="~alpha amd64 ~arm arm64 ~hppa ~loong ~m68k ~mips ~ppc ppc64 ~riscv ~s390 ~sparc x86 ~amd64-linux ~x86-linux ~arm64-macos ~ppc-macos ~x64-macos ~x64-solaris"
KEYWORDS="~alpha amd64 ~arm arm64 ~hppa ~loong ~m68k ~mips ~ppc ppc64 ~riscv ~s390 sparc x86 ~amd64-linux ~x86-linux ~arm64-macos ~ppc-macos ~x64-macos ~x64-solaris"
fi
LICENSE="BSD curl ISC test? ( BSD-4 )"