1 # Build recipe for isl.
3 # Copyright (c) 2016-2017 Matias Fonzo, <selk@dragora.org>.
5 # Licensed under the Apache License, Version 2.0 (the "License");
6 # you may not use this file except in compliance with the License.
7 # You may obtain a copy of the License at
9 # http://www.apache.org/licenses/LICENSE-2.0
11 # Unless required by applicable law or agreed to in writing, software
12 # distributed under the License is distributed on an "AS IS" BASIS,
13 # WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
14 # See the License for the specific language governing permissions and
15 # limitations under the License.
21 tarname=${program}-${version}.tar.bz2
24 fetch=http://isl.gforge.inria.fr/$tarname
27 A integer set library.
29 ISL is a library for manipulating sets and relations of integer points
30 bounded by linear constraints. Supported operations on sets include
31 intersection, union, set difference, emptiness check, convex hull,
32 (integer) affine hull, integer projection, and computing the
33 lexicographic minimum using parametric integer programming.
35 It also includes an ILP solver based on generalized basis reduction.
38 homepage=http://freshmeat.net/projects/isl
41 # Source documentation
42 docs="AUTHORS ChangeLog LICENSE README"
43 docsdir="${docdir}/${program}-${version}"
49 unpack "${tardir}/$tarname"
53 ./configure CFLAGS="$QICFLAGS" LDFLAGS="$QILDFLAGS" \
55 --libdir=/usr/lib${libSuffix} \
58 --build="$(cc -dumpmachine)"
61 make -j${jobs} DESTDIR="$destdir" install-strip
63 # Move misplaced file(s) for GDB
64 mkdir -p "${destdir}/usr/share/gdb/auto-load/usr/lib${libSuffix}"
65 mv "${destdir}/usr/lib${libSuffix}"/*-gdb.py \
66 "${destdir}/usr/share/gdb/auto-load/usr/lib${libSuffix}"
69 mkdir -p "${destdir}${docsdir}"
70 cp -p $docs "${destdir}${docsdir}"