Ubuntu packages for COSTA

Ubuntu 9.10

There is a private repository containing the following packages:
  • costa-recommended: This package will install all the dependencies that are needed to work in the COSTA Team. It is only intended for developers
  • costa: This is the main costa package.
  • libppl-swi: This package contains the PPL library compiled for SWI Prolog. Installing this package, it is not necessary to compile PPL from the sources. This package has been imported from its Debian version
To add this packages to your system, you need:
  • To add the private repository to your list of package sources. To do so, add the following line to your /etc/apt/sources.list file (editing it as root)
    deb http://costa.ls.fi.upm.es/ubuntu karmic main
  • Update your list of packages, running the following command
    sudo apt-get update
  • Install the packages
    sudo apt-get install costa costa-recommended

Packages for Ubuntu 9.04

Follow the above instructions. Substitute all the occurrences of "karmic" by "jaunty". >

Quick Links