Hi! Pls. add "~amd64" to the keywords for dev-haskell/buddha-1.2. Sincerely, Gour Reproducible: Always Steps to Reproduce: 1. 2. 3. Portage 2.0.51-r3 (default-linux/amd64/2004.3, gcc-3.4.3, glibc-2.3.4.20041102-r0, 2.6.9-gentoo-r1 x86_64) ================================================================= System uname: 2.6.9-gentoo-r1 x86_64 AMD Athlon(tm) 64 Processor 3000+ Gentoo Base System version 1.6.4 ccache version 2.3 [enabled] Autoconf: sys-devel/autoconf-2.59-r5 Automake: sys-devel/automake-1.8.5-r1 Binutils: sys-devel/binutils-2.15.92.0.2-r1 Headers: sys-kernel/linux26-headers-2.6.8.1-r1 Libtools: sys-devel/libtool-1.5.2-r5 ACCEPT_KEYWORDS="amd64 ~amd64" AUTOCLEAN="yes" CFLAGS="-march=k8 -O2 -pipe -fomit-frame-pointer -funroll-loops" CHOST="x86_64-pc-linux-gnu" COMPILER="" CONFIG_PROTECT="/etc /usr/X11R6/lib/X11/xkb /usr/kde/2/share/config /usr/kde/3.3/env /usr/kde/3.3/share/config /usr/kde/3.3/shutdown /usr/kde/3/share/config /usr/share/config /usr/share/texmf/dvipdfm/config/ /usr/share/texmf/dvips/config/ /usr/share/texmf/tex/generic/config/ /usr/share/texmf/tex/platex/config/ /usr/share/texmf/xdvi/ /var/qmail/alias /var/qmail/control" CONFIG_PROTECT_MASK="/etc/gconf /etc/terminfo /etc/env.d" CXXFLAGS="-march=k8 -O2 -pipe -fomit-frame-pointer -funroll-loops" DISTDIR="/usr/portage/distfiles" FEATURES="autoaddcvs autoconfig buildpkg ccache distlocks sandbox" GENTOO_MIRRORS="http://gentoo.osuosl.org http://distro.ibiblio.org/pub/Linux/distributions/gentoo" MAKEOPTS="-j2" PKGDIR="/usr/portage/packages" PORTAGE_TMPDIR="/var/tmp" PORTDIR="/usr/portage" PORTDIR_OVERLAY="/usr/portage/local" SYNC="rsync://rsync.gentoo.org/gentoo-portage" USE="X aalib acpi alsa amd64 arts audiofile avi berkdb bitmap-fonts cddb cdparanoia cdr crypt cups directfb doc dvd dvdr encode esd f77 fam fbcon flac foomaticdb fortran gdbm gif gimpprint gphoto2 gpm gtk gtk2 imagemagick imlib immqt innodb ipv6 java jp2 jpeg jpeg2k kde lcms libwww lzw lzw-tiff mad mmap motif mozilla mpeg multilib mysql ncurses nls nptl oggvorbis opengl oss pam pda perl pic png ppds python qt readline ruby scanner slang speex sqlite ssl svg tcltk tcpd tetex tiff truetype unicode usb userlocales vim-with-x xface xine xinerama xml xml2 xmms xpm xprint xrandr xv zlib"
i'm unfortunately not really familiar with haskell, do you have any testcases? maybe some typical cases how to use it and some links to example source code?
<blockquote>i'm unfortunately not really familiar with haskell, do you have any testcases? maybe some typical cases how to use it and some links to example source code?</blocquote> Have you seen the 'examples' folder in buddha's tarball? There are several examples..also on the web site (http://www.cs.mu.oz.au/~bjpop/buddha/afp.html) there is tarball with the exercises. I hope it helps. Sincerely, Gour
It works fine for me here. You can proceed to add ~amd64 in my opinion.
fixed in cvs, thanks for your report and for supporting our development.