# Hets environment. The first matching item in the lists is used.

hets_path:

- /usr/bin/hets

- ~/dev/hets/hets

- /opt/local/bin/hets

- ~/code/hets/hets

- ~/ontohub/Hets/hets

- /usr/local/opt/hets/bin/hets

- /usr/local/opt/hets/bin/hets-bin

- /usr/local/opt/hets-binary/Hets.app/Contents/Resources/hets

- /Applications/Hets.app/Contents/Resources/hets

hets_lib:

- /usr/lib/hets/hets-lib

- ~/dev/hets/lib

- ~/ontohub/Hets

- /usr/local/opt/hets-lib

- /usr/local/opt/hets-binary/Hets.app/Contents/Resources/Hets-lib

- /Applications/Hets.app/Contents/Resources/Hets-lib

- /opt/hets-lib

hets_owl_tools:

- /usr/lib/hets/hets-owl-tools

- ~/dev/hets/OWL2

- ~/code/hets/OWL2

- ~/ontohub/Hets/OWL2

- /usr/local/opt/hets/lib/hets-owl-tools/

- /usr/local/opt/hets-binary/Hets.app/Contents/Resources/hets-owl-tools

- /Applications/Hets.app/Contents/Resources/hets-owl-tools

version_minimum_version: 0.99

version_minimum_revision: 1417424135

stack_size: 1G

cmd_line_options:

- '-o xml'

- '--full-signatures'

- '-a none'

- '-v2'

- '+RTS -K1G -RTS'

- '--full-theories'

- '-A'

server_options:

- '-a none'

# Environment variables to set for running Hets

env:

LANG: en_US.UTF-8