summaryrefslogtreecommitdiff
Commit message (Collapse)AuthorAgeFilesLines
* dev-lang/smlnj: fix makeAlfredo Tupone2024-06-041-3/+14
| | | | | Closes: https://bugs.gentoo.org/911785 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-lang/smlnj: fix makefileAlfredo Tupone2024-06-041-0/+12
| | | | | Closes: https://bugs.gentoo.org/911877 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-lang/smlnj: fix makefileAlfredo Tupone2024-06-042-1/+16
| | | | | Closes: https://bugs.gentoo.org/928112 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-lang/smlnj: remove unused patch(es)Michael Mair-Keimberger2024-05-301-10/+0
| | | | | Signed-off-by: Michael Mair-Keimberger <mmk@levelnine.at> Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
* dev-lang/smlnj: bump to 110.99.5Maciej Barć2024-05-262-0/+179
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* dev-lang/smlnj: drop old 110.99.3Maciej Barć2024-05-262-179/+0
| | | | | | Closes: https://bugs.gentoo.org/882389 Closes: https://bugs.gentoo.org/878625 Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* dev-lang/smlnj: bump to 110.99.4Maciej Barć2023-08-052-0/+177
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* dev-lang/smlnj: better makefile fixAlfredo Tupone2023-01-261-5/+3
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-lang/smlnj: fix makefileAlfredo Tupone2023-01-232-1/+15
| | | | | Closes: https://bugs.gentoo.org/882679 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-lang/smlnj: drop 110.82, 110.99.2, EAPI-6--Andreas Sturmlechner2022-08-297-756/+0
| | | | Signed-off-by: Andreas Sturmlechner <asturm@gentoo.org>
* dev-lang/smlnj: bump to 110.99.3Maciej Barć2022-07-292-0/+177
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* dev-lang/smlnj: patch smlnj_get_libdir functionMaciej Barć2022-06-281-1/+1
| | | | | Closes: https://bugs.gentoo.org/650182 Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* dev-lang/smlnj: fix asdl autoconf scriptMaciej Barć2022-03-191-0/+4
| | | | | Closes: https://bugs.gentoo.org/835555 Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* dev-lang/smlnj: fix base/runtime/objs/makefileMaciej Barć2022-03-181-1/+6
| | | | | Closes: https://bugs.gentoo.org/835552 Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* dev-lang/smlnj: call correct ARMaciej Barć2022-03-181-0/+1
| | | | | Closes: https://bugs.gentoo.org/827972 Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* dev-lang/smlnj: replace sed delimeterMaciej Barć2022-01-042-13/+13
| | | | | | Closes: https://bugs.gentoo.org/717016 Package-Manager: Portage-3.0.28, Repoman-3.0.3 Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* dev-lang/smlnj: move unpack script to src_unpack; fix nmMaciej Barć2021-12-021-2/+4
| | | | | | Closes: https://bugs.gentoo.org/729884 Package-Manager: Portage-3.0.28, Repoman-3.0.3 Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* dev-lang/smlnj: add longdescriptionMaciej Barć2021-12-021-0/+5
| | | | | Package-Manager: Portage-3.0.28, Repoman-3.0.3 Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* dev-lang/smlnj: add smlnj back to the Gentoo ML ProjectMaciej Barć2021-12-011-5/+9
| | | | | Package-Manager: Portage-3.0.28, Repoman-3.0.3 Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* dev-lang/smlnj: bump to 110.99.2Maciej Barć2021-12-012-0/+165
| | | | | | | | | | EAPI 8, drop pax, add "asdl.tgz" to FILES, SMLNJ now supports amd64 (enable it with "-default 64"), use "get_libdir" since above, doman, add "die" here and there, minor style fixes Package-Manager: Portage-3.0.28, Repoman-3.0.3 Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* **/metadata.xml: Replace http by https in DOCTYPE elementUlrich Müller2021-09-111-1/+1
| | | | | Bug: https://bugs.gentoo.org/552720 Signed-off-by: Ulrich Müller <ulm@gentoo.org>
* */*: s/pax_kernel/pax-kernel/gMarek Szuba2021-07-012-4/+4
| | | | Signed-off-by: Marek Szuba <marecki@gentoo.org>
* dev-lang/smlnj: eutils->epatchSam James2021-04-181-2/+2
| | | | | Package-Manager: Portage-3.0.14-prefix, Repoman-3.0.2 Signed-off-by: Sam James <sam@gentoo.org>
* */*: Bump copyright on files touched this yearMichał Górny2020-02-111-1/+1
| | | | | | | Update the copyright notice on all files that were touched since January 1st but did not have the notice updated. Signed-off-by: Michał Górny <mgorny@gentoo.org>
* dev-lang/smlnj: [QA] Fix UnnecessarySlashStripDavid Seifert2020-02-081-2/+2
| | | | Signed-off-by: David Seifert <soap@gentoo.org>
* dev-lang/smlnj: Drop oldMichał Górny2019-12-152-134/+0
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* */*: Remove ml@ from packages maintainersMichał Górny2019-12-131-4/+1
| | | | | Bug: https://bugs.gentoo.org/695782 Signed-off-by: Michał Górny <mgorny@gentoo.org>
* */*: [QA] Remove redundant `|| die` guardsDavid Seifert2019-12-111-2/+2
| | | | | | | | | | | | * 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>
* dev-lang/smlnj: Bump to 110.82, fix install dirs, build on pax kernels.Mark Wright2018-03-116-0/+579
| | | | | | | | | | | | | | | | | Bump to 110.82, fixes 487064 , thanks to Keshav Kini and OGINO Masanori for reporting. Install to the smlnj subdirectory underneath the 32 bit lib directory if it exists, or the 64 bit lib directory otherwise, and create symlinks in /usr/bin to point to the executables. Fixes 248162, thanks to flameeyes for reporting, xmv and hkbst for helping. Fix build on pax kernels, fixes 564132, thanks to Fedja Beader for reporting. Closes: https://bugs.gentoo.org/487064 Closes: https://bugs.gentoo.org/248162 Closes: https://bugs.gentoo.org/564132 Package-Manager: Portage-2.3.24, Repoman-2.3.6
* dev-lang/*: Update Manifest hashesMichał Górny2017-12-091-22/+22
|
* Drop $Id$ per council decision in bug #611234.Robin H. Johnson2017-02-281-1/+0
| | | | Signed-off-by: Robin H. Johnson <robbat2@gentoo.org>
* Set appropriate maintainer types in metadata.xml (GLEP 67)Michał Górny2016-01-241-1/+1
|
* Replace all herds with appropriate projects (GLEP 67)Michał Górny2016-01-241-1/+4
| | | | | Replace all uses of herd with appropriate project maintainers, or no maintainers in case of herds requested to be disbanded.
* Revert DOCTYPE SYSTEM https changes in metadata.xmlMike Gilbert2015-08-241-1/+1
| | | | | | | repoman does not yet accept the https version. This partially reverts eaaface92ee81f30a6ac66fe7acbcc42c00dc450. Bug: https://bugs.gentoo.org/552720
* Use https by defaultJustin Lecher2015-08-241-1/+1
| | | | | | Convert all URLs for sites supporting encrypted connections from http to https Signed-off-by: Justin Lecher <jlec@gentoo.org>
* proj/gentoo: Initial commitRobin H. Johnson2015-08-083-0/+140
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