eclipse-clp-x86_64/eclipse-clp.install

   1 . /etc/profile.d/eclipse-clp.sh
   2
   3 post_install() {
   4   cd $ECLIPSEDIR
   5   echo -e "\n\n\n\n${JAVA_HOME}\n" | ./RUNME
   6 }
   7
   8 post_upgrade() {
   9   post_install $1
  10 }
  11
  12 post_remove() {
  13   return 0
  14 }
  15
  16 op=$1
  17 shift
  18
  19 $op $*
  20