| Name |
libisl23 |
| Description |
manipulating sets and relations of integer points bounded by linear constraints |
| Version |
0.27-1 |
| Package Base |
isl |
| Homepage |
https://openhub.net/p/isl |
| Maintainers |
['Debian GCC Maintainers <debian-gcc@lists.debian.org>'] |
| Contributors |
['Matthias Klose <doko@debian.org>'] |
| Distro-repo |
https://sources.debian.org/src/isl/0.27-1/ |
| Sources |
['https://sources.debian.org/data/main/i/isl/0.27-1/debian/watch', 'https://sources.debian.org/src/isl/0.27-1/debian/patches/series'] |
| Dependencies |
['libc6', 'libgmp10'] |
| Optional-Dependencies |
[] |
| Build-Dependencies |
['debhelper', 'libgmp-dev', 'python3'] |
| Provides |
[] |
| Builddate |
|
| Architecture |
amd64 |
| Distro-Version |
trixie |
| Licenses |
[] |
| Hash |
ac8518042e81c00de1effb72bba7e88ac4ecd488f7ea8b9e3ebc63159cb53b35 |
#!/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