You are receiving this mail as a port that you maintain
is failing to build on the FreeBSD package build server.
Please investigate the failure and submit a PR to fix
build.

Maintainer:     hask...@freebsd.org
Last committer: arr...@freebsd.org
Ident:          $FreeBSD: head/math/hs-Agda/Makefile 534200 2020-05-06 
20:31:28Z arrowd $
Log URL:        
http://beefy10.nyi.freebsd.org/data/113i386-default/534218/logs/hs-Agda-2.6.1_1.log
Build URL:      
http://beefy10.nyi.freebsd.org/build.html?mastername=113i386-default&build=534218
Log:

=>> Building math/hs-Agda
build started at Thu May  7 21:53:55 UTC 2020
port directory: /usr/ports/math/hs-Agda
package name: hs-Agda-2.6.1_1
building for: FreeBSD 113i386-default-job-10 11.3-RELEASE-p8 FreeBSD 
11.3-RELEASE-p8 i386
maintained by: hask...@freebsd.org
Makefile ident:      $FreeBSD: head/math/hs-Agda/Makefile 534200 2020-05-06 
20:31:28Z arrowd $
Poudriere version: 3.2.8-5-gc81843e5
Host OSVERSION: 1300089
Jail OSVERSION: 1103000
Job Id: 10

---Begin Environment---
SHELL=/bin/csh
UNAME_p=i386
UNAME_m=i386
OSVERSION=1103000
UNAME_v=FreeBSD 11.3-RELEASE-p8
UNAME_r=11.3-RELEASE-p8
BLOCKSIZE=K
MAIL=/var/mail/root
STATUS=1
HOME=/root
PATH=/sbin:/bin:/usr/sbin:/usr/bin:/usr/local/sbin:/usr/local/bin:/root/bin
LOCALBASE=/usr/local
USER=root
LIBEXECPREFIX=/usr/local/libexec/poudriere
POUDRIERE_VERSION=3.2.8-5-gc81843e5
MASTERMNT=/usr/local/poudriere/data/.m/113i386-default/ref
POUDRIERE_BUILD_TYPE=bulk
PACKAGE_BUILDING=yes
SAVED_TERM=
PWD=/usr/local/poudriere/data/.m/113i386-default/ref/.p/pool
P_PORTS_FEATURES=FLAVORS SELECTED_OPTIONS
MASTERNAME=113i386-default
SCRIPTPREFIX=/usr/local/share/poudriere
OLDPWD=/usr/local/poudriere/data/.m/113i386-default/ref/.p
SCRIPTPATH=/usr/local/share/poudriere/bulk.sh
POUDRIEREPATH=/usr/local/bin/poudriere
---End Environment---

---Begin Poudriere Port Flags/Env---
PORT_FLAGS=
PKGENV=
FLAVOR=
DEPENDS_ARGS=
MAKE_ARGS=
---End Poudriere Port Flags/Env---

---Begin OPTIONS List---
---End OPTIONS List---

--MAINTAINER--
hask...@freebsd.org
--End MAINTAINER--

--CONFIGURE_ARGS--

--End CONFIGURE_ARGS--

--CONFIGURE_ENV--
XDG_DATA_HOME=/wrkdirs/usr/ports/math/hs-Agda/work  
XDG_CONFIG_HOME=/wrkdirs/usr/ports/math/hs-Agda/work  
HOME=/wrkdirs/usr/ports/math/hs-Agda/work TMPDIR="/tmp" 
PATH=/wrkdirs/usr/ports/math/hs-Agda/work/.bin:/sbin:/bin:/usr/sbin:/usr/bin:/usr/local/sbin:/usr/local/bin:/root/bin
 SHELL=/bin/sh CONFIG_SHELL=/bin/sh LANG=en_US.UTF-8 LC_ALL=en_US.UTF-8
--End CONFIGURE_ENV--

--MAKE_ENV--
XDG_DATA_HOME=/wrkdirs/usr/ports/math/hs-Agda/work  
XDG_CONFIG_HOME=/wrkdirs/usr/ports/math/hs-Agda/work  
HOME=/wrkdirs/usr/ports/math/hs-Agda/work TMPDIR="/tmp" 
PATH=/wrkdirs/usr/ports/math/hs-Agda/work/.bin:/sbin:/bin:/usr/sbin:/usr/bin:/usr/local/sbin:/usr/local/bin:/root/bin
 NO_PIE=yes MK_DEBUG_FILES=no MK_KERNEL_SYMBOLS=no SHELL=/bin/sh NO_LINT=YES 
LANG=en_US.UTF-8 LC_ALL=en_US.UTF-8 PREFIX=/usr/local  LOCALBASE=/usr/local  
CC="cc" CFLAGS="-O2 -pipe  -fstack-protector-strong -fno-strict-aliasing "  
CPP="cpp" CPPFLAGS=""  LDFLAGS=" -fstack-protector-strong " LIBS=""  CXX="c++" 
CXXFLAGS="-O2 -pipe -fstack-protector-strong -fno-strict-aliasing  "  
MANPREFIX="/usr/local" BSD_INSTALL_PROGRAM="install  -s -m 555"  
BSD_INSTALL_LIB="install  -s -m 0644"  BSD_INSTALL_SCRIPT="install  -m 555"  
BSD_INSTALL_DATA="install  -m 0644"  BSD_INSTALL_MAN="install  -m 444"
--End MAKE_ENV--

--PLIST_SUB--
OSREL=11.3 PREFIX=%D LOCALBASE=/usr/local  RESETPREFIX=/usr/local LIB32DIR=lib 
DOCSDIR="share/doc/Agda"  EXAMPLESDIR="share/examples/Agda"  
DATADIR="share/Agda"  WWWDIR="www/Agda"  ETCDIR="etc/Agda"
--End PLIST_SUB--

--SUB_LIST--
PREFIX=/usr/local LOCALBASE=/usr/local  DATADIR=/usr/local/share/Agda 
DOCSDIR=/usr/local/share/doc/Agda EXAMPLESDIR=/usr/local/share/examples/Agda  
WWWDIR=/usr/local/www/Agda ETCDIR=/usr/local/etc/Agda
--End SUB_LIST--

---Begin make.conf---
USE_PACKAGE_DEPENDS=yes
BATCH=yes
WRKDIRPREFIX=/wrkdirs
PORTSDIR=/usr/ports
PACKAGES=/packages
DISTDIR=/distfiles
PACKAGE_BUILDING=yes
PACKAGE_BUILDING_FLAVORS=yes
MACHINE=i386
MACHINE_ARCH=i386
ARCH=${MACHINE_ARCH}
#### /usr/local/etc/poudriere.d/make.conf ####
# XXX: We really need this but cannot use it while 'make checksum' does not
# try the next mirror on checksum failure.  It currently retries the same
# failed mirror and then fails rather then trying another.  It *does*
# try the next if the size is mismatched though.
#MASTER_SITE_FREEBSD=yes
# Build ALLOW_MAKE_JOBS_PACKAGES with 2 jobs
MAKE_JOBS_NUMBER=2
#### /usr/ports/Mk/Scripts/ports_env.sh ####
_CCVERSION_921dbbb2=FreeBSD clang version 8.0.0 (tags/RELEASE_800/final 356365) 
(based on LLVM 8.0.0) Target: i386-unknown-freebsd11.3 Thread model: posix 
InstalledDir: /usr/bin
_ALTCCVERSION_921dbbb2=none
_CXXINTERNAL_acaad9ca=FreeBSD clang version 8.0.0 (tags/RELEASE_800/final 
356365) (based on LLVM 8.0.0) Target: i386-unknown-freebsd11.3 Thread model: 
posix InstalledDir: /usr/bin "/usr/bin/ld" "--eh-frame-hdr" "-dynamic-linker" 
"/libexec/ld-elf.so.1" "--hash-style=both" "--enable-new-dtags" "-m" 
"elf_i386_fbsd" "-o" "a.out" "/usr/lib/crt1.o" "/usr/lib/crti.o" 
"/usr/lib/crtbegin.o" "-L/usr/lib" "/dev/null" "-lc++" "-lm" "-lgcc" 
"--as-needed" "-lgcc_s" "--no-as-needed" "-lc" "-lgcc" "--as-needed" "-lgcc_s" 
"--no-as-needed" "/usr/lib/crtend.o" "/usr/lib/crtn.o"
CC_OUTPUT_921dbbb2_58173849=yes
CC_OUTPUT_921dbbb2_9bdba57c=yes
CC_OUTPUT_921dbbb2_6a4fe7f5=yes
CC_OUTPUT_921dbbb2_6bcac02b=yes
CC_OUTPUT_921dbbb2_67d20829=yes
CC_OUTPUT_921dbbb2_bfa62e83=yes
CC_OUTPUT_921dbbb2_f0b4d593=yes
CC_OUTPUT_921dbbb2_308abb44=yes
CC_OUTPUT_921dbbb2_f00456e5=yes
CC_OUTPUT_921dbbb2_65ad290d=yes
CC_OUTPUT_921dbbb2_f2776b26=yes
CC_OUTPUT_921dbbb2_b2657cc3=yes
CC_OUTPUT_921dbbb2_380987f7=yes
CC_OUTPUT_921dbbb2_160933ec=yes
CC_OUTPUT_921dbbb2_fb62803b=yes
_OBJC_CCVERSION_921dbbb2=FreeBSD clang version 8.0.0 (tags/RELEASE_800/final 
356365) (based on LLVM 8.0.0) Target: i386-unknown-freebsd11.3 Thread model: 
posix InstalledDir: /usr/bin
_OBJC_ALTCCVERSION_921dbbb2=none
ARCH=i386
OPSYS=FreeBSD
_OSRELEASE=11.3-RELEASE-p8
OSREL=11.3
OSVERSION=1103000
PYTHONBASE=/usr/local
CONFIGURE_MAX_CMD_LEN=524288
HAVE_PORTS_ENV=1
#### Misc Poudriere ####
GID=0
UID=0
DISABLE_MAKE_JOBS=poudriere
---End make.conf---
--Resource limits--
cpu time               (seconds, -t)  unlimited
file size           (512-blocks, -f)  unlimited
data seg size           (kbytes, -d)  524288
stack size              (kbytes, -s)  65536
core file size      (512-blocks, -c)  unlimited
max memory size         (kbytes, -m)  unlimited
locked memory           (kbytes, -l)  unlimited
max user processes              (-u)  89999
open files                      (-n)  1024
virtual mem size        (kbytes, -v)  unlimited
swap limit              (kbytes, -w)  unlimited
socket buffer size       (bytes, -b)  unlimited
pseudo-terminals                (-p)  unlimited
kqueues                         (-k)  unlimited
umtx shared locks               (-o)  unlimited
--End resource limits--
=======================<phase: check-sanity   >============================
===========================================================================
=======================<phase: pkg-depends    >============================
===>   hs-Agda-2.6.1_1 depends on file: /usr/local/sbin/pkg - not found
===>   Installing existing package /packages/All/pkg-1.14.4.txz
[113i386-default-job-10] Installing pkg-1.14.4...
[113i386-default-job-10] Extracting pkg-1.14.4: .......... done
===>   hs-Agda-2.6.1_1 depends on file: /usr/local/sbin/pkg - found
===>   Returning to build of hs-Agda-2.6.1_1
===========================================================================
=======================<phase: fetch-depends  >============================
===========================================================================
=======================<phase: fetch          >============================
===> Fetching all distfiles required by hs-Agda-2.6.1_1 for building
===========================================================================
=======================<phase: checksum       >============================
===> Fetching all distfiles required by hs-Agda-2.6.1_1 for building
=> SHA256 Checksum OK for cabal/Agda-2.6.1.tar.gz.
=> SHA256 Checksum OK for cabal/STMonadTrans-0.4.4/STMonadTrans-0.4.4.tar.gz.
=> SHA256 Checksum OK for cabal/aeson-1.4.6.0/aeson-1.4.6.0.tar.gz.
=> SHA256 Checksum OK for cabal/alex-3.2.5/alex-3.2.5.tar.gz.
=> SHA256 Checksum OK for cabal/async-2.2.2/async-2.2.2.tar.gz.
=> SHA256 Checksum OK for cabal/attoparsec-0.13.2.3/attoparsec-0.13.2.3.tar.gz.
=> SHA256 Checksum OK for cabal/attoparsec-0.13.2.3/revision/1.cabal.
=> SHA256 Checksum OK for cabal/base-compat-0.11.1/base-compat-0.11.1.tar.gz.
=> SHA256 Checksum OK for cabal/base-orphans-0.8.2/base-orphans-0.8.2.tar.gz.
=> SHA256 Checksum OK for 
cabal/blaze-builder-0.4.1.0/blaze-builder-0.4.1.0.tar.gz.
=> SHA256 Checksum OK for cabal/blaze-html-0.9.1.2/blaze-html-0.9.1.2.tar.gz.
=> SHA256 Checksum OK for 
cabal/blaze-markup-0.8.2.3/blaze-markup-0.8.2.3.tar.gz.
=> SHA256 Checksum OK for cabal/boxes-0.1.5/boxes-0.1.5.tar.gz.
=> SHA256 Checksum OK for cabal/data-hash-0.2.0.1/data-hash-0.2.0.1.tar.gz.
=> SHA256 Checksum OK for cabal/dlist-0.8.0.7/dlist-0.8.0.7.tar.gz.
=> SHA256 Checksum OK for 
cabal/edit-distance-0.2.2.1/edit-distance-0.2.2.1.tar.gz.
=> SHA256 Checksum OK for cabal/edit-distance-0.2.2.1/revision/1.cabal.
=> SHA256 Checksum OK for cabal/equivalence-0.3.5/equivalence-0.3.5.tar.gz.
=> SHA256 Checksum OK for cabal/exceptions-0.10.4/exceptions-0.10.4.tar.gz.
=> SHA256 Checksum OK for cabal/fail-4.9.0.0/fail-4.9.0.0.tar.gz.
=> SHA256 Checksum OK for 
cabal/geniplate-mirror-0.7.6/geniplate-mirror-0.7.6.tar.gz.
=> SHA256 Checksum OK for cabal/geniplate-mirror-0.7.6/revision/2.cabal.
=> SHA256 Checksum OK for cabal/gitrev-1.3.1/gitrev-1.3.1.tar.gz.
=> SHA256 Checksum OK for cabal/happy-1.19.12/happy-1.19.12.tar.gz.
=> SHA256 Checksum OK for cabal/hashable-1.3.0.0/hashable-1.3.0.0.tar.gz.
=> SHA256 Checksum OK for cabal/hashtables-1.2.3.4/hashtables-1.2.3.4.tar.gz.
=> SHA256 Checksum OK for cabal/ieee754-0.8.0/ieee754-0.8.0.tar.gz.
=> SHA256 Checksum OK for 
cabal/integer-logarithms-1.0.3/integer-logarithms-1.0.3.tar.gz.
=> SHA256 Checksum OK for cabal/integer-logarithms-1.0.3/revision/2.cabal.
=> SHA256 Checksum OK for cabal/murmur-hash-0.1.0.9/murmur-hash-0.1.0.9.tar.gz.
=> SHA256 Checksum OK for cabal/network-uri-2.6.3.0/network-uri-2.6.3.0.tar.gz.
=> SHA256 Checksum OK for cabal/primitive-0.7.0.1/primitive-0.7.0.1.tar.gz.
=> SHA256 Checksum OK for cabal/random-1.1/random-1.1.tar.gz.
=> SHA256 Checksum OK for cabal/random-1.1/revision/1.cabal.
=> SHA256 Checksum OK for cabal/regex-base-0.94.0.0/regex-base-0.94.0.0.tar.gz.
<snip>
[141 of 369] Compiling Agda.Syntax.Internal.Pattern ( 
src/full/Agda/Syntax/Internal/Pattern.hs, 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.8.3/Agda-2.6.1/build/Agda/Syntax/Internal/Pattern.o
 )
[142 of 369] Compiling Agda.Syntax.Abstract.Views ( 
src/full/Agda/Syntax/Abstract/Views.hs, 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.8.3/Agda-2.6.1/build/Agda/Syntax/Abstract/Views.o
 )
[143 of 369] Compiling Agda.Syntax.Abstract.PatternSynonyms ( 
src/full/Agda/Syntax/Abstract/PatternSynonyms.hs, 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.8.3/Agda-2.6.1/build/Agda/Syntax/Abstract/PatternSynonyms.o
 )
[144 of 369] Compiling Agda.Syntax.Abstract.Pattern ( 
src/full/Agda/Syntax/Abstract/Pattern.hs, 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.8.3/Agda-2.6.1/build/Agda/Syntax/Abstract/Pattern.o
 )
[145 of 369] Compiling Agda.Utils.TypeLevel ( src/full/Agda/Utils/TypeLevel.hs, 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.8.3/Agda-2.6.1/build/Agda/Utils/TypeLevel.o
 )
[146 of 369] Compiling Agda.Utils.TypeLits ( src/full/Agda/Utils/TypeLits.hs, 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.8.3/Agda-2.6.1/build/Agda/Utils/TypeLits.o
 )
[147 of 369] Compiling Agda.Utils.Update ( src/full/Agda/Utils/Update.hs, 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.8.3/Agda-2.6.1/build/Agda/Utils/Update.o
 )
[148 of 369] Compiling Agda.Syntax.Concrete.Definitions ( 
src/full/Agda/Syntax/Concrete/Definitions.hs, 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.8.3/Agda-2.6.1/build/Agda/Syntax/Concrete/Definitions.o
 )
[149 of 369] Compiling Agda.Utils.VarSet ( src/full/Agda/Utils/VarSet.hs, 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.8.3/Agda-2.6.1/build/Agda/Utils/VarSet.o
 )
[150 of 369] Compiling Agda.Utils.Warshall ( src/full/Agda/Utils/Warshall.hs, 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.8.3/Agda-2.6.1/build/Agda/Utils/Warshall.o
 )
[151 of 369] Compiling Agda.Utils.WithDefault ( 
src/full/Agda/Utils/WithDefault.hs, 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.8.3/Agda-2.6.1/build/Agda/Utils/WithDefault.o
 )
[152 of 369] Compiling Agda.Utils.Zipper ( src/full/Agda/Utils/Zipper.hs, 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.8.3/Agda-2.6.1/build/Agda/Utils/Zipper.o
 )
[153 of 369] Compiling Paths_Agda       ( 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.8.3/Agda-2.6.1/build/autogen/Paths_Agda.hs,
 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.8.3/Agda-2.6.1/build/Paths_Agda.o
 )
[154 of 369] Compiling Agda.Version     ( src/full/Agda/Version.hs, 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.8.3/Agda-2.6.1/build/Agda/Version.o
 )
[155 of 369] Compiling Agda.VersionCommit ( src/full/Agda/VersionCommit.hs, 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.8.3/Agda-2.6.1/build/Agda/VersionCommit.o
 )
[156 of 369] Compiling Agda.Interaction.Library ( 
src/full/Agda/Interaction/Library.hs, 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.8.3/Agda-2.6.1/build/Agda/Interaction/Library.o
 )
[157 of 369] Compiling Agda.Interaction.Options ( 
src/full/Agda/Interaction/Options.hs, 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.8.3/Agda-2.6.1/build/Agda/Interaction/Options.o
 )
[158 of 369] Compiling Agda.TypeChecking.Monad.Base ( 
src/full/Agda/TypeChecking/Monad/Base.hs, 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.8.3/Agda-2.6.1/build/Agda/TypeChecking/Monad/Base.o
 )
[159 of 369] Compiling Agda.TypeChecking.Serialise.Base ( 
src/full/Agda/TypeChecking/Serialise/Base.hs, 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.8.3/Agda-2.6.1/build/Agda/TypeChecking/Serialise/Base.o
 )
[160 of 369] Compiling Agda.TypeChecking.Rules.Term[boot] ( 
src/full/Agda/TypeChecking/Rules/Term.hs-boot, 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.8.3/Agda-2.6.1/build/Agda/TypeChecking/Rules/Term.o-boot
 )
[161 of 369] Compiling Agda.TypeChecking.Rules.Decl[boot] ( 
src/full/Agda/TypeChecking/Rules/Decl.hs-boot, 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.8.3/Agda-2.6.1/build/Agda/TypeChecking/Rules/Decl.o-boot
 )
[162 of 369] Compiling Agda.TypeChecking.Rules.Application[boot] ( 
src/full/Agda/TypeChecking/Rules/Application.hs-boot, 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.8.3/Agda-2.6.1/build/Agda/TypeChecking/Rules/Application.o-boot
 )
[163 of 369] Compiling Agda.TypeChecking.Rewriting[boot] ( 
src/full/Agda/TypeChecking/Rewriting.hs-boot, 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.8.3/Agda-2.6.1/build/Agda/TypeChecking/Rewriting.o-boot
 )
[164 of 369] Compiling Agda.TypeChecking.Reduce.Fast[boot] ( 
src/full/Agda/TypeChecking/Reduce/Fast.hs-boot, 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.8.3/Agda-2.6.1/build/Agda/TypeChecking/Reduce/Fast.o-boot
 )
[165 of 369] Compiling Agda.TypeChecking.Primitive[boot] ( 
src/full/Agda/TypeChecking/Primitive.hs-boot, 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.8.3/Agda-2.6.1/build/Agda/TypeChecking/Primitive.o-boot
 )
[166 of 369] Compiling Agda.TypeChecking.Polarity[boot] ( 
src/full/Agda/TypeChecking/Polarity.hs-boot, 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.8.3/Agda-2.6.1/build/Agda/TypeChecking/Polarity.o-boot
 )
[167 of 369] Compiling Agda.TypeChecking.Monad.MetaVars[boot] ( 
src/full/Agda/TypeChecking/Monad/MetaVars.hs-boot, 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.8.3/Agda-2.6.1/build/Agda/TypeChecking/Monad/MetaVars.o-boot
 )
[168 of 369] Compiling Agda.TypeChecking.Monad.Imports ( 
src/full/Agda/TypeChecking/Monad/Imports.hs, 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.8.3/Agda-2.6.1/build/Agda/TypeChecking/Monad/Imports.o
 )
[169 of 369] Compiling Agda.TypeChecking.Monad.Env ( 
src/full/Agda/TypeChecking/Monad/Env.hs, 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.8.3/Agda-2.6.1/build/Agda/TypeChecking/Monad/Env.o
 )
[170 of 369] Compiling Agda.TypeChecking.Monad.Context[boot] ( 
src/full/Agda/TypeChecking/Monad/Context.hs-boot, 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.8.3/Agda-2.6.1/build/Agda/TypeChecking/Monad/Context.o-boot
 )
[171 of 369] Compiling Agda.TypeChecking.Monad.Builtin[boot] ( 
src/full/Agda/TypeChecking/Monad/Builtin.hs-boot, 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.8.3/Agda-2.6.1/build/Agda/TypeChecking/Monad/Builtin.o-boot
 )
[172 of 369] Compiling Agda.TypeChecking.Errors[boot] ( 
src/full/Agda/TypeChecking/Errors.hs-boot, 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.8.3/Agda-2.6.1/build/Agda/TypeChecking/Errors.o-boot
 )
[173 of 369] Compiling Agda.TypeChecking.Monad.Debug ( 
src/full/Agda/TypeChecking/Monad/Debug.hs, 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.8.3/Agda-2.6.1/build/Agda/TypeChecking/Monad/Debug.o
 )
[174 of 369] Compiling Agda.TypeChecking.Monad.Statistics ( 
src/full/Agda/TypeChecking/Monad/Statistics.hs, 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.8.3/Agda-2.6.1/build/Agda/TypeChecking/Monad/Statistics.o
 )
[175 of 369] Compiling Agda.TypeChecking.Monad.Signature[boot] ( 
src/full/Agda/TypeChecking/Monad/Signature.hs-boot, 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.8.3/Agda-2.6.1/build/Agda/TypeChecking/Monad/Signature.o-boot
 )
[176 of 369] Compiling Agda.TypeChecking.ProjectionLike[boot] ( 
src/full/Agda/TypeChecking/ProjectionLike.hs-boot, 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.8.3/Agda-2.6.1/build/Agda/TypeChecking/ProjectionLike.o-boot
 )
[177 of 369] Compiling Agda.TypeChecking.Pretty[boot] ( 
src/full/Agda/TypeChecking/Pretty.hs-boot, 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.8.3/Agda-2.6.1/build/Agda/TypeChecking/Pretty.o-boot
 )
[178 of 369] Compiling Agda.TypeChecking.Pretty.Warning[boot] ( 
src/full/Agda/TypeChecking/Pretty/Warning.hs-boot, 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.8.3/Agda-2.6.1/build/Agda/TypeChecking/Pretty/Warning.o-boot
 )
[179 of 369] Compiling Agda.TypeChecking.Pretty.Call[boot] ( 
src/full/Agda/TypeChecking/Pretty/Call.hs-boot, 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.8.3/Agda-2.6.1/build/Agda/TypeChecking/Pretty/Call.o-boot
 )
[180 of 369] Compiling Agda.TypeChecking.Monad.Caching ( 
src/full/Agda/TypeChecking/Monad/Caching.hs, 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.8.3/Agda-2.6.1/build/Agda/TypeChecking/Monad/Caching.o
 )
[181 of 369] Compiling Agda.TypeChecking.Monad.Benchmark ( 
src/full/Agda/TypeChecking/Monad/Benchmark.hs, 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.8.3/Agda-2.6.1/build/Agda/TypeChecking/Monad/Benchmark.o
 )
[182 of 369] Compiling Agda.TypeChecking.Irrelevance[boot] ( 
src/full/Agda/TypeChecking/Irrelevance.hs-boot, 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.8.3/Agda-2.6.1/build/Agda/TypeChecking/Irrelevance.o-boot
 )
[183 of 369] Compiling Agda.TypeChecking.CompiledClause.Match[boot] ( 
src/full/Agda/TypeChecking/CompiledClause/Match.hs-boot, 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.8.3/Agda-2.6.1/build/Agda/TypeChecking/CompiledClause/Match.o-boot
 )
[184 of 369] Compiling Agda.TypeChecking.CompiledClause.Compile[boot] ( 
src/full/Agda/TypeChecking/CompiledClause/Compile.hs-boot, 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.8.3/Agda-2.6.1/build/Agda/TypeChecking/CompiledClause/Compile.o-boot
 )
[185 of 369] Compiling Agda.Syntax.Internal.Names ( 
src/full/Agda/Syntax/Internal/Names.hs, 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.8.3/Agda-2.6.1/build/Agda/Syntax/Internal/Names.o
 )
[186 of 369] Compiling Agda.Interaction.Highlighting.Generate[boot] ( 
src/full/Agda/Interaction/Highlighting/Generate.hs-boot, 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.8.3/Agda-2.6.1/build/Agda/Interaction/Highlighting/Generate.o-boot
 )
[187 of 369] Compiling Agda.TypeChecking.Warnings ( 
src/full/Agda/TypeChecking/Warnings.hs, 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.8.3/Agda-2.6.1/build/Agda/TypeChecking/Warnings.o
 )
[188 of 369] Compiling Agda.Interaction.Imports[boot] ( 
src/full/Agda/Interaction/Imports.hs-boot, 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.8.3/Agda-2.6.1/build/Agda/Interaction/Imports.o-boot
 )
[189 of 369] Compiling Agda.Compiler.Treeless.Erase[boot] ( 
src/full/Agda/Compiler/Treeless/Erase.hs-boot, 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.8.3/Agda-2.6.1/build/Agda/Compiler/Treeless/Erase.o-boot
 )
[190 of 369] Compiling Agda.TypeChecking.Inlining ( 
src/full/Agda/TypeChecking/Inlining.hs, 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.8.3/Agda-2.6.1/build/Agda/TypeChecking/Inlining.o
 )
[191 of 369] Compiling Agda.Interaction.FindFile ( 
src/full/Agda/Interaction/FindFile.hs, 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.8.3/Agda-2.6.1/build/Agda/Interaction/FindFile.o
 )
[192 of 369] Compiling Agda.TypeChecking.Serialise.Instances.Common ( 
src/full/Agda/TypeChecking/Serialise/Instances/Common.hs, 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.8.3/Agda-2.6.1/build/Agda/TypeChecking/Serialise/Instances/Common.o
 )
[193 of 369] Compiling Agda.TypeChecking.Serialise.Instances.Highlighting ( 
src/full/Agda/TypeChecking/Serialise/Instances/Highlighting.hs, 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.8.3/Agda-2.6.1/build/Agda/TypeChecking/Serialise/Instances/Highlighting.o
 )
[194 of 369] Compiling Agda.TypeChecking.Serialise.Instances.Abstract ( 
src/full/Agda/TypeChecking/Serialise/Instances/Abstract.hs, 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.8.3/Agda-2.6.1/build/Agda/TypeChecking/Serialise/Instances/Abstract.o
 )
[195 of 369] Compiling Agda.Interaction.Base ( 
src/full/Agda/Interaction/Base.hs, 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.8.3/Agda-2.6.1/build/Agda/Interaction/Base.o
 )
[196 of 369] Compiling Agda.Interaction.Response ( 
src/full/Agda/Interaction/Response.hs, 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.8.3/Agda-2.6.1/build/Agda/Interaction/Response.o
 )
[197 of 369] Compiling Agda.TypeChecking.Monad.State ( 
src/full/Agda/TypeChecking/Monad/State.hs, 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.8.3/Agda-2.6.1/build/Agda/TypeChecking/Monad/State.o
 )
[198 of 369] Compiling Agda.TypeChecking.Monad.Trace ( 
src/full/Agda/TypeChecking/Monad/Trace.hs, 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.8.3/Agda-2.6.1/build/Agda/TypeChecking/Monad/Trace.o
 )
[199 of 369] Compiling Agda.TypeChecking.Monad.Mutual ( 
src/full/Agda/TypeChecking/Monad/Mutual.hs, 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.8.3/Agda-2.6.1/build/Agda/TypeChecking/Monad/Mutual.o
 )
[200 of 369] Compiling Agda.TypeChecking.Monad.Closure ( 
src/full/Agda/TypeChecking/Monad/Closure.hs, 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.8.3/Agda-2.6.1/build/Agda/TypeChecking/Monad/Closure.o
 )
[201 of 369] Compiling Agda.TypeChecking.Monad.Constraints ( 
src/full/Agda/TypeChecking/Monad/Constraints.hs, 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.8.3/Agda-2.6.1/build/Agda/TypeChecking/Monad/Constraints.o
 )
[202 of 369] Compiling Agda.TypeChecking.Constraints[boot] ( 
src/full/Agda/TypeChecking/Constraints.hs-boot, 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.8.3/Agda-2.6.1/build/Agda/TypeChecking/Constraints.o-boot
 )
[203 of 369] Compiling Agda.Syntax.Scope.Monad ( 
src/full/Agda/Syntax/Scope/Monad.hs, 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.8.3/Agda-2.6.1/build/Agda/Syntax/Scope/Monad.o
 )
[204 of 369] Compiling Agda.Syntax.Concrete.Operators ( 
src/full/Agda/Syntax/Concrete/Operators.hs, 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.8.3/Agda-2.6.1/build/Agda/Syntax/Concrete/Operators.o
 )
[205 of 369] Compiling Agda.Interaction.Options.Lenses ( 
src/full/Agda/Interaction/Options/Lenses.hs, 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.8.3/Agda-2.6.1/build/Agda/Interaction/Options/Lenses.o
 )
[206 of 369] Compiling Agda.TypeChecking.Monad.Options ( 
src/full/Agda/TypeChecking/Monad/Options.hs, 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.8.3/Agda-2.6.1/build/Agda/TypeChecking/Monad/Options.o
 )
[207 of 369] Compiling Agda.TypeChecking.Substitute ( 
src/full/Agda/TypeChecking/Substitute.hs, 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.8.3/Agda-2.6.1/build/Agda/TypeChecking/Substitute.o
 )
[208 of 369] Compiling Agda.TypeChecking.Monad.Open ( 
src/full/Agda/TypeChecking/Monad/Open.hs, 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.8.3/Agda-2.6.1/build/Agda/TypeChecking/Monad/Open.o
 )
[209 of 369] Compiling Agda.TypeChecking.Monad.Context ( 
src/full/Agda/TypeChecking/Monad/Context.hs, 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.8.3/Agda-2.6.1/build/Agda/TypeChecking/Monad/Context.o
 )
[210 of 369] Compiling Agda.TypeChecking.Telescope[boot] ( 
src/full/Agda/TypeChecking/Telescope.hs-boot, 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.8.3/Agda-2.6.1/build/Agda/TypeChecking/Telescope.o-boot
 )
[211 of 369] Compiling Agda.TypeChecking.Monad.Builtin ( 
src/full/Agda/TypeChecking/Monad/Builtin.hs, 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.8.3/Agda-2.6.1/build/Agda/TypeChecking/Monad/Builtin.o
 )
[212 of 369] Compiling Agda.TypeChecking.Monad.SizedTypes ( 
src/full/Agda/TypeChecking/Monad/SizedTypes.hs, 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.8.3/Agda-2.6.1/build/Agda/TypeChecking/Monad/SizedTypes.o
 )
[213 of 369] Compiling Agda.TypeChecking.Level[boot] ( 
src/full/Agda/TypeChecking/Level.hs-boot, 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.8.3/Agda-2.6.1/build/Agda/TypeChecking/Level.o-boot
 )
[214 of 369] Compiling Agda.Syntax.Translation.AbstractToConcrete ( 
src/full/Agda/Syntax/Translation/AbstractToConcrete.hs, 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.8.3/Agda-2.6.1/build/Agda/Syntax/Translation/AbstractToConcrete.o
 )
[215 of 369] Compiling Agda.Syntax.Abstract.Pretty ( 
src/full/Agda/Syntax/Abstract/Pretty.hs, 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.8.3/Agda-2.6.1/build/Agda/Syntax/Abstract/Pretty.o
 )
[216 of 369] Compiling Agda.TypeChecking.DropArgs ( 
src/full/Agda/TypeChecking/DropArgs.hs, 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.8.3/Agda-2.6.1/build/Agda/TypeChecking/DropArgs.o
 )
[217 of 369] Compiling Agda.TypeChecking.Monad.Signature ( 
src/full/Agda/TypeChecking/Monad/Signature.hs, 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.8.3/Agda-2.6.1/build/Agda/TypeChecking/Monad/Signature.o
 )
[218 of 369] Compiling Agda.TypeChecking.Monad.MetaVars ( 
src/full/Agda/TypeChecking/Monad/MetaVars.hs, 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.8.3/Agda-2.6.1/build/Agda/TypeChecking/Monad/MetaVars.o
 )
[219 of 369] Compiling Agda.TypeChecking.MetaVars[boot] ( 
src/full/Agda/TypeChecking/MetaVars.hs-boot, 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.8.3/Agda-2.6.1/build/Agda/TypeChecking/MetaVars.o-boot
 )
[220 of 369] Compiling Agda.TypeChecking.Datatypes[boot] ( 
src/full/Agda/TypeChecking/Datatypes.hs-boot, 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.8.3/Agda-2.6.1/build/Agda/TypeChecking/Datatypes.o-boot
 )
[221 of 369] Compiling Agda.Compiler.Treeless.Subst ( 
src/full/Agda/Compiler/Treeless/Subst.hs, 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.8.3/Agda-2.6.1/build/Agda/Compiler/Treeless/Subst.o
 )
[222 of 369] Compiling Agda.Compiler.Treeless.Pretty ( 
src/full/Agda/Compiler/Treeless/Pretty.hs, 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.8.3/Agda-2.6.1/build/Agda/Compiler/Treeless/Pretty.o
 )
[223 of 369] Compiling Agda.Compiler.Treeless.Compare ( 
src/full/Agda/Compiler/Treeless/Compare.hs, 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.8.3/Agda-2.6.1/build/Agda/Compiler/Treeless/Compare.o
 )
[224 of 369] Compiling Agda.Compiler.Treeless.Uncase ( 
src/full/Agda/Compiler/Treeless/Uncase.hs, 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.8.3/Agda-2.6.1/build/Agda/Compiler/Treeless/Uncase.o
 )
[225 of 369] Compiling Agda.TypeChecking.Monad ( 
src/full/Agda/TypeChecking/Monad.hs, 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.8.3/Agda-2.6.1/build/Agda/TypeChecking/Monad.o
 )
[226 of 369] Compiling Agda.TypeChecking.Serialise.Instances.Compilers ( 
src/full/Agda/TypeChecking/Serialise/Instances/Compilers.hs, 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.8.3/Agda-2.6.1/build/Agda/TypeChecking/Serialise/Instances/Compilers.o
 )
[227 of 369] Compiling Agda.TypeChecking.Serialise.Instances.Internal ( 
src/full/Agda/TypeChecking/Serialise/Instances/Internal.hs, 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.8.3/Agda-2.6.1/build/Agda/TypeChecking/Serialise/Instances/Internal.o
 )
[228 of 369] Compiling Agda.TypeChecking.Serialise.Instances.Errors ( 
src/full/Agda/TypeChecking/Serialise/Instances/Errors.hs, 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.8.3/Agda-2.6.1/build/Agda/TypeChecking/Serialise/Instances/Errors.o
 )
[229 of 369] Compiling Agda.TypeChecking.Serialise.Instances ( 
src/full/Agda/TypeChecking/Serialise/Instances.hs, 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.8.3/Agda-2.6.1/build/Agda/TypeChecking/Serialise/Instances.o
 )
[230 of 369] Compiling Agda.TypeChecking.Serialise ( 
src/full/Agda/TypeChecking/Serialise.hs, 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.8.3/Agda-2.6.1/build/Agda/TypeChecking/Serialise.o
 )
[231 of 369] Compiling Agda.TypeChecking.Rules.Def[boot] ( 
src/full/Agda/TypeChecking/Rules/Def.hs-boot, 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.8.3/Agda-2.6.1/build/Agda/TypeChecking/Rules/Def.o-boot
 )
[232 of 369] Compiling Agda.TypeChecking.Rules.Builtin.Coinduction[boot] ( 
src/full/Agda/TypeChecking/Rules/Builtin/Coinduction.hs-boot, 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.8.3/Agda-2.6.1/build/Agda/TypeChecking/Rules/Builtin/Coinduction.o-boot
 )
[233 of 369] Compiling Agda.TypeChecking.Rewriting.Clause ( 
src/full/Agda/TypeChecking/Rewriting/Clause.hs, 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.8.3/Agda-2.6.1/build/Agda/TypeChecking/Rewriting/Clause.o
 )
[234 of 369] Compiling Agda.TypeChecking.Reduce.Monad ( 
src/full/Agda/TypeChecking/Reduce/Monad.hs, 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.8.3/Agda-2.6.1/build/Agda/TypeChecking/Reduce/Monad.o
 )
[235 of 369] Compiling Agda.TypeChecking.Records[boot] ( 
src/full/Agda/TypeChecking/Records.hs-boot, 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.8.3/Agda-2.6.1/build/Agda/TypeChecking/Records.o-boot
 )
[236 of 369] Compiling Agda.TypeChecking.Patterns.Match[boot] ( 
src/full/Agda/TypeChecking/Patterns/Match.hs-boot, 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.8.3/Agda-2.6.1/build/Agda/TypeChecking/Patterns/Match.o-boot
 )
[237 of 369] Compiling Agda.TypeChecking.Patterns.Abstract ( 
src/full/Agda/TypeChecking/Patterns/Abstract.hs, 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.8.3/Agda-2.6.1/build/Agda/TypeChecking/Patterns/Abstract.o
 )
[238 of 369] Compiling Agda.TypeChecking.Names ( 
src/full/Agda/TypeChecking/Names.hs, 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.8.3/Agda-2.6.1/build/Agda/TypeChecking/Names.o
 )
[239 of 369] Compiling Agda.TypeChecking.MetaVars.Mention ( 
src/full/Agda/TypeChecking/MetaVars/Mention.hs, 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.8.3/Agda-2.6.1/build/Agda/TypeChecking/MetaVars/Mention.o
 )
[240 of 369] Compiling Agda.TypeChecking.EtaContract ( 
src/full/Agda/TypeChecking/EtaContract.hs, 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.8.3/Agda-2.6.1/build/Agda/TypeChecking/EtaContract.o
 )
[241 of 369] Compiling Agda.TypeChecking.Reduce ( 
src/full/Agda/TypeChecking/Reduce.hs, 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.8.3/Agda-2.6.1/build/Agda/TypeChecking/Reduce.o
 )
[242 of 369] Compiling Agda.TypeChecking.Telescope ( 
src/full/Agda/TypeChecking/Telescope.hs, 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.8.3/Agda-2.6.1/build/Agda/TypeChecking/Telescope.o
 )
[243 of 369] Compiling Agda.TypeChecking.SyntacticEquality ( 
src/full/Agda/TypeChecking/SyntacticEquality.hs, 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.8.3/Agda-2.6.1/build/Agda/TypeChecking/SyntacticEquality.o
 )
[244 of 369] Compiling Agda.TypeChecking.Primitive.Base ( 
src/full/Agda/TypeChecking/Primitive/Base.hs, 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.8.3/Agda-2.6.1/build/Agda/TypeChecking/Primitive/Base.o
 )
[245 of 369] Compiling Agda.TypeChecking.Primitive.Cubical ( 
src/full/Agda/TypeChecking/Primitive/Cubical.hs, 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.8.3/Agda-2.6.1/build/Agda/TypeChecking/Primitive/Cubical.o
 )
[246 of 369] Compiling Agda.TypeChecking.Patterns.Internal ( 
src/full/Agda/TypeChecking/Patterns/Internal.hs, 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.8.3/Agda-2.6.1/build/Agda/TypeChecking/Patterns/Internal.o
 )
[247 of 369] Compiling Agda.TypeChecking.Level ( 
src/full/Agda/TypeChecking/Level.hs, 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.8.3/Agda-2.6.1/build/Agda/TypeChecking/Level.o
 )
[248 of 369] Compiling Agda.TypeChecking.Quote ( 
src/full/Agda/TypeChecking/Quote.hs, 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.8.3/Agda-2.6.1/build/Agda/TypeChecking/Quote.o
 )
[249 of 369] Compiling Agda.TypeChecking.Primitive ( 
src/full/Agda/TypeChecking/Primitive.hs, 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.8.3/Agda-2.6.1/build/Agda/TypeChecking/Primitive.o
 )
[250 of 369] Compiling Agda.TypeChecking.LevelConstraints ( 
src/full/Agda/TypeChecking/LevelConstraints.hs, 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.8.3/Agda-2.6.1/build/Agda/TypeChecking/LevelConstraints.o
 )
[251 of 369] Compiling Agda.TypeChecking.Level.Solve ( 
src/full/Agda/TypeChecking/Level/Solve.hs, 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.8.3/Agda-2.6.1/build/Agda/TypeChecking/Level/Solve.o
 )
[252 of 369] Compiling Agda.TypeChecking.Free.Reduce ( 
src/full/Agda/TypeChecking/Free/Reduce.hs, 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.8.3/Agda-2.6.1/build/Agda/TypeChecking/Free/Reduce.o
 )
[253 of 369] Compiling Agda.TypeChecking.Empty[boot] ( 
src/full/Agda/TypeChecking/Empty.hs-boot, 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.8.3/Agda-2.6.1/build/Agda/TypeChecking/Empty.o-boot
 )
[254 of 369] Compiling Agda.TypeChecking.DisplayForm ( 
src/full/Agda/TypeChecking/DisplayForm.hs, 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.8.3/Agda-2.6.1/build/Agda/TypeChecking/DisplayForm.o
 )
[255 of 369] Compiling Agda.TypeChecking.DeadCode ( 
src/full/Agda/TypeChecking/DeadCode.hs, 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.8.3/Agda-2.6.1/build/Agda/TypeChecking/DeadCode.o
 )
[256 of 369] Compiling Agda.TypeChecking.Conversion[boot] ( 
src/full/Agda/TypeChecking/Conversion.hs-boot, 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.8.3/Agda-2.6.1/build/Agda/TypeChecking/Conversion.o-boot
 )
[257 of 369] Compiling Agda.TypeChecking.CompiledClause.Match ( 
src/full/Agda/TypeChecking/CompiledClause/Match.hs, 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.8.3/Agda-2.6.1/build/Agda/TypeChecking/CompiledClause/Match.o
 )
[258 of 369] Compiling Agda.TypeChecking.CheckInternal[boot] ( 
src/full/Agda/TypeChecking/CheckInternal.hs-boot, 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.8.3/Agda-2.6.1/build/Agda/TypeChecking/CheckInternal.o-boot
 )
[259 of 369] Compiling Agda.Termination.RecCheck ( 
src/full/Agda/Termination/RecCheck.hs, 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.8.3/Agda-2.6.1/build/Agda/Termination/RecCheck.o
 )
[260 of 369] Compiling Agda.Syntax.Translation.ReflectedToAbstract ( 
src/full/Agda/Syntax/Translation/ReflectedToAbstract.hs, 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.8.3/Agda-2.6.1/build/Agda/Syntax/Translation/ReflectedToAbstract.o
 )
[261 of 369] Compiling Agda.Syntax.Translation.InternalToAbstract ( 
src/full/Agda/Syntax/Translation/InternalToAbstract.hs, 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.8.3/Agda-2.6.1/build/Agda/Syntax/Translation/InternalToAbstract.o
 )
[262 of 369] Compiling Agda.TypeChecking.Pretty ( 
src/full/Agda/TypeChecking/Pretty.hs, 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.8.3/Agda-2.6.1/build/Agda/TypeChecking/Pretty.o
 )
[263 of 369] Compiling Agda.TypeChecking.Telescope.Path ( 
src/full/Agda/TypeChecking/Telescope/Path.hs, 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.8.3/Agda-2.6.1/build/Agda/TypeChecking/Telescope/Path.o
 )
[264 of 369] Compiling Agda.TypeChecking.SizedTypes ( 
src/full/Agda/TypeChecking/SizedTypes.hs, 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.8.3/Agda-2.6.1/build/Agda/TypeChecking/SizedTypes.o
 )
[265 of 369] Compiling Agda.TypeChecking.Rules.Display ( 
src/full/Agda/TypeChecking/Rules/Display.hs, 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.8.3/Agda-2.6.1/build/Agda/TypeChecking/Rules/Display.o
 )
[266 of 369] Compiling Agda.TypeChecking.Pretty.Call ( 
src/full/Agda/TypeChecking/Pretty/Call.hs, 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.8.3/Agda-2.6.1/build/Agda/TypeChecking/Pretty/Call.o
 )
[267 of 369] Compiling Agda.TypeChecking.Irrelevance ( 
src/full/Agda/TypeChecking/Irrelevance.hs, 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.8.3/Agda-2.6.1/build/Agda/TypeChecking/Irrelevance.o
 )
[268 of 369] Compiling Agda.TypeChecking.Records ( 
src/full/Agda/TypeChecking/Records.hs, 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.8.3/Agda-2.6.1/build/Agda/TypeChecking/Records.o
 )
[269 of 369] Compiling Agda.TypeChecking.Rules.LHS.Problem ( 
src/full/Agda/TypeChecking/Rules/LHS/Problem.hs, 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.8.3/Agda-2.6.1/build/Agda/TypeChecking/Rules/LHS/Problem.o
 )
[270 of 369] Compiling Agda.TypeChecking.Patterns.Match ( 
src/full/Agda/TypeChecking/Patterns/Match.hs, 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.8.3/Agda-2.6.1/build/Agda/TypeChecking/Patterns/Match.o
 )
[271 of 369] Compiling Agda.TypeChecking.Implicit ( 
src/full/Agda/TypeChecking/Implicit.hs, 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.8.3/Agda-2.6.1/build/Agda/TypeChecking/Implicit.o
 )
[272 of 369] Compiling Agda.TypeChecking.Rules.LHS.Implicit ( 
src/full/Agda/TypeChecking/Rules/LHS/Implicit.hs, 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.8.3/Agda-2.6.1/build/Agda/TypeChecking/Rules/LHS/Implicit.o
 )
[273 of 369] Compiling Agda.TypeChecking.Rules.LHS.ProblemRest ( 
src/full/Agda/TypeChecking/Rules/LHS/ProblemRest.hs, 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.8.3/Agda-2.6.1/build/Agda/TypeChecking/Rules/LHS/ProblemRest.o
 )
[274 of 369] Compiling Agda.TypeChecking.Functions ( 
src/full/Agda/TypeChecking/Functions.hs, 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.8.3/Agda-2.6.1/build/Agda/TypeChecking/Functions.o
 )
[275 of 369] Compiling Agda.TypeChecking.Forcing ( 
src/full/Agda/TypeChecking/Forcing.hs, 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.8.3/Agda-2.6.1/build/Agda/TypeChecking/Forcing.o
 )
[276 of 369] Compiling Agda.TypeChecking.Datatypes ( 
src/full/Agda/TypeChecking/Datatypes.hs, 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.8.3/Agda-2.6.1/build/Agda/TypeChecking/Datatypes.o
 )
[277 of 369] Compiling Agda.TypeChecking.Rewriting.NonLinPattern ( 
src/full/Agda/TypeChecking/Rewriting/NonLinPattern.hs, 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.8.3/Agda-2.6.1/build/Agda/TypeChecking/Rewriting/NonLinPattern.o
 )
[278 of 369] Compiling Agda.TypeChecking.RecordPatterns ( 
src/full/Agda/TypeChecking/RecordPatterns.hs, 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.8.3/Agda-2.6.1/build/Agda/TypeChecking/RecordPatterns.o
 )
[279 of 369] Compiling Agda.TypeChecking.Positivity ( 
src/full/Agda/TypeChecking/Positivity.hs, 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.8.3/Agda-2.6.1/build/Agda/TypeChecking/Positivity.o
 )
[280 of 369] Compiling Agda.TypeChecking.ProjectionLike ( 
src/full/Agda/TypeChecking/ProjectionLike.hs, 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.8.3/Agda-2.6.1/build/Agda/TypeChecking/ProjectionLike.o
 )
[281 of 369] Compiling Agda.TypeChecking.Sort ( 
src/full/Agda/TypeChecking/Sort.hs, 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.8.3/Agda-2.6.1/build/Agda/TypeChecking/Sort.o
 )
[282 of 369] Compiling Agda.TypeChecking.Pretty.Warning ( 
src/full/Agda/TypeChecking/Pretty/Warning.hs, 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.8.3/Agda-2.6.1/build/Agda/TypeChecking/Pretty/Warning.o
 )
[283 of 369] Compiling Agda.TypeChecking.Polarity ( 
src/full/Agda/TypeChecking/Polarity.hs, 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.8.3/Agda-2.6.1/build/Agda/TypeChecking/Polarity.o
 )
[284 of 369] Compiling Agda.TypeChecking.Injectivity ( 
src/full/Agda/TypeChecking/Injectivity.hs, 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.8.3/Agda-2.6.1/build/Agda/TypeChecking/Injectivity.o
 )
[285 of 369] Compiling Agda.TypeChecking.Coverage.Match ( 
src/full/Agda/TypeChecking/Coverage/Match.hs, 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.8.3/Agda-2.6.1/build/Agda/TypeChecking/Coverage/Match.o
 )
[286 of 369] Compiling Agda.TypeChecking.Conversion.Pure ( 
src/full/Agda/TypeChecking/Conversion/Pure.hs, 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.8.3/Agda-2.6.1/build/Agda/TypeChecking/Conversion/Pure.o
 )
[287 of 369] Compiling Agda.TypeChecking.Rewriting.NonLinMatch ( 
src/full/Agda/TypeChecking/Rewriting/NonLinMatch.hs, 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.8.3/Agda-2.6.1/build/Agda/TypeChecking/Rewriting/NonLinMatch.o
 )
[288 of 369] Compiling Agda.Termination.Monad ( 
src/full/Agda/Termination/Monad.hs, 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.8.3/Agda-2.6.1/build/Agda/Termination/Monad.o
 )
[289 of 369] Compiling Agda.TypeChecking.Errors ( 
src/full/Agda/TypeChecking/Errors.hs, 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.8.3/Agda-2.6.1/build/Agda/TypeChecking/Errors.o
 )
[290 of 369] Compiling Agda.TypeChecking.InstanceArguments ( 
src/full/Agda/TypeChecking/InstanceArguments.hs, 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.8.3/Agda-2.6.1/build/Agda/TypeChecking/InstanceArguments.o
 )
[291 of 369] Compiling Agda.TypeChecking.Constraints ( 
src/full/Agda/TypeChecking/Constraints.hs, 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.8.3/Agda-2.6.1/build/Agda/TypeChecking/Constraints.o
 )
[292 of 369] Compiling Agda.TypeChecking.MetaVars.Occurs ( 
src/full/Agda/TypeChecking/MetaVars/Occurs.hs, 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.8.3/Agda-2.6.1/build/Agda/TypeChecking/MetaVars/Occurs.o
 )
[293 of 369] Compiling Agda.TypeChecking.MetaVars ( 
src/full/Agda/TypeChecking/MetaVars.hs, 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.8.3/Agda-2.6.1/build/Agda/TypeChecking/MetaVars.o
 )
[294 of 369] Compiling Agda.TypeChecking.SizedTypes.Solve ( 
src/full/Agda/TypeChecking/SizedTypes/Solve.hs, 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.8.3/Agda-2.6.1/build/Agda/TypeChecking/SizedTypes/Solve.o
 )
[295 of 369] Compiling Agda.TypeChecking.Conversion ( 
src/full/Agda/TypeChecking/Conversion.hs, 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.8.3/Agda-2.6.1/build/Agda/TypeChecking/Conversion.o
 )
[296 of 369] Compiling Agda.TypeChecking.Unquote ( 
src/full/Agda/TypeChecking/Unquote.hs, 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.8.3/Agda-2.6.1/build/Agda/TypeChecking/Unquote.o
 )
[297 of 369] Compiling Agda.TypeChecking.Rules.LHS.Unify ( 
src/full/Agda/TypeChecking/Rules/LHS/Unify.hs, 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.8.3/Agda-2.6.1/build/Agda/TypeChecking/Rules/LHS/Unify.o
 )
[298 of 369] Compiling Agda.TypeChecking.Rewriting.Confluence ( 
src/full/Agda/TypeChecking/Rewriting/Confluence.hs, 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.8.3/Agda-2.6.1/build/Agda/TypeChecking/Rewriting/Confluence.o
 )
[299 of 369] Compiling Agda.TypeChecking.Rewriting ( 
src/full/Agda/TypeChecking/Rewriting.hs, 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.8.3/Agda-2.6.1/build/Agda/TypeChecking/Rewriting.o
 )
[300 of 369] Compiling Agda.TypeChecking.Reduce.Fast ( 
src/full/Agda/TypeChecking/Reduce/Fast.hs, 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.8.3/Agda-2.6.1/build/Agda/TypeChecking/Reduce/Fast.o
 )
[301 of 369] Compiling Agda.TypeChecking.IApplyConfluence ( 
src/full/Agda/TypeChecking/IApplyConfluence.hs, 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.8.3/Agda-2.6.1/build/Agda/TypeChecking/IApplyConfluence.o
 )
[302 of 369] Compiling Agda.TypeChecking.Generalize ( 
src/full/Agda/TypeChecking/Generalize.hs, 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.8.3/Agda-2.6.1/build/Agda/TypeChecking/Generalize.o
 )
[303 of 369] Compiling Agda.TypeChecking.Rules.Data ( 
src/full/Agda/TypeChecking/Rules/Data.hs, 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.8.3/Agda-2.6.1/build/Agda/TypeChecking/Rules/Data.o
 )
[304 of 369] Compiling Agda.TypeChecking.CheckInternal ( 
src/full/Agda/TypeChecking/CheckInternal.hs, 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.8.3/Agda-2.6.1/build/Agda/TypeChecking/CheckInternal.o
 )
[305 of 369] Compiling Agda.TypeChecking.ReconstructParameters ( 
src/full/Agda/TypeChecking/ReconstructParameters.hs, 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.8.3/Agda-2.6.1/build/Agda/TypeChecking/ReconstructParameters.o
 )
[306 of 369] Compiling Agda.TypeChecking.EtaExpand ( 
src/full/Agda/TypeChecking/EtaExpand.hs, 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.8.3/Agda-2.6.1/build/Agda/TypeChecking/EtaExpand.o
 )
[307 of 369] Compiling Agda.TypeChecking.Abstract ( 
src/full/Agda/TypeChecking/Abstract.hs, 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.8.3/Agda-2.6.1/build/Agda/TypeChecking/Abstract.o
 )
[308 of 369] Compiling Agda.TypeChecking.With ( 
src/full/Agda/TypeChecking/With.hs, 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.8.3/Agda-2.6.1/build/Agda/TypeChecking/With.o
 )
[309 of 369] Compiling Agda.Termination.TermCheck ( 
src/full/Agda/Termination/TermCheck.hs, 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.8.3/Agda-2.6.1/build/Agda/Termination/TermCheck.o
 )
[310 of 369] Compiling Agda.Syntax.Internal.SanityCheck ( 
src/full/Agda/Syntax/Internal/SanityCheck.hs, 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.8.3/Agda-2.6.1/build/Agda/Syntax/Internal/SanityCheck.o
 )
[311 of 369] Compiling Agda.Syntax.IdiomBrackets ( 
src/full/Agda/Syntax/IdiomBrackets.hs, 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.8.3/Agda-2.6.1/build/Agda/Syntax/IdiomBrackets.o
 )
[312 of 369] Compiling Agda.Syntax.DoNotation ( 
src/full/Agda/Syntax/DoNotation.hs, 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.8.3/Agda-2.6.1/build/Agda/Syntax/DoNotation.o
 )
[313 of 369] Compiling Agda.Interaction.Monad ( 
src/full/Agda/Interaction/Monad.hs, 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.8.3/Agda-2.6.1/build/Agda/Interaction/Monad.o
 )
[314 of 369] Compiling Agda.Interaction.JSON ( 
src/full/Agda/Interaction/JSON.hs, 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.8.3/Agda-2.6.1/build/Agda/Interaction/JSON.o
 )
[315 of 369] Compiling Agda.Interaction.Highlighting.Vim ( 
src/full/Agda/Interaction/Highlighting/Vim.hs, 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.8.3/Agda-2.6.1/build/Agda/Interaction/Highlighting/Vim.o
 )
[316 of 369] Compiling Agda.Interaction.Highlighting.Dot ( 
src/full/Agda/Interaction/Highlighting/Dot.hs, 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.8.3/Agda-2.6.1/build/Agda/Interaction/Highlighting/Dot.o
 )
[317 of 369] Compiling Agda.Interaction.Highlighting.Common ( 
src/full/Agda/Interaction/Highlighting/Common.hs, 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.8.3/Agda-2.6.1/build/Agda/Interaction/Highlighting/Common.o
 )
[318 of 369] Compiling Agda.Compiler.Treeless.Unused ( 
src/full/Agda/Compiler/Treeless/Unused.hs, 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.8.3/Agda-2.6.1/build/Agda/Compiler/Treeless/Unused.o
 )
[319 of 369] Compiling Agda.Compiler.Treeless.Simplify ( 
src/full/Agda/Compiler/Treeless/Simplify.hs, 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.8.3/Agda-2.6.1/build/Agda/Compiler/Treeless/Simplify.o
 )
[320 of 369] Compiling Agda.Compiler.Treeless.NormalizeNames ( 
src/full/Agda/Compiler/Treeless/NormalizeNames.hs, 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.8.3/Agda-2.6.1/build/Agda/Compiler/Treeless/NormalizeNames.o
 )
[321 of 369] Compiling Agda.Compiler.Treeless.Identity ( 
src/full/Agda/Compiler/Treeless/Identity.hs, 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.8.3/Agda-2.6.1/build/Agda/Compiler/Treeless/Identity.o
 )
[322 of 369] Compiling Agda.Compiler.Treeless.Erase ( 
src/full/Agda/Compiler/Treeless/Erase.hs, 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.8.3/Agda-2.6.1/build/Agda/Compiler/Treeless/Erase.o
 )
[323 of 369] Compiling Agda.Compiler.Treeless.EliminateLiteralPatterns ( 
src/full/Agda/Compiler/Treeless/EliminateLiteralPatterns.hs, 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.8.3/Agda-2.6.1/build/Agda/Compiler/Treeless/EliminateLiteralPatterns.o
 )
[324 of 369] Compiling Agda.Compiler.Treeless.EliminateDefaults ( 
src/full/Agda/Compiler/Treeless/EliminateDefaults.hs, 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.8.3/Agda-2.6.1/build/Agda/Compiler/Treeless/EliminateDefaults.o
 )
[325 of 369] Compiling Agda.Compiler.Treeless.Builtin ( 
src/full/Agda/Compiler/Treeless/Builtin.hs, 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.8.3/Agda-2.6.1/build/Agda/Compiler/Treeless/Builtin.o
 )
[326 of 369] Compiling Agda.Compiler.MAlonzo.Compiler[boot] ( 
src/full/Agda/Compiler/MAlonzo/Compiler.hs-boot, 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.8.3/Agda-2.6.1/build/Agda/Compiler/MAlonzo/Compiler.o-boot
 )
[327 of 369] Compiling Agda.Compiler.MAlonzo.Coerce ( 
src/full/Agda/Compiler/MAlonzo/Coerce.hs, 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.8.3/Agda-2.6.1/build/Agda/Compiler/MAlonzo/Coerce.o
 )
[328 of 369] Compiling Agda.Compiler.CallCompiler ( 
src/full/Agda/Compiler/CallCompiler.hs, 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.8.3/Agda-2.6.1/build/Agda/Compiler/CallCompiler.o
 )
[329 of 369] Compiling Agda.Interaction.Highlighting.JSON ( 
src/full/Agda/Interaction/Highlighting/JSON.hs, 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.8.3/Agda-2.6.1/build/Agda/Interaction/Highlighting/JSON.o
 )
[330 of 369] Compiling Agda.Interaction.Highlighting.Generate ( 
src/full/Agda/Interaction/Highlighting/Generate.hs, 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.8.3/Agda-2.6.1/build/Agda/Interaction/Highlighting/Generate.o
 )
[331 of 369] Compiling Agda.TypeChecking.Rules.LHS ( 
src/full/Agda/TypeChecking/Rules/LHS.hs, 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.8.3/Agda-2.6.1/build/Agda/TypeChecking/Rules/LHS.o
 )
[332 of 369] Compiling Agda.TypeChecking.Rules.Term ( 
src/full/Agda/TypeChecking/Rules/Term.hs, 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.8.3/Agda-2.6.1/build/Agda/TypeChecking/Rules/Term.o
 )
ghc: out of memory (requested 1048576 bytes)
cabal: Failed to build Agda-2.6.1. The build process terminated with exit code
251

*** Error code 1

Stop.
make: stopped in /usr/ports/math/hs-Agda
_______________________________________________
freebsd-pkg-fallout@freebsd.org mailing list
https://lists.freebsd.org/mailman/listinfo/freebsd-pkg-fallout
To unsubscribe, send any mail to "freebsd-pkg-fallout-unsubscr...@freebsd.org"

Reply via email to