From ace68ee22621b137cc7616d363bab7c266ba70b3 Mon Sep 17 00:00:00 2001
From: Mathieu Boespflug <m@tweag.io>
Date: Sat, 4 Feb 2017 17:28:56 +0100
Subject: [PATCH] Add Gradle to the environment. Reenable sparkle.

sparkle requires GHC 8.0.2 to build, due to a bug in GHC 8.0.1.
---
 build-constraints.yaml | 2 +-
 debian-bootstrap.sh    | 1 +
 2 files changed, 2 insertions(+), 1 deletion(-)

diff --git a/build-constraints.yaml b/build-constraints.yaml
index c27739e2..df6779c2 100644
--- a/build-constraints.yaml
+++ b/build-constraints.yaml
@@ -1587,7 +1587,7 @@ packages:
         - inline-r
         - jni
         - jvm
-        # - sparkle # build failure, requires gradle
+        - sparkle
         - th-lift
 
     "Christopher Reichert <creichert07@gmail.com> @creichert":
diff --git a/debian-bootstrap.sh b/debian-bootstrap.sh
index 52c265bb..314fde50 100755
--- a/debian-bootstrap.sh
+++ b/debian-bootstrap.sh
@@ -43,6 +43,7 @@ apt-get install -y \
     curl \
     freeglut3-dev \
     git \
+    gradle \
     libadns1-dev \
     libaio1 \
     libalut-dev \