From a979482b5b4f3c55010901eaeabe5e8925d33d65 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Gonzalo=20Tornar=C3=ADa?= <tornaria@cmat.edu.uy>
Date: Thu, 7 Oct 2021 10:18:09 -0300
Subject: [PATCH] isl15: remove bootstrap=yes

---
 srcpkgs/isl15/template | 1 -
 srcpkgs/isl15/update   | 3 +++
 2 files changed, 3 insertions(+), 1 deletion(-)
 create mode 100644 srcpkgs/isl15/update

diff --git a/srcpkgs/isl15/template b/srcpkgs/isl15/template
index e8225eb6d49..0ef1192a219 100644
--- a/srcpkgs/isl15/template
+++ b/srcpkgs/isl15/template
@@ -3,7 +3,6 @@ pkgname=isl15
 version=0.19
 revision=3
 wrksrc="isl-${version}"
-bootstrap=yes
 build_style=gnu-configure
 makedepends="gmp-devel"
 short_desc="Integer Set Library"
diff --git a/srcpkgs/isl15/update b/srcpkgs/isl15/update
new file mode 100644
index 00000000000..ef4dc3a4607
--- /dev/null
+++ b/srcpkgs/isl15/update
@@ -0,0 +1,3 @@
+pkgname=isl
+# ad-hoc updates so ignore everything
+ignore=*