INSTALL

   1 # Pluto INSTALL
   2 #
   3 # Thu Dec 13 02:13:01 EST 2007
   4 #
   5 # Uday Bondhugula
   6 # uday@csa.iisc.ernet.in
   7 #
   8
   9
  10 REQUIREMENTS
  11
  12 A Linux distribution. Pluto has been tested on x86 and x86-64 machines
  13 running Fedora Core, Ubuntu, and RedHat  Enterprise Server
  14 5.x. Solaris should also be fine if you have GNU utilities. In order to use
  15 the development version from Pluto's git repository, automatic build system
  16 tools including autoconf, automake, and libtool are needed. GMP (GNU multi
  17 precision arithmetic library) is needed by ISL (one of the included
  18 libraries). If it's not already on your system, it can be installed easily
  19 with, for eg., 'sudo yum -y install gmp gmp-devel' on a Fedora, or
  20 'sudo apt-get install libgmp3-dev' on an Ubuntu.
  21
  22
  23 QUICK INSTALL
  24
  25 $ tar zxvf pluto-0.11.4.tgz
  26 $ cd pluto-0.11.4/
  27 $ ./configure
  28 $ make
  29
  30 configure can be provided --with-isl-prefix=<isl install location> to
  31 build with another isl, otherwise the bundled isl is used.
  32
  33 * polycc is the script wrapper around src/pluto and all other components,
  34 and it is the one to run. libpluto.{so,a} can be found in src/.libs/ and can
  35 be installed at the installation prefix (/usr/local default) with
  36 'make install'. Please refer to the README for more details.
  37
  38 * --with-isl-prefix=<location> to compile and link with an already installed
  39 isl. By default, the version of isl bundled with Pluto will be used.