Tweak a few things for 2.9.0 (#833)

* Fix Dockerfile

* Include version number in CHANGES.md

* Update copyright dates

* Don't include cryptol-specs in release archives

* Remove duplicate copy of Programming Cryptol

.github/ci.sh

@@ -135,6 +135,7 @@ bundle_files() {
   doc=dist/share/doc/cryptol
   mkdir -p $doc
   cp -R examples/ $doc/examples/
+  rm -rf $doc/examples/cryptol-specs
   cp docs/*md docs/*pdf $doc
 
   # Copy the two interesting examples over

CHANGES.md

@@ -1,4 +1,4 @@
-# NEXT
+# 2.9.0
 
 ## Language changes
 

Dockerfile

@@ -43,8 +43,7 @@ FROM haskell:8.8 AS build
 
 RUN apt-get update && apt-get install -y libncurses-dev
 COPY --from=solvers /solvers/rootfs /
-RUN useradd -m cryptol \
-    && su -c '/opt/cabal/bin/cabal v2-update' cryptol
+RUN useradd -m cryptol
 COPY --chown=cryptol:cryptol . /cryptol
 USER cryptol
 WORKDIR /cryptol
@@ -54,6 +53,7 @@ ENV LANG=C.UTF-8 \
     LC_ALL=C.UTF-8
 COPY cabal.GHC-8.8.3.config cabal.project.freeze
 RUN mkdir -p rootfs/usr/local/bin
+RUN cabal v2-update
 RUN cabal v2-install --install-method=copy --installdir=rootfs/usr/local/bin exe:cryptol
 RUN cabal v2-install --install-method=copy --installdir=bin test-lib
 RUN ./bin/test-runner --ext=.icry --exe=./rootfs/usr/local/bin/cryptol -F -b tests

cryptol.cabal

@@ -8,7 +8,7 @@ Author:              Galois, Inc.
 Maintainer:          cryptol@galois.com
 Homepage:            http://www.cryptol.net/
 Bug-reports:         https://github.com/GaloisInc/cryptol/issues
-Copyright:           2013-2019 Galois Inc.
+Copyright:           2013-2020 Galois Inc.
 Category:            Language
 Build-type:          Simple
 Cabal-version:       1.18

docs/ProgrammingCryptol/preface/Notice.tex

@@ -8,7 +8,7 @@
   appear in this documentation. Of course, we appreciate bug reports
   and clarification suggestions.
 
-  Copyright 2003--2018 Galois, Inc. All rights reserved by Galois,
+  Copyright 2003--2020 Galois, Inc. All rights reserved by Galois,
   Inc.
 
   The software installed in accordance with this documentation is