Formale Methoden und Deduktion
Prof. Dr. J. Avenhaus

Um einfach mit langen Zahlen arbeiten zu können, wurde vom SCI die GMP-Bibliothek installiert. Die Dokumentation zur GMP steht lokal zur Verfügung. Für unsere Zwecke sind insbesondere Kapitel 5 und 3 interessant.

Um die Bibliothek mit dem Gnu-C- bzw. C++-Compiler (gcc/g++) verwenden zu können, verwenden Sie folgende Optionen:

• -I/opt/gnu/include um die Header-Datei zu finden;
• -L/opt/gnu/lib um die Bibliothek zu finden;
• -lgmp um die Bibliothek zum Programm dazuzulinken.

Ein Aufruf zum Erzeugen des Programms name aus der C-Datei name.c könnte also wie folgt aussehen:

gcc -o name -I/opt/gnu/include -L/opt/gnu/lib -lgmp name.c

Um das erzeugte Programm ausführen zu können, muss die Umgebungsvariable LD_LIBRARY_PATH den Pfad /opt/gnu/lib enthalten. In der C-Shell kann man dies erreichen durch

• setenv LD_LIBRARY_PATH /opt/gnu/lib, falls LD_LIBRARY_PATH bisher noch nicht gesetzt wurde;
• setenv LD_LIBRARY_PATH /opt/gnu/lib:$LD_LIBRARY_PATH, falls LD_LIBRARY_PATH schon gesetzt wurde.