Wo finde ich “gmp.h”?

Lesezeit: 3 Minuten

Benutzeravatar von SoftTimur
SoftTimur

Ich installiere eine Bibliothek und erhalte diese Fehlermeldung:

xxxx@ubuntu$ make
(cd num; make all)
make[1]: Entering directory `/home/xxxx/num'
make[1]: Nothing to be done for `all'.
make[1]: Leaving directory `/home/xxxx/num'
(cd itv; make all)
make[1]: Entering directory `/home/xxxx/itv'
gcc -Wcast-qual -Wswitch -Werror-implicit-function-declaration -Wall -Wextra -Wundef -Wbad-function-cast -Wcast-align -Wstrict-prototypes -Wno-unused -std=c99 -U__STRICT_ANSI__ -O3 -DNDEBUG -I../num -I../apron -I/usr/include -I/usr/include -DNUM_MPQ -c -o itvMPQ.o itv.c
In file included from itv.h:9:0,
             from itv.c:5:
../num/num.h:15:17: fatal error: gmp.h: No such file or directory
compilation terminated.
make[1]: *** [itvMPQ.o] Error 1
make[1]: Leaving directory `/home/xxxx/itv'
make: *** [c] Error 2

Das Problem ist also, dass es nicht gefunden werden kann gmp.h, weiß jemand, wo sich diese Datei befindet und wie man sie vom Installationsprogramm findet? Übrigens, im Moment meine Makefile weist hauptsächlich auf /usr und /usr/local

Bearbeiten1: Nach der Installation libgmp3-dev wie vorgeschlagen ist die aktuelle fehlermeldung ../num/num.h:16:18: fatal error: mpfr.h: No such file or directoryweiß jemand um welches Paket es sich handelt?

Bearbeiten2: Ich habe installiert MPFR indem Sie dies befolgen Seiteund das hat geholfen, jetzt kommt die Fehlermeldung gmp_caml.c:17:33: fatal error: caml/camlidlruntime.h: No such file or directorykann jemand helfen?

Bearbeiten3: Ich habe getan apt-file search camlidlruntimeund es kehrt zurück camlidl: /usr/lib/ocaml/caml/camlidlruntime.haber es gibt keinen camlidlruntime.h in meinem Ordner /usr/lib/ocaml/caml/wie könnte ich überprüfen, ob ich installiert habe dev package of MPFR? und um welches Paket geht es genau?

Sie müssen libgmp3-dev installieren

hängt von deinem Linux ab

yum install  libgmp3-dev

apt-get install  libgmp3-dev

  • Vielen Dank für Ihre Antwort … das hat geholfen … jetzt ist der Fehler ../num/num.h:16:18: fatal error: mpfr.h: No such file or directoryalso weißt du, um welches Paket es sich handelt?

    – SoftTimur

    8. September 2011 um 16:49 Uhr

  • Bitte stellen Sie sicher, dass Sie alle erforderlichen Bibliotheken haben. Sie müssen GNU MPFR entsprechend dem Fehler installieren.

    – Vivek Goel

    8. September 2011 um 16:51 Uhr

  • Wenn Sie einige Zeit mit dem Googeln nach dem Dateinamen verbringen, finden Sie den Paketnamen für Ihre Datei.

    – Vivek Goel

    8. September 2011 um 18:14 Uhr

  • In Centos 6.5 ist es: sudo yum install gmp gmp-devel gmp-status . Suchen Sie einfach nach gmp in yum .

    – Nischant

    9. Dezember 2013 um 10:04 Uhr

  • @thedayturns Danke für die Aussage. Ich habe dies als Antwort hinzugefügt.

    – Nischant

    22. März 2016 um 3:47 Uhr

Gehen Sie unter OS X (wenn Sie Homebrew verwenden) wie folgt vor:

brew install gmp

In Centos 6.5 ist es sudo yum install gmp gmp-devel gmp-status.

ProTip: Suchen Sie einfach nach gmp in yum und sehen Sie sich auch den Befehl yum an.

  • sollte sudo yum lesen gmp installieren gmp-devel gmp-static not gmp-status hat danach für mich funktioniert und konnte auf Centos 7 kompilieren, danke!

    – Peter Edwards

    13. März 2019 um 14:41 Uhr

Benutzeravatar von Valentin Montmirail
Valentin Montmirail

Da es vorkommen kann, dass Sie diese Bibliothek aus irgendeinem Grund im 32-Bit-Format benötigen (wie bei mir)

Sie müssen (auf einem Ubuntu/Debian) Folgendes ausführen:

apt-get install  libgmp3-dev:i386

das Suffix :i386 Hinter jeder Bibliothek wird die 32-Bit-Version davon installiert.

Ich habe viel recherchiert und konnte hue schließlich mit den folgenden Umgebungsvariablen kompilieren:

    export CPFLAGS="-I/usr/local/include/gmp.h -I/usr/local/opt/openssl/include"
    export CFLAGS="-I/usr/local/include/gmp.h"
    export CXXFLAGS="-I/usr/local/include/gmp.h"
    export LDFLAGS="-L/usr/local/lib -L/usr/local/opt/openssl/lib"

    export PKG_CONFIG_PATH="/usr/local/opt/openssl/lib/pkgconfig"

Benutzeravatar von slfan
sfan

Bei mir hat das funktioniert:-

apt-get install  libgmp3-dev   (Might vary in linux distro; this is for Ubuntu)
pip3 install gmpy --user

Benutzeravatar von JIGOD UNIVERSAL
JIGOD UNIVERSAL

Das mag etwas dumm klingen: Immer wenn ich einen Fehler bekam, habe ich einfach Folgendes getan:
sudo apt-get install lib<name_of_library_not_found>-dev
und es löste irgendwie das Problem. Weiß nicht wie, irgendetwas mit Entwicklerbibliotheken oder so etwas zu tun

1417200cookie-checkWo finde ich “gmp.h”?

This website is using cookies to improve the user-friendliness. You agree by using the website further.

Privacy policy