You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
80 lines
3.4 KiB
80 lines
3.4 KiB
# ChangeLog for dev-lang/polyml
|
|
# Copyright 1999-2015 Gentoo Foundation; Distributed under the GPL v2
|
|
# $Header: /var/cvsroot/gentoo-x86/dev-lang/polyml/ChangeLog,v 1.13 2015/07/09 09:46:32 gienah Exp $
|
|
|
|
*polyml-5.5.2 (09 Jul 2015)
|
|
|
|
09 Jul 2015; Mark Wright <gienah@gentoo.org>
|
|
+files/polyml-5.5.2-r1952-check_for_negative_sized_array.patch, +files/polyml-
|
|
5.5.2-r1954_Fix_segfault_in_FFI_when_malloc_runs_out_of_memory.patch, +files/p
|
|
olyml-5.5.2-r2007_Ensure_the_large_object_cache_pointer_is_cleared.patch, +fil
|
|
es/polyml-5.5.2-r2009_Initialise_the_largeObjectCache_fully_in_the_constructor
|
|
.patch, +polyml-5.5.2.ebuild, -polyml-5.2.1.ebuild, polyml-5.4.1.ebuild,
|
|
polyml-5.5.0.ebuild, polyml-5.5.1.ebuild:
|
|
Bump polyml to 5.5.2 with patches from the fixes-5.5.2 branch to allow sci-
|
|
mathematics/isabelle-2015 to build. Drop obsolete polyml-5.2.1.ebuild. Specify
|
|
slot 0 on x11-libs/motif dependency.
|
|
|
|
09 Jun 2015; Justin Lecher <jlec@gentoo.org> metadata.xml:
|
|
Updating remote-id in metadata.xml
|
|
|
|
*polyml-5.5.1 (11 Feb 2014)
|
|
|
|
11 Feb 2014; Mark Wright <gienah@gentoo.org>
|
|
+files/polyml-5.5.1-inputN-return-for-zero-chars.patch,
|
|
+files/polyml-5.5.1-mprotect-exec.patch,
|
|
+files/polyml-5.5.1-optimize-closure.patch, +polyml-5.5.1.ebuild:
|
|
Bump polyml to 5.5.1. Fix bug 453146 - dev-lang/polyml-5.5.0: fails to build
|
|
(pax kernel?) by paxmark m poly and polyimport.
|
|
|
|
05 Dec 2012; Mark Wright <gienah@gentoo.org> polyml-5.4.1.ebuild,
|
|
polyml-5.5.0.ebuild:
|
|
Fix bug 443452 dev-lang/polyml-5.5.0 should depend on and use dev-libs/libffi.
|
|
EAPI=5 with subslot depends for polyml 5.4.1 and 5.5.0 to automatically
|
|
rebuild EAPI=5 dependent packages using subslot depends such as sci-
|
|
mathematics/isabelle
|
|
|
|
24 Oct 2012; Ulrich Müller <ulm@gentoo.org> polyml-5.4.1.ebuild,
|
|
polyml-5.5.0.ebuild:
|
|
Update dependency after package move from x11-libs/openmotif to
|
|
x11-libs/motif.
|
|
|
|
*polyml-5.5.0 (20 Sep 2012)
|
|
|
|
20 Sep 2012; Mark Wright <gienah@gentoo.org> +files/polyml-5.5.0-asm.patch,
|
|
+files/polyml-5.5.0-configure.patch, +files/polyml-5.5.0-x-it-basis.patch,
|
|
+polyml-5.5.0.ebuild:
|
|
Bump polyml to 5.5.0 (also called 5.5, the tarball calls it 5.5, poly -v says
|
|
it is 5.5.0)
|
|
|
|
19 Sep 2012; Mark Wright <gienah@gentoo.org> polyml-5.4.1.ebuild:
|
|
Thanks to Richard Yao for the fix to bug #398841 and #395009
|
|
|
|
09 Jan 2012; Mark Wright <gienah@gentoo.org> polyml-5.4.1.ebuild,
|
|
+files/polyml-5.4.1-configure.patch:
|
|
Fix upstream bug: --without-portable was equivalent to --with-portable. Add
|
|
tests.
|
|
|
|
08 Jan 2012; Mark Wright <gienah@gentoo.org> polyml-5.4.1.ebuild:
|
|
Thanks to few_ and xarthisius for reviewing, remove econf repetition, - on
|
|
use flag, src_compile and src_install were just like defaults
|
|
|
|
*polyml-5.4.1 (08 Jan 2012)
|
|
|
|
08 Jan 2012; Mark Wright <gienah@gentoo.org> +polyml-5.4.1.ebuild,
|
|
+files/polyml-5.4.1-asm.patch, metadata.xml:
|
|
Bump to 5.4.1 fixes bug #296797 thanks Mr. Anderson and René 'Necoro'
|
|
Neumann. Fix executable stacks in 2 of 3 files bug #256679 by Mr. Anderson.
|
|
Add portable use flag.
|
|
|
|
11 Jan 2009; Markus Meier <maekke@gentoo.org> polyml-5.2.1.ebuild:
|
|
add ~x86, bug #254097
|
|
|
|
*polyml-5.2.1 (30 Dec 2008)
|
|
|
|
30 Dec 2008; Marijn Schouten <hkBst@gentoo.org> +metadata.xml,
|
|
+polyml-5.2.1.ebuild:
|
|
Initial entry (bug 35548) thanks to Paulo Jorge de Oliveira Cantante de
|
|
Matos <pocmatos@gmail.com>, Martin von Gagern <Martin.vGagern@gmx.net> and
|
|
Unknown <chkno@chkno.net>
|