# cloog --version The program 'cloog' is currently not installed. You can install it by typing: apt-get install libcloog-ppl-dev
# sudo apt-get install libcloog-ppl-dev Reading package lists... Done Building dependency tree Reading state information... Done
The following extra packages will be installed:
- libcloog-ppl0
- libgmp3-dev
- libgmpxx4ldbl
- libppl-c2
- libppl0.10-dev
- libppl7
Suggested packages:
- libgmp3-doc
- libmpfr-dev
- libppl-doc
The following NEW packages will be installed:
- libcloog-ppl-dev
- libcloog-ppl0
- libgmp3-dev
- libgmpxx4ldbl
- libppl-c2
- libppl0.10-dev
- libppl7
0 upgraded, 7 newly installed, 0 to remove and 1 not upgraded. Need to get 5,358kB of archives. After this operation, 21.0MB of additional disk space will be used. Do you want to continue [Y/n]?
Dawnloudiŋ[]
- Get: http://us.archive.ubuntu.com/ubuntu/ lucid/main libgmpxx4ldbl 2:4.3.2+dfsg-1ubuntu1 [19.0kB]
- Get: http://us.archive.ubuntu.com/ubuntu/ lucid/main libppl7 0.10.2-6ubuntu1 [368kB]
- Get: http://us.archive.ubuntu.com/ubuntu/ lucid/main libppl-c2 0.10.2-6ubuntu1 [1,280kB]
- Get: http://us.archive.ubuntu.com/ubuntu/ lucid/main libppl0.10-dev 0.10.2-6ubuntu1 [2,848kB]
- Get: http://us.archive.ubuntu.com/ubuntu/ lucid/main libgmp3-dev 2:4.3.2+dfsg-1ubuntu1 [672kB]
- Get: http://us.archive.ubuntu.com/ubuntu/ lucid/main libcloog-ppl0 0.15.8-1 [62.2kB]
- Get: http://us.archive.ubuntu.com/ubuntu/ lucid/main libcloog-ppl-dev 0.15.8-1 [109kB]
Fetched 5,358kB in 3s (1,597kB/s)
Instoliŋ[]
(Reading database ... 154672 files and directories currently installed.)
Selecting previously deselected package libgmpxx4ldbl. Unpacking libgmpxx4ldbl (from .../libgmpxx4ldbl_2%3a4.3.2+dfsg-1ubuntu1_amd64.deb) ...
Selecting previously deselected package libppl7. Unpacking libppl7 (from .../libppl7_0.10.2-6ubuntu1_amd64.deb) ...
Selecting previously deselected package libppl-c2. Unpacking libppl-c2 (from .../libppl-c2_0.10.2-6ubuntu1_amd64.deb) ...
Selecting previously deselected package libppl0.10-dev. Unpacking libppl0.10-dev (from .../libppl0.10-dev_0.10.2-6ubuntu1_amd64.deb) ...
Selecting previously deselected package libgmp3-dev. Unpacking libgmp3-dev (from .../libgmp3-dev_2%3a4.3.2+dfsg-1ubuntu1_amd64.deb) ...
Selecting previously deselected package libcloog-ppl0. Unpacking libcloog-ppl0 (from .../libcloog-ppl0_0.15.8-1_amd64.deb) ...
Selecting previously deselected package libcloog-ppl-dev. Unpacking libcloog-ppl-dev (from .../libcloog-ppl-dev_0.15.8-1_amd64.deb) ...
Setiŋ[]
Processing triggers for man-db ... Processing triggers for install-info ... Setting up libgmpxx4ldbl (2:4.3.2+dfsg-1ubuntu1) ... Setting up libppl7 (0.10.2-6ubuntu1) ... Setting up libppl-c2 (0.10.2-6ubuntu1) ... Setting up libppl0.10-dev (0.10.2-6ubuntu1) ... Setting up libgmp3-dev (2:4.3.2+dfsg-1ubuntu1) ... Setting up libcloog-ppl0 (0.15.8-1) ... Setting up libcloog-ppl-dev (0.15.8-1) ... Processing triggers for libc-bin ... ldconfig deferred processing now taking place /sbin/ldconfig.real: /usr/local/lib/libisl.so.10.1.1-gdb.py is not an ELF file - it has the wrong magic bytes at the start.