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=*