From ddd48ac907cd2358236e99f771d516ecc997b65f Mon Sep 17 00:00:00 2001
From: Juan RP <xtraeme@gmail.com>
Date: Mon, 19 May 2014 10:17:55 +0200
Subject: [PATCH] isl: bootstrap=yes.

---
 srcpkgs/isl/template | 1 +
 1 file changed, 1 insertion(+)

diff --git a/srcpkgs/isl/template b/srcpkgs/isl/template
index cfb315aaf69..7d8c2d59c41 100644
--- a/srcpkgs/isl/template
+++ b/srcpkgs/isl/template
@@ -2,6 +2,7 @@
 pkgname=isl
 version=0.12.2
 revision=1
+bootstrap=yes
 build_style=gnu-configure
 makedepends="gmp-devel"
 short_desc="Integer Set Library"