Failed to load interface for ‘Idris.Options’
flip111 opened this issue · comments
flip111 commented
I run stack init
first which reads the cabal file and generates a stack.yaml
file
$ stack build
WARNING: filepath wildcard 'phprts/*.php' does not match any files.
idris-php-0.0.0.1: configure (exe)
Configuring idris-php-0.0.0.1...
idris-php-0.0.0.1: build (exe)
Preprocessing executable 'idris-codegen-php' for idris-php-0.0.0.1...
[1 of 3] Compiling Paths_idris_php ( .stack-work/dist/x86_64-linux/Cabal-1.24.2.0/build/autogen/Paths_idris_php.hs, .stack-work/dist/x86_64-linux/Cabal-1.24.2.0/build/idris-codegen-php/idris-codegen-php-tmp/Paths_idris_php.o )
[2 of 3] Compiling IRTS.CodegenPHP ( src/IRTS/CodegenPHP.hs, .stack-work/dist/x86_64-linux/Cabal-1.24.2.0/build/idris-codegen-php/idris-codegen-php-tmp/IRTS/CodegenPHP.o )
[3 of 3] Compiling Main ( src/Main.hs, .stack-work/dist/x86_64-linux/Cabal-1.24.2.0/build/idris-codegen-php/idris-codegen-php-tmp/Main.o )
/home/flip111/idris/idris-php/src/Main.hs:5:1: error:
Failed to load interface for ‘Idris.Options’
Perhaps you meant Idris.CmdOptions (from idris-1.0)
Use -v to see a list of the files searched for.
WARNING: filepath wildcard 'phprts/*.php' does not match any files.
-- While building package idris-php-0.0.0.1 using:
/home/flip111/.stack/setup-exe-cache/x86_64-linux/Cabal-simple_mPHDZzAJ_1.24.2.0_ghc-8.0.2 --builddir=.stack-work/dist/x86_64-linux/Cabal-1.24.2.0 build exe:idris-codegen-php --ghc-options " -ddump-hi -ddump-to-file"
Process exited with code: ExitFailure 1
stack build took 3966ms
idris version 1.0