eclipse-clp.install


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22

post_install() {
  cd /opt/eclipse-clp
  echo -e "\n\n\n\n${JAVA_HOME}\n" | ./RUNME
  cat << EOF
If rlwrap is installed, create the following aliases to get line editing and input history:
alias eclipse-clp='rlwrap eclipse-clp'
alias jeclipse-clp='rlwrap jeclipse-clp'
EOF
}

post_upgrade() {
  post_install $1
}

post_remove() {
  return 0
}

op=$1
shift
$op $*