w32/tools/mpk-remove

   1 # mpk-remove - Uninstall packages.
   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 remove()
  18 {
  19   : ${top_srcdir:=$name-$version}
  20
  21   pkg_builddir=$builddir/$name-$version-$release/$top_srcdir
  22
  23   if [ ! -d $pkg_builddir ]; then
  24     echo >&2 "$(basename $0) remove: Could not find the build location of $pkg."
  25     fail
  26   fi
  27
  28   cd $pkg_builddir
  29
  30   if [ ! -f Makefile ]; then
  31     echo >&2 "$(basename $0) remove: $pkg not build yet."
  32   fi
  33
  34   (make uninstall > ../logs/remove.log) || fail
  35 }
  36
  37 fail()
  38 {
  39   echo
  40   echo "================="
  41   echo "Removal failed."
  42   echo "================="
  43   exit 1
  44 }
  45
  46 if [ -z "$1" ]; then
  47   echo "Usage: $(basename $0) remove package-name"
  48   exit 1
  49 fi
  50 pkg=$1
  51
  52 if [ -z "$pkg" ]; then
  53   echo "Usage: $(basename $0) remove package-name ..."
  54   exit 1
  55 fi
  56
  57 recipe=$(get_recipe_name $pkg) || exit 1
  58
  59 . $recipe
  60
  61 remove