Mercurial > vanilla
annotate lib/isl/isl.sh @ 253:a6c9f6d9a420
templates: update cmake.sh
author | David Demelier <markand@malikania.fr> |
---|---|
date | Thu, 21 Mar 2019 20:10:00 +0100 |
parents | 33ca74ae7386 |
children | eec0faf3636c |
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 \ |
33ca74ae7386
lib/isl: initial import, closes #1392
David Demelier <markand@malikania.fr>
parents:
diff
changeset
|
50 --prefix=/usr \ |
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 |
33ca74ae7386
lib/isl: initial import, closes #1392
David Demelier <markand@malikania.fr>
parents:
diff
changeset
|
56 rm -f $DESTDIR/usr/lib/libisl.la |
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 } |