w32/tools/mpk-shell

   1 # mpk-shell - enters a shell with a pre-defined environment.
   2 # Copyright (C) 2008,2010 Cesar Strauss
   3 #
   4 # This program is free software: you can redistribute it and/or modify
   5 # it under the terms of the GNU General Public License as published by
   6 # the Free Software Foundation, either version 2 of the License, or
   7 # (at your option) any later version.
   8 #
   9 # This program is distributed in the hope that it will be useful,
  10 # but WITHOUT ANY WARRANTY; without even the implied warranty of
  11 # MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
  12 # GNU General Public License for more details.
  13 #
  14 # You should have received a copy of the GNU General Public License
  15 # along with this program. If not, see <http://www.gnu.org/licenses/>.
  16
  17 create_shell()
  18 {
  19   setup_configure_options
  20
  21   export mpk_opt="$pkg_configure_opt"
  22   export topdir builddir resultdir
  23
  24   : ${SHELL:=/bin/sh}
  25
  26   echo "
  27 ==============
  28 Minipack shell
  29 ==============
  30
  31 The following variables are set:
  32
  33 mpk_opt=\""
  34
  35 for opt in $mpk_opt; do
  36   echo "   $opt"
  37 done
  38
  39 echo "\"
  40 topdir=$topdir
  41 builddir=$builddir
  42 resultdir=$resultdir
  43
  44 Most software can be built like this:
  45
  46    echo \"\$mpk_opt\" | xargs ./configure
  47    make
  48    make install
  49
  50 [To exit the Minipack shell, type 'exit'].
  51 "
  52
  53 $SHELL --login -i
  54
  55 echo "
  56 ========================
  57 Minipack shell finished.
  58 ========================
  59 "
  60 }
  61
  62 pkg=$1
  63
  64 if [ -n "$pkg" ]; then
  65   recipe=$(get_recipe_name $pkg) || exit 1
  66   . $recipe
  67 fi
  68
  69 create_shell