summaryrefslogtreecommitdiff
path: root/dev-lang/polyml
AgeCommit message (Collapse)Author
2025-08-19dev-lang/polyml: fix deps and lto buildMaciej Barć
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
2025-08-09dev-lang/polyml: bump to 5.9.2Maciej Barć
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
2025-08-09dev-lang/polyml: drop old 5.9-r2Maciej Barć
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
2023-09-18dev-lang/polyml: bump to 5.9.1Maciej Barć
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
2023-09-07dev-lang/polyml: remove created .laMaciej Barć
Closes: https://bugs.gentoo.org/913752 Signed-off-by: Maciej Barć <xgqt@gentoo.org>
2023-01-22dev-lang/polyml: fix c++11 buildAlfredo Tupone
Closes: https://bugs.gentoo.org/884065 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
2022-08-29dev-lang/polyml: drop 5.8, 5.8.2, EAPI-6--Andreas Sturmlechner
Signed-off-by: Andreas Sturmlechner <asturm@gentoo.org>
2022-07-02dev-lang/polyml: clean la filesAlfredo Tupone
Closes: https://bugs.gentoo.org/842864 Package-Manager: Portage-3.0.30, Repoman-3.0.3 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
2022-01-04dev-lang/polyml: remove implicit elibc_* flagsDavid Seifert
Signed-off-by: David Seifert <soap@gentoo.org>
2021-12-03dev-lang/polyml: dev-libs/gmp slot; no need for --disable-staticMaciej Barć
Package-Manager: Portage-3.0.28, Repoman-3.0.3 Signed-off-by: Maciej Barć <xgqt@gentoo.org>
2021-12-03dev-lang/polyml: bump to 5.9Maciej Barć
Package-Manager: Portage-3.0.28, Repoman-3.0.3 Signed-off-by: Maciej Barć <xgqt@gentoo.org>
2021-12-03dev-lang/polyml: add to the Gentoo ML ProjectMaciej Barć
Package-Manager: Portage-3.0.28, Repoman-3.0.3 Signed-off-by: Maciej Barć <xgqt@gentoo.org>
2021-09-11**/metadata.xml: Replace http by https in DOCTYPE elementUlrich Müller
Bug: https://bugs.gentoo.org/552720 Signed-off-by: Ulrich Müller <ulm@gentoo.org>
2021-09-10dev-lang/polyml: Version bump; fix glibc-2.34 buildAndreas K. Hüttel
Closes: https://bugs.gentoo.org/806350 Package-Manager: Portage-3.0.20, Repoman-3.0.3 Signed-off-by: Andreas K. Huettel <dilfridge@gentoo.org>
2021-08-05dev-lang/polyml: add github upstream metadataSam James
Signed-off-by: Sam James <sam@gentoo.org>
2021-03-16dev-lang/polyml: drop 5.6Sam James
Signed-off-by: Sam James <sam@gentoo.org>
2020-11-16dev-lang/polyml: use dev-libs/libffi instead of virtual/libffiSergei Trofimovich
Package-Manager: Portage-3.0.9, Repoman-3.0.2 Signed-off-by: Sergei Trofimovich <slyfox@gentoo.org>
2020-09-27dev-lang/polyml: remove unused patchesMichael Mair-Keimberger
Closes: https://github.com/gentoo/gentoo/pull/17682 Package-Manager: Portage-3.0.8, Repoman-3.0.1 Signed-off-by: Michael Mair-Keimberger <m.mairkeimberger@gmail.com> Signed-off-by: Conrad Kostecki <conikost@gentoo.org>
2020-09-24dev-lang/polyml: drop old EAPI=5Aaron Bauman
Signed-off-by: Aaron Bauman <bman@gentoo.org>
2020-09-14*/*: [QA] Remove redundant <longdescription/>sMichał Górny
Signed-off-by: Michał Górny <mgorny@gentoo.org> Closes: https://github.com/gentoo/gentoo/pull/17540 Signed-off-by: Michał Górny <mgorny@gentoo.org>
2019-12-13*/*: Remove ml@ from packages maintainersMichał Górny
Bug: https://bugs.gentoo.org/695782 Signed-off-by: Michał Górny <mgorny@gentoo.org>
2019-12-11*/*: [QA] Remove redundant `|| die` guardsDavid Seifert
* Since all ebuilds in the tree are EAPI>=4, `|| die` on builtin commands is redundant and dead code. Closes: https://github.com/gentoo/gentoo/pull/13940 Reviewed-by: Ulrich Müller <ulm@gentoo.org> Reviewed-by: Michał Górny <mgorny@gentoo.org> Reviewed-by: Andreas K. Hüttel <dilfridge@gentoo.org> Signed-off-by: David Seifert <soap@gentoo.org>
2019-12-11*/*: [QA] Fix trivial cases of MissingTestRestrictMichał Górny
The result was achieved via the following pipeline: pkgcheck scan -c RestrictTestCheck -R FormatReporter \ --format '{category}/{package}/{package}-{version}.ebuild' | xargs -n32 grep -L RESTRICT | xargs -n32 sed -i -e '/^IUSE=.*test/aRESTRICT="!test? ( test )"' The resulting metadata was compared before and after the change. Few Go ebuilds had to be fixed manually due to implicit RESTRICT=strip added by the eclass. Two ebuilds have to be fixed because of multiline IUSE. Suggested-by: Robin H. Johnson <robbat2@gentoo.org> Closes: https://github.com/gentoo/gentoo/pull/13942 Signed-off-by: Michał Górny <mgorny@gentoo.org>
2019-10-21dev-lang/polyml: removing me from maintainerTupone Alfredo
Package-Manager: Portage-2.3.69, Repoman-2.3.16 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
2019-04-06dev-lang/polyml: bump to 5.8Tupone Alfredo
Closes https://bugs.gentoo.org/619990 Signed-off-by: Alfredo Tupone <tupone@gentoo.org> Package-Manager: Portage-2.3.62, Repoman-2.3.11
2019-04-05dev-lang/polyml: Fix build with libffi3Tupone Alfredo
Closes: https://bugs.gentoo.org/667476 Signed-off-by: Alfredo Tupone <tupone@gentoo.org> Package-Manager: Portage-2.3.62, Repoman-2.3.11
2019-04-05dev-lang/polyml: Adding me as a maintainerTupone Alfredo
Signed-off-by: Alfredo Tupone <tupone@gentoo.org> Package-Manager: Portage-2.3.62, Repoman-2.3.11
2019-04-05dev-lang/polyml: Fix build, sem_wait found on libpthreadTupone Alfredo
Closes: https://bugs.gentoo.org/606096 Signed-off-by: Alfredo Tupone <tupone@gentoo.org> Package-Manager: Portage-2.3.62, Repoman-2.3.11
2018-06-07dev-lang/polyml: use HTTPsMichael Mair-Keimberger
Closes: https://github.com/gentoo/gentoo/pull/8724
2017-12-09dev-lang/*: Update Manifest hashesMichał Górny
2017-11-26dev-lang/polyml: [QA] Consistent whitespace in metadata.xmlDavid Seifert
2017-02-28Drop $Id$ per council decision in bug #611234.Robin H. Johnson
Signed-off-by: Robin H. Johnson <robbat2@gentoo.org>
2016-12-28dev-lang/polyml: Bump to 5.6Mark Wright
Gentoo-bug: 583586 Package-Manager: portage-2.3.3
2016-10-10dev-lang/polyml: remove unused patch.Michael Mair-Keimberger (asterix)
Closes: https://github.com/gentoo/gentoo/pull/2164 Acked-By: Alexis Baller <aballier@gentoo.org> Signed-off-by: Patrice Clement <monsieurp@gentoo.org>
2016-07-27sourceforge: switch to https:// URIsMike Frysinger
2016-01-24Set appropriate maintainer types in metadata.xml (GLEP 67)Michał Górny
2016-01-24Replace all herds with appropriate projects (GLEP 67)Michał Górny
Replace all uses of herd with appropriate project maintainers, or no maintainers in case of herds requested to be disbanded.
2015-08-24Revert DOCTYPE SYSTEM https changes in metadata.xmlMike Gilbert
repoman does not yet accept the https version. This partially reverts eaaface92ee81f30a6ac66fe7acbcc42c00dc450. Bug: https://bugs.gentoo.org/552720
2015-08-24Use https by defaultJustin Lecher
Convert all URLs for sites supporting encrypted connections from http to https Signed-off-by: Justin Lecher <jlec@gentoo.org>
2015-08-08proj/gentoo: Initial commitRobin H. Johnson
This commit represents a new era for Gentoo: Storing the gentoo-x86 tree in Git, as converted from CVS. This commit is the start of the NEW history. Any historical data is intended to be grafted onto this point. Creation process: 1. Take final CVS checkout snapshot 2. Remove ALL ChangeLog* files 3. Transform all Manifests to thin 4. Remove empty Manifests 5. Convert all stale $Header$/$Id$ CVS keywords to non-expanded Git $Id$ 5.1. Do not touch files with -kb/-ko keyword flags. Signed-off-by: Robin H. Johnson <robbat2@gentoo.org> X-Thanks: Alec Warner <antarus@gentoo.org> - did the GSoC 2006 migration tests X-Thanks: Robin H. Johnson <robbat2@gentoo.org> - infra guy, herding this project X-Thanks: Nguyen Thai Ngoc Duy <pclouds@gentoo.org> - Former Gentoo developer, wrote Git features for the migration X-Thanks: Brian Harring <ferringb@gentoo.org> - wrote much python to improve cvs2svn X-Thanks: Rich Freeman <rich0@gentoo.org> - validation scripts X-Thanks: Patrick Lauer <patrick@gentoo.org> - Gentoo dev, running new 2014 work in migration X-Thanks: Michał Górny <mgorny@gentoo.org> - scripts, QA, nagging X-Thanks: All of other Gentoo developers - many ideas and lots of paint on the bikeshed
generated by cgit v1.2.3 (git 2.25.1) at 2025-12-09 02:24:14 +0000