idris-1.3.3: test/pkg009/run.sh

#!/usr/bin/env bash

${IDRIS:-idris} $@ --build datatype.ipkg

${IDRIS:-idris} $@ --clean datatype.ipkg

${IDRIS:-idris} $@ -p datatype.ipkg