From aa024952b34c4b799942efddd620f0498414e517 Mon Sep 17 00:00:00 2001 From: Justin Ethier Date: Wed, 11 Dec 2019 14:14:13 -0500 Subject: [PATCH] Do not use install.sh --- Dockerfile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Dockerfile b/Dockerfile index 9b8a2b87..0ae11e89 100644 --- a/Dockerfile +++ b/Dockerfile @@ -6,6 +6,6 @@ ENV CYCLONE_VERSION v0.11.7 RUN apt update -y RUN apt install -y build-essential git rsync texinfo libtommath-dev libck-dev make gcc -RUN git clone https://github.com/justinethier/cyclone-bootstrap && cd cyclone-bootstrap && git fetch -a && git checkout ${CYCLONE_VERSION} && ./install.sh +RUN git clone https://github.com/justinethier/cyclone-bootstrap && cd cyclone-bootstrap && git fetch -a && git checkout ${CYCLONE_VERSION} && make && make install CMD ["icyc"]