Build of agda with android toolchain

The build took 00h 01m 08s and was NOT successful.

The program in this build is written in the following languages, according to sloccount:

SLOCLanguage
71,224 haskell
3,110 lisp
1,670 yacc
15 perl
2 ansic
76,021 total

The process tree of the build process is here.

List of Errors

Log

To avoid scrolling, you may jump to the last line of the invocation of makepkg that was used to build this package.

Removed vanilla repositories from pacman.conf and added:
# [tuscan]
# Server = file:///var/cache/pacman/pkg/

CMD: pacman -Syy --noconfirm
# :: Synchronizing package databases...
# downloading tuscan.db...

Copied permanent toolchain into container-local sysroot
# /toolchain_root/arm-linux-androideabi --> /sysroot/arm-linux-androideabi
# /toolchain_root/COPYING3.LIB --> /sysroot/COPYING3.LIB
# /toolchain_root/sysroot --> /sysroot/sysroot
# /toolchain_root/COPYING.RUNTIME --> /sysroot/COPYING.RUNTIME
# /toolchain_root/lib --> /sysroot/lib
# /toolchain_root/SOURCES --> /sysroot/SOURCES
# /toolchain_root/lib64 --> /sysroot/lib64
# /toolchain_root/share --> /sysroot/share
# /toolchain_root/bin --> /sysroot/bin
# /toolchain_root/COPYING --> /sysroot/COPYING
# /toolchain_root/COPYING3 --> /sysroot/COPYING3
# /toolchain_root/COPYING.LIB --> /sysroot/COPYING.LIB
# /toolchain_root/include --> /sysroot/include
# /toolchain_root/libexec --> /sysroot/libexec

CMD: sudo -u tuscan PATH=/sysroot/bin:/sysroot/libexec/gcc/arm-linux-androideabi/4.8:/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin CC=arm-linux-androideabi-gcc CXX=arm-linux-androideabi-g++ red makepkg --noextract --syncdeps --skipinteg --skippgpcheck --skipchecksums --noconfirm --nocolor --log --noprogressbar --nocheck
# ==> Making package: agda 2.5.1.1-1 (Tue Apr 4 21:16:35 UTC 2017)
# ==> Checking runtime dependencies...
# ==> Checking buildtime dependencies...
# ==> Installing missing dependencies...
# error: target not found: alex
# error: target not found: happy
# error: target not found: haskell-boxes
# error: target not found: haskell-cpphs
# error: target not found: haskell-data-hash
# error: target not found: haskell-edisonapi
# error: target not found: haskell-edisoncore
# error: target not found: haskell-edit-distance
# error: target not found: haskell-equivalence
# error: target not found: haskell-filemanip
# error: target not found: haskell-geniplate-mirror
# error: target not found: haskell-hashable
# error: target not found: haskell-hashtables
# error: target not found: haskell-monadplus
# error: target not found: haskell-mtl
# error: target not found: haskell-parallel
# error: target not found: haskell-quickcheck
# error: target not found: haskell-src-exts
# error: target not found: haskell-strict
# error: target not found: haskell-text
# error: target not found: haskell-transformers-compat
# error: target not found: haskell-unordered-containers
# error: target not found: haskell-zlib
# ==> ERROR: 'pacman' failed to install missing dependencies.