Fix relic.

images/relic/README.md

@@ -9,6 +9,7 @@ In this image:
 * libgtest (from source)
 * make
 * cmake
+* gdb
 * pip
 * gcovr
 * libgbenchmark (from source)

images/relic/setup.sh

@@ -3,7 +3,7 @@
 set -e
 
 apt-get update
-apt-get install -y --no-install-recommends build-essential libgmp-dev libssl-dev libpthread-stubs0-dev cmake python3-pip git libboost-all-dev
+apt-get install -y --no-install-recommends build-essential libgmp-dev libssl-dev libpthread-stubs0-dev cmake python3-pip git libboost-all-dev gdb
 
 # Relic (no idea why but we need cmake from latest master but code from released v6...)
 cd /tmp/
@@ -15,9 +15,6 @@ mkdir relic-sym
 cd relic-sym
 cmake -DLABEL=sym ..
 ../preset/gmp-pbc-ss1536.sh ../
-git checkout 0.6.0
-cmake -DLABEL=sym ..
-../preset/gmp-pbc-ss1536.sh ../
 make
 make install
 cd ..
@@ -27,9 +24,6 @@ cd relic-asym
 git checkout 6b90545
 cmake -DLABEL=asym ..
 ../preset/gmp-pbc-bn254.sh ../
-git checkout 0.6.0
-cmake -DLABEL=asym ..
-../preset/gmp-pbc-bn254.sh ../
 make
 make install
 cd ~