install libunwind for model-checking

diff --git a/buildtools/pipol/rc.debian b/buildtools/pipol/rc.debian
index 7d6668e..3507fce 100644 (file)
--- a/buildtools/pipol/rc.debian
+++ b/buildtools/pipol/rc.debian
@@ -11,6 +11,7 @@ sudo aptitude -y install gcc-4.6
 sudo aptitude -y install g++-4.6
 sudo aptitude -y install libpcre3-dev
 sudo aptitude -y install cmake
+sudo aptitude -y install libunwind7-dev
 
 which_svn=`which svn`          #svn necessary
 which_gcc=`which gcc`          #gcc gcc necessary

diff --git a/buildtools/pipol/rc.fedora b/buildtools/pipol/rc.fedora
index 31d923f..ca2119a 100644 (file)
--- a/buildtools/pipol/rc.fedora
+++ b/buildtools/pipol/rc.fedora
@@ -1,5 +1,7 @@
 #!/bin/bash
 
+# find the package you need on https://admin.fedoraproject.org/pkgdb/
+
 sudo yum -y -q update
 
 sudo yum -y -q install gcc
@@ -15,6 +17,7 @@ sudo yum -y -q install f2c
 sudo yum -y -q install pcre-devel pcre-static
 sudo yum -y -q install git-core
 sudo yum -y -q install ruby ruby-devel
+sudo yum -y -q install libunwind
 
 which_svn=`which svn`          #svn necessary
 which_gcc=`which gcc`          #gcc gcc necessary

diff --git a/buildtools/pipol/rc.ubuntu b/buildtools/pipol/rc.ubuntu
index c5bf5ce..3b54a11 100644 (file)
--- a/buildtools/pipol/rc.ubuntu
+++ b/buildtools/pipol/rc.ubuntu
@@ -16,6 +16,7 @@ sudo apt-get -y -qq install libpcre3-dev
 sudo apt-get -y -qq install f2c
 sudo apt-get -y -qq install valgrind
 sudo apt-get -y -qq install git-core
+sudo apt-get -y -qq install libunwind7-dev
 
 which_svn=`which svn`          #svn necessary
 which_gcc=`which gcc`          #gcc gcc necessary