diff options
20 files changed, 213 insertions, 26 deletions
diff --git a/app-i18n/ibus/ibus-1.5.25-r1.ebuild b/app-i18n/ibus/ibus-1.5.25-r1.ebuild index b9e3bf3b7b25..02038269568f 100644 --- a/app-i18n/ibus/ibus-1.5.25-r1.ebuild +++ b/app-i18n/ibus/ibus-1.5.25-r1.ebuild @@ -21,7 +21,7 @@ SRC_URI="https://github.com/${PN}/${PN}/releases/download/${PV}/${P}.tar.gz LICENSE="LGPL-2.1" SLOT="0" -KEYWORDS="~alpha amd64 ~arm arm64 ~ia64 ppc ppc64 ~riscv ~sparc x86" +KEYWORDS="~alpha amd64 ~arm arm64 ~ia64 ppc ppc64 ~riscv sparc x86" IUSE="+X +emoji +gtk +gtk2 +introspection kde nls +python test +unicode vala wayland" RESTRICT="!test? ( test )" REQUIRED_USE="emoji? ( gtk ) diff --git a/dev-java/picocli/picocli-4.6.2.ebuild b/dev-java/picocli/picocli-4.6.2.ebuild index c6b990c0d148..779e7aef18b7 100644 --- a/dev-java/picocli/picocli-4.6.2.ebuild +++ b/dev-java/picocli/picocli-4.6.2.ebuild @@ -17,7 +17,7 @@ HOMEPAGE="http://picocli.info" SRC_URI="https://github.com/remkop/${PN}/archive/refs/tags/v${PV}.tar.gz -> ${P}-sources.tar.gz" LICENSE="Apache-2.0" SLOT="0" -KEYWORDS="amd64 ~arm64 ~ppc64 x86" +KEYWORDS="amd64 ~arm64 ppc64 x86" # package org.junit.contrib.java.lang.system does not exist # the project is here: https://github.com/stefanbirkner/system-rules diff --git a/dev-lang/go/go-1.17.5.ebuild b/dev-lang/go/go-1.17.5.ebuild index da8277d75a74..13c2c95e867d 100644 --- a/dev-lang/go/go-1.17.5.ebuild +++ b/dev-lang/go/go-1.17.5.ebuild @@ -21,7 +21,7 @@ case ${PV} in case ${PV} in *_beta*|*_rc*) ;; *) - KEYWORDS="-* amd64 ~arm ~arm64 ~ppc64 ~riscv ~s390 x86 ~amd64-linux ~x86-linux ~x64-macos ~x64-solaris" + KEYWORDS="-* amd64 arm arm64 ~ppc64 ~riscv ~s390 x86 ~amd64-linux ~x86-linux ~x64-macos ~x64-solaris" ;; esac esac diff --git a/dev-lang/python/python-3.10.0_p1.ebuild b/dev-lang/python/python-3.10.0_p1.ebuild index 8017eada1e48..f897d6624b6d 100644 --- a/dev-lang/python/python-3.10.0_p1.ebuild +++ b/dev-lang/python/python-3.10.0_p1.ebuild @@ -23,7 +23,7 @@ S="${WORKDIR}/${MY_P}" LICENSE="PSF-2" SLOT="${PYVER}" -KEYWORDS="~alpha amd64 arm arm64 ~hppa ~ia64 ~mips ppc ppc64 ~riscv ~s390 sparc x86" +KEYWORDS="~alpha amd64 arm arm64 hppa ~ia64 ~mips ppc ppc64 ~riscv ~s390 sparc x86" IUSE="bluetooth build examples gdbm hardened lto +ncurses pgo +readline +sqlite +ssl test tk wininst +xml" RESTRICT="!test? ( test )" diff --git a/dev-ml/biniou/metadata.xml b/dev-ml/biniou/metadata.xml index 6d36cfe8f79e..981218bd78b5 100644 --- a/dev-ml/biniou/metadata.xml +++ b/dev-ml/biniou/metadata.xml @@ -1,15 +1,17 @@ <?xml version="1.0" encoding="UTF-8"?> <!DOCTYPE pkgmetadata SYSTEM "https://www.gentoo.org/dtd/metadata.dtd"> + <pkgmetadata> - <maintainer type="person" proxied="yes"> - <name>François-Xavier Carton</name> - <email>fx.carton91@gmail.com</email> - </maintainer> - <maintainer type="project" proxied="proxy"> - <email>proxy-maint@gentoo.org</email> - <name>Proxy Maintainers</name> - </maintainer> - <upstream> - <remote-id type="github">mjambon/biniou</remote-id> - </upstream> + <maintainer type="person" proxied="yes"> + <name>François-Xavier Carton</name> + <email>fx.carton91@gmail.com</email> + </maintainer> + <maintainer type="project"> + <email>ml@gentoo.org</email> + <name>ML</name> + </maintainer> + <upstream> + <bugs-to>https://github.com/mjambon/biniou/issues/</bugs-to> + <remote-id type="github">mjambon/biniou</remote-id> + </upstream> </pkgmetadata> diff --git a/dev-ml/yojson/metadata.xml b/dev-ml/yojson/metadata.xml index 0bff28c27b11..b835609e4c54 100644 --- a/dev-ml/yojson/metadata.xml +++ b/dev-ml/yojson/metadata.xml @@ -1,15 +1,17 @@ <?xml version="1.0" encoding="UTF-8"?> <!DOCTYPE pkgmetadata SYSTEM "https://www.gentoo.org/dtd/metadata.dtd"> + <pkgmetadata> <maintainer type="person" proxied="yes"> <name>François-Xavier Carton</name> <email>fx.carton91@gmail.com</email> </maintainer> - <maintainer type="project" proxied="proxy"> - <email>proxy-maint@gentoo.org</email> - <name>Proxy Maintainers</name> + <maintainer type="project"> + <email>ml@gentoo.org</email> + <name>ML</name> </maintainer> <upstream> + <bugs-to>https://github.com/mjambon/yojson/issues/</bugs-to> <remote-id type="github">mjambon/yojson</remote-id> </upstream> </pkgmetadata> diff --git a/dev-python/pydata-sphinx-theme/pydata-sphinx-theme-0.7.2.ebuild b/dev-python/pydata-sphinx-theme/pydata-sphinx-theme-0.7.2.ebuild index 66be2db1eeeb..56274160c464 100644 --- a/dev-python/pydata-sphinx-theme/pydata-sphinx-theme-0.7.2.ebuild +++ b/dev-python/pydata-sphinx-theme/pydata-sphinx-theme-0.7.2.ebuild @@ -12,7 +12,7 @@ SRC_URI="https://github.com/pydata/pydata-sphinx-theme/archive/v${PV}.tar.gz -> LICENSE="BSD-with-disclosure" SLOT="0" -KEYWORDS="~amd64 ~x86" +KEYWORDS="amd64 x86" BDEPEND=" test? ( diff --git a/dev-ruby/mini_portile2/mini_portile2-2.6.1.ebuild b/dev-ruby/mini_portile2/mini_portile2-2.6.1.ebuild index 0b84a12abdd1..f41563b7ac6e 100644 --- a/dev-ruby/mini_portile2/mini_portile2-2.6.1.ebuild +++ b/dev-ruby/mini_portile2/mini_portile2-2.6.1.ebuild @@ -12,7 +12,7 @@ HOMEPAGE="https://github.com/flavorjones/mini_portile" LICENSE="MIT" SLOT="$(ver_cut 1-2)" -KEYWORDS="~amd64 ~arm ~arm64 ~hppa ppc ~ppc64 ~riscv ~s390 ~sparc ~x86" +KEYWORDS="~amd64 arm arm64 ~hppa ppc ~ppc64 ~riscv ~s390 ~sparc ~x86" IUSE="" ruby_add_bdepend "test? ( diff --git a/dev-ruby/minitar/minitar-0.9.ebuild b/dev-ruby/minitar/minitar-0.9.ebuild index ebc0dc52fc56..7886d182c559 100644 --- a/dev-ruby/minitar/minitar-0.9.ebuild +++ b/dev-ruby/minitar/minitar-0.9.ebuild @@ -20,7 +20,7 @@ RUBY_S="minitar-${PV}" LICENSE="|| ( BSD-2 Ruby )" SLOT="0" -KEYWORDS="~amd64 ~arm ~arm64 ~hppa ppc ~ppc64 ~riscv ~s390 ~sparc ~x86 ~amd64-linux ~x86-linux ~ppc-macos ~x64-macos ~x64-solaris ~x86-solaris" +KEYWORDS="~amd64 arm arm64 ~hppa ppc ~ppc64 ~riscv ~s390 ~sparc ~x86 ~amd64-linux ~x86-linux ~ppc-macos ~x64-macos ~x64-solaris ~x86-solaris" IUSE="" ruby_add_bdepend "test? ( >=dev-ruby/minitest-5.3:5 )" diff --git a/dev-ruby/minitest-hooks/minitest-hooks-1.5.0.ebuild b/dev-ruby/minitest-hooks/minitest-hooks-1.5.0.ebuild index 427212ca7557..dec49d586c7a 100644 --- a/dev-ruby/minitest-hooks/minitest-hooks-1.5.0.ebuild +++ b/dev-ruby/minitest-hooks/minitest-hooks-1.5.0.ebuild @@ -15,5 +15,5 @@ HOMEPAGE="https://github.com/jeremyevans/minitest-hooks" LICENSE="MIT" SLOT="1" -KEYWORDS="~alpha amd64 ~arm ~arm64 ~hppa ppc ~ppc64 ~riscv sparc ~x86" +KEYWORDS="~alpha amd64 arm arm64 ~hppa ppc ~ppc64 ~riscv sparc ~x86" IUSE="" diff --git a/dev-ruby/nokogiri/nokogiri-1.12.5.ebuild b/dev-ruby/nokogiri/nokogiri-1.12.5.ebuild index 2454ba30f076..9154b3bcaee4 100644 --- a/dev-ruby/nokogiri/nokogiri-1.12.5.ebuild +++ b/dev-ruby/nokogiri/nokogiri-1.12.5.ebuild @@ -18,7 +18,7 @@ HOMEPAGE="https://www.nokogiri.org/" LICENSE="MIT" SRC_URI="https://github.com/sparklemotion/nokogiri/archive/v${PV}.tar.gz -> ${P}-git.tgz" -KEYWORDS="~amd64 ~arm ~arm64 ~hppa ppc ~ppc64 ~riscv ~s390 ~sparc ~x86" +KEYWORDS="~amd64 arm arm64 ~hppa ppc ~ppc64 ~riscv ~s390 ~sparc ~x86" SLOT="0" IUSE="" diff --git a/media-libs/imlib2/imlib2-1.7.1-r2.ebuild b/media-libs/imlib2/imlib2-1.7.1-r2.ebuild index e2d8cb88ad83..3845de03d7ca 100644 --- a/media-libs/imlib2/imlib2-1.7.1-r2.ebuild +++ b/media-libs/imlib2/imlib2-1.7.1-r2.ebuild @@ -12,7 +12,7 @@ SRC_URI="https://downloads.sourceforge.net/enlightenment/${P}.tar.bz2" LICENSE="BSD" SLOT="0" -KEYWORDS="~alpha amd64 ~arm ~arm64 ~hppa ~ia64 ~m68k ~mips ~ppc ~ppc64 ~riscv ~s390 ~sparc x86 ~amd64-linux ~x86-linux ~ppc-macos ~x64-macos ~sparc-solaris ~sparc64-solaris ~x64-solaris ~x86-solaris" +KEYWORDS="~alpha amd64 arm arm64 ~hppa ~ia64 ~m68k ~mips ppc ppc64 ~riscv ~s390 sparc x86 ~amd64-linux ~x86-linux ~ppc-macos ~x64-macos ~sparc-solaris ~sparc64-solaris ~x64-solaris ~x86-solaris" IUSE="+X bzip2 cpu_flags_x86_mmx cpu_flags_x86_sse2 doc +gif +jpeg mp3 +png +shm static-libs +tiff +webp zlib" diff --git a/sci-mathematics/easycrypt/Manifest b/sci-mathematics/easycrypt/Manifest new file mode 100644 index 000000000000..bc308e15de2f --- /dev/null +++ b/sci-mathematics/easycrypt/Manifest @@ -0,0 +1 @@ +DIST easycrypt-1.0_pre20211210.tar.gz 1185137 BLAKE2B 3557a8b0423109a3b3e6e02f6d1ad88f07847d105015546c90b5a46cf514f1311390d3a6f6476c042420b91a62ad095919f7ab616adee2778165d9d081070730 SHA512 0043eac02e916dc46ed1cb4f278f148f915d09f336e904b1a711c18d62cda177e434fc13682ec095a085e458ba90ca8dd02968206af60f0b80a378f16b205553 diff --git a/sci-mathematics/easycrypt/easycrypt-1.0_pre20211210.ebuild b/sci-mathematics/easycrypt/easycrypt-1.0_pre20211210.ebuild new file mode 100644 index 000000000000..3752d3493756 --- /dev/null +++ b/sci-mathematics/easycrypt/easycrypt-1.0_pre20211210.ebuild @@ -0,0 +1,38 @@ +# Copyright 1999-2021 Gentoo Authors +# Distributed under the terms of the GNU General Public License v2 + +EAPI=7 + +COMMIT="49aec58ea63a64adcf5fbabcc14c6739f337b206" + +inherit dune + +DESCRIPTION="Computer-Aided Cryptographic Proofs" +HOMEPAGE="https://github.com/EasyCrypt/easycrypt" + +if [[ "${PV}" == *9999* ]]; then + inherit git-r3 + EGIT_REPO_URI="https://github.com/EasyCrypt/${PN}.git" +else + SRC_URI="https://github.com/EasyCrypt/${PN}/archive/${COMMIT}.tar.gz -> ${P}.tar.gz" + S="${WORKDIR}/${PN}-${COMMIT}" +fi + +LICENSE="CeCILL-B CeCILL-C" +SLOT="0/${PV}" +KEYWORDS="~amd64" +IUSE="+ocamlopt" + +RDEPEND=" + >=dev-lang/ocaml-4.08.0:=[ocamlopt] + >=sci-mathematics/why3-1.4:= + dev-ml/batteries:= + dev-ml/camlzip:= + dev-ml/dune-build-info:= + dev-ml/dune-site:= + dev-ml/ocaml-inifiles:= + dev-ml/pcre-ocaml:= + dev-ml/yojson:= + dev-ml/zarith:= +" +DEPEND="${RDEPEND}" diff --git a/sci-mathematics/easycrypt/metadata.xml b/sci-mathematics/easycrypt/metadata.xml new file mode 100644 index 000000000000..08fb88e8b7d7 --- /dev/null +++ b/sci-mathematics/easycrypt/metadata.xml @@ -0,0 +1,18 @@ +<?xml version="1.0" encoding="UTF-8"?> +<!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd"> + +<pkgmetadata> + <maintainer type="project"> + <email>ml@gentoo.org</email> + <name>ML</name> + </maintainer> + <longdescription> + EasyCrypt is a toolset for reasoning about relational properties of + probabilistic computations with adversarial code. Its main application is + the construction and verification of game-based cryptographic proofs. + </longdescription> + <upstream> + <bugs-to>https://github.com/EasyCrypt/easycrypt/issues/</bugs-to> + <remote-id type="github">EasyCrypt/easycrypt</remote-id> + </upstream> +</pkgmetadata> diff --git a/sci-mathematics/genius/genius-1.0.27.ebuild b/sci-mathematics/genius/genius-1.0.27.ebuild index ee1d280f3f71..008be2dfce7f 100644 --- a/sci-mathematics/genius/genius-1.0.27.ebuild +++ b/sci-mathematics/genius/genius-1.0.27.ebuild @@ -14,7 +14,7 @@ SRC_URI="${SRC_URI} LICENSE="GPL-3+" SLOT="0" -KEYWORDS="~amd64 ~arm64 ~x86" +KEYWORDS="amd64 ~arm64 ~x86" IUSE="doc +gui" RDEPEND=" diff --git a/sci-mathematics/why3/Manifest b/sci-mathematics/why3/Manifest new file mode 100644 index 000000000000..a5e04572eda6 --- /dev/null +++ b/sci-mathematics/why3/Manifest @@ -0,0 +1 @@ +DIST why3-1.4.0.tar.gz 6306524 BLAKE2B ade7803a608d090ea06d974ae47e920993de92a5849d60bd63dba68252919a8f4fd1f0f6a3c975fdb727c4ae3afe13921b5d31a14c005e0d08f518e64bcf05e5 SHA512 b492f08a3c7073782b143a4849c47766b12045ad53c56aa8d251fd5b6bc1863ddebe260c99b3ddb27c4e1e1e9ab986c8b02286ec24f4c30f99f81f5f13fdc90a diff --git a/sci-mathematics/why3/metadata.xml b/sci-mathematics/why3/metadata.xml new file mode 100644 index 000000000000..6c2999e4f4d7 --- /dev/null +++ b/sci-mathematics/why3/metadata.xml @@ -0,0 +1,33 @@ +<?xml version="1.0" encoding="UTF-8"?> +<!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd"> + +<pkgmetadata> + <maintainer type="person" proxied="yes"> + <name>François-Xavier Carton</name> + <email>fx.carton91@gmail.com</email> + </maintainer> + <maintainer type="project"> + <email>ml@gentoo.org</email> + <name>ML</name> + </maintainer> + <longdescription> + Why3 is a platform for deductive program verification. It provides + a rich language for specification and programming, called WhyML, + and relies on external theorem provers, both automated and interactive, + to discharge verification conditions. Why3 comes with a standard + library of logical theories (integer and real arithmetic, Boolean + operations, sets and maps, etc.) and basic programming data structures + (arrays, queues, hash tables, etc.). A user can write WhyML programs + directly and get correct-by-construction OCaml programs through an + automated extraction mechanism. WhyML is also used as an intermediate + language for the verification of C, Java, or Ada programs. + </longdescription> + <use> + <flag name="coq">Add <pkg>sci-mathematics/coq</pkg> support</flag> + <flag name="gtk">Build the IDE <pkg>x11-libs/gtk+</pkg></flag> + <flag name="re">Use Re (<pkg>dev-ml/re</pkg>) instead of Str for regular expressions</flag> + <flag name="sexp">Add support for outputting S-expressions with <pkg>dev-ml/ppx_sexp_conv</pkg></flag> + <flag name="zarith">Use Zarith (<pkg>dev-ml/zarith</pkg>) instead of Nums (<pkg>dev-ml/num</pkg>) for computations</flag> + <flag name="zip">Enable compression of session files</flag> + </use> +</pkgmetadata> diff --git a/sci-mathematics/why3/why3-1.4.0.ebuild b/sci-mathematics/why3/why3-1.4.0.ebuild new file mode 100644 index 000000000000..42012b020215 --- /dev/null +++ b/sci-mathematics/why3/why3-1.4.0.ebuild @@ -0,0 +1,92 @@ +# Copyright 1999-2021 Gentoo Authors +# Distributed under the terms of the GNU General Public License v2 + +EAPI=7 + +inherit autotools findlib + +DESCRIPTION="Platform for deductive program verification" +HOMEPAGE="http://why3.lri.fr/" +SRC_URI="https://why3.gitlabpages.inria.fr/releases/${P}.tar.gz" + +LICENSE="LGPL-2" +SLOT="0/${PV}" +KEYWORDS="~amd64" +IUSE="coq doc emacs gtk +ocamlopt re sexp +zarith zip" + +RDEPEND=" + !sci-mathematics/why3-for-spark + >=dev-lang/ocaml-4.05.0[ocamlopt?] + >=dev-ml/menhir-20151112 + dev-ml/num + coq? ( >=sci-mathematics/coq-8.6 ) + doc? ( + dev-python/sphinx + dev-python/sphinxcontrib-bibtex + || ( dev-texlive/texlive-latex dev-tex/latexmk dev-tex/rubber ) + ) + emacs? ( app-editors/emacs:* ) + gtk? ( dev-ml/lablgtk:*[sourceview,ocamlopt?] ) + re? ( dev-ml/re dev-ml/seq ) + sexp? ( + dev-ml/ppx_deriving[ocamlopt?] + dev-ml/ppx_sexp_conv[ocamlopt?] + dev-ml/sexplib[ocamlopt?] + ) + zarith? ( dev-ml/zarith ) + zip? ( dev-ml/camlzip ) +" +DEPEND="${RDEPEND}" + +DOCS=( CHANGES.md README.md ) + +src_prepare() { + mv configure.in configure.ac || die + sed -i 's/configure\.in/configure.ac/g' Makefile.in || die + sed -e '/^lib\/why3[a-z]*\$(EXE):/{n;s/-Wall/$(CFLAGS) $(LDFLAGS)/}' \ + -e '/^%.o: %.c/{n;s/\$(CC).*-o/$(CC) $(CFLAGS) -o/}' \ + -i Makefile.in || die + + eautoreconf + default +} + +src_configure() { + local myconf=( + --disable-hypothesis-selection + --disable-pvs-libs + --disable-isabelle-libs + --disable-frama-c + --disable-infer + --disable-web-ide + $(use_enable coq coq-libs) + $(use_enable doc) + $(use_enable emacs emacs-compilation) + $(use_enable gtk ide) + $(use_enable ocamlopt native-code) + $(use_enable re) + $(use_enable sexp pp-sexp) + $(use_enable zarith) + $(use_enable zip) + ) + econf "${myconf[@]}" +} + +src_compile() { + emake + emake plugins + use doc && emake doc +} + +src_install(){ + findlib_src_preinst + emake install install-lib DESTDIR="${ED}" + + einstalldocs + docompress -x /usr/share/doc/${PF}/examples + dodoc -r examples + if use doc; then + dodoc doc/latex/manual.pdf + dodoc -r doc/html + fi +} diff --git a/sys-fs/genext2fs/genext2fs-1.5.0.ebuild b/sys-fs/genext2fs/genext2fs-1.5.0.ebuild index 717b14ca4ce7..7ad79b971bc6 100644 --- a/sys-fs/genext2fs/genext2fs-1.5.0.ebuild +++ b/sys-fs/genext2fs/genext2fs-1.5.0.ebuild @@ -11,7 +11,7 @@ SRC_URI="https://github.com/bestouff/genext2fs/archive/refs/tags/v${PV}.tar.gz - LICENSE="GPL-2" SLOT="0" -KEYWORDS="~alpha amd64 ~arm ~hppa ~mips ~ppc ~sparc x86" +KEYWORDS="~alpha amd64 arm ~hppa ~mips ppc ~sparc x86" src_prepare() { default |