Use zip for the artifact because HotCRP

Author: tchajed

artifact/.gitignore

@@ -1,2 +1,2 @@
 README.html
-30.tar.gz
+argosy-artifact.zip

artifact/checksum.sh

@@ -6,7 +6,7 @@ set -e
 
 echo "The artifact provides an option of using a VM argosy-vm.ova for dependencies; its md5 is also below."
 echo '```'
-md5sum 30.tar.gz
+md5sum argosy-artifact.zip
 cd vm/argosy-vm-ova
 md5sum argosy-vm.ova
 echo '```'

artifact/prepare.sh

@@ -4,6 +4,7 @@
 
 src="$1"
 out="/tmp/argosy-artifact"
+out_dir="$PWD"
 
 if [ -z "$src" ]; then
   echo "Usage: $0 <path to argosy src>"
@@ -22,9 +23,16 @@ pushd "$out"
 tar -xf argosy.tar.gz
 rm argosy.tar.gz
 
+# package up the rest of the artifact
 cp "$src/artifact/README.html" ./
 cp "$src/artifact/loc.sh" ./
 popd
 find "$out" -type f -name '._*' -delete
-tar -czvf "30.tar.gz" -C $(dirname "$out") $(basename "$out")
+
+# Note that the uploaded artifact needs to be a zip file because HotCRP
+# doesn't preserve the tar part of the filename for compressed tarballs.
+pushd "$out/.."
+rm -f "$out_dir/argosy-artifact.zip"
+zip -r "$out_dir/argosy-artifact.zip" $(basename "$out")
+popd
 rm -r "$out"

artifact/vm/scripts/setup.sh

@@ -4,7 +4,7 @@ set -e
 
 ## install dependencies
 # artifact dependencies
-sudo apt-get install -y opam cloc sqlite3
+sudo apt-get install -y opam cloc sqlite3 zip
 # conveniences for VM
 sudo apt-get install -y virtualbox-guest-dkms virtualbox-guest-utils virtualbox-guest-utils vim firefox
 
@@ -21,11 +21,11 @@ opam install -j2 -y coq.8.9.0
 ## set up artifact
 # we do a build first to set up the stack cache
 cd /tmp
-tar -xf /tmp/argosy-artifact.tar.gz
+unzip /tmp/argosy-artifact.zip
 cd /tmp/argosy-artifact/argosy
 make -j2
 cd logging-client
 stack test
 
 cd ~/
-tar -xf /tmp/argosy-artifact.tar.gz
+unzip /tmp/argosy-artifact.zip

artifact/vm/ubuntu-desktop.json

@@ -78,7 +78,7 @@
     },
     {
       "type": "file",
-      "source": "../30.tar.gz",
+      "source": "../argosy-artifact.tgz",
       "destination": "/tmp/argosy-artifact.tar.gz"
     },
     {