From fda3f8cb4a2f61f688a4c5648bb38dd19718b74c Mon Sep 17 00:00:00 2001 From: Arnaud Giersch Date: Thu, 25 Oct 2012 10:33:48 +0200 Subject: [PATCH 1/1] Install lua and graphviz-dev for debian too. --- buildtools/pipol/rc.debian | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/buildtools/pipol/rc.debian b/buildtools/pipol/rc.debian index 3507fce720..3285d37102 100644 --- 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------------------------------------" -- 2.20.1