Skip to content
Snippets Groups Projects

Install valgrind on deb9 for nofib

Merged Ben Gamari requested to merge nofib into master
1 file
+ 2
0
Compare changes
  • Side-by-side
  • Inline
@@ -22,6 +22,8 @@ RUN apt-get update -qq && apt-get install --no-install-recommends -qy \
xutils-dev \
# DWARF libraries
libdw1 libdw-dev \
# For nofib
valgrind \
# Documentation tools
python3-sphinx texlive-xetex texlive-latex-extra texlive-binaries texlive-fonts-recommended lmodern texlive-generic-extra \
cabal-install-2.4 ghc-8.4.4 \
Loading