haskell-agda/haskell-agda.install

   1 # custom variables
   2 pkgname=haskell-agda
   3 HS_DIR=usr/share/haskell/${pkgname}
   4
   5 # functions
   6 post_install() {
   7     ${HS_DIR}/register.sh
   8     (cd usr/share/doc/ghc/html/libraries; ./gen_contents_index)
   9 }
  10
  11 pre_upgrade() {
  12     ${HS_DIR}/unregister.sh
  13 }
  14
  15 post_upgrade() {
  16     ${HS_DIR}/register.sh
  17     (cd usr/share/doc/ghc/html/libraries; ./gen_contents_index)
  18 }
  19
  20 pre_remove() {
  21     ${HS_DIR}/unregister.sh
  22 }
  23
  24 post_remove() {
  25     (cd usr/share/doc/ghc/html/libraries; ./gen_contents_index)
  26 }