gsrc-commit
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Gsrc-commit] trunk r4465: isl, used by gcc, Integer Set Library


From: Carl Hansen
Subject: [Gsrc-commit] trunk r4465: isl, used by gcc, Integer Set Library
Date: Wed, 3 May 2017 01:18:29 -0400 (EDT)
User-agent: Bazaar (2.7.0dev1)

------------------------------------------------------------
revno: 4465
revision-id: address@hidden
parent: address@hidden
committer: address@hidden
branch nick: trunk
timestamp: Tue 2017-05-02 22:18:25 -0700
message:
  isl, used by gcc, Integer Set Library
added:
  pkg/other/isl/                 isl-20170503051745-yt8gcec0r4upr02a-1
  pkg/other/isl/Makefile         makefile-20170503051745-yt8gcec0r4upr02a-3
  pkg/other/isl/config.mk        config.mk-20170503051745-yt8gcec0r4upr02a-2
  pkg/other/isl/sha256sums       sha256sums-20170503051745-yt8gcec0r4upr02a-4
=== added directory 'pkg/other/isl'
=== added file 'pkg/other/isl/Makefile'
--- a/pkg/other/isl/Makefile    1970-01-01 00:00:00 +0000
+++ b/pkg/other/isl/Makefile    2017-05-03 05:18:25 +0000
@@ -0,0 +1,53 @@
+
+# Copyright ©  2017 Carl Hansen <address@hidden>
+#
+# This file is part of GSRC, the GNU Source Release Collection.
+#
+# GSRC is free software: you can redistribute it and/or modify it
+# under the terms of the GNU General Public License as published by
+# the Free Software Foundation, either version 3 of the License, or
+# (at your option) any later version.
+#
+# GSRC is distributed in the hope that it will be useful, but WITHOUT
+# ANY WARRANTY; without even the implied warranty of MERCHANTABILITY
+# or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public
+# License for more details.
+#
+# You should have received a copy of the GNU General Public License
+# along with GSRC.  If not, see <http://www.gnu.org/licenses/>.
+#
+# Send bug reports and comments about GSRC problems to address@hidden
+
+NAME =    isl
+GARNAME = isl
+GARVERSION = 0.18
+HOME_URL = http://isl.gforge.inria.fr
+DESCRIPTION = Integer Set Library  
+define BLURB
+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.
+endef
+
+# bug: doesn't install the manual, yet
+
+######################################################################
+
+
+MASTER_SITES = http://isl.gforge.inria.fr/
+MASTER_SUBDIR = /
+DISTFILES = $(DISTNAME).tar.xz 
+SIGFILES =
+LICENSE = MIT
+
+BUILDDEPS =
+LIBDEPS =
+
+######################################################################
+
+include ../../../gar/gar.lib/auto.mk
+include config.mk
+

=== added file 'pkg/other/isl/config.mk'
--- a/pkg/other/isl/config.mk   1970-01-01 00:00:00 +0000
+++ b/pkg/other/isl/config.mk   2017-05-03 05:18:25 +0000
@@ -0,0 +1,5 @@
+## Configuration options  ##
+## adjust as needed
+
+CONFIGURE_OPTS ?= 
+BUILD_OPTS ?=

=== added file 'pkg/other/isl/sha256sums'
--- a/pkg/other/isl/sha256sums  1970-01-01 00:00:00 +0000
+++ b/pkg/other/isl/sha256sums  2017-05-03 05:18:25 +0000
@@ -0,0 +1,1 @@
+0f35051cc030b87c673ac1f187de40e386a1482a0cfdf2c552dd6031b307ddc4  
download/isl-0.18.tar.xz


reply via email to

[Prev in Thread] Current Thread [Next in Thread]