A DREAMER development wiki | Main / DistroSetup

Here's a bit of information on how to install the DREAMER tools on a number of distributions.

CentOS 6

First, you'll want to install a sane toolchain for RedHat -- I'm never going to support GCC-4.4 because I use a whole bunch of C++11 features that it doesn't appear to support (possibly because it was released before 2011?). Luckily, RedHat packages newer versions of the tools (but makes them really hard to find)

$ sudo yum-config-manager --add-repo http://springdale.math.ias.edu/data/puias/DevToolset/6.5/x86_64/
$ wget http://puias.princeton.edu/data/puias/6/x86_64/os/RPM-GPG-KEY-puias
$ sudo rpm --import RPM-GPG-KEY-puias
$ sudo yum install devtoolset-2-git
$ sudo yum install devtoolset-2-gcc
$ sudo yum install devtoolset-2-gcc-c++
$ sudo yum install devtoolset-2-binutils
$ sudo yum install gmp-devel

Now you're going to want to add the following lines to you /etc/profile in order to make the new tools the default

source CC=/opt/rh/devtoolset-2/enable
export PKG_CONFIG_PATH=/usr/local/lib/pkgconfig

At this point you should have all the build-time dependencies. Note that you don't have LLVM, so you can't actually run the tests. You can install the DREAMER tools to /opt/dreamer-tools (the recommended location) by running the following

$ git clone git://github.com/palmer-dabbelt/dreamer-tools.git
$ cd dreamer-tools
$ ./update.bash --prefix /opt/dreamer-tools

You can enable the DREAMER tools by default by adding the following to your /etc/profile

source /opt/dreamer-tools/enter

At this point you should be able to run the DREAMER tools, but you won't be able to run the test cases. You need two additional programs in order to make the tests run: Scala and LLVM.

To install LLVM you'll need to download the sources from their website and unpack them. Then configure the build with the following command-line, which tells Clang to use the GCC headers from devtoolset.

./configure --prefix=/opt/llvm/llvm-3.4/ --with-gcc-toolchain=/opt/rh/devtoolset-2/root/usr

Scala needs to be installed from their website as a binary package: http://www.scala-lang.org/download/2.10.4.html

$ wget http://www.scala-lang.org/files/archive/scala-2.10.4.rpm
$ sudo rpm -i scala-*.rpm

SBT is availiable from their website as a binary package: http://www.scala-sbt.org/release/tutorial/Installing-sbt-on-Linux.html

$ sudo yum install java-devel
$ wget http://dl.bintray.com/sbt/rpm/sbt-0.13.5.rpm
$ sudo rpm -i sbt-*.rpm

BWRC Red Hat

../gmp-6.0.0/configure --prefix=$HOME/dreamer-tools-dev --enable-cxx --libdir=$HOME/dreamer-tools-dev/lib64
cp .libs/libgmpxx.* ~/dreamer-path-dev/lib64/

Gentoo

$ layman --add palmer
$ emerge flo-mwe flo-llvm vcddiff

Ubuntu

$ sudo apt-add-repository ppa:palmerdabbelt/personal
$ sudo apt-add-repository ppa:palmerdabbelt/scala
$ sudo apt-get update
$ sudo apt-get install flo-mwe flo-llvm vcddiff

Debian

Create /etc/apt/sources.list.d/palmerdabbelt-scala.list with the following contents:

deb http://ppa.launchpad.net/palmerdabbelt/scala/ubuntu precise main
deb-src http://ppa.launchpad.net/palmerdabbelt/scala/ubuntu precise main

Create /etc/apt/sources.list.d/llvm-toolchain-wheezy.list with the following contents:

deb http://llvm.org/apt/wheezy/ llvm-toolchain-wheezy main
deb-src http://llvm.org/apt/wheezy/ llvm-toolchain-wheezy main

Run the following commands to install the necessary dependencies of the DREAMER tools

$ sudo apt-key adv --keyserver keyserver.ubuntu.com --recv-keys 4EE702804AE547CB
$ sudo apt-key adv --keyserver pgp.mit.edu --recv-keys 15CF4D18AF4F7421
$ sudo apt-get update
$ sudo apt-get install clang-3.5 git build-essential pkg-config

Now build and install the DREAMER tools themselves from source

$ git clone git://github.com/palmer-dabbelt/dreamer-tools.git
$ cd dreamer-tools
$ ./update.bash --prefix /opt/dreamer-tools

You can enable the DREAMER tools by running

source /opt/dreamer-tools/enter

libxml-libxml-perl is also required for the fancy layer-based SVG animation-ish things on some presentations.

Arch Linux

Packages are available in the AUR. You might find it easiest to use an AUR helper such as packer.

curl https://aur.archlinux.org/packages/pa/packer/packer.tar.gz -o packer.tar.gz
tar xf packer.tar.gz
cd packer
makepkg -si
packer -S flo-llvm flo-mwe vcddiff

In order to run the tests, you'll need scala-2.10.4, which can be obtained from the official Scala website.

Mac OSX

If you don't have homebrew then install it by following the instructions on their website http://brew.sh/. You can then install the DREAMER packages by running the following commands:

$ brew tap palmer-dabbelt/palmer
$ brew install flo-mwe
$ brew install flo-llvm
$ brew install vcddiff