comparison dev/make/make.sh @ 74:b34f61c7454d

dev/make: initial import, closes #1085
author David Demelier <markand@malikania.fr>
date Wed, 06 Mar 2019 20:15:00 +0100
parents
children 91dce8ec3969
comparison
equal deleted inserted replaced
73:758b9a54f9cf 74:b34f61c7454d
1 #!/bin/sh
2 #
3 # Copyright (c) 2019 David Demelier <markand@malikania.fr>
4 #
5 # Permission to use, copy, modify, and/or distribute this software for any
6 # purpose with or without fee is hereby granted, provided that the above
7 # copyright notice and this permission notice appear in all copies.
8 #
9 # THE SOFTWARE IS PROVIDED "AS IS" AND THE AUTHOR DISCLAIMS ALL WARRANTIES
10 # WITH REGARD TO THIS SOFTWARE INCLUDING ALL IMPLIED WARRANTIES OF
11 # MERCHANTABILITY AND FITNESS. IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR
12 # ANY SPECIAL, DIRECT, INDIRECT, OR CONSEQUENTIAL DAMAGES OR ANY DAMAGES
13 # WHATSOEVER RESULTING FROM LOSS OF USE, DATA OR PROFITS, WHETHER IN AN
14 # ACTION OF CONTRACT, NEGLIGENCE OR OTHER TORTIOUS ACTION, ARISING OUT OF
15 # OR IN CONNECTION WITH THE USE OR PERFORMANCE OF THIS SOFTWARE.
16 #
17
18 source ./make.info
19
20 set -ex
21
22 rm -rf $PKGNAME-$PKGVERSION
23 tar xvaf $PKGNAME-$PKGVERSION.tar.gz
24 pushd $PKGNAME-$PKGVERSION
25
26 ./configure --prefix=/usr
27 make
28 make install DESTDIR=$DESTDIR
29
30 popd
31 rm -rf $PKGNAME-$PKGVERSION