Build with idris2 fails: `Uncaught error: Error: Can't recognise token`

[barracuda156]

Running idris2 --build ./idris-ct.ipkg does not seem to work:

--->  Building idris-ct
Uncaught error: Error: Can't recognise token.

"idris-ct.ipkg":3:1--3:2
 1 | package idris-ct
 2 | 
 3 | {-
     ^

Command failed: /opt/local/bin/idris2 --build /opt/local/var/macports/build/_opt_svacchanda_SonomaPorts_math_idris-ct/idris-ct/work/idris-ct-fbc7f633e0d86bfe5b56a2c4b9db6f780d59106d/idris-ct.ipkg
Exit code: 1

Am I doing something wrong? --checkpkg is not recognized at all.