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: https://wiki.haskell.org/Cabal/NewBuild

Resolving dependencies...
Starting     liquidhaskell-cabal-0.2.0.0
Building     liquidhaskell-cabal-0.2.0.0
Completed    liquidhaskell-cabal-0.2.0.0
Starting     liquidhaskell-cabal-demo-0.2.0.0
Building     liquidhaskell-cabal-demo-0.2.0.0
Failed to install liquidhaskell-cabal-demo-0.2.0.0
Build log ( /home/builder/.cabal/logs/ghc-8.6.3/liquidhaskell-cabal-demo-0.2.0.0-J3CyoxRdiE07ROYwqzzoF2.log ):
cabal: Entering directory '/tmp/cabal-tmp-597/liquidhaskell-cabal-demo-0.2.0.0'
[1 of 1] Compiling Main             ( /tmp/cabal-tmp-597/liquidhaskell-cabal-demo-0.2.0.0/dist/setup/setup.hs, /tmp/cabal-tmp-597/liquidhaskell-cabal-demo-0.2.0.0/dist/setup/Main.o )
Linking /tmp/cabal-tmp-597/liquidhaskell-cabal-demo-0.2.0.0/dist/setup/setup ...
Configuring liquidhaskell-cabal-demo-0.2.0.0...
Preprocessing executable 'ffi' for liquidhaskell-cabal-demo-0.2.0.0..
Building executable 'ffi' for liquidhaskell-cabal-demo-0.2.0.0..
[1 of 1] Compiling Main             ( app/FFI.hs, dist/build/ffi/ffi-tmp/Main.o )

include/foo.c:1:10: error:
     fatal error: foo.h: No such file or directory
     #include "foo.h"
              ^~~~~~~
  |
1 | #include "foo.h"
  |          ^
compilation terminated.
`gcc' failed in phase `C Compiler'. (Exit code: 1)
cabal: Leaving directory '/tmp/cabal-tmp-597/liquidhaskell-cabal-demo-0.2.0.0'
cabal: Error: some packages failed to install:
liquidhaskell-cabal-demo-0.2.0.0-J3CyoxRdiE07ROYwqzzoF2 failed during the
building phase. The exception was:
ExitFailure 1