termux-packages/packages/libisl/build.sh

TERMUX_PKG_HOMEPAGE=http://isl.gforge.inria.fr/
TERMUX_PKG_DESCRIPTION="Library for manipulating sets and relations of integer points bounded by linear constraints"
TERMUX_PKG_LICENSE="MIT"
TERMUX_PKG_MAINTAINER="@termux"
TERMUX_PKG_VERSION=0.23
TERMUX_PKG_SRCURL=http://isl.gforge.inria.fr/isl-${TERMUX_PKG_VERSION}.tar.xz
TERMUX_PKG_SHA256=5efc53efaef151301f4e7dde3856b66812d8153dede24fab17673f801c8698f2
TERMUX_PKG_DEPENDS="libgmp"
TERMUX_PKG_BREAKS="libisl-dev"
TERMUX_PKG_REPLACES="libisl-dev"
Initial push 2015-06-13 01:03:31 +02:00			`TERMUX_PKG_HOMEPAGE=http://isl.gforge.inria.fr/`
			`TERMUX_PKG_DESCRIPTION="Library for manipulating sets and relations of integer points bounded by linear constraints"`
add licenses for more packages 2019-01-21 13:53:58 +01:00			`TERMUX_PKG_LICENSE="MIT"`
explicitly set maintainer for each package In issue https://github.com/termux/termux-packages/issues/6160 I have found that community repo "its-pointless.github.io" specifies us as maintainer for its packages. This is NOT TRUE and potentially misleads people using these packages. Now TERMUX_PKG_MAINTAINER will contain a default value which is neutral and not specify maintainer. So all packages now have to override it to the correct value. [skip ci] %ci:no-build 2020-12-20 14:16:34 +01:00			`TERMUX_PKG_MAINTAINER="@termux"`
libisl: update to 0.23 2020-11-22 02:28:22 +01:00			`TERMUX_PKG_VERSION=0.23`
Initial push 2015-06-13 01:03:31 +02:00			`TERMUX_PKG_SRCURL=http://isl.gforge.inria.fr/isl-${TERMUX_PKG_VERSION}.tar.xz`
libisl: update to 0.23 2020-11-22 02:28:22 +01:00			`TERMUX_PKG_SHA256=5efc53efaef151301f4e7dde3856b66812d8153dede24fab17673f801c8698f2`
Initial push 2015-06-13 01:03:31 +02:00			`TERMUX_PKG_DEPENDS="libgmp"`
no more develsplit + provide static libraries as separate package %ci:no-build 2019-07-20 10:42:33 +02:00			`TERMUX_PKG_BREAKS="libisl-dev"`
			`TERMUX_PKG_REPLACES="libisl-dev"`