From 203ce22370a7371c3c1f3bdeaac2a0609958bcd9 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Tesla=20I=2E=20Zhang=E2=80=AE?= Date: Wed, 8 Jun 2022 23:26:18 -0400 Subject: [PATCH] Try to build Agda 2.6.2.2 (#1) --- Dockerfile | 8 +++----- 1 file changed, 3 insertions(+), 5 deletions(-) diff --git a/Dockerfile b/Dockerfile index 4cd94ba..68547ca 100644 --- a/Dockerfile +++ b/Dockerfile @@ -14,25 +14,23 @@ RUN set -ex; \ cabal install \ alex \ happy \ - Agda-2.6.0.1 \ + Agda-2.6.2.2 \ ; ENV PATH=/opt/agda/bin:$PATH # Install standard-library and cubical RUN set -ex; \ - git clone --depth 1 --branch v1.0.1 https://github.com/agda/agda-stdlib.git /opt/agda/agda-stdlib; \ + git clone --depth 1 --branch v1.7.1 https://github.com/agda/agda-stdlib.git /opt/agda/agda-stdlib; \ cd /opt/agda/agda-stdlib; \ cabal install; \ # Type check all files in standard-library so that it doesn't need to be checked on every user submission. dist/build/GenerateEverything/GenerateEverything; \ agda -i. -isrc Everything.agda; \ - git clone https://github.com/agda/cubical /opt/agda/cubical; \ + git clone --depth 1 --branch v0.3 https://github.com/agda/cubical /opt/agda/cubical; \ cd /opt/agda/cubical; \ # Use a version before the change incompatible with v2.6.0. https://github.com/agda/cubical/issues/145 - git checkout b1fddc15b80ed9569224b8a1461ae5f879dab826; \ make; - FROM alpine:3.9 RUN apk add --no-cache \ libffi \