From aef140ce26d98fae97206e72c4574d5e7f55568d Mon Sep 17 00:00:00 2001
From: Jeremie Dimino <jdimino@janestreet.com>
Date: Mon, 25 Apr 2016 11:03:17 +0100
Subject: [PATCH] updated opam

---
 opam | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/opam b/opam
index c4e8423..c53b45b 100644
--- a/opam
+++ b/opam
@@ -6,7 +6,10 @@ homepage: "https://github.com/diml/utop"
 bug-reports: "https://github.com/diml/utop/issues"
 dev-repo: "git://github.com/diml/utop.git"
 build: [
-  ["./configure" "--prefix" prefix "--%{camlp4:enable}%-camlp4"]
+  ["./configure"
+     "--prefix" prefix
+     "--%{camlp4:enable}%-camlp4"
+     "--%{ppx_tools:enable}-interact"]
   [make]
 ]
 install: [