mosser@asmodeus:~$ adore-wrapper.sh -h
####
# ADORE Shell Wrapper: adore-wrapper.sh
# Usage: adore-wrapper.sh -f $F -r $R -v true|false
# -h: display this help
# -f $F: $F is the ADORE file you wanna work on.
# -> by default, you'll work on a desperatly empty universe
# -g $G: $R is the ADORE (ie Prolog) goal you wanna run over $F
# -> by default, do not run anything.
# -v true|false: if true, Adore print out what's happening
# -> the default value is 'true'
####
## Adore
ADORE_HOME='/Users/mosser/repositories/adore'
SWIPL_HOME='/opt/local/bin/'
PATH=$PATH:$ADORE_HOME/bin
export ADORE_HOME PATH SWIPL_HOME