Cross Reference: cronjob.sh
xref: /hets/utils/nightly/solaris/cronjob.sh
  • Home
  • History
  • Annotate
  • Line#
  • Navigate
  • Download
  • only in ./
#!/bin/bash -x
PATH=/local/home/maeder/ghc/bin:/local/home/maeder/gcc/bin:/home/pub-bkb/bin:/opt/csw/bin:/usr/bin/:/usr/ccs/bin
UDG_HOME=/home/pub-bkb/uDrawGraph-3.1
HETS_LIB=/local/home/maeder/haskell/Hets-lib
export PATH
export UDG_HOME
export HETS_LIB
cd /local/home/maeder/haskell
. ../cronjob.sh
makeHets
makeLibCheck faster
installHetsBinary solaris

Indexes created Tue Jul 24 14:28:13 CEST 2018