. ../../../testutils.sh

idris2 --build testpkg.ipkg 2>&1
rm -rf  build/
idris2 --build testpkg.ipkg --quiet 2>&1
idris2 --build testpkg.ipkg --verbose 2>&1
idris2 --build testpkg.ipkg --codegen gambit 2>&1
idris2 --build testpkg.ipkg --ide-mode 2>&1
idris2 --build malformed-package-name 2>&1
idris2 --build non-existent-package.ipkg 2>&1
rm -rf  build/
