From 2bd07f4f01fcb5dca86dd53a8a2874abd5a5a50f Mon Sep 17 00:00:00 2001
From: John MacFarlane <jgm@berkeley.edu>
Date: Thu, 21 Jul 2016 09:51:58 -0700
Subject: [PATCH] deb Vagrantfile: install curl.
---
deb/Vagrantfile | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/deb/Vagrantfile b/deb/Vagrantfile
index 3a6ac14e8..182549c8c 100644
--- a/deb/Vagrantfile
+++ b/deb/Vagrantfile
@@ -69,7 +69,7 @@ Vagrant.configure(2) do |config|
sudo apt-key add fpco.key
echo 'deb http://download.fpcomplete.com/ubuntu/precise stable main'|sudo tee /etc/apt/sources.list.d/fpco.list
sudo apt-get update
- sudo apt-get install -y stack build-essential debhelper dh-make
+ sudo apt-get install -y stack build-essential debhelper dh-make curl
sudo cp /vagrant_data/deb/*.pem /etc/ssl/certs/
SHELL
end