From 0ed97b4c0e53a1e674423035d164985c86a30936 Mon Sep 17 00:00:00 2001
From: Martin Quinson <martin.quinson@loria.fr>
Date: Wed, 10 Oct 2012 09:49:18 +0200
Subject: [PATCH] install libunwind for model-checking

---
 buildtools/pipol/rc.debian | 1 +
 buildtools/pipol/rc.fedora | 3 +++
 buildtools/pipol/rc.ubuntu | 1 +
 3 files changed, 5 insertions(+)

diff --git a/buildtools/pipol/rc.debian b/buildtools/pipol/rc.debian
index 7d6668e927..3507fce720 100644
--- 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 31d923f8d1..ca2119a5d1 100644
--- 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 c5bf5cea45..3b54a1187b 100644
--- 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
-- 
2.20.1