#
# ICreals extension for iRRAM package
#

- Download and install GMPv3.1:
  ftp://ftp.sunet.se/pub/gnu/gmp/gmp-31.tar.gz

- Download and install iRRAM package by
  Norbert Mueller (mueller@uni-trier.de) v2000-08-22:
  http://www.informatik.uni-trier.de/iRRAM/realram-2000-08-22.tar.gz

- Copy the following files (part of iRRAMextension.tar.gz) in
  source directory of iRRAM distrubution (.../realram/src):
  Makefile
  functclass.h
  functclass.cc
  Makefile
  REALLIB.cc

- cd .../realram
  make clean
  make GMP
