updated the recipes of geda-gaf, pcb and gerbv. Different server, the most current...
[minipack.git] / tools / mpk-shell
blob26bb7fd48bcd9e317ead4f25f3f76227946314db
1 # mpk-shell - enters a shell with a pre-defined environment.
2 # Copyright (C) 2008 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 create_shell()
21   setup_configure_options
22   
23   export mpk_opt="$pkg_configure_opt"
24   export topdir builddir resultdir
26   : ${SHELL:=/bin/sh}
28   echo "
29 ==============
30 Minipack shell
31 ==============
33 The following variables are set:
35 mpk_opt=\""
37 for opt in $mpk_opt; do
38   echo "   $opt"
39 done
41 echo "\"
42 topdir=$topdir
43 builddir=$builddir
44 resultdir=$resultdir
46 PATH=$PATH
48 Most software can be built like this:
50    echo \"\$mpk_opt\" | xargs ./configure
51    make
52    make install
54 [To exit the Minipack shell, type 'exit'].
57 $SHELL -i
59 echo "
60 ========================
61 Minipack shell finished.
62 ========================
66 pkg=$1
68 if [ -n "$pkg" ]; then
69   recipe=$(get_recipe_name $pkg) || exit 1
70   . $recipe
73 create_shell