FROM ubuntu:18.04 RUN apt-get update && apt-get install -y make autoconf automake libtool pkg-config clang wget gettext zlib1g-dev libgslcblas0 libgsl-dev ADD http://mirror.keystealth.org/gnu/pspp/pspp-1.0.1.tar.gz pspp-1.0.1.tar.gz ADD http://savannah.gnu.org/bugs/download.php?file_id=45014 test-case-54663 ADD http://savannah.gnu.org/bugs/download.php?file_id=45042 test-case-54684 RUN tar zxvf pspp-1.0.1.tar.gz && cd ./pspp-1.0.1 && ./configure --without-gui --without-cairo && make CFLAGS="-g -O0 -fsanitize=address" ENTRYPOINT ["/pspp-1.0.1/src/ui/terminal/pspp"]