Skip to content
This repository was archived by the owner on Jan 30, 2023. It is now read-only.

Commit 35989e9

Browse files
videlecvidelec
committed
23547: package isl+polylib+barvinok
1 parent 8dafc4e commit 35989e9

21 files changed

+125
-0
lines changed

‎build/pkgs/barvinok/SPKG.txt‎

Lines changed: 15 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,15 @@
1+
= barvinok =
2+
3+
== Description ==
4+
5+
barvinok is a library for counting the number of integer points
6+
in parametric and non-parametric polytopes as well as projections
7+
of such sets.
8+
9+
== License ==
10+
11+
GPL v2
12+
13+
== Upstream Contact ==
14+
15+
* http://groups.google.com/group/isl-development

‎build/pkgs/barvinok/checksums.ini‎

Lines changed: 4 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,4 @@
1+
tarball=barvinok-VERSION.tar.bz2
2+
sha1=31c50d4b2a4cebe049072fd54c6e41ccece5ec1d
3+
md5=60082222a73b2d4fd430da7b770a4072
4+
cksum=355377045

‎build/pkgs/barvinok/dependencies‎

Lines changed: 5 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,5 @@
1+
ntl isl polylib
2+
3+
----------
4+
All lines of this file are ignored except the first.
5+
It is copied by SAGE_ROOT/build/make/install into SAGE_ROOT/build/make/Makefile.

‎build/pkgs/barvinok/package-version.txt‎

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1 @@
1+
0.41.1

‎build/pkgs/barvinok/spkg-check‎

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,2 @@
1+
cd src
2+
sdh_make check

‎build/pkgs/barvinok/spkg-install‎

Lines changed: 9 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,9 @@
1+
cd src
2+
3+
sdh_configure --with-gmp-prefix=${SAGE_LOCAL} \
4+
--with-ntl-prefix=${SAGE_LOCAL} \
5+
--with-isl=system \
6+
--with-polylib=system \
7+
--enable-shared-barvinok
8+
sdh_make
9+
sdh_make_install

‎build/pkgs/barvinok/type‎

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1 @@
1+
optional

‎build/pkgs/isl/SPKG.txt‎

Lines changed: 33 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,33 @@
1+
= isl =
2+
3+
== Description ==
4+
5+
isl is a thread-safe C library for manipulating sets and relations
6+
of integer points bounded by affine constraints. The descriptions of
7+
the sets and relations may involve both parameters and existentially
8+
quantified variables. All computations are performed in exact integer
9+
arithmetic using GMP.
10+
11+
== License ==
12+
13+
isl is released under the MIT license, but depends on the LGPL GMP library.
14+
15+
== Upstream Contact ==
16+
17+
* http://groups.google.com/group/isl-development
18+
19+
== Citation ==
20+
21+
@incollection{Verdoolaege2010isl,
22+
author = {Verdoolaege, Sven},
23+
title = {isl: An Integer Set Library for the Polyhedral Model},
24+
booktitle = {Mathematical Software - ICMS 2010},
25+
series = {Lecture Notes in Computer Science},
26+
editor = {Fukuda, Komei and Hoeven, Joris and Joswig, Michael and
27+
Takayama, Nobuki},
28+
publisher = {Springer},
29+
isbn = {978-3-642-15581-9},
30+
pages = {299-302},
31+
volume = {6327},
32+
year = {2010}
33+
}

‎build/pkgs/isl/checksums.ini‎

Lines changed: 4 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,4 @@
1+
tarball=isl-VERSION.tar.bz2
2+
sha1=b1d96b7b44c72f86c98d4fbd4caaa7796b27681e
3+
md5=cb396f31b24aeeac49840b519741b0e1
4+
cksum=4190462468

‎build/pkgs/isl/dependencies‎

Lines changed: 5 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,5 @@
1+
$(MP_LIBRARY)
2+
3+
----------
4+
All lines of this file are ignored except the first.
5+
It is copied by SAGE_ROOT/build/make/install into SAGE_ROOT/build/make/Makefile.

0 commit comments

Comments
 (0)