% cabal install
Resolving dependencies...
Configuring Agda-2.6.0...
Failed to install Agda-2.6.0
Build log ( /home/joel/.cabal/logs/ghc-8.2.2/Agda-2.6.0-dcZIr1vRth9Jc2HVVFA2a.log ):
cabal: Entering directory '.'
cabal: Leaving directory '.'
cabal: Error: some packages failed to install:
Agda-2.6.0-dcZIr1vRth9Jc2HVVFA2a failed during the configure step. The
exception was:
dieVerbatim: user error (cabal: '/usr/bin/ghc' exited with an error:

dist/setup/setup.hs:1:1: error:
Could not find module ‘Prelude’
There are files missing in the ‘base-4.10.1.0’ package,
try running 'ghc-pkg check'.
Use -v to see a list of the files searched for.
|
1 |
| ^

dist/setup/setup.hs:2:1: error:
Could not find module ‘Data.List’
There are files missing in the ‘base-4.10.1.0’ package,
try running 'ghc-pkg check'.
Use -v to see a list of the files searched for.
|
2 | import Data.List
| ^^^^^^^^^^^^^^^^

dist/setup/setup.hs:3:1: error:
Could not find module ‘Distribution.Simple’
There are files missing in the ‘Cabal-2.0.1.0’ package,
try running 'ghc-pkg check'.
Use -v to see a list of the files searched for.
|
3 | import Distribution.Simple
| ^^^^^^^^^^^^^^^^^^^^^^^^^^

dist/setup/setup.hs:4:1: error:
Could not find module ‘Distribution.Simple.LocalBuildInfo’
There are files missing in the ‘Cabal-2.0.1.0’ package,
try running 'ghc-pkg check'.
Use -v to see a list of the files searched for.
|
4 | import Distribution.Simple.LocalBuildInfo
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

dist/setup/setup.hs:5:1: error:
Could not find module ‘Distribution.Simple.Setup’
There are files missing in the ‘Cabal-2.0.1.0’ package,
try running 'ghc-pkg check'.
Use -v to see a list of the files searched for.
|
5 | import Distribution.Simple.Setup
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

dist/setup/setup.hs:6:1: error:
Could not find module ‘Distribution.Simple.BuildPaths’
There are files missing in the ‘Cabal-2.0.1.0’ package,
try running 'ghc-pkg check'.
Use -v to see a list of the files searched for.
|
6 | import Distribution.Simple.BuildPaths (exeExtension)
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

dist/setup/setup.hs:7:1: error:
Could not find module ‘Distribution.PackageDescription’
There are files missing in the ‘Cabal-2.0.1.0’ package,
try running 'ghc-pkg check'.
Use -v to see a list of the files searched for.
|
7 | import Distribution.PackageDescription
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

dist/setup/setup.hs:8:1: error:
Could not find module ‘System.FilePath’
There are files missing in the ‘filepath-1.4.1.2’ package,
try running 'ghc-pkg check'.
Use -v to see a list of the files searched for.
|
8 | import System.FilePath
| ^^^^^^^^^^^^^^^^^^^^^^

dist/setup/setup.hs:9:1: error:
Could not find module ‘System.Process’
There are files missing in the ‘process-1.6.1.0’ package,
try running 'ghc-pkg check'.
Use -v to see a list of the files searched for.
|
9 | import System.Process
| ^^^^^^^^^^^^^^^^^^^^^

dist/setup/setup.hs:10:1: error:
Could not find module ‘System.Exit’
There are files missing in the ‘base-4.10.1.0’ package,
try running 'ghc-pkg check'.
Use -v to see a list of the files searched for.
|
10 | import System.Exit
| ^^^^^^^^^^^^^^^^^^
)