Gentoo Websites Logo
Go to: Gentoo Home Documentation Forums Lists Bugs Planet Store Wiki Get Gentoo!

Bug 605440

Summary: dev-lang/mercury-extras-13.05.2 : mglu.m:104:28: fatal error: GL/glu.h: No such file or directory
Product: Gentoo Linux Reporter: Toralf Förster <toralf>
Component: Current packagesAssignee: Keri Harris <keri>
Status: RESOLVED FIXED    
Severity: normal    
Priority: Normal    
Version: unspecified   
Hardware: All   
OS: Linux   
Whiteboard:
Package list:
Runtime testing required: ---
Attachments: dev-lang:mercury-extras-13.05.2:20170112-023825.log
emerge-history.txt
environment
etc.portage.tbz2

Description Toralf Förster gentoo-dev 2017-01-12 08:46:22 UTC
mgnuc --grade reg.gc       --      -c mercury_opengl.c -o mercury_opengl.o
In file included from mglu.int:48:0:
mglu.m:104:28: fatal error: GL/glu.h: No such file or directory
compilation terminated.
/var/tmp/portage/dev-lang/mercury-extras-13.05.2/temp/mmake.Et0zcV:1770: recipe for target 'mercury_opengl.o' failed
gmake[1]: *** [mercury_opengl.o] Error 1

  -----------------------------------------------------------------

  This is an unstable amd64 chroot image (named plasma-systemd-libressl-unstable_20170111-153814) at a hardened host acting as a tinderbox.

  -----------------------------------------------------------------

gcc-config -l:
 [1] x86_64-pc-linux-gnu-5.4.0 *
llvm-config --version:
3.9.1

Available Python interpreters:
  [1]   python2.7
  [2]   python3.4 *

java-config:

  -----------------------------------------------------------------
Comment 1 Toralf Förster gentoo-dev 2017-01-12 08:49:52 UTC
Created attachment 459692 [details]
dev-lang:mercury-extras-13.05.2:20170112-023825.log
Comment 2 Toralf Förster gentoo-dev 2017-01-12 08:49:55 UTC
Created attachment 459694 [details]
emerge-history.txt
Comment 3 Toralf Förster gentoo-dev 2017-01-12 08:49:58 UTC
Created attachment 459696 [details]
environment
Comment 4 Toralf Förster gentoo-dev 2017-01-12 08:50:00 UTC
Created attachment 459698 [details]
etc.portage.tbz2
Comment 5 Keri Harris gentoo-dev 2017-09-26 20:03:13 UTC
Fixed in git. Thanks for reporting this bug.