Gentoo Websites Logo
Go to: Gentoo Home Documentation Forums Lists Bugs Planet Store Wiki Get Gentoo!
Bug 88950 - coq-8.0-r1 lacks the ~amd64 keyword; tested on my system, it works fine.
Summary: coq-8.0-r1 lacks the ~amd64 keyword; tested on my system, it works fine.
Status: RESOLVED FIXED
Alias: None
Product: Gentoo Linux
Classification: Unclassified
Component: New packages (show other bugs)
Hardware: AMD64 Linux
: High minor
Assignee: AMD64 Project
URL:
Whiteboard:
Keywords: InVCS
Depends on:
Blocks:
 
Reported: 2005-04-13 04:51 UTC by Alexis Ballier
Modified: 2005-04-13 11:41 UTC (History)
0 users

See Also:
Package list:
Runtime testing required: ---

Attachments
Add an attachment (proposed patch, testcase, etc.)

Note You need to log in before you can comment on or make changes to this bug.
Description Alexis Ballier gentoo-dev 2005-04-13 04:51:23 UTC 
I just added the ~x86 keyword to coq-8.0-r1 in package.keywords to be able to emerge it, it works perfectly on my ~amd64 (2005.0) gentoo linux.

However, coq-7.4 has the ~amd64 keyword and conflicts with ocaml-3.08.3
while it depends on an older version.



Reproducible: Always
Steps to Reproduce:
1.only ~amd64 keyword
2.emerge coq
3.

Actual Results:  
ocaml blocks coq

Expected Results:  
install it.
Comment 1 Daniel Gryniewicz (RETIRED) gentoo-dev 2005-04-13 11:04:30 UTC 
It appears to work fine.  I don't know how to construct proofs in it, but it correctly compiled the contrib proofs, and the ide works fine.

Portage 2.0.51.19 (default-linux/amd64/2005.0, gcc-3.4.3-20050110, glibc-2.3.4.20050125-r1, 2.6.11-gentoo-r2 x86_64)
=================================================================
System uname: 2.6.11-gentoo-r2 x86_64 AMD Athlon(tm) 64 Processor 3000+
Gentoo Base System version 1.6.10
Python:              dev-lang/python-2.3.5 [2.3.5 (#1, Mar 21 2005, 16:26:03)]
dev-lang/python:     2.3.5
sys-devel/autoconf:  2.13, 2.59-r6
sys-devel/automake:  1.5, 1.8.5-r3, 1.9.5, 1.6.3, 1.7.9-r1, 1.4_p6
sys-devel/binutils:  2.15.92.0.2-r8
sys-devel/libtool:   1.5.14
virtual/os-headers:  2.6.8.1-r4
ACCEPT_KEYWORDS="amd64 ~amd64"
AUTOCLEAN="yes"
CFLAGS="-O2 -march=athlon64 -pipe"
CHOST="x86_64-pc-linux-gnu"
CONFIG_PROTECT="/etc /usr/kde/2/share/config /usr/kde/3/share/config /usr/lib/X11/xkb /usr/lib/mozilla/defaults/pref /usr/share/config /var/qmail/control"
CONFIG_PROTECT_MASK="/etc/gconf /etc/terminfo /etc/env.d"
CXXFLAGS="-O2 -march=athlon64 -pipe"
DISTDIR="/storage/portage/distfiles"
FEATURES="autoaddcvs autoconfig ccache distlocks sandbox"
GENTOO_MIRRORS="http://distfiles.gentoo.org http://distro.ibiblio.org/pub/Linux/distributions/gentoo"
MAKEOPTS="-j3"
PKGDIR="/usr/portage/packages"
PORTAGE_TMPDIR="/home/portage"
PORTDIR="/usr/portage"
PORTDIR_OVERLAY="/home/portage/overlays/ebuilds"
SYNC="rsync://rsync.fprintf.net/gentoo-portage"
USE="amd64 X aac acpi alsa apache2 avi berkdb bitmap-fonts cdr crypt cscope cups curl dga dvd dvdr encode esd ethereal fam flac font-server foomaticdb gd gdbm gif gnome gnutls gpm gstreamer gtk gtk2 guile hal imagemagick imap imlib ipv6 jabber jp2 jpeg ldap libclamav libg++ libwww lzo lzw lzw-tiff mad maildir matroska mikmod mime mmap mng mozilla mp3 mpeg mpi mysql ncurses nls nptl odbc offensive ogg oggvorbis opengl oscar oss pam pdflib perl php png python quicktime readline real rtc samba sasl sdl sharedmem soap speex spell ssl svg tcltk tcpd theora tiff truetype truetype-fonts type1-fonts unicode usb userlocales vorbis wmf xface xinerama xml2 xpm xrandr xsl xv xvid zlib"
Unset:  ASFLAGS, CBUILD, CTARGET, LANG, LC_ALL, LDFLAGS, LINGUAS
Comment 2 Jan Brinkmann (RETIRED) gentoo-dev 2005-04-13 11:41:10 UTC 
fixed in cvs, thanks