From 82a881339d4d160fd8bd79784323fded58ee2653 Mon Sep 17 00:00:00 2001
From: Tej Chajed <tchajed@mit.edu>
Date: Fri, 22 Feb 2019 15:13:24 -0500
Subject: [PATCH] Update VM to include CoqIDE

---
 artifact/vm/scripts/setup.sh    | 4 +++-
 artifact/vm/ubuntu-desktop.json | 4 ++--
 2 files changed, 5 insertions(+), 3 deletions(-)

diff --git a/artifact/vm/scripts/setup.sh b/artifact/vm/scripts/setup.sh
index d12bafb5..65ffc049 100755
--- a/artifact/vm/scripts/setup.sh
+++ b/artifact/vm/scripts/setup.sh
@@ -7,6 +7,8 @@ set -e
 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
+# CoqIDE dependencies
+sudo apt-get install -y pkg-config libgtksourceview2.0-dev
 
 # install stack
 wget -qO- https://get.haskellstack.org/ | sh
@@ -16,7 +18,7 @@ stack setup --resolver=lts-13.8
 opam init --auto-setup
 eval $(opam config env)
 opam repo add coq-released https://coq.inria.fr/opam/released/
-opam install -j2 -y coq.8.9.0
+opam install -j2 -y coq.8.9.0 coqide
 
 ## set up artifact
 # we do a build first to set up the stack cache
diff --git a/artifact/vm/ubuntu-desktop.json b/artifact/vm/ubuntu-desktop.json
index 5c330fcd..53c887bd 100644
--- a/artifact/vm/ubuntu-desktop.json
+++ b/artifact/vm/ubuntu-desktop.json
@@ -78,8 +78,8 @@
     },
     {
       "type": "file",
-      "source": "../argosy-artifact.tgz",
-      "destination": "/tmp/argosy-artifact.tar.gz"
+      "source": "../argosy-artifact.zip",
+      "destination": "/tmp/argosy-artifact.zip"
     },
     {
       "type": "shell",