rm -rf build

# @getEnv@ and @setEnv@ use primitive functions with definitions for both
# C (supported by most backends) and Node.
$1 --cg chez -o test Test.idr
HELLO=hi ./build/exec/test

rm -rf ./build

$1 --cg node -o test.js Test.idr
HELLO=hi node ./build/exec/test.js
