Cross Reference: hets_script
xref: /hets/utils/macports/hets_script
  • Home
  • History
  • Annotate
  • Line#
  • Navigate
  • Download
  • only in ./
hets_script revision 5a1569832754da5d278b5ebf4f440e759df348a2
5a1569832754da5d278b5ebf4f440e759df348a2Christian Maeder#!/bin/sh -e
5a1569832754da5d278b5ebf4f440e759df348a2Christian Maeder
5a1569832754da5d278b5ebf4f440e759df348a2Christian Maeder#
5a1569832754da5d278b5ebf4f440e759df348a2Christian Maeder# Setting environment variables
5a1569832754da5d278b5ebf4f440e759df348a2Christian Maeder# and starting Hets
5a1569832754da5d278b5ebf4f440e759df348a2Christian Maeder#
5a1569832754da5d278b5ebf4f440e759df348a2Christian Maeder
5a1569832754da5d278b5ebf4f440e759df348a2Christian Maederexport HETS_LIB=/opt/local/lib/hets/hets-lib
5a1569832754da5d278b5ebf4f440e759df348a2Christian Maederexport HETS_ISABELLE_LIB=$HETS_ISABELLE_DIR
5a1569832754da5d278b5ebf4f440e759df348a2Christian Maeder
5a1569832754da5d278b5ebf4f440e759df348a2Christian Maeder/opt/local/lib/hets/hets $@

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