Commit 95a661ea authored by Michael Hanus's avatar Michael Hanus
Browse files

pakcs script improved by adding pakcs bin dir to path

parent 01625236
......@@ -6,6 +6,10 @@
PAKCSHOME=`echo PAKCSHOME must be defined here!`
# Add PAKCS bin directory to path so that currypp can be found:
export PATH
if [ ! -x "$REPL" ] ; then
echo "ERROR: executable '$REPL' not found!" >&2
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment