updated the recipes of geda-gaf, pcb and gerbv. Different server, the most current...
[minipack.git] / tools / mpk-install
blobb5f5055a1f1d69193b13edb095b8a6cef8f31ccc
1 # mpk-install - Install packages.
2 # Copyright (C) 2009 Cesar Strauss
4 # This file is part of Minipack - an automated build tool.
6 # Minipack is free software: you can redistribute it and/or modify
7 # it under the terms of the GNU General Public License as published by
8 # the Free Software Foundation, either version 3 of the License, or
9 # (at your option) any later version.
11 # Minipack is distributed in the hope that it will be useful,
12 # but WITHOUT ANY WARRANTY; without even the implied warranty of
13 # MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
14 # GNU General Public License for more details.
16 # You should have received a copy of the GNU General Public License
17 # along with Minipack. If not, see <http://www.gnu.org/licenses/>.
19 install()
21   : ${top_srcdir:=$name-$version}
23   pkg_builddir=$builddir/$name-$version-$release/$top_srcdir
25   if [ ! -d $pkg_builddir ]; then
26     echo >&2 "$(basename $0) install: Could not find the build location of $pkg."
27     fail
28   fi
29   
30   cd $pkg_builddir
31   
32   if [ ! -f Makefile ]; then
33     echo >&2 "$(basename $0) install: $pkg not build yet."
34   fi
35   
36   (make install > ../logs/install.log) || fail
39 fail()
41   echo
42   echo "================="
43   echo "Install failed."
44   echo "================="
45   exit 1
48 if [ -z "$1" ]; then
49   echo "Usage: $(basename $0) install package-name"
50   exit 1
52 pkg=$1
54 if [ -z "$pkg" ]; then
55   echo "Usage: $(basename $0) install package-name ..."
56   exit 1
59 recipe=$(get_recipe_name $pkg) || exit 1
61 . $recipe
63 install