Setting up the Tol Debian/Ubuntu repository


Tags:

For those of you running a deb-packaged style Linux distribution, like Debian and Ubuntu, Tol-Project offers the possibility to install Tol from its own Debian packages repository.

In order to install and use the Tol binary distribution, you will need several other software packages, some of them are provided by your distribution and the rest are provided by the Tol-Project Debian repository.

1. The Repository

The repository contains the following packages under main section:

tol1.1.6 toltcl1.1.6 tolbase1.1.6 libtol1.1.6 libtol1.1.6-dev
tol1.1.5 toltcl1.1.5 tolbase1.1.5 libtol1.1.5 libtol1.1.5-dev
tolpgsql0 tolmysql0 tolodbc0
ziparch libziparch0 libziparch0-dev
tclodbc libtkdnd2.0 mkwidgets1.3
libsuitesparse libsuitesparse-dev

And in case you'd need the SuiteSparse Collection compiled with ParMetis support, are also provided libsuitesparse-metis libsuitesparse-metis-dev under contrib section.

The -dev packages contain header files, static libraries and the symbolic links needed to develop and compile programs that make use of that software. They are not needed to install the Tol binary.

2. GPG, APT and APT-KEY

Every package in the Tol-Project Debian repository has been signed to keep its authenticity. By default, apt will try to verify the sign getting the key from its apt keyring, and it will complain if the key is not there. To avoid this problem it is necessary to get the key with which the packages will be verified.

Open a shell prompt and become root either by typing the su command and its password, if you use Debian gnu/Linux, or by typing sudo -i and your user password, if you work with Ubuntu, and type the following command:

root@adenina:~# gpg --keyserver pgpkeys.mit.edu --recv-key 0D5056D0
root@adenina:~# gpg -a --export 0D5056D0 | apt-key add -

The PGP key will be added to the root key ring.

3. Modify the APT sources list

Just edit /etc/apt/sources.list file and in case you were using Debian Etch or Ubuntu 7.04/7.10 add the following line:

If you are using the last available Ubuntu LTS distribution, also known as Hardy Heron or Ubuntu 8.04 then you should add this other entry:

Save the file, and after doing the above you must update apt-get:

root@adenina:/etc/apt# apt-get update

Languages

User login

sponsored by

profit.pngminitc.png

Syndicate

Syndicate content