Mercurial > vanilla

annotate lib/isl/isl.sh @ 1341:9f35c15329d1 default tip @

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
dev/meson: downgrade to 0.59.4 due to many regression
author David Demelier <markand@malikania.fr>
date Wed, 22 Dec 2021 21:52:57 +0100
parents 9867e578b1a9
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
1115
297b5eef115e vanilla: change shebangs to /bin/sh
David Demelier <markand@malikania.fr>
parents: 1019
diff changeset
1 #!/bin/sh
188
33ca74ae7386 lib/isl: initial import, closes #1392
David Demelier <markand@malikania.fr>
parents:
diff changeset
2 #
1288
9867e578b1a9 misc: update copyright years
David Demelier <markand@malikania.fr>
parents: 1222
diff changeset
3 # Copyright (c) 2019-2021 David Demelier <markand@malikania.fr>
188
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
1221
a47aaf9743a0 misc: backed out changeset 4ccc42bf0284
David Demelier <markand@malikania.fr>
parents: 1220
diff changeset
18 PKGNAME=isl
a47aaf9743a0 misc: backed out changeset 4ccc42bf0284
David Demelier <markand@malikania.fr>
parents: 1220
diff changeset
19 PKGVERSION=0.20
a47aaf9743a0 misc: backed out changeset 4ccc42bf0284
David Demelier <markand@malikania.fr>
parents: 1220
diff changeset
20 PKGREVISION=1
a47aaf9743a0 misc: backed out changeset 4ccc42bf0284
David Demelier <markand@malikania.fr>
parents: 1220
diff changeset
21 PKGLICENSE="MIT"
a47aaf9743a0 misc: backed out changeset 4ccc42bf0284
David Demelier <markand@malikania.fr>
parents: 1220
diff changeset
22 PKGSUMMARY="integer set library"
a47aaf9743a0 misc: backed out changeset 4ccc42bf0284
David Demelier <markand@malikania.fr>
parents: 1220
diff changeset
23 PKGDOWNLOAD="http://isl.gforge.inria.fr/$PKGNAME-$PKGVERSION.tar.xz"
a47aaf9743a0 misc: backed out changeset 4ccc42bf0284
David Demelier <markand@malikania.fr>
parents: 1220
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
1222
325631424c65 misc: bring back build function
David Demelier <markand@malikania.fr>
parents: 1221
diff changeset
35 build()
325631424c65 misc: bring back build function
David Demelier <markand@malikania.fr>
parents: 1221
diff changeset
36 {
325631424c65 misc: bring back build function
David Demelier <markand@malikania.fr>
parents: 1221
diff changeset
37 rm -rf $PKGNAME-$PKGVERSION
325631424c65 misc: bring back build function
David Demelier <markand@malikania.fr>
parents: 1221
diff changeset
38 tar xvf $PKGNAME-$PKGVERSION.tar.xz
325631424c65 misc: bring back build function
David Demelier <markand@malikania.fr>
parents: 1221
diff changeset
39 cd $PKGNAME-$PKGVERSION
188
33ca74ae7386 lib/isl: initial import, closes #1392
David Demelier <markand@malikania.fr>
parents:
diff changeset
40
1222
325631424c65 misc: bring back build function
David Demelier <markand@malikania.fr>
parents: 1221
diff changeset
41 # --prefix=/.: complains if prefix is empty.
325631424c65 misc: bring back build function
David Demelier <markand@malikania.fr>
parents: 1221
diff changeset
42 CC="$CC" \
325631424c65 misc: bring back build function
David Demelier <markand@malikania.fr>
parents: 1221
diff changeset
43 CFLAGS="$CFLAGS" \
325631424c65 misc: bring back build function
David Demelier <markand@malikania.fr>
parents: 1221
diff changeset
44 CXX="$CXX" \
325631424c65 misc: bring back build function
David Demelier <markand@malikania.fr>
parents: 1221
diff changeset
45 CXXFLAGS="$CXXFLAGS" \
325631424c65 misc: bring back build function
David Demelier <markand@malikania.fr>
parents: 1221
diff changeset
46 LDFLAGS="$LDFLAGS" \
325631424c65 misc: bring back build function
David Demelier <markand@malikania.fr>
parents: 1221
diff changeset
47 LIBS="$LIBS" \
325631424c65 misc: bring back build function
David Demelier <markand@malikania.fr>
parents: 1221
diff changeset
48 ./configure \
325631424c65 misc: bring back build function
David Demelier <markand@malikania.fr>
parents: 1221
diff changeset
49 --build=$CBUILD \
325631424c65 misc: bring back build function
David Demelier <markand@malikania.fr>
parents: 1221
diff changeset
50 --host=$CHOST \
325631424c65 misc: bring back build function
David Demelier <markand@malikania.fr>
parents: 1221
diff changeset
51 --prefix=/. \
325631424c65 misc: bring back build function
David Demelier <markand@malikania.fr>
parents: 1221
diff changeset
52 --enable-shared \
325631424c65 misc: bring back build function
David Demelier <markand@malikania.fr>
parents: 1221
diff changeset
53 --with-gmp=system
325631424c65 misc: bring back build function
David Demelier <markand@malikania.fr>
parents: 1221
diff changeset
54 make
325631424c65 misc: bring back build function
David Demelier <markand@malikania.fr>
parents: 1221
diff changeset
55 make install DESTDIR=$DESTDIR
325631424c65 misc: bring back build function
David Demelier <markand@malikania.fr>
parents: 1221
diff changeset
56 find $DESTDIR -type f -name "*.la" -delete
325631424c65 misc: bring back build function
David Demelier <markand@malikania.fr>
parents: 1221
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
1222
325631424c65 misc: bring back build function
David Demelier <markand@malikania.fr>
parents: 1221
diff changeset
59 cd ..
325631424c65 misc: bring back build function
David Demelier <markand@malikania.fr>
parents: 1221
diff changeset
60 rm -rf $PKGNAME-$PKGVERSION
325631424c65 misc: bring back build function
David Demelier <markand@malikania.fr>
parents: 1221
diff changeset
61 }