#!/bin/sh
# run the Alloy Analyzer in a forked process
: ${ALLOYDIR=/usr/local/alloy}
# exec java -jar `/bin/cygpath -w $ALLOYDIR/org.alloytools.alloy.dist.jar` &
exec $ALLOYDIR/bin/alloy $@