mma/mma.install

   1 # arg 1:  the new package version
   2 post_install() {
   3   echo "updating database file... "
   4   /usr/bin/mma -G
   5 }
   6
   7 # arg 1:  the new package version
   8 # arg 2:  the old package version
   9 post_upgrade() {
  10   rm /usr/share/mma/lib/stdlib/.mmaDB
  11   rm /usr/share/mma/lib/yamaha/.mmaDB
  12   rm /usr/share/mma/lib/kara/.mmaDB
  13   post_install $1
  14 }
  15
  16 # arg 1:  the old package version
  17 pre_remove() {
  18   rm /usr/share/mma/lib/stdlib/.mmaDB
  19   rm /usr/share/mma/lib/yamaha/.mmaDB
  20   rm /usr/share/mma/lib/kara/.mmaDB
  21   rm /usr/share/mma/MMA/*.pyc
  22 }
  23
  24 op=$1
  25 shift
  26
  27 $op $*