Mercurial > vanilla

annotate lib/isl/isl.sh @ 1019:ddab65a5b3f5

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
vanilla: use /bin/busybox sh as default shell
author David Demelier <markand@malikania.fr>
date Thu, 29 Aug 2019 23:35:00 +0200
parents a133976e0783
children 297b5eef115e
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
1019
ddab65a5b3f5 vanilla: use /bin/busybox sh as default shell
David Demelier <markand@malikania.fr>
parents: 902
diff changeset
1 #!/bin/busybox sh
188
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"
902
a133976e0783 vanilla: remove all origins, closes #2203
David Demelier <markand@malikania.fr>
parents: 817
diff changeset
24 PKGDEPENDS="gmp"
188
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}
671
83854d0ac053 lib/isl: fix build with clang
David Demelier <markand@malikania.fr>
parents: 606
diff changeset
28 : ${CC:=clang}
83854d0ac053 lib/isl: fix build with clang
David Demelier <markand@malikania.fr>
parents: 606
diff changeset
29 : ${CFLAGS:=-O2 -D_XOPEN_SOURCE} # required for clang/musl
83854d0ac053 lib/isl: fix build with clang
David Demelier <markand@malikania.fr>
parents: 606
diff changeset
30 : ${CXX:=clang++}
83854d0ac053 lib/isl: fix build with clang
David Demelier <markand@malikania.fr>
parents: 606
diff changeset
31 : ${CXXFLAGS:=-O2 -D_XOPEN_SOURCE} # required for clang/musl
188
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
606
25cecc6dca48 vanilla: use POSIX shell and busybox tar
David Demelier <markand@malikania.fr>
parents: 549
diff changeset
38 tar xvf $PKGNAME-$PKGVERSION.tar.xz
25cecc6dca48 vanilla: use POSIX shell and busybox tar
David Demelier <markand@malikania.fr>
parents: 549
diff changeset
39 cd $PKGNAME-$PKGVERSION
188
33ca74ae7386 lib/isl: initial import, closes #1392
David Demelier <markand@malikania.fr>
parents:
diff changeset
40
766
e91fbcb3d1ef vanilla: consolidate FHS
David Demelier <markand@malikania.fr>
parents: 745
diff changeset
41 # --prefix=/.: complains if prefix is empty.
188
33ca74ae7386 lib/isl: initial import, closes #1392
David Demelier <markand@malikania.fr>
parents:
diff changeset
42 CC="$CC" \
33ca74ae7386 lib/isl: initial import, closes #1392
David Demelier <markand@malikania.fr>
parents:
diff changeset
43 CFLAGS="$CFLAGS" \
33ca74ae7386 lib/isl: initial import, closes #1392
David Demelier <markand@malikania.fr>
parents:
diff changeset
44 CXX="$CXX" \
33ca74ae7386 lib/isl: initial import, closes #1392
David Demelier <markand@malikania.fr>
parents:
diff changeset
45 CXXFLAGS="$CXXFLAGS" \
33ca74ae7386 lib/isl: initial import, closes #1392
David Demelier <markand@malikania.fr>
parents:
diff changeset
46 LDFLAGS="$LDFLAGS" \
33ca74ae7386 lib/isl: initial import, closes #1392
David Demelier <markand@malikania.fr>
parents:
diff changeset
47 LIBS="$LIBS" \
33ca74ae7386 lib/isl: initial import, closes #1392
David Demelier <markand@malikania.fr>
parents:
diff changeset
48 ./configure \
33ca74ae7386 lib/isl: initial import, closes #1392
David Demelier <markand@malikania.fr>
parents:
diff changeset
49 --build=$CBUILD \
33ca74ae7386 lib/isl: initial import, closes #1392
David Demelier <markand@malikania.fr>
parents:
diff changeset
50 --host=$CHOST \
671
83854d0ac053 lib/isl: fix build with clang
David Demelier <markand@malikania.fr>
parents: 606
diff changeset
51 --prefix=/. \
188
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
817
0e6c54d47dfb vanilla: fix many FHS issues
David Demelier <markand@malikania.fr>
parents: 766
diff changeset
56 find $DESTDIR -type f -name "*.la" -delete
766
e91fbcb3d1ef vanilla: consolidate FHS
David Demelier <markand@malikania.fr>
parents: 745
diff changeset
57 sed -i -e "s|prefix=/|prefix=|" $DESTDIR/lib/pkgconfig/*.pc
188
33ca74ae7386 lib/isl: initial import, closes #1392
David Demelier <markand@malikania.fr>
parents:
diff changeset
58
606
25cecc6dca48 vanilla: use POSIX shell and busybox tar
David Demelier <markand@malikania.fr>
parents: 549
diff changeset
59 cd ..
188
33ca74ae7386 lib/isl: initial import, closes #1392
David Demelier <markand@malikania.fr>
parents:
diff changeset
60 rm -rf $PKGNAME-$PKGVERSION
33ca74ae7386 lib/isl: initial import, closes #1392
David Demelier <markand@malikania.fr>
parents:
diff changeset
61 }