some notes
[cdsspec-compiler.git] / setup-env.sh
1 #!/bin/bash
2
3 if [ -z $1 ]; then
4         export SPEC_COMPILER_HOME=~/spec-checker-compiler
5 else
6         export SPEC_COMPILER_HOME=$1
7 fi