You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
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
The text was updated successfully, but these errors were encountered:
I run
stack init
first which reads the cabal file and generates astack.yaml
fileidris version 1.0
The text was updated successfully, but these errors were encountered: