Build #3 for lean-

[all reports]

Package lean-
Install BuildFailed
Docs NotTried
Tests NotTried
Time submitted 2019-05-15 18:14:01.578597861 UTC
Compiler ghc-8.6.3
OS linux
Arch x86_64
Dependencies base-, base-unicode-symbols-0.2.3, text-utf8-, transformers-, util-
Flags none

Code Coverage

No Code Coverage was submitted for this report.

Build log

[view raw]

Warning: The install command is a part of the legacy v1 style of cabal usage.

Please switch to using either the new project style and the new-install
command or the legacy v1-install alias as new-style projects will become the
default in the next version of cabal-install. Please file a bug if you cannot
replicate a working v1- use case with the new-style commands.

For more information, see:

Resolving dependencies...
Starting     util-
Starting     base-unicode-symbols-0.2.3
Starting     text-utf8-
Building     util-
Building     base-unicode-symbols-0.2.3
Building     text-utf8-
Completed    base-unicode-symbols-0.2.3
Completed    util-
Completed    text-utf8-
Starting     lean-
Building     lean-
Failed to install lean-
Build log ( /home/builder/.cabal/logs/ghc-8.6.3/lean- ):
cabal: Entering directory '/tmp/cabal-tmp-28201/lean-'
Configuring lean-
Preprocessing library for lean-
Decl.hsc:13:10: fatal error: lean.h: No such file or directory
compilation terminated.
compiling dist/build/Lean/Raw/C/Decl_hsc_make.c failed (exit code 1)
command was: /usr/bin/gcc -c dist/build/Lean/Raw/C/Decl_hsc_make.c -o dist/build/Lean/Raw/C/Decl_hsc_make.o -fno-stack-protector -fno-stack-protector -fuse-ld=gold -D__GLASGOW_HASKELL__=806 -Dlinux_BUILD_OS=1 -Dx86_64_BUILD_ARCH=1 -Dlinux_HOST_OS=1 -Dx86_64_HOST_ARCH=1 -Idist/build/autogen -Idist/build/global-autogen -include dist/build/autogen/cabal_macros.h -I/opt/ghc/8.6.3/lib/ghc-8.6.3/bytestring- -I/opt/ghc/8.6.3/lib/ghc-8.6.3/base- -I/opt/ghc/8.6.3/lib/ghc-8.6.3/integer-gmp- -I/opt/ghc/8.6.3/lib/ghc-8.6.3/include -I/opt/ghc/8.6.3/lib/ghc-8.6.3/include/
cabal: Leaving directory '/tmp/cabal-tmp-28201/lean-'
cabal: Error: some packages failed to install:
lean- failed during the building phase. The
exception was:
ExitFailure 1