mirror of
https://gitdl.cn/https://github.com/chakralinux/core.git
synced 2025-01-24 02:22:15 +08:00
New toolchain
This commit is contained in:
parent
70182047d5
commit
b6b15b1cc2
@ -4,7 +4,7 @@
|
||||
# maintainer: Manuel Tortosa <manutortosa[at]chakra-project[dot]org>
|
||||
|
||||
pkgname=isl
|
||||
pkgver=0.09
|
||||
pkgver=0.10
|
||||
pkgrel=1
|
||||
pkgdesc="Library for manipulating sets and relations of integer points bounded by linear constraints"
|
||||
arch=('i686' 'x86_64')
|
||||
@ -12,7 +12,7 @@ url="http://www.kotnet.org/~skimo/isl/"
|
||||
license=('LGPL2.1')
|
||||
options=('!libtool' 'log')
|
||||
source=(http://www.kotnet.org/~skimo/isl/${pkgname}-${pkgver}.tar.bz2)
|
||||
md5sums=('6873f0b3c9f4d1fb8efae4aea53f2ab2')
|
||||
md5sums=('c1ece653891bb2a5f55ca25e3f4e8f35')
|
||||
|
||||
build() {
|
||||
cd "${srcdir}/${pkgname}-${pkgver}"
|
||||
@ -29,8 +29,7 @@ package() {
|
||||
cd "${srcdir}/${pkgname}-${pkgver}"
|
||||
make -j1 DESTDIR="${pkgdir}/" install
|
||||
|
||||
# this seems a better place for this file...
|
||||
install -dm755 ${pkgdir}/usr/share/gdb/auto-load/
|
||||
mv ${pkgdir}/usr/{lib,share/gdb/auto-load}/libisl.so.9.0.0-gdb.py
|
||||
install -dm755 $pkgdir/usr/share/gdb/auto-load/usr/lib/
|
||||
mv $pkgdir/{,/usr/share/gdb/auto-load/}usr/lib/libisl.so.10.0.0-gdb.py
|
||||
}
|
||||
|
||||
|
Loading…
Reference in New Issue
Block a user