diff options
author | Raúl Porcel <armin76@gentoo.org> | 2014-08-20 11:55:42 +0000 |
---|---|---|
committer | Raúl Porcel <armin76@gentoo.org> | 2014-08-20 11:55:42 +0000 |
commit | bc07b825f427f704ee95f0e4865c2bd1eb5240c8 (patch) | |
tree | 3ece4ae95c98feed2c13ac80aab6a06ca63f9078 /profiles | |
parent | Version bump (with, unfortunately, pulseaudio being a hardcoded dependency) (diff) | |
download | historical-bc07b825f427f704ee95f0e4865c2bd1eb5240c8.tar.gz historical-bc07b825f427f704ee95f0e4865c2bd1eb5240c8.tar.bz2 historical-bc07b825f427f704ee95f0e4865c2bd1eb5240c8.zip |
Move ocamlopt from p.use.mask to use.mask as instructed in bug #430352
Diffstat (limited to 'profiles')
-rw-r--r-- | profiles/arch/ia64/ChangeLog | 5 | ||||
-rw-r--r-- | profiles/arch/ia64/package.use.mask | 6 | ||||
-rw-r--r-- | profiles/arch/ia64/use.mask | 5 |
3 files changed, 10 insertions, 6 deletions
diff --git a/profiles/arch/ia64/ChangeLog b/profiles/arch/ia64/ChangeLog index 603c16fa929f..9b630581daf5 100644 --- a/profiles/arch/ia64/ChangeLog +++ b/profiles/arch/ia64/ChangeLog @@ -1,6 +1,9 @@ # ChangeLog for Gentoo/ia64 profile # Copyright 1999-2014 Gentoo Foundation; Distributed under the GPL v2 -# $Header: /var/cvsroot/gentoo-x86/profiles/arch/ia64/ChangeLog,v 1.209 2014/08/13 02:28:44 reavertm Exp $ +# $Header: /var/cvsroot/gentoo-x86/profiles/arch/ia64/ChangeLog,v 1.210 2014/08/20 11:55:42 armin76 Exp $ + + 20 Aug 2014; Raúl Porcel <armin76@gentoo.org> package.use.mask, use.mask: + Move ocamlopt from p.use.mask to use.mask as instructed in bug #430352 13 Aug 2014; Maciej Mrozowski <reavertm@gentoo.org> package.use.mask: Mask gg11 flag due to missing keywords (bug 519772) diff --git a/profiles/arch/ia64/package.use.mask b/profiles/arch/ia64/package.use.mask index 84cc3fd845e2..2d731f17cf5f 100644 --- a/profiles/arch/ia64/package.use.mask +++ b/profiles/arch/ia64/package.use.mask @@ -1,6 +1,6 @@ # Copyright 1999-2014 Gentoo Foundation # Distributed under the terms of the GNU General Public License v2 -# $Header: /var/cvsroot/gentoo-x86/profiles/arch/ia64/package.use.mask,v 1.147 2014/08/13 02:28:44 reavertm Exp $ +# $Header: /var/cvsroot/gentoo-x86/profiles/arch/ia64/package.use.mask,v 1.148 2014/08/20 11:55:42 armin76 Exp $ # Maciej Mrozowski <reavertm@gentoo.org> (13 Aug 2014) # Missing keywords on dev-libs/protobuf-c (bug 519772) @@ -142,10 +142,6 @@ media-libs/phonon gstreamer vlc >=dev-db/mariadb-5.5 tcmalloc >=dev-db/percona-server-5.5 tcmalloc -# Raúl Porcel <armin76@gentoo.org> (11 Sep 2012) -# Upstream drops support on ia64 from 4.0 onwards, bug #430352 ->=dev-lang/ocaml-4 ocamlopt - # Raúl Porcel <armin76@gentoo.org> (28 May 2012) # Needs x11-misc/lightdm(which also requires some other deps) x11-misc/xscreensaver new-login diff --git a/profiles/arch/ia64/use.mask b/profiles/arch/ia64/use.mask index d850f0687966..3024461a1eda 100644 --- a/profiles/arch/ia64/use.mask +++ b/profiles/arch/ia64/use.mask @@ -107,6 +107,11 @@ xemacs # Other +# Raúl Porcel <armin76@gentoo.org> (20 Aug 2014) +# Upstream drops support on ia64 from 4.0 onwards, bug #430352 +ocamlopt + + # Raúl Porcel <armin76@gentoo.org> (23 Apr 2011) # Needs to be tested video_cards_nouveau |