Installation impossible sur Mac osx

[Waingro13]

Bonjour,
voila des heures que je bataille pour parvenir a utiliser cette librairie et ce que j'ai tenté :

• installation via MacPorts (librairie statique, version 2.8.5), qui parvient à constuire la librairie sur un mac de 2018 avec une puce Intel mais impossible de lier un problème avec cette librairie sans un flot de references non resolues (le programme ne fait qu'un Hello World mais les références non resolues sont dans ibex-lib)
• installation a partir d'un source et en utilisant la methode decrite ici : https://ibex-lib.readthedocs.io/en/latest/install.html#requirements => compilation ok mais les memes erreurs de references non resolues au moment de l'edition de liens
• installation a partir de gitub avec cmake et meme resultat que ci-dessus
  Ce qui est plus qu'etonnant c'est que l'installation sous MacPorts ne soit pas propre vu qu'il est cense s'assurer de la compatibilite des dependances.
  Any help?
  Les traces de la compilation :
  Undefined symbols for architecture x86_64:
  "__ZN4ibexlsERSoRKNS_8IntervalE", referenced from:
  _main in ccCE0WLL.o
  "__ZNK4ibex12BxpActiveCtr9to_stringB5cxx11Ev", referenced from:
  __ZTVN4ibex12BxpActiveCtrE in ccCE0WLL.o
  "__ZNKSt3__120__vector_base_commonILb1EE20__throw_length_errorEv", referenced from:
  _ZNSt3__16vectorIPN4ibex3BxpENS_9allocatorIS3_EEE21__push_back_slow_pathIRKS3_EEvOT in libibex.a(ibex_BoxProperties.cpp.4.o)
  _ZNSt3__16vectorIPKN4ibex8ExprNodeENS_9allocatorIS4_EEE21__push_back_slow_pathIS4_EEvOT in libibex.a(ibex_ExprSubNodes.cpp.4.o)
  _ZNSt3__16vectorIiNS_9allocatorIiEEE21__push_back_slow_pathIRKiEEvOT in libibex.a(ibex_System.cpp.4.o)
  _ZNSt3__16vectorINS_12basic_stringIcNS_11char_traitsIcEENS_9allocatorIcEEEENS4_IS6_EEE21__push_back_slow_pathIS6_EEvOT in libibex.a(ibex_System.cpp.4.o)
  _ZNSt3__16vectorIiNS_9allocatorIiEEE21__push_back_slow_pathIiEEvOT in libibex.a(ibex_FunctionBuild.cpp.4.o)
  _ZNSt3__16vectorIiNS_9allocatorIiEEE21__push_back_slow_pathIRKiEEvOT in libibex.a(ibex_Gradient.cpp.4.o)
  _ZNSt3__16vectorIPN4ibex8FunctionENS_9allocatorIS3_EEE21__push_back_slow_pathIRKS3_EEvOT in libibex.a(parser.tab.cc.4.o)
  ...
  "__ZNKSt3__121__basic_string_commonILb1EE20__throw_length_errorEv", referenced from:
  __ZNKSt3__115basic_stringbufIcNS_11char_traitsIcEENS_9allocatorIcEEE3strEv in libibex.a(ibex_BxpActiveCtr.cpp.4.o)
  __ZNKSt3__115basic_stringbufIcNS_11char_traitsIcEENS_9allocatorIcEEE3strEv in libibex.a(ibex_IntervalVector.cpp.4.o)
  __ZNKSt3__115basic_stringbufIcNS_11char_traitsIcEENS_9allocatorIcEEE3strEv in libibex.a(ibex_NumConstraint.cpp.4.o)
  _ZN4gaol18input_format_errorC2EPKcjS2 in libgaol.a(gaol_interval.o)
  _ZN4gaol20invalid_action_errorC2EPKcjS2 in libgaol.a(gaol_interval.o)
  _ZN4gaol25unavailable_feature_errorC2EPKcjS2 in libgaol.a(gaol_interval.o)
  __ZNKSt3__115basic_stringbufIcNS_11char_traitsIcEENS_9allocatorIcEEE3strEv in libgaol.a(gaol_interval.o)
  ...
  "__ZNKSt3__16locale9use_facetERNS0_2idE", referenced from:
  __ZNSt3__124__put_character_sequenceIcNS_11char_traitsIcEEEERNS_13basic_ostreamIT_T0_EES7_PKS4_m in libibex.a(ibex_BxpActiveCtr.cpp.4.o)
  __ZN4ibexlsERNSt3__113basic_ostreamIcNS0_11char_traitsIcEEEERKNS_13BoxPropertiesE in libibex.a(ibex_BoxProperties.cpp.4.o)
  __ZNSt3__124__put_character_sequenceIcNS_11char_traitsIcEEEERNS_13basic_ostreamIT_T0_EES7_PKS4_m in libibex.a(ibex_BoxProperties.cpp.4.o)
  __ZN4ibexlsERNSt3__113basic_ostreamIcNS0_11char_traitsIcEEEERKNS_14IntervalMatrixE in libibex.a(ibex_IntervalMatrix.cpp.4.o)
  __ZNSt3__124__put_character_sequenceIcNS_11char_traitsIcEEEERNS_13basic_ostreamIT_T0_EES7_PKS4_m in libibex.a(ibex_IntervalMatrix.cpp.4.o)
  __ZNSt3__124__put_character_sequenceIcNS_11char_traitsIcEEEERNS_13basic_ostreamIT_T0_EES7_PKS4_m in libibex.a(ibex_IntervalVector.cpp.4.o)
  __ZNSt3__124__put_character_sequenceIcNS_11char_traitsIcEEEERNS_13basic_ostreamIT_T0_EES7_PKS4_m in libibex.a(ibex_NumConstraint.cpp.4.o)
  ...

[raphaelchenouard]

Bonjour,
Est-ce possible d'avoir plus d'informations, sur ta configuration (mac-intel, mac-arm) ?
La principale difficulté sur les mac récents (arm64) est d'adapter l'installation des dépendances d'ibex (Gaol, APMathlib et Soplex). Tu peux installer ces bibliothèques par toi-même (il y a aussi un peu de boulot, car darwin+arm64 ne sont pas bien identifiés par APMathlib et Gaol) et ensuite avec cmake tu peux indiquer les dossiers qui vont bien pour ces dépendances.
Par exemple sur ma machine, j'ai fait (les dépendances sont installées dans le cellar d'homebrew) :
cmake .. -DCMAKE_INSTALL_PREFIX=/opt/homebrew/Cellar/ibex/2.8.9/ -DLP_LIB=soplex -DINTERVAL_LIB=gaol -DSOPLEX_DIR=/opt/homebrew -DGAOL_DIR=/opt/homebrew/Cellar -DMATHLIB_DIR=/opt/homebrew

Je viens de voir qu'ibex était toujours dans homebrew, as-tu essayé de l'installer via ce gestionnaire ? Je n'ai pas réessayé depuis le passage aux arm64, mais avec les mac-intel ça marchait bien.

[Waingro13]

Bonjour,
bon j'ai au moins appris qu'il fallait préalablement installer 3 librairies pour que ça fonctionne, j'ai eu beau rechercher cette info l'autre jour, impossible de la trouver.
C'est si compliqué d'ajouter un test dans le script d'install afin de rechercher ces librairies et de mettre un message d'erreur afin que l'utilisateur comprenne ce qu'il faut faire plutôt que d'installer une lib qui ne peut pas fonctionner et va générer des erreurs de compile, laissant l'utilisateur penser que c'est son programme qui est en cause ?
Donc j'ai installe APMathlib sans soucis mais pour GOAL ça ne marche pas et là encore je soupçonne un bug dans le processus d'installation parce que...

MacBook-Pro-10:GAOL-master $ sudo ./configure
checking for a BSD-compatible install... /usr/bin/install -c
checking whether build environment is sane... yes
checking for a thread-safe mkdir -p... ./install-sh -c -d
checking for gawk... no
checking for mawk... no
checking for nawk... no
checking for awk... awk
checking whether make sets $(MAKE)... yes
checking whether make supports nested variables... yes
checking whether to enable maintainer-specific portions of Makefiles... no
checking build system type... x86_64-apple-darwin17.7.0
checking host system type... x86_64-apple-darwin17.7.0
checking how to print strings... printf
checking for style of include used by make... GNU
checking for gcc... gcc
checking whether the C compiler works... yes
checking for C compiler default output file name... a.out
checking for suffix of executables...
checking whether we are cross compiling... no
checking for suffix of object files... o
checking whether we are using the GNU C compiler... yes
checking whether gcc accepts -g... yes
checking for gcc option to accept ISO C89... none needed
checking whether gcc understands -c and -o together... yes
checking dependency style of gcc... gcc3
checking for a sed that does not truncate output... /usr/bin/sed
checking for grep that handles long lines and -e... /usr/bin/grep
checking for egrep... /usr/bin/grep -E
checking for fgrep... /usr/bin/grep -F
checking for ld used by gcc... /opt/local/bin/ld
checking if the linker (/opt/local/bin/ld) is GNU ld... no
checking for BSD- or MS-compatible name lister (nm)... /usr/bin/nm -B
checking the name lister (/usr/bin/nm -B) interface... BSD nm
checking whether ln -s works... yes
checking the maximum length of command line arguments... 196608
checking whether the shell understands some XSI constructs... yes
checking whether the shell understands "+="... yes
checking how to convert x86_64-apple-darwin17.7.0 file names to x86_64-apple-darwin17.7.0 format... func_convert_file_noop
checking how to convert x86_64-apple-darwin17.7.0 file names to toolchain format... func_convert_file_noop
checking for /opt/local/bin/ld option to reload object files... -r
checking for objdump... objdump
checking how to recognize dependent libraries... pass_all
checking for dlltool... no
checking how to associate runtime and link libraries... printf %s\n
checking for ar... ar
checking for archiver @file support... no
checking for strip... strip
checking for ranlib... ranlib
checking command to parse /usr/bin/nm -B output from gcc object... ok
checking for sysroot... no
checking for mt... no
checking if : is a manifest tool... no
checking for dsymutil... dsymutil
checking for nmedit... nmedit
checking for lipo... lipo
checking for otool... otool
checking for otool64... no
checking for -single_module linker flag... yes
checking for -exported_symbols_list linker flag... yes
checking for -force_load linker flag... yes
checking how to run the C preprocessor... gcc -E
checking for ANSI C header files... yes
checking for sys/types.h... yes
checking for sys/stat.h... yes
checking for stdlib.h... yes
checking for string.h... yes
checking for memory.h... yes
checking for strings.h... yes
checking for inttypes.h... yes
checking for stdint.h... yes
checking for unistd.h... yes
checking for dlfcn.h... yes
checking for objdir... .libs
checking if gcc supports -fno-rtti -fno-exceptions... no
checking for gcc option to produce PIC... -fno-common -DPIC
checking if gcc PIC flag -fno-common -DPIC works... yes
checking if gcc static flag -static works... no
checking if gcc supports -c -o file.o... yes
checking if gcc supports -c -o file.o... (cached) yes
checking whether the gcc linker (/opt/local/bin/ld) supports shared libraries... yes
checking dynamic linker characteristics... darwin17.7.0 dyld
checking how to hardcode library paths into programs... immediate
checking for dlopen in -ldl... yes
checking whether a program can dlopen itself... yes
checking whether a statically linked program can dlopen itself... yes
checking whether stripping libraries is possible... yes
checking if libtool supports shared libraries... yes
checking whether to build shared libraries... yes
checking whether to build static libraries... yes
checking for bison... bison -y
checking whether we are using the GNU C compiler... (cached) yes
checking whether gcc accepts -g... (cached) yes
checking for gcc option to accept ISO C89... (cached) none needed
checking whether gcc understands -c and -o together... (cached) yes
checking dependency style of gcc... (cached) gcc3
checking for g++... g++
checking whether we are using the GNU C++ compiler... yes
checking whether g++ accepts -g... yes
checking dependency style of g++... gcc3
checking how to run the C++ preprocessor... g++ -E
checking for ld used by g++... /opt/local/bin/ld
checking if the linker (/opt/local/bin/ld) is GNU ld... no
checking whether the g++ linker (/opt/local/bin/ld) supports shared libraries... yes
checking for g++ option to produce PIC... -fno-common -DPIC
checking if g++ PIC flag -fno-common -DPIC works... yes
checking if g++ static flag -static works... no
checking if g++ supports -c -o file.o... yes
checking if g++ supports -c -o file.o... (cached) yes
checking whether the g++ linker (/opt/local/bin/ld) supports shared libraries... yes
checking dynamic linker characteristics... darwin17.7.0 dyld
checking how to hardcode library paths into programs... immediate
checking whether SSE2 features are available... yes
checking whether SSE3 features are available... yes
checking for utan in -lultim... yes
checking MathLib.h usability... no
checking MathLib.h presence... no
checking for MathLib.h... no
configure: error: Header MathLib.h not found
MacBook-Pro-10:GAOL-master $ ll /usr/local/include | grep MathLib.h
-rw-r--r--@ 1 root admin 5187 30 nov 11:00 MathLib.h
MacBook-Pro-10:GAOL-master $

Je ne sais pas où il cherche MathLib mais visiblement pas dans /usr/local alors qu'a priori ça devrait être là non ?
J'ai essayé d'ajouter --includedir=/usr/local/include à configure mais sans surprise ça ne change rien puisque c'est la dir par défaut.

[raphaelchenouard]

Dans le processus d'installation standard, ces bibliothèques sont installées automatiquement par ibex. Il me semble que sur mac-intel ça marche bien avec cmake .. -DLP_LIB=soplex.

Concernant l'installation de gaol, pourquoi es-tu root? Essaye de faire le configure sans le sudo, car ce n'est pas sûr que le root ait les mêmes variables d'environnement que l'utilisateur standard.
Question naive au cas où, as-tu vérifié que Mathlib.h était bien dans /usr/local/include ?

[Waingro13]

Bon, puisque ces libs sont dans ibex pourquoi m'as-tu donne une ligne ou tu vas les chercher ailleurs ?
J'ai donc detruit lesdites libs, telechargé "ibex-lib-master.zip" et repris la ligne que tu me donnes en enlevant ce qui me paraissait devoir etre enleve : sudo cmake .. -DLP_LIB=soplex -DINTERVAL_LIB=gaol -DCMAKE_INSTALL_PREFIX=/usr/local
Et meme resultat que d'habitude, a savoir erreur a l'edition de liens.
Juste une question comme ça : ton script impose cette m... de Apple Clang comme compilo, y compris si on le cache d'ailleurs, et je n'ai pas trouve comment imposer gcc comme compilo. J'ai perdu suffisament de jours dans ma vie a cause de cette m.... pour ne plus jamais utiliser clang, qui genere a peu tout ce qu'un compilo peut generer comme emmerdements a un developpeur. D'ailleurs mathlib utilise gcc et non clang, comme quoi les gens d'IBM ont au loins compris ça.
Est-il possible d'eviter que ton script impose clang, histoire de voir si ca ne marcherait pas mieux ?

[raphaelchenouard]

Est-ce que tu peux utiliser un langage plus adapté, stp ?

Tu n'as toujours pas répondu à ma première question, à savoir quelle est ta configuration ?

Je suis désolé, mais tu ne sembles pas bien comprendre ce que tu es en train de faire. Si tu veux explicitement utiliser gcc à la place de clang, c'est très simple et supporté par cmake (en fait, il se contente de prendre le compilateur par défaut sur ta propre machine).
La compilation de la quasi-totalité des bibliothèques C/C++ qui s'appuient sur un makefile un peu générique (donc aussi avec cmake) utilisent les variables d'environnement CC et CXX afin de définir le compilateur utilisé : https://www.gnu.org/software/make/manual/make.html#Implicit-Variables
Je te laisse regarder également ici pour voir comment définir ces variables pour utiliser gcc avant de lancer cmake, ne connaissant pas ta version : https://stackoverflow.com/questions/17275348/how-to-specify-new-gcc-path-for-cmake

Si tu ne veux pas t'embêter avec tout ça, je te proposais tout à l'heure d'installer ibex via homebrew, même si ça fait quelque temps que je n'ai pas testé. L'installation sera au moins aussi simple qu'avec macports (brew install ibex), mais il faut installer homebrew au préalable : https://brew.sh/ (pour le désinstaller, il suffit de supprimer le dossier où il s'est installé, normalement /opt/homebrew).
Si cela ne marche pas, tu auras perdu 2 minutes seulement... Par contre, je ne suis pas sûr que tu puisses demander à homebrew d'installer ibex avec gcc.