5 files changed, 91 insertions, 0 deletions
diff --git a/math/isl/DESCR b/math/isl/DESCR
new file mode 100644
index 00000000000..8ae2c8edbab
--- /dev/null
+++ b/math/isl/DESCR
@@ -0,0 +1,6 @@
+isl is a library for manipulating sets and relations of integer
+points bounded by linear constraints. Supported operations on sets
+include intersection, union, set difference, emptiness check, convex
+hull, (integer) affine hull, integer projection, and computing the
+lexicographic minimum using parametric integer programming. It also
+includes an ILP solver based on generalized basis reduction.
diff --git a/math/isl/Makefile b/math/isl/Makefile
new file mode 100644
index 00000000000..c393149bb66
--- /dev/null
+++ b/math/isl/Makefile
@@ -0,0 +1,20 @@
+# $NetBSD: Makefile,v 1.1 2013/02/17 22:10:47 wiz Exp $
+
+DISTNAME=	isl-0.11.1
+CATEGORIES=	math
+MASTER_SITES=	${MASTER_SITE_GNU:=gcc/infrastructure/}
+EXTRACT_SUFX=	.tar.bz2
+
+MAINTAINER=	pkgsrc-users@NetBSD.org
+COMMENT=	Integer set library required by gcc graphite
+HOMEPAGE=	http://repo.or.cz/w/isl.git
+LICENSE=	mit
+
+GNU_CONFIGURE=	yes
+USE_LANGUAGES=	c c++
+USE_LIBTOOL=	yes
+
+CONFIGURE_ARGS+=	--with-gmp=${BUILDLINK_PREFIX.gmpl}
+
+.include "../../devel/gmp/buildlink3.mk"
+.include "../../mk/bsd.pkg.mk"
diff --git a/math/isl/PLIST b/math/isl/PLIST
new file mode 100644
index 00000000000..2525a0290fe
--- /dev/null
+++ b/math/isl/PLIST
@@ -0,0 +1,47 @@
+@comment $NetBSD: PLIST,v 1.1 2013/02/17 22:10:47 wiz Exp $
+include/isl/aff.h
+include/isl/aff_type.h
+include/isl/arg.h
+include/isl/ast.h
+include/isl/ast_build.h
+include/isl/band.h
+include/isl/blk.h
+include/isl/config.h
+include/isl/constraint.h
+include/isl/ctx.h
+include/isl/dim.h
+include/isl/flow.h
+include/isl/hash.h
+include/isl/id.h
+include/isl/ilp.h
+include/isl/int.h
+include/isl/list.h
+include/isl/local_space.h
+include/isl/lp.h
+include/isl/map.h
+include/isl/map_type.h
+include/isl/mat.h
+include/isl/multi.h
+include/isl/obj.h
+include/isl/options.h
+include/isl/point.h
+include/isl/polynomial.h
+include/isl/polynomial_type.h
+include/isl/printer.h
+include/isl/schedule.h
+include/isl/seq.h
+include/isl/set.h
+include/isl/set_type.h
+include/isl/space.h
+include/isl/stdint.h
+include/isl/stream.h
+include/isl/union_map.h
+include/isl/union_map_type.h
+include/isl/union_set.h
+include/isl/union_set_type.h
+include/isl/vec.h
+include/isl/version.h
+include/isl/vertices.h
+lib/libisl.la
+lib/libisl.so.10.1.1-gdb.py
+lib/pkgconfig/isl.pc
diff --git a/math/isl/buildlink3.mk b/math/isl/buildlink3.mk
new file mode 100644
index 00000000000..43b15f63538
--- /dev/null
+++ b/math/isl/buildlink3.mk
@@ -0,0 +1,13 @@
+# $NetBSD: buildlink3.mk,v 1.1 2013/02/17 22:10:47 wiz Exp $
+
+BUILDLINK_TREE+=	isl
+
+.if !defined(ISL_BUILDLINK3_MK)
+ISL_BUILDLINK3_MK:=
+
+BUILDLINK_API_DEPENDS.isl+=	isl>=0.11.1
+BUILDLINK_PKGSRCDIR.isl?=	../../math/isl
+
+.endif # ISL_BUILDLINK3_MK
+
+BUILDLINK_TREE+=	-isl
diff --git a/math/isl/distinfo b/math/isl/distinfo
new file mode 100644
index 00000000000..8663685ff5d
--- /dev/null
+++ b/math/isl/distinfo
@@ -0,0 +1,5 @@
+$NetBSD: distinfo,v 1.1 2013/02/17 22:10:47 wiz Exp $
+
+SHA1 (isl-0.11.1.tar.bz2) = d7936929c3937e03f09b64c3c54e49422fa8ddb3
+RMD160 (isl-0.11.1.tar.bz2) = d091a2f0f7489d2d2f042514ab39ebdccb33d4e5
+Size (isl-0.11.1.tar.bz2) = 1244610 bytes