| Name |
libisl23 |
| Description |
manipulating sets and relations of integer points bounded by linear constraints |
| Version |
0.26-3build1.1 |
| Package Base |
isl |
| Homepage |
http://isl.gforge.inria.fr/ |
| Maintainers |
['Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>'] |
| Contributors |
['Matthias Klose <doko@debian.org>'] |
| Distro-repo |
https://git.launchpad.net/ubuntu/+source/isl/tree/?h=ubuntu/noble |
| Sources |
['https://git.launchpad.net/ubuntu/+source/isl/plain/debian/patches/../?h=ubuntu/noble', 'https://git.launchpad.net/ubuntu/+source/isl/plain/debian/patches/series?h=ubuntu/noble', 'https://git.launchpad.net/ubuntu/+source/libisl23/plain/debian/watch?h=ubuntu/noble'] |
| Dependencies |
['libc6', 'libgmp10'] |
| Optional-Dependencies |
[] |
| Build-Dependencies |
['debhelper', 'libgmp-dev', 'python3'] |
| Provides |
[] |
| Builddate |
|
| Architecture |
amd64 |
| Distro-Version |
noble |
| Licenses |
[] |
| Hash |
4e040926e50fb961fae9bf95660189d468336a4a17bc321872c434fc8f777e7f |
#!/usr/bin/make -f
p = libisl23
DEB_HOST_MULTIARCH ?= $(shell dpkg-architecture -qDEB_HOST_MULTIARCH)
%:
dh $@ --with autoreconf
override_dh_auto_configure:
PYTHON=python3 \
$(shell dpkg-buildflags --export=configure) \
dh_auto_configure -v -- \
--disable-silent-rules \
--without-gcc-arch \
--libdir=/usr/lib/$(DEB_HOST_MULTIARCH)
override_dh_install:
dh_install
mkdir -p debian/$(p)/usr/share/gdb/auto-load/usr/lib/$(DEB_HOST_MULTIARCH)
mv debian/$(p)/usr/lib/*/*-gdb.py debian/$(p)/usr/share/gdb/auto-load/usr/lib/$(DEB_HOST_MULTIARCH)/
override_dh_auto_install:
dh_auto_install --
sed -i -e 's,/.*/,,' debian/tmp/usr/include/isl/stdint.h
override_dh_installdocs:
dh_installdocs -p$(p)
dh_installdocs -N$(p) --link-doc=$(p)
override_dh_clean:
dh_clean
rm -f isl-uninstalled.sh *.pc *.pc.in gitversion.h include/isl/stdint.h interface/Makefile config.log config.status