Update VM to include CoqIDE

mit-pdos · Feb 22, 2019 · 82a8813 · 82a8813
1 parent ee3fa27
commit 82a8813
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 3 deletions.
diff --git 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
@@ -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",