I tried to initialize a project from the templates in the templates subdirectory.
The initialization works but then I cannot build either one of them.
baseDhall.inigo
$ inigo init MyNameSpace BaseDhall ../templates/baseDhall.inigo
Initializing new inigo application MyNameSpace.BaseDhall from template ../templates/baseDhall.inigo
Successfully built ../templates/baseDhall.inigo
$ inigo build
1/1: Building Main (./Main.idr)
Uncaught error: EmptyFC:No main module given
Main.idr looks like this:
module Main
main : IO ()
main = do
putStrLn "Hello from MyNameSpace.BaseDhall"
baseWithTests.inigo
$ inigo init MyNameSpace BaseWithTests ../templates/baseWithTests.inigo
Initializing new inigo application MyNameSpace.BaseWithTests from template ../templates/baseWithTests.inigo
Successfully built ../templates/baseWithTests.inigo
$ inigo build
Uncaught error: Parse errors ([("Inigo.ipkg":3:10--3:11, "Expected end of input.")])
Inigo.ipkg looks like this:
package
modules = Main
sourcedir = ""
builddir = "build"
version = 0.0.1
main = Main
executable = BaseWithTests
I tried to initialize a project from the templates in the
templates
subdirectory. The initialization works but then I cannot build either one of them.baseDhall.inigo
Main.idr
looks like this:baseWithTests.inigo
Inigo.ipkg
looks like this: