INSTALL

   1 This text assumes that all projects are to be installled
   2 in /home/sven/loop/
   3
   4 To be able to compile isa you need several standard tools such
   5 as pkg-config, bison and flex which may not be installed by default.
   6 To generate configure scripts you also need autoconf, automake and libtool.
   7
   8 If you are installing on Ubuntu (raring or newer), then you can install
   9 the packages
  10 libgmp3-dev, libyaml-dev, libntl-dev, libxml2-dev and libclang-dev
  11 and then you can go straight to the installation of syck and isa
  12 below.
  13
  14 get GMP from http://gmplib.org/ if not already installed
  15 cd <dir>
  16         ./configure --prefix=/home/sven/loop/
  17         make
  18         make check
  19         make install
  20
  21 get libyaml from http://pyyaml.org/wiki/LibYAML
  22 cd <dir>
  23         ./configure --prefix=/home/sven/loop/
  24         make
  25         make install
  26         cd ..
  27
  28 get NTL from http://shoup.net/ntl/
  29 cd <dir>
  30         cd src
  31         ./configure NTL_GMP_LIP=on PREFIX=/home/sven/loop/
  32         make
  33         make check
  34         make install
  35         cd ../..
  36
  37 get libxml2-2.9.1.tar.gz  from ftp://xmlsoft.org/libxml2/
  38 cd <dir>
  39         ./configure --prefix=/home/sven/loop/
  40         make
  41         make check      # requires download of separate tests
  42         make install
  43         cd ..
  44
  45 get 'Clang Binaries for ...' (version 2.9 or higher) from
  46         http://llvm.org/releases/download.html
  47 see pet/README for more detailed information
  48
  49 get syck 0.55 from external/syck-0.55.tar.gz
  50 cd <dir>
  51         ./configure --prefix=/home/sven/loop/
  52         make
  53         make install
  54         cd ..
  55
  56 git clone git://repo.or.cz/isa.git
  57 cd <dir>
  58         # the first two steps can be skipped if you downloaded a tar ball
  59         ./get_submodules.sh
  60         ./autogen.sh
  61         ./configure --prefix=/home/sven/loop/ \
  62                 --with-syck=/home/sven/loop/ \
  63                 --with-ntl-prefix=/home/sven/loop/ \
  64                 --with-gmp-prefix=/home/sven/loop/ \
  65                 --with-libxml2=/home/sven/loop/ \
  66                 --with-libyaml-prefix=/home/sven/loop/ \
  67                 --with-clang-prefix=/home/sven/loop/
  68         make