Commit e5171504 authored by Ben Gamari's avatar Ben Gamari 🐢

Install valgrind on deb9 for nofib

parent 85992cdc
......@@ -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 \
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment