The build took 00h 00m 18s and was NOT successful.
The program in this build is written in the following languages, according to sloccount:
| SLOC | Language |
|---|---|
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.
We did not attempt to build this package because some of its dependencies failed to build. These dependencies are:
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:
CMD: sudo -u tuscan red makepkg --noextract --syncdeps --skipinteg --skippgpcheck --skipchecksums --noconfirm --nocolor --log --noprogressbar --nocheck
==> Making package: agda 2.5.1.1-1 (Wed Aug 24 13:30:48 UTC 2016)==> Checking runtime dependencies...==> Checking buildtime dependencies...==> Installing missing dependencies...error: target not found: alexerror: target not found: happyerror: target not found: haskell-boxeserror: target not found: haskell-cpphserror: target not found: haskell-data-hasherror: target not found: haskell-edisonapierror: target not found: haskell-edisoncoreerror: target not found: haskell-edit-distanceerror: target not found: haskell-equivalenceerror: target not found: haskell-filemaniperror: target not found: haskell-geniplate-mirrorerror: target not found: haskell-hashableerror: target not found: haskell-hashtableserror: target not found: haskell-monadpluserror: target not found: haskell-mtlerror: target not found: haskell-parallelerror: target not found: haskell-quickcheckerror: target not found: haskell-src-extserror: target not found: haskell-stricterror: target not found: haskell-texterror: target not found: haskell-transformers-compaterror: target not found: haskell-unordered-containerserror: target not found: haskell-zlib==> ERROR: 'pacman' failed to install missing dependencies.