isl: rebuild for -dbg pkg; cross build support.
This commit is contained in:
parent
df6e5f2fec
commit
185788a347
2 changed files with 3 additions and 13 deletions
|
@ -2,9 +2,6 @@
|
|||
#
|
||||
depends="gmp-devel isl>=$version"
|
||||
short_desc="${short_desc} -- development files"
|
||||
long_desc="${long_desc}
|
||||
|
||||
This package contains files for development, headers, static libs, etc."
|
||||
|
||||
do_install() {
|
||||
vmove usr/include usr
|
||||
|
|
|
@ -1,24 +1,17 @@
|
|||
# Template file for 'isl'
|
||||
pkgname=isl
|
||||
version=0.11.1
|
||||
revision=1
|
||||
revision=2
|
||||
build_style=gnu-configure
|
||||
subpackages="isl-devel"
|
||||
makedepends="gmp-devel"
|
||||
crossmakedepends="${makedepends}"
|
||||
short_desc="Integer Set Library"
|
||||
maintainer="Juan RP <xtraeme@gmail.com>"
|
||||
homepage="http://www.kotnet.org/~skimo/isl/"
|
||||
license="LGPL-2.1"
|
||||
distfiles="http://www.kotnet.org/~skimo/isl/isl-$version.tar.lzma"
|
||||
checksum=f85e2c521daf2c53e502d37fc6f5535af03bae1fdb6beb5dbf898e76cf310f25
|
||||
long_desc="
|
||||
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, computing the lexicographic minimum using parametric integer
|
||||
programming, coalescing and parametric vertex enumeration. It also includes an
|
||||
ILP solver based on generalized basis reduction, transitive closures on maps
|
||||
(which may encode infinite graphs), dependence analysis and bounds on piecewise
|
||||
step-polynomials."
|
||||
|
||||
post_install() {
|
||||
# Remove gdb python files.
|
||||
|
|
Loading…
Add table
Reference in a new issue