Merge branch 'v3_8_x'

diff --git a/buildtools/pipol/rc.debian b/buildtools/pipol/rc.debian
index 3507fce..3285d37 100644 (file)
--- a/buildtools/pipol/rc.debian
+++ b/buildtools/pipol/rc.debian
@@ -9,6 +9,8 @@ sudo aptitude -y install valgrind
 sudo aptitude -y install f2c
 sudo aptitude -y install gcc-4.6
 sudo aptitude -y install g++-4.6
+sudo aptitude -y install graphviz-dev graphviz
+sudo aptitude -y install liblua5.1-dev lua5.1
 sudo aptitude -y install libpcre3-dev
 sudo aptitude -y install cmake
 sudo aptitude -y install libunwind7-dev
@@ -42,4 +44,4 @@ echo $which_perl
 echo $which_f2c
 echo $which_gcov
 echo $which_git
-echo "FIN------------------------------------"
\ No newline at end of file
+echo "FIN------------------------------------"