# Pastebin MUVxSsHe
$ make quicker-install-bin
touch src/full/Agda/VersionCommit.hs
===================== Installing using Cabal with -O0 ====================
time cabal v1-install --disable-documentation --builddir=./dist-2.6.2-quick --disable-library-profiling -fenable-cluster-counting --ghc-options="+RTS -M3G -RTS"  --ghc-options=-O0 --program-suffix=-quicker
Resolving dependencies...
Starting     Agda-2.6.2
Building     Agda-2.6.2
Failed to install Agda-2.6.2
Build log ( /home/james/.cabal/logs/ghc-8.8.3/Agda-2.6.2-G4enYF2MHdZ49oOTyjxkKv.log ):
cabal: Entering directory '.'
Configuring Agda-2.6.2...
Preprocessing executable 'agda-mode' for Agda-2.6.2..
Building executable 'agda-mode' for Agda-2.6.2..
Preprocessing library for Agda-2.6.2..
Building library for Agda-2.6.2..
[151 of 371] Compiling Agda.TypeChecking.Monad.Base[boot] ( src/full/Agda/TypeChecking/Monad/Base.hs-boot, dist-2.6.2-quick/build/Agda/TypeChecking/Monad/Base.o-boot )
[152 of 371] Compiling Agda.Compiler.Backend[boot] ( src/full/Agda/Compiler/Backend.hs-boot, dist-2.6.2-quick/build/Agda/Compiler/Backend.o-boot )
[153 of 371] Compiling Agda.Compiler.Builtin[boot] ( src/full/Agda/Compiler/Builtin.hs-boot, dist-2.6.2-quick/build/Agda/Compiler/Builtin.o-boot )
[154 of 371] Compiling Agda.Interaction.Response[boot] ( src/full/Agda/Interaction/Response.hs-boot, dist-2.6.2-quick/build/Agda/Interaction/Response.o-boot )
[155 of 371] Compiling Agda.VersionCommit ( src/full/Agda/VersionCommit.hs, dist-2.6.2-quick/build/Agda/VersionCommit.o )
<command line>: /nix/store/dh8g07rqvabf6a6c542kf5kwq4zarf22-bifunctors-5.5.7/lib/ghc-8.8.3/x86_64-linux-ghc-8.8.3/libHSbifunctors-5.5.7-1PLDiC6nz7O33RIEtINbSS-ghc8.8.3.so: undefined symbol: thzmabstractionzm0zi3zi2zi0zmD5zzRQZZUNFcq6kU1WHIrSvs_LanguageziHaskellziTHziDatatype_zdfTypeSubstitutionZMZNzuzdcfreeVariables_info
cabal: Leaving directory '.'
cabal: Error: some packages failed to install:
Agda-2.6.2-G4enYF2MHdZ49oOTyjxkKv failed during the building phase. The
exception was:
ExitFailure 1


real	0m12.094s
user	0m9.550s
sys	0m1.538s
make: *** [Makefile:126: quicker-install-bin] Error 1