Mercurial > vanilla

annotate lib/isl/isl.sh @ 549:bad483aace64

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
vanilla: use prefix= instead
author David Demelier <markand@malikania.fr>
date Sun, 23 Jun 2019 15:13:10 +0200
parents eec0faf3636c
children 25cecc6dca48
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
188
33ca74ae7386 lib/isl: initial import, closes #1392
David Demelier <markand@malikania.fr>
parents:
diff changeset
1 #!/bin/sh
33ca74ae7386 lib/isl: initial import, closes #1392
David Demelier <markand@malikania.fr>
parents:
diff changeset
2 #
33ca74ae7386 lib/isl: initial import, closes #1392
David Demelier <markand@malikania.fr>
parents:
diff changeset
3 # Copyright (c) 2019 David Demelier <markand@malikania.fr>
33ca74ae7386 lib/isl: initial import, closes #1392
David Demelier <markand@malikania.fr>
parents:
diff changeset
4 #
33ca74ae7386 lib/isl: initial import, closes #1392
David Demelier <markand@malikania.fr>
parents:
diff changeset
5 # Permission to use, copy, modify, and/or distribute this software for any
33ca74ae7386 lib/isl: initial import, closes #1392
David Demelier <markand@malikania.fr>
parents:
diff changeset
6 # purpose with or without fee is hereby granted, provided that the above
33ca74ae7386 lib/isl: initial import, closes #1392
David Demelier <markand@malikania.fr>
parents:
diff changeset
7 # copyright notice and this permission notice appear in all copies.
33ca74ae7386 lib/isl: initial import, closes #1392
David Demelier <markand@malikania.fr>
parents:
diff changeset
8 #
33ca74ae7386 lib/isl: initial import, closes #1392
David Demelier <markand@malikania.fr>
parents:
diff changeset
9 # THE SOFTWARE IS PROVIDED "AS IS" AND THE AUTHOR DISCLAIMS ALL WARRANTIES
33ca74ae7386 lib/isl: initial import, closes #1392
David Demelier <markand@malikania.fr>
parents:
diff changeset
10 # WITH REGARD TO THIS SOFTWARE INCLUDING ALL IMPLIED WARRANTIES OF
33ca74ae7386 lib/isl: initial import, closes #1392
David Demelier <markand@malikania.fr>
parents:
diff changeset
11 # MERCHANTABILITY AND FITNESS. IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR
33ca74ae7386 lib/isl: initial import, closes #1392
David Demelier <markand@malikania.fr>
parents:
diff changeset
12 # ANY SPECIAL, DIRECT, INDIRECT, OR CONSEQUENTIAL DAMAGES OR ANY DAMAGES
33ca74ae7386 lib/isl: initial import, closes #1392
David Demelier <markand@malikania.fr>
parents:
diff changeset
13 # WHATSOEVER RESULTING FROM LOSS OF USE, DATA OR PROFITS, WHETHER IN AN
33ca74ae7386 lib/isl: initial import, closes #1392
David Demelier <markand@malikania.fr>
parents:
diff changeset
14 # ACTION OF CONTRACT, NEGLIGENCE OR OTHER TORTIOUS ACTION, ARISING OUT OF
33ca74ae7386 lib/isl: initial import, closes #1392
David Demelier <markand@malikania.fr>
parents:
diff changeset
15 # OR IN CONNECTION WITH THE USE OR PERFORMANCE OF THIS SOFTWARE.
33ca74ae7386 lib/isl: initial import, closes #1392
David Demelier <markand@malikania.fr>
parents:
diff changeset
16 #
33ca74ae7386 lib/isl: initial import, closes #1392
David Demelier <markand@malikania.fr>
parents:
diff changeset
17
33ca74ae7386 lib/isl: initial import, closes #1392
David Demelier <markand@malikania.fr>
parents:
diff changeset
18 PKGNAME=isl
33ca74ae7386 lib/isl: initial import, closes #1392
David Demelier <markand@malikania.fr>
parents:
diff changeset
19 PKGVERSION=0.20
33ca74ae7386 lib/isl: initial import, closes #1392
David Demelier <markand@malikania.fr>
parents:
diff changeset
20 PKGREVISION=1
33ca74ae7386 lib/isl: initial import, closes #1392
David Demelier <markand@malikania.fr>
parents:
diff changeset
21 PKGLICENSE="MIT"
33ca74ae7386 lib/isl: initial import, closes #1392
David Demelier <markand@malikania.fr>
parents:
diff changeset
22 PKGSUMMARY="integer set library"
33ca74ae7386 lib/isl: initial import, closes #1392
David Demelier <markand@malikania.fr>
parents:
diff changeset
23 PKGDOWNLOAD="http://isl.gforge.inria.fr/$PKGNAME-$PKGVERSION.tar.xz"
33ca74ae7386 lib/isl: initial import, closes #1392
David Demelier <markand@malikania.fr>
parents:
diff changeset
24 PKGDEPENDS="lib/gmp"
33ca74ae7386 lib/isl: initial import, closes #1392
David Demelier <markand@malikania.fr>
parents:
diff changeset
25
33ca74ae7386 lib/isl: initial import, closes #1392
David Demelier <markand@malikania.fr>
parents:
diff changeset
26 : ${CHOST:=$(uname -m)-linux-musl}
33ca74ae7386 lib/isl: initial import, closes #1392
David Demelier <markand@malikania.fr>
parents:
diff changeset
27 : ${CBUILD:=$(uname -m)-linux-musl}
33ca74ae7386 lib/isl: initial import, closes #1392
David Demelier <markand@malikania.fr>
parents:
diff changeset
28 : ${CC:=gcc}
33ca74ae7386 lib/isl: initial import, closes #1392
David Demelier <markand@malikania.fr>
parents:
diff changeset
29 : ${CFLAGS:=-O2}
33ca74ae7386 lib/isl: initial import, closes #1392
David Demelier <markand@malikania.fr>
parents:
diff changeset
30 : ${CXX:=g++}
33ca74ae7386 lib/isl: initial import, closes #1392
David Demelier <markand@malikania.fr>
parents:
diff changeset
31 : ${CXXFLAGS:=-O2}
33ca74ae7386 lib/isl: initial import, closes #1392
David Demelier <markand@malikania.fr>
parents:
diff changeset
32 : ${LDFLAGS:=}
33ca74ae7386 lib/isl: initial import, closes #1392
David Demelier <markand@malikania.fr>
parents:
diff changeset
33 : ${LIBS:=}
33ca74ae7386 lib/isl: initial import, closes #1392
David Demelier <markand@malikania.fr>
parents:
diff changeset
34
33ca74ae7386 lib/isl: initial import, closes #1392
David Demelier <markand@malikania.fr>
parents:
diff changeset
35 build()
33ca74ae7386 lib/isl: initial import, closes #1392
David Demelier <markand@malikania.fr>
parents:
diff changeset
36 {
33ca74ae7386 lib/isl: initial import, closes #1392
David Demelier <markand@malikania.fr>
parents:
diff changeset
37 rm -rf $PKGNAME-$PKGVERSION
33ca74ae7386 lib/isl: initial import, closes #1392
David Demelier <markand@malikania.fr>
parents:
diff changeset
38 tar xvaf $PKGNAME-$PKGVERSION.tar.xz
33ca74ae7386 lib/isl: initial import, closes #1392
David Demelier <markand@malikania.fr>
parents:
diff changeset
39 pushd $PKGNAME-$PKGVERSION
33ca74ae7386 lib/isl: initial import, closes #1392
David Demelier <markand@malikania.fr>
parents:
diff changeset
40
33ca74ae7386 lib/isl: initial import, closes #1392
David Demelier <markand@malikania.fr>
parents:
diff changeset
41 CC="$CC" \
33ca74ae7386 lib/isl: initial import, closes #1392
David Demelier <markand@malikania.fr>
parents:
diff changeset
42 CFLAGS="$CFLAGS" \
33ca74ae7386 lib/isl: initial import, closes #1392
David Demelier <markand@malikania.fr>
parents:
diff changeset
43 CXX="$CXX" \
33ca74ae7386 lib/isl: initial import, closes #1392
David Demelier <markand@malikania.fr>
parents:
diff changeset
44 CXXFLAGS="$CXXFLAGS" \
33ca74ae7386 lib/isl: initial import, closes #1392
David Demelier <markand@malikania.fr>
parents:
diff changeset
45 LDFLAGS="$LDFLAGS" \
33ca74ae7386 lib/isl: initial import, closes #1392
David Demelier <markand@malikania.fr>
parents:
diff changeset
46 LIBS="$LIBS" \
33ca74ae7386 lib/isl: initial import, closes #1392
David Demelier <markand@malikania.fr>
parents:
diff changeset
47 ./configure \
33ca74ae7386 lib/isl: initial import, closes #1392
David Demelier <markand@malikania.fr>
parents:
diff changeset
48 --build=$CBUILD \
33ca74ae7386 lib/isl: initial import, closes #1392
David Demelier <markand@malikania.fr>
parents:
diff changeset
49 --host=$CHOST \
549
bad483aace64 vanilla: use prefix= instead
David Demelier <markand@malikania.fr>
parents: 526
diff changeset
50 --prefix= \
188
33ca74ae7386 lib/isl: initial import, closes #1392
David Demelier <markand@malikania.fr>
parents:
diff changeset
51 --disable-static \
33ca74ae7386 lib/isl: initial import, closes #1392
David Demelier <markand@malikania.fr>
parents:
diff changeset
52 --enable-shared \
33ca74ae7386 lib/isl: initial import, closes #1392
David Demelier <markand@malikania.fr>
parents:
diff changeset
53 --with-gmp=system
33ca74ae7386 lib/isl: initial import, closes #1392
David Demelier <markand@malikania.fr>
parents:
diff changeset
54 make
33ca74ae7386 lib/isl: initial import, closes #1392
David Demelier <markand@malikania.fr>
parents:
diff changeset
55 make install DESTDIR=$DESTDIR
526
eec0faf3636c lib: use new FHS
David Demelier <markand@malikania.fr>
parents: 188
diff changeset
56 rm -f $DESTDIR/lib/libisl.la
188
33ca74ae7386 lib/isl: initial import, closes #1392
David Demelier <markand@malikania.fr>
parents:
diff changeset
57
33ca74ae7386 lib/isl: initial import, closes #1392
David Demelier <markand@malikania.fr>
parents:
diff changeset
58 popd
33ca74ae7386 lib/isl: initial import, closes #1392
David Demelier <markand@malikania.fr>
parents:
diff changeset
59 rm -rf $PKGNAME-$PKGVERSION
33ca74ae7386 lib/isl: initial import, closes #1392
David Demelier <markand@malikania.fr>
parents:
diff changeset
60 }