dev-lang / smlnj

Standard ML of New Jersey compiler and libraries

Official package sites : http://www.smlnj.org ·

Standard ML of New Jersey (abbreviated SML/NJ) is a compiler for the Standard ML '97 programming language with associated libraries, tools, and documentation. SML/NJ is free, open source software.

v110.99.6.1 :: 0 :: gentoo

Modified
License
BSD
Keywords
~amd64 ~ppc ~x86

v110.99.5 :: 0 :: gentoo

Modified
License
BSD
Keywords
~amd64 ~ppc ~x86

dev-lang / mlton : Standard ML optimizing compiler and libraries

829616
dev-lang/smlnj-110.99.4 - /.../run.amd64-linux: Fatal error -- Uncaught exception SysErr with <unknown> raised at <sysconf.c>
880959
dev-lang/smlnj-110.99.4 - ../.../unix-prof.c: error: incompatible function pointer types
925182
dev-lang/smlnj-110.99.6.1 does not respect LDFLAGS
925183
dev-lang/smlnj-110.99.6.1 installs files that contain a TEXTREL
925184
dev-lang/smlnj-110.99.6.1 installs '.a' files without static-libs USE
938202
dev-lang/smlnj-110.99.5 - x86_64-pc-linux-musl-ar: posix-procenv-lib.o: No such file or directory
939302
dev-lang/smlnj-110.99.5 - [gcc-15] ../.../ml-base.h: fatal error: ml-sizes.h: No such file or directory
946978
dev-lang/smlnj-110.99.6.1 - [llvm] prototype is deprecated in all versions of C and is not supported in C23
Repository mirror & CI · gentoo
Merge updates from master
Maciej Barć · gentoo
dev-lang/smlnj: drop old 110.99.4
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
Maciej Barć · gentoo
dev-lang/smlnj: bump to 110.99.6.1
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Alfredo Tupone · gentoo
dev-lang/smlnj: fix makefile
Closes: https://bugs.gentoo.org/928112 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Maciej Barć · gentoo
dev-lang/smlnj: bump to 110.99.5
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
Maciej Barć · gentoo
dev-lang/smlnj: drop old 110.99.3
Closes: https://bugs.gentoo.org/882389 Closes: https://bugs.gentoo.org/878625 Signed-off-by: Maciej Barć <xgqt@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Maciej Barć · gentoo
dev-lang/smlnj: bump to 110.99.4
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Alfredo Tupone · gentoo
dev-lang/smlnj: fix makefile
Closes: https://bugs.gentoo.org/882679 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Andreas Sturmlechner · gentoo
dev-lang/smlnj: drop 110.82, 110.99.2, EAPI-6--
Signed-off-by: Andreas Sturmlechner <asturm@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Maciej Barć · gentoo
dev-lang/smlnj: bump to 110.99.3
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Maciej Barć · gentoo
dev-lang/smlnj: patch smlnj_get_libdir function
Closes: https://bugs.gentoo.org/650182 Signed-off-by: Maciej Barć <xgqt@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Maciej Barć · gentoo
dev-lang/smlnj: fix asdl autoconf script
Closes: https://bugs.gentoo.org/835555 Signed-off-by: Maciej Barć <xgqt@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Maciej Barć · gentoo
dev-lang/smlnj: fix base/runtime/objs/makefile
Closes: https://bugs.gentoo.org/835552 Signed-off-by: Maciej Barć <xgqt@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Maciej Barć · gentoo
dev-lang/smlnj: call correct AR
Closes: https://bugs.gentoo.org/827972 Signed-off-by: Maciej Barć <xgqt@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Maciej Barć · gentoo
dev-lang/smlnj: replace sed delimeter
Closes: https://bugs.gentoo.org/717016 Package-Manager: Portage-3.0.28, Repoman-3.0.3 Signed-off-by: Maciej Barć <xgqt@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Maciej Barć · gentoo
dev-lang/smlnj: move unpack script to src_unpack; fix nm
Closes: https://bugs.gentoo.org/729884 Package-Manager: Portage-3.0.28, Repoman-3.0.3 Signed-off-by: Maciej Barć <xgqt@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Maciej Barć · gentoo
dev-lang/smlnj: bump to 110.99.2
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>
Repository mirror & CI · gentoo
Merge updates from master
Marek Szuba · gentoo
*/*: s/pax_kernel/pax-kernel/g
Signed-off-by: Marek Szuba <marecki@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Sam James · gentoo
dev-lang/smlnj: eutils->epatch
Package-Manager: Portage-3.0.14-prefix, Repoman-3.0.2 Signed-off-by: Sam James <sam@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Michał Górny · gentoo
*/*: Bump copyright on files touched this year
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>
Repository mirror & CI · gentoo
Merge updates from master
David Seifert · gentoo
dev-lang/smlnj: [QA] Fix UnnecessarySlashStrip
Signed-off-by: David Seifert <soap@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Michał Górny · gentoo
dev-lang/smlnj: Drop old
Signed-off-by: Michał Górny <mgorny@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
David Seifert · gentoo
*/*: [QA] Remove redundant `|| die` guards
* 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>
Mark Wright · gentoo
dev-lang/smlnj: Bump to 110.82, fix install dirs, build on pax kernels.
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
Robin H. Johnson · gentoo
Drop $Id$ per council decision in bug #611234.
Signed-off-by: Robin H. Johnson <robbat2@gentoo.org>
Robin H. Johnson · gentoo
proj/gentoo: Initial commit
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