idris-1.3.0: test/pkg009/run

#!/usr/bin/env bash

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

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

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