Calculer Girl
  1. Calculer Girl
  3. GCC 4.7.2 nécessite ppl?
Intereting Posts
L’exécutable ARM Linux s’exécute mystérieusement sur x86_64 matplotlib utilisant PyCharm sous Windows ne tracera pas les graphes, pas d’erreur Comment puis-je forcer PHP à utiliser la version libiconv de iconv au lieu de la version glibc installée par CentOS? Comment remplir une colonne avec les numéros de troisième colonne associés aux chaînes de la quasortingème colonne dans l’environnement Unix? Comment changer les caractères à un emplacement spécifique en utilisant une variable shell commande zip ne fonctionne pas Erreur de démarrage du serveur Rails Ubuntu Obtenir une utilisation du processeur GPU par programme sed remplacements multiples avec gamme de lignes Comment puis-je restreindre l’access à une application que je ne contrôle pas uniquement via une autre application de référence? Appeler un script Unix depuis Excel Vba ne peut pas trouver -lsocket, problème de compilation dans le programme client-serveur? Démarrer Tornado avec Nginx sur Ubuntu 10.04 automatiquement avec le nom de domaine Comment shibboliser un site web Modification du corps de réponse de 301 à partir d’Apache 2.2

GCC 4.7.2 nécessite ppl?

J’essaie de configurer GCC 4.7.2, mais il échoue avec configure: error: Unable to find a usable PPL

J’ai regardé dans la page des prérequirejs de GCC et PPL n’est mentionné nulle part.

J’utilise CLooG 0.17.0 , qui utilise ISL , et ne nécessite donc plus de PPL (pour autant que je sache)

Y a-t-il une autre exigence sur PPL dans GCC, ce qui signifie que j’ai toujours besoin de PPL, ou est-ce que je manque un drapeau de ma ligne de configure ?

Je passe les options suivantes pour configure :

  • --enable-cloog-backend=isl
  • --with-cloog=$PREFIX
  • --with-isl=$PREFIX
  • --with-gmp=$PREFIX
  • --with-mpfr=$PREFIX
  • --with-mpc=$PREFIX

Pour être complet, ma ligne de configuration complète est la suivante: 

 ./configure --prefix=/hostname/tmp/syddev/sdk/gcc472/suse11/x86_64 \ --disable-multilib --enable-cloog-backend=isl \ --with-mpc=/hostname/tmp/syddev/sdk/gcc472/suse11/x86_64 \ --with-mpfr=/hostname/tmp/syddev/sdk/gcc472/suse11/x86_64 \ --with-gmp=/hostname/tmp/syddev/sdk/gcc472/suse11/x86_64 \ --with-isl=/hostname/tmp/syddev/sdk/gcc472/suse11/x86_64 \ --with-cloog=/hostname/tmp/syddev/sdk/gcc472/suse11/x86_64 \ --build=x86_64-suse-linux --with-pkgversion='SIG build 11/27/2012' \ --with-gxx-include-dir=/hostname/tmp/syddev/sdk/gcc472/suse11/x86_64/include/c++/4.7.2 \ --enable-version-specific-runtime-libs

Mettre à jour:

Pour essayer d’avancer, j’ai décidé d’append PPL à ma liste d’installation et d’append --with-ppl=$PREFIX à ma ligne de configuration.

Configure toujours échoue avec configure: error: Unable to find a usable PPL

Il semble que ce soit un bogue dans le script configure : Configure PPL_MINOR_VERSION < 11 si PPL_MINOR_VERSION < 11

Avec la dernière version PPL_MINOR_VERSION=0 (et PPL_MAJOR_VERSION=1 )

La page Pré-requirejs du GCC a sauté le flambeau et montre les conditions préalables pour GCC 4.8.

GCC 4.7.2 utilise toujours PPL au lieu de ISL, comme en témoigne le manque de --with-isl=PATH dans la sortie de configure : 

 Optional Packages: --with-PACKAGE[=ARG] use PACKAGE [ARG=yes] --without-PACKAGE do not use PACKAGE (same as --with-PACKAGE=no) --with-build-libsubdir=DIR Directory where to find libraries for build system --with-mpc=PATH specify prefix directory for installed MPC package. Equivalent to --with-mpc-include=PATH/include plus --with-mpc-lib=PATH/lib --with-mpc-include=PATH specify directory for installed MPC include files --with-mpc-lib=PATH specify directory for the installed MPC library --with-mpfr-dir=PATH this option has been REMOVED --with-mpfr=PATH specify prefix directory for installed MPFR package. Equivalent to --with-mpfr-include=PATH/include plus --with-mpfr-lib=PATH/lib --with-mpfr-include=PATH specify directory for installed MPFR include files --with-mpfr-lib=PATH specify directory for the installed MPFR library --with-gmp-dir=PATH this option has been REMOVED --with-gmp=PATH specify prefix directory for the installed GMP package. Equivalent to --with-gmp-include=PATH/include plus --with-gmp-lib=PATH/lib --with-gmp-include=PATH specify directory for installed GMP include files --with-gmp-lib=PATH specify directory for the installed GMP library --with-host-libstdcxx=L use linker arguments L to link with libstdc++ when linking with PPL --with-stage1-ldflags=FLAGS linker flags for stage1 --with-stage1-libs=LIBS libraries for stage1 --with-boot-libs=LIBS libraries for stage2 and later --with-boot-ldflags=FLAGS linker flags for stage2 and later --with-ppl=PATH specify prefix directory for the installed PPL package. Equivalent to --with-ppl-include=PATH/include plus --with-ppl-lib=PATH/lib --with-ppl-include=PATH specify directory for installed PPL include files --with-ppl-lib=PATH specify directory for the installed PPL library --with-cloog=PATH Specify prefix directory for the installed CLooG-PPL package. Equivalent to --with-cloog-include=PATH/include plus --with-cloog-lib=PATH/lib --with-cloog-include=PATH Specify directory for installed CLooG include files --with-cloog-lib=PATH Specify the directory for the installed CLooG library --with-build-sysroot=SYSROOT use sysroot as the system root during the build --with-debug-prefix-map='A=BC=D ...' map A to B, C to D ... in debug information --with-build-config='NAME NAME2...' use config/NAME.mk build configuration --with-build-time-tools=PATH use given path to find target tools during the build

Il est regrettable qu’ils ne gèrent pas les pages de prérequirejs pour les versions antérieures à 4.8.