From 310b7b197fe6f4253557e4fbffff5374b7b1effc Mon Sep 17 00:00:00 2001 From: Matthew Faltys Date: Fri, 6 Dec 2019 16:40:19 +0000 Subject: [PATCH] Add compiletime option --- deps/Dockerfile | 1 + 1 file changed, 1 insertion(+) diff --git a/deps/Dockerfile b/deps/Dockerfile index 54cd733..17c75de 100644 --- a/deps/Dockerfile +++ b/deps/Dockerfile @@ -35,6 +35,7 @@ RUN cd NetHack && \ sys/unix/setup.sh sys/unix/hints/linux && \ sed -i '/POSTINSTALL=/d' Makefile && \ sed -i 's/.*-DSYSCF -DSYSCF_FILE=.*/CFLAGS+=-DSECURE/' Makefile && \ + sed -i 's/#CFLAGS+=-DSCORE_ON_BOTL/CFLAGS+=-DSCORE_ON_BOTL/' Makefile && \ cat Makefile && \ make all && \ make install