LablGtk3 not found: => cannot build requested CoqIde

[hungshihhan]

Thanks for creating the overlay. I am trying to install Coq-8.10 on a gentoo machine. With USE flag gtk enabled, the following error message shows up.

 * Package:    sci-mathematics/coq-8.10_beta2
 * Repository: ml-overlay
 * Maintainer: ml@gentoo.org sci-mathematics@gentoo.org
 * USE:        abi_x86_64 amd64 elibc_glibc gtk kernel_linux ocamlopt userland_GNU
 * FEATURES:   network-sandbox preserve-libs sandbox userpriv usersandbox
>>> Unpacking source...
>>> Unpacking coq-8.10_beta2.tar.gz to /var/tmp/portage/sci-mathematics/coq-8.10_beta2/work
>>> Source unpacked in /var/tmp/portage/sci-mathematics/coq-8.10_beta2/work
>>> Preparing source in /var/tmp/portage/sci-mathematics/coq-8.10_beta2/work/coq-8.10-beta2 ...
>>> Source prepared.
>>> Configuring source in /var/tmp/portage/sci-mathematics/coq-8.10_beta2/work/coq-8.10-beta2 ...
You have OCaml 4.05.0. Good!
You have OCamlfind 1.7.1. Good!
You have native-code compilation. Good!
LablGtk3 not found:
=> cannot build requested CoqIde
Configuration script failed!
 * ERROR: sci-mathematics/coq-8.10_beta2::ml-overlay failed (configure phase):
 *   configure failed
 * 
 * Call stack:
 *     ebuild.sh, line 125:  Called src_configure
 *   environment, line 1886:  Called die
 * The specific snippet of code:
 *       ./configure ${myconf[@]} || die "configure failed"
 * 
 * If you need support, post the output of `emerge --info '=sci-mathematics/coq-8.10_beta2::ml-overlay'`,
 * the complete build log and the output of `emerge -pqv '=sci-mathematics/coq-8.10_beta2::ml-overlay'`.
 * The complete build log is located at '/var/tmp/portage/sci-mathematics/coq-8.10_beta2/temp/build.log'.
 * The ebuild environment file is located at '/var/tmp/portage/sci-mathematics/coq-8.10_beta2/temp/environment'.
 * Working directory: '/var/tmp/portage/sci-mathematics/coq-8.10_beta2/work/coq-8.10-beta2'
 * S: '/var/tmp/portage/sci-mathematics/coq-8.10_beta2/work/coq-8.10-beta2'

The package dev-ml/lablgtk3 is installed but the configuration does not seem to see it for some reason. The installation works properly if USE gtk is disabled.

[aballier]

see #5