A
lgorithmique
N
umérique
D
istribuée
Public GIT Repository
projects
/
simgrid.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
| inline |
side by side
install libunwind for model-checking
[simgrid.git]
/
buildtools
/
pipol
/
rc.debian
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