8.24. ISL-0.27

ISL er et trådsikkert C-bibliotek for å manipulere sett og relasjoner av heltallspunkter avgrenset av affine begrensninger.

Omtrentlig byggetid: 0.1 SBU
Nødvendig diskplass: 20 MB

8.24.1. Installasjon av ISL

Klargjør ISL for kompilering:

./configure --prefix=/usr    \
            --disable-static \
            --docdir=/usr/share/doc/isl-0.27

Betydningen av de nye konfigurasjonsalternativene:

--docdir=/usr/share/doc/isl-0.27

Denne variabelen angir riktig plassering for dokumentasjonen.

Kompiler pakken:

make

Installer pakken og dokumentasjonen:

make install
install -vd /usr/share/doc/isl-0.27
install -m644 doc/{CodingStyle,manual.pdf,SubmittingPatches,user.pod} \
        /usr/share/doc/isl-0.27

Til slutt, flytt en feilplassert fil:

mkdir -pv /usr/share/gdb/auto-load/usr/lib
mv -v /usr/lib/libisl*gdb.py /usr/share/gdb/auto-load/usr/lib

8.24.2. Innhold i ISL

Installerte biblioteker: libisl.so
Installert mappe: /usr/share/doc/isl-0.27

Korte beskrivelser

libisl

Inneholder funksjoner for manipulering av heltallssett