Impossibile installare gcc48 con homebrew

Question

Non riesco a installare gcc48 con homebrew. L'installazione non riesce con (a partire dalle ultime linee in uscita configura):

checking for version 0.10 of ISL... no 
checking for version 0.11 of ISL... no 
configure: error: Unable to find a usable ISL. See config.log for details. 
==> Formula 
Tap: homebrew/versions 
Path: /usr/local/Library/Taps/homebrew-versions/gcc48.rb 
==> Configuration 
HOMEBREW_VERSION: 0.9.4 
HEAD: e2b10438666f41366f596fe762b2455f5761bcd8 
CPU: 8-core 64-bit sandybridge 
OS X: 10.8.4-x86_64 
Xcode: 4.6.3 
CLT: 4.6.0.0.1.1365549073 
X11: 2.7.4 => /opt/X11 
==> ENV 
HOMEBREW_CC: clang 
MAKEFLAGS: -j1 
CMAKE_PREFIX_PATH: /usr/local 
CMAKE_INCLUDE_PATH: /opt/X11/include/freetype2:/usr/include/libxml2:/opt/X11/include 
CMAKE_LIBRARY_PATH: /opt/X11/lib 
PKG_CONFIG_PATH: /usr/local/opt/isl/lib/pkgconfig:/usr/local/opt/cloog/lib/pkgconfig 
PKG_CONFIG_LIBDIR: /usr/lib/pkgconfig:/usr/local/Library/ENV/pkgconfig/10.8:/opt/X11/lib/pkgconfig:/opt/X11/share/pkgconfig 
HOMEBREW_MAKE_JOBS: 1 
ACLOCAL_PATH: /usr/local/share/aclocal:/opt/X11/share/aclocal 
OBJC: cc 
PATH: /usr/local/Library/ENV/4.3:/usr/local/opt/cloog/bin:/opt/X11/bin:/usr/bin:/bin:/usr/sbin:/sbin 

Error: gcc48 did not build 

devo isl installato.

: brew info isl 
isl: stable 0.12, HEAD 
http://www.kotnet.org/~skimo/isl/ 
/usr/local/Cellar/isl/0.12 (55 files, 3.2M) * 
    Built from source 
From: https://github.com/mxcl/homebrew/commits/master/Library/Formula/isl.rb 
==> Dependencies 
Required: gmp 

Answer 1

Questo non è limitato a Homebrew. C'è un problema con lo script configure se cloog-0.18.0 utilizza il pacchetto secondario in bundle di isl-0.11.1. La stringa VERSION non è stata sostituita correttamente ed è impostata su "UNKNOWN" nella chiamata alla funzione isl_version() - il valore che lo script di configurazione di gcc sta testando.

Potrebbe essere necessario costruire (o installare) ISL prima, e quindi aggiungere --with-isl-prefix=$SOME_DIR alle opzioni di configurazione cloog, in modo che utilizza l'installazione ISL esterna. Ho costruito gcc-4.8.1 per AVR di recente dalla sorgente, e usato:

## isl-0.11.1 @ ftp://gcc.gnu.org/pub/gcc/infrastructure/ 

> ../configure --prefix=$CROSSDIR --with-gmp-prefix=$CROSSDIR 
> make [check]; make install; rehash 

and now build cloog-0.18.0 with the installed 'system' ISL: 

> ../configure --prefix=$CROSSDIR --with-isl-prefix=$CROSSDIR \ 
--with-gmp-prefix=$CROSSDIR 
> make [check]; make install; rehash 

Questa richiesta anche aggiungendo: --with-isl=$CROSSDIR alle opzioni di configurazione gcc.

Answer 2

GCC ha imposto un severo requisito sulla versione ISL. Al momento entrambi i rami 4.8 e trunk (4.9) richiedono ISL 0.10 o 0.11. Homebrew ha temporaneamente ripristinato ISL a 0.11.2 quindi dovrebbe andare bene ora.