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
Log URL:        
https://pkg-status.freebsd.org/beefy18/data/main-amd64-default/pb5eb79b78e90_s332af8c25d/logs/hs-Agda-2.6.3.log
Build URL:      
https://pkg-status.freebsd.org/beefy18/build.html?mastername=main-amd64-default&build=pb5eb79b78e90_s332af8c25d
Log:

=>> Building math/hs-Agda
build started at Tue Aug 22 19:33:32 UTC 2023
port directory: /usr/ports/math/hs-Agda
package name: hs-Agda-2.6.3
building for: FreeBSD main-amd64-default-job-05 14.0-ALPHA2 FreeBSD 14.0-ALPHA2 
1400094 amd64
maintained by: hask...@freebsd.org
Makefile ident: 
Poudriere version: 3.2.8-23-ga7f8d188
Host OSVERSION: 1400089
Jail OSVERSION: 1400094
Job Id: 05




!!! Jail is newer than host. (Jail: 1400094, Host: 1400089) !!!
!!! This is not supported. !!!
!!! Host kernel must be same or newer than jail. !!!
!!! Expect build failures. !!!



---Begin Environment---
SHELL=/bin/sh
OSVERSION=1400094
UNAME_v=FreeBSD 14.0-ALPHA2 1400094
UNAME_r=14.0-ALPHA2
BLOCKSIZE=K
MAIL=/var/mail/root
MM_CHARSET=UTF-8
LANG=C.UTF-8
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-23-ga7f8d188
MASTERMNT=/usr/local/poudriere/data/.m/main-amd64-default/ref
POUDRIERE_BUILD_TYPE=bulk
PACKAGE_BUILDING=yes
SAVED_TERM=
PWD=/usr/local/poudriere/data/.m/main-amd64-default/ref/.p/pool
P_PORTS_FEATURES=FLAVORS SELECTED_OPTIONS
MASTERNAME=main-amd64-default
SCRIPTPREFIX=/usr/local/share/poudriere
OLDPWD=/usr/local/poudriere/data/.m/main-amd64-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  
XDG_CACHE_HOME=/wrkdirs/usr/ports/math/hs-Agda/work/.cache  
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
 
PKG_CONFIG_LIBDIR=/wrkdirs/usr/ports/math/hs-Agda/work/.pkgconfig:/usr/local/libdata/pkgconfig:/usr/local/share/pkgconfig:/usr/libdata/pkgconfig
 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  
XDG_CACHE_HOME=/wrkdirs/usr/ports/math/hs-Agda/work/.cache  
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
 
PKG_CONFIG_LIBDIR=/wrkdirs/usr/ports/math/hs-Agda/work/.pkgconfig:/usr/local/libdata/pkgconfig:/usr/local/share/pkgconfig:/usr/libdata/pkgconfig
 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 5
55"  BSD_INSTALL_DATA="install  -m 0644"  BSD_INSTALL_MAN="install  -m 444"
--End MAKE_ENV--

--PLIST_SUB--
OSREL=14.0 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
#### /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 16.0.6 
(https://github.com/llvm/llvm-project.git llvmorg-16.0.6-0-g7cbf1a259152) 
Target: x86_64-unknown-freebsd14.0 Thread model: posix InstalledDir: /usr/bin
_ALTCCVERSION_921dbbb2=none
_CXXINTERNAL_acaad9ca=FreeBSD clang version 16.0.6 
(https://github.com/llvm/llvm-project.git llvmorg-16.0.6-0-g7cbf1a259152) 
Target: x86_64-unknown-freebsd14.0 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" "-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_53255a77=yes
CC_OUTPUT_921dbbb2_911cfe02=yes
CC_OUTPUT_921dbbb2_b2657cc3=yes
CC_OUTPUT_921dbbb2_380987f7=yes
CC_OUTPUT_921dbbb2_160933ec=yes
CC_OUTPUT_921dbbb2_fb62803b=yes
CC_OUTPUT_921dbbb2_af59ad06=yes
CC_OUTPUT_921dbbb2_a15f3fcf=yes
_OBJC_CCVERSION_921dbbb2=FreeBSD clang version 16.0.6 
(https://github.com/llvm/llvm-project.git llvmorg-16.0.6-0-g7cbf1a259152) 
Target: x86_64-unknown-freebsd14.0 Thread model: posix InstalledDir: /usr/bin
_OBJC_ALTCCVERSION_921dbbb2=none
ARCH=amd64
OPSYS=FreeBSD
_OSRELEASE=14.0-ALPHA2
OSREL=14.0
OSVERSION=1400094
PYTHONBASE=/usr/local
HAVE_COMPAT_IA32_KERN=YES
CONFIGURE_MAX_CMD_LEN=524288
HAVE_PORTS_ENV=1
#### Misc Poudriere ####
GID=0
UID=0
---End make.conf---
--Resource limits--
cpu time               (seconds, -t)  unlimited
file size           (512-blocks, -f)  unlimited
data seg size           (kbytes, -d)  33554432
stack size              (kbytes, -s)  524288
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   >============================
===>  License UNKNOWN accepted by the user
===========================================================================
=======================<phase: pkg-depends    >============================
===>   hs-Agda-2.6.3 depends on file: /usr/local/sbin/pkg - not found
===>   Installing existing package /packages/All/pkg-1.20.5.pkg
[main-amd64-default-job-05] Installing pkg-1.20.5...
[main-amd64-default-job-05] Extracting pkg-1.20.5: .......... done
===>   hs-Agda-2.6.3 depends on file: /usr/local/sbin/pkg - found
===>   Returning to build of hs-Agda-2.6.3
===========================================================================
=======================<phase: fetch-depends  >============================
===========================================================================
=======================<phase: fetch          >============================
===>  License UNKNOWN accepted by the user
===> Fetching all distfiles required by hs-Agda-2.6.3 for building
===========================================================================
=======================<phase: checksum       >============================
===>  License UNKNOWN accepted by the user
===> Fetching all distfiles required by hs-Agda-2.6.3 for building
=> SHA256 Checksum OK for cabal/Agda-2.6.3/Agda-2.6.3.tar.gz.
=> SHA256 Checksum OK for cabal/OneTuple-0.4.1.1/OneTuple-0.4.1.1.tar.gz.
=> SHA256 Checksum OK for cabal/QuickCheck-2.14.2/QuickCheck-2.14.2.tar.gz.
=> SHA256 Checksum OK for cabal/STMonadTrans-0.4.6/STMonadTrans-0.4.6.tar.gz.
=> SHA256 Checksum OK for cabal/STMonadTrans-0.4.6/revision/1.cabal.
=> SHA256 Checksum OK for cabal/StateVar-1.2.2/StateVar-1.2.2.tar.gz.
=> SHA256 Checksum OK for cabal/aeson-2.1.2.1/aeson-2.1.2.1.tar.gz.
=> SHA256 Checksum OK for cabal/aeson-2.1.2.1/revision/1.cabal.
=> SHA256 Checksum OK for cabal/alex-3.2.7.1/alex-3.2.7.1.tar.gz.
=> SHA256 Checksum OK for cabal/assoc-1.0.2/assoc-1.0.2.tar.gz.
=> SHA256 Checksum OK for cabal/assoc-1.0.2/revision/3.cabal.
=> SHA256 Checksum OK for cabal/async-2.2.4/async-2.2.4.tar.gz.
=> SHA256 Checksum OK for cabal/async-2.2.4/revision/2.cabal.
=> SHA256 Checksum OK for cabal/attoparsec-0.14.4/attoparsec-0.14.4.tar.gz.
=> SHA256 Checksum OK for cabal/attoparsec-0.14.4/revision/3.cabal.
=> SHA256 Checksum OK for cabal/base-compat-0.12.2/base-compat-0.12.2.tar.gz.
=> SHA256 Checksum OK for 
cabal/base-compat-batteries-0.12.2/base-compat-batteries-0.12.2.tar.gz.
=> SHA256 Checksum OK for 
cabal/base-orphans-0.8.8.2/base-orphans-0.8.8.2.tar.gz.
=> SHA256 Checksum OK for cabal/bifunctors-5.5.15/bifunctors-5.5.15.tar.gz.
=> SHA256 Checksum OK for 
cabal/blaze-builder-0.4.2.2/blaze-builder-0.4.2.2.tar.gz.
=> SHA256 Checksum OK for cabal/blaze-builder-0.4.2.2/revision/1.cabal.
<snip>
[259 of 418] 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.3/dist-newstyle/build/x86_64-freebsd/ghc-9.4.6/Agda-2.6.3/build/Agda/TypeChecking/Rules/Builtin/Coinduction.o-boot,
 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.3/dist-newstyle/build/x86_64-freebsd/ghc-9.4.6/Agda-2.6.3/build/Agda/TypeChecking/Rules/Builtin/Coinduction.dyn_o-boot
 )
[260 of 418] Compiling Agda.TypeChecking.Reduce.Monad ( 
src/full/Agda/TypeChecking/Reduce/Monad.hs, 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.3/dist-newstyle/build/x86_64-freebsd/ghc-9.4.6/Agda-2.6.3/build/Agda/TypeChecking/Reduce/Monad.o,
 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.3/dist-newstyle/build/x86_64-freebsd/ghc-9.4.6/Agda-2.6.3/build/Agda/TypeChecking/Reduce/Monad.dyn_o
 )
[261 of 418] Compiling Agda.ImpossibleTest ( src/full/Agda/ImpossibleTest.hs, 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.3/dist-newstyle/build/x86_64-freebsd/ghc-9.4.6/Agda-2.6.3/build/Agda/ImpossibleTest.o,
 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.3/dist-newstyle/build/x86_64-freebsd/ghc-9.4.6/Agda-2.6.3/build/Agda/ImpossibleTest.dyn_o
 )
[262 of 418] Compiling Agda.Syntax.Translation.ReflectedToAbstract ( 
src/full/Agda/Syntax/Translation/ReflectedToAbstract.hs, 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.3/dist-newstyle/build/x86_64-freebsd/ghc-9.4.6/Agda-2.6.3/build/Agda/Syntax/Translation/ReflectedToAbstract.o,
 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.3/dist-newstyle/build/x86_64-freebsd/ghc-9.4.6/Agda-2.6.3/build/Agda/Syntax/Translation/ReflectedToAbstract.dyn_o
 )
[263 of 418] Compiling Agda.TypeChecking.Patterns.Abstract ( 
src/full/Agda/TypeChecking/Patterns/Abstract.hs, 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.3/dist-newstyle/build/x86_64-freebsd/ghc-9.4.6/Agda-2.6.3/build/Agda/TypeChecking/Patterns/Abstract.o,
 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.3/dist-newstyle/build/x86_64-freebsd/ghc-9.4.6/Agda-2.6.3/build/Agda/TypeChecking/Patterns/Abstract.dyn_o
 )
[264 of 418] Compiling Agda.TypeChecking.EtaContract ( 
src/full/Agda/TypeChecking/EtaContract.hs, 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.3/dist-newstyle/build/x86_64-freebsd/ghc-9.4.6/Agda-2.6.3/build/Agda/TypeChecking/EtaContract.o,
 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.3/dist-newstyle/build/x86_64-freebsd/ghc-9.4.6/Agda-2.6.3/build/Agda/TypeChecking/EtaContract.dyn_o
 )
[265 of 418] Compiling Agda.TypeChecking.Reduce ( 
src/full/Agda/TypeChecking/Reduce.hs, 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.3/dist-newstyle/build/x86_64-freebsd/ghc-9.4.6/Agda-2.6.3/build/Agda/TypeChecking/Reduce.o,
 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.3/dist-newstyle/build/x86_64-freebsd/ghc-9.4.6/Agda-2.6.3/build/Agda/TypeChecking/Reduce.dyn_o
 )
[266 of 418] Compiling Agda.TypeChecking.Telescope ( 
src/full/Agda/TypeChecking/Telescope.hs, 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.3/dist-newstyle/build/x86_64-freebsd/ghc-9.4.6/Agda-2.6.3/build/Agda/TypeChecking/Telescope.o,
 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.3/dist-newstyle/build/x86_64-freebsd/ghc-9.4.6/Agda-2.6.3/build/Agda/TypeChecking/Telescope.dyn_o
 )
[267 of 418] Compiling Agda.TypeChecking.Level ( 
src/full/Agda/TypeChecking/Level.hs, 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.3/dist-newstyle/build/x86_64-freebsd/ghc-9.4.6/Agda-2.6.3/build/Agda/TypeChecking/Level.o,
 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.3/dist-newstyle/build/x86_64-freebsd/ghc-9.4.6/Agda-2.6.3/build/Agda/TypeChecking/Level.dyn_o
 )
[268 of 418] Compiling Agda.TypeChecking.LevelConstraints ( 
src/full/Agda/TypeChecking/LevelConstraints.hs, 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.3/dist-newstyle/build/x86_64-freebsd/ghc-9.4.6/Agda-2.6.3/build/Agda/TypeChecking/LevelConstraints.o,
 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.3/dist-newstyle/build/x86_64-freebsd/ghc-9.4.6/Agda-2.6.3/build/Agda/TypeChecking/LevelConstraints.dyn_o
 )
[269 of 418] Compiling Agda.TypeChecking.DisplayForm ( 
src/full/Agda/TypeChecking/DisplayForm.hs, 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.3/dist-newstyle/build/x86_64-freebsd/ghc-9.4.6/Agda-2.6.3/build/Agda/TypeChecking/DisplayForm.o,
 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.3/dist-newstyle/build/x86_64-freebsd/ghc-9.4.6/Agda-2.6.3/build/Agda/TypeChecking/DisplayForm.dyn_o
 )
[270 of 418] Compiling Agda.TypeChecking.SyntacticEquality ( 
src/full/Agda/TypeChecking/SyntacticEquality.hs, 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.3/dist-newstyle/build/x86_64-freebsd/ghc-9.4.6/Agda-2.6.3/build/Agda/TypeChecking/SyntacticEquality.o,
 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.3/dist-newstyle/build/x86_64-freebsd/ghc-9.4.6/Agda-2.6.3/build/Agda/TypeChecking/SyntacticEquality.dyn_o
 )
[271 of 418] Compiling Agda.TypeChecking.Free.Reduce ( 
src/full/Agda/TypeChecking/Free/Reduce.hs, 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.3/dist-newstyle/build/x86_64-freebsd/ghc-9.4.6/Agda-2.6.3/build/Agda/TypeChecking/Free/Reduce.o,
 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.3/dist-newstyle/build/x86_64-freebsd/ghc-9.4.6/Agda-2.6.3/build/Agda/TypeChecking/Free/Reduce.dyn_o
 )
[272 of 418] Compiling Agda.TypeChecking.Forcing ( 
src/full/Agda/TypeChecking/Forcing.hs, 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.3/dist-newstyle/build/x86_64-freebsd/ghc-9.4.6/Agda-2.6.3/build/Agda/TypeChecking/Forcing.o,
 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.3/dist-newstyle/build/x86_64-freebsd/ghc-9.4.6/Agda-2.6.3/build/Agda/TypeChecking/Forcing.dyn_o
 )
[273 of 418] Compiling Agda.Interaction.Highlighting.FromAbstract ( 
src/full/Agda/Interaction/Highlighting/FromAbstract.hs, 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.3/dist-newstyle/build/x86_64-freebsd/ghc-9.4.6/Agda-2.6.3/build/Agda/Interaction/Highlighting/FromAbstract.o,
 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.3/dist-newstyle/build/x86_64-freebsd/ghc-9.4.6/Agda-2.6.3/build/Agda/Interaction/Highlighting/FromAbstract.dyn_o
 )
[274 of 418] Compiling Agda.TypeChecking.Rewriting.Clause ( 
src/full/Agda/TypeChecking/Rewriting/Clause.hs, 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.3/dist-newstyle/build/x86_64-freebsd/ghc-9.4.6/Agda-2.6.3/build/Agda/TypeChecking/Rewriting/Clause.o,
 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.3/dist-newstyle/build/x86_64-freebsd/ghc-9.4.6/Agda-2.6.3/build/Agda/TypeChecking/Rewriting/Clause.dyn_o
 )
[275 of 418] Compiling Agda.TypeChecking.MetaVars.Mention ( 
src/full/Agda/TypeChecking/MetaVars/Mention.hs, 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.3/dist-newstyle/build/x86_64-freebsd/ghc-9.4.6/Agda-2.6.3/build/Agda/TypeChecking/MetaVars/Mention.o,
 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.3/dist-newstyle/build/x86_64-freebsd/ghc-9.4.6/Agda-2.6.3/build/Agda/TypeChecking/MetaVars/Mention.dyn_o
 )
[276 of 418] Compiling Agda.TypeChecking.Level.Solve ( 
src/full/Agda/TypeChecking/Level/Solve.hs, 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.3/dist-newstyle/build/x86_64-freebsd/ghc-9.4.6/Agda-2.6.3/build/Agda/TypeChecking/Level/Solve.o,
 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.3/dist-newstyle/build/x86_64-freebsd/ghc-9.4.6/Agda-2.6.3/build/Agda/TypeChecking/Level/Solve.dyn_o
 )
[277 of 418] Compiling Agda.Termination.RecCheck ( 
src/full/Agda/Termination/RecCheck.hs, 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.3/dist-newstyle/build/x86_64-freebsd/ghc-9.4.6/Agda-2.6.3/build/Agda/Termination/RecCheck.o,
 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.3/dist-newstyle/build/x86_64-freebsd/ghc-9.4.6/Agda-2.6.3/build/Agda/Termination/RecCheck.dyn_o
 )
[278 of 418] Compiling Agda.Compiler.Treeless.Unused ( 
src/full/Agda/Compiler/Treeless/Unused.hs, 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.3/dist-newstyle/build/x86_64-freebsd/ghc-9.4.6/Agda-2.6.3/build/Agda/Compiler/Treeless/Unused.o,
 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.3/dist-newstyle/build/x86_64-freebsd/ghc-9.4.6/Agda-2.6.3/build/Agda/Compiler/Treeless/Unused.dyn_o
 )
[279 of 418] Compiling Agda.Interaction.Highlighting.LaTeX.Base ( 
src/full/Agda/Interaction/Highlighting/LaTeX/Base.hs, 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.3/dist-newstyle/build/x86_64-freebsd/ghc-9.4.6/Agda-2.6.3/build/Agda/Interaction/Highlighting/LaTeX/Base.o,
 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.3/dist-newstyle/build/x86_64-freebsd/ghc-9.4.6/Agda-2.6.3/build/Agda/Interaction/Highlighting/LaTeX/Base.dyn_o
 )
[280 of 418] Compiling Agda.TypeChecking.Serialise.Instances.Compilers ( 
src/full/Agda/TypeChecking/Serialise/Instances/Compilers.hs, 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.3/dist-newstyle/build/x86_64-freebsd/ghc-9.4.6/Agda-2.6.3/build/Agda/TypeChecking/Serialise/Instances/Compilers.o,
 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.3/dist-newstyle/build/x86_64-freebsd/ghc-9.4.6/Agda-2.6.3/build/Agda/TypeChecking/Serialise/Instances/Compilers.dyn_o
 )
[281 of 418] Compiling Agda.TypeChecking.Serialise.Instances.Internal ( 
src/full/Agda/TypeChecking/Serialise/Instances/Internal.hs, 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.3/dist-newstyle/build/x86_64-freebsd/ghc-9.4.6/Agda-2.6.3/build/Agda/TypeChecking/Serialise/Instances/Internal.o,
 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.3/dist-newstyle/build/x86_64-freebsd/ghc-9.4.6/Agda-2.6.3/build/Agda/TypeChecking/Serialise/Instances/Internal.dyn_o
 )
[282 of 418] Compiling Agda.TypeChecking.Serialise.Instances.Errors ( 
src/full/Agda/TypeChecking/Serialise/Instances/Errors.hs, 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.3/dist-newstyle/build/x86_64-freebsd/ghc-9.4.6/Agda-2.6.3/build/Agda/TypeChecking/Serialise/Instances/Errors.o,
 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.3/dist-newstyle/build/x86_64-freebsd/ghc-9.4.6/Agda-2.6.3/build/Agda/TypeChecking/Serialise/Instances/Errors.dyn_o
 )
[283 of 418] Compiling Agda.TypeChecking.Serialise.Instances ( 
src/full/Agda/TypeChecking/Serialise/Instances.hs, 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.3/dist-newstyle/build/x86_64-freebsd/ghc-9.4.6/Agda-2.6.3/build/Agda/TypeChecking/Serialise/Instances.o,
 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.3/dist-newstyle/build/x86_64-freebsd/ghc-9.4.6/Agda-2.6.3/build/Agda/TypeChecking/Serialise/Instances.dyn_o
 )
[284 of 418] Compiling Agda.TypeChecking.Serialise ( 
src/full/Agda/TypeChecking/Serialise.hs, 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.3/dist-newstyle/build/x86_64-freebsd/ghc-9.4.6/Agda-2.6.3/build/Agda/TypeChecking/Serialise.o,
 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.3/dist-newstyle/build/x86_64-freebsd/ghc-9.4.6/Agda-2.6.3/build/Agda/TypeChecking/Serialise.dyn_o
 )
[285 of 418] Compiling Agda.TypeChecking.DeadCode ( 
src/full/Agda/TypeChecking/DeadCode.hs, 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.3/dist-newstyle/build/x86_64-freebsd/ghc-9.4.6/Agda-2.6.3/build/Agda/TypeChecking/DeadCode.o,
 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.3/dist-newstyle/build/x86_64-freebsd/ghc-9.4.6/Agda-2.6.3/build/Agda/TypeChecking/DeadCode.dyn_o
 )
[286 of 418] Compiling Agda.Syntax.IdiomBrackets ( 
src/full/Agda/Syntax/IdiomBrackets.hs, 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.3/dist-newstyle/build/x86_64-freebsd/ghc-9.4.6/Agda-2.6.3/build/Agda/Syntax/IdiomBrackets.o,
 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.3/dist-newstyle/build/x86_64-freebsd/ghc-9.4.6/Agda-2.6.3/build/Agda/Syntax/IdiomBrackets.dyn_o
 )
[287 of 418] Compiling Agda.Syntax.DoNotation ( 
src/full/Agda/Syntax/DoNotation.hs, 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.3/dist-newstyle/build/x86_64-freebsd/ghc-9.4.6/Agda-2.6.3/build/Agda/Syntax/DoNotation.o,
 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.3/dist-newstyle/build/x86_64-freebsd/ghc-9.4.6/Agda-2.6.3/build/Agda/Syntax/DoNotation.dyn_o
 )
[288 of 418] Compiling Agda.Interaction.Highlighting.Vim ( 
src/full/Agda/Interaction/Highlighting/Vim.hs, 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.3/dist-newstyle/build/x86_64-freebsd/ghc-9.4.6/Agda-2.6.3/build/Agda/Interaction/Highlighting/Vim.o,
 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.3/dist-newstyle/build/x86_64-freebsd/ghc-9.4.6/Agda-2.6.3/build/Agda/Interaction/Highlighting/Vim.dyn_o
 )
[289 of 418] Compiling Agda.Interaction.Highlighting.HTML.Base ( 
src/full/Agda/Interaction/Highlighting/HTML/Base.hs, 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.3/dist-newstyle/build/x86_64-freebsd/ghc-9.4.6/Agda-2.6.3/build/Agda/Interaction/Highlighting/HTML/Base.o,
 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.3/dist-newstyle/build/x86_64-freebsd/ghc-9.4.6/Agda-2.6.3/build/Agda/Interaction/Highlighting/HTML/Base.dyn_o
 )
[290 of 418] Compiling Agda.Compiler.Treeless.Identity ( 
src/full/Agda/Compiler/Treeless/Identity.hs, 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.3/dist-newstyle/build/x86_64-freebsd/ghc-9.4.6/Agda-2.6.3/build/Agda/Compiler/Treeless/Identity.o,
 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.3/dist-newstyle/build/x86_64-freebsd/ghc-9.4.6/Agda-2.6.3/build/Agda/Compiler/Treeless/Identity.dyn_o
 )
[291 of 418] Compiling Agda.Compiler.Treeless.Builtin ( 
src/full/Agda/Compiler/Treeless/Builtin.hs, 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.3/dist-newstyle/build/x86_64-freebsd/ghc-9.4.6/Agda-2.6.3/build/Agda/Compiler/Treeless/Builtin.o,
 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.3/dist-newstyle/build/x86_64-freebsd/ghc-9.4.6/Agda-2.6.3/build/Agda/Compiler/Treeless/Builtin.dyn_o
 )
[292 of 418] Compiling Agda.Compiler.MAlonzo.Coerce ( 
src/full/Agda/Compiler/MAlonzo/Coerce.hs, 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.3/dist-newstyle/build/x86_64-freebsd/ghc-9.4.6/Agda-2.6.3/build/Agda/Compiler/MAlonzo/Coerce.o,
 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.3/dist-newstyle/build/x86_64-freebsd/ghc-9.4.6/Agda-2.6.3/build/Agda/Compiler/MAlonzo/Coerce.dyn_o
 )
[293 of 418] Compiling Agda.Compiler.CallCompiler ( 
src/full/Agda/Compiler/CallCompiler.hs, 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.3/dist-newstyle/build/x86_64-freebsd/ghc-9.4.6/Agda-2.6.3/build/Agda/Compiler/CallCompiler.o,
 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.3/dist-newstyle/build/x86_64-freebsd/ghc-9.4.6/Agda-2.6.3/build/Agda/Compiler/CallCompiler.dyn_o
 )
[294 of 418] Compiling Agda.TypeChecking.CompiledClause.Match ( 
src/full/Agda/TypeChecking/CompiledClause/Match.hs, 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.3/dist-newstyle/build/x86_64-freebsd/ghc-9.4.6/Agda-2.6.3/build/Agda/TypeChecking/CompiledClause/Match.o,
 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.3/dist-newstyle/build/x86_64-freebsd/ghc-9.4.6/Agda-2.6.3/build/Agda/TypeChecking/CompiledClause/Match.dyn_o
 )
[295 of 418] Compiling Agda.Compiler.Treeless.EliminateDefaults ( 
src/full/Agda/Compiler/Treeless/EliminateDefaults.hs, 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.3/dist-newstyle/build/x86_64-freebsd/ghc-9.4.6/Agda-2.6.3/build/Agda/Compiler/Treeless/EliminateDefaults.o,
 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.3/dist-newstyle/build/x86_64-freebsd/ghc-9.4.6/Agda-2.6.3/build/Agda/Compiler/Treeless/EliminateDefaults.dyn_o
 )
[296 of 418] Compiling Agda.Syntax.Translation.AbstractToConcrete ( 
src/full/Agda/Syntax/Translation/AbstractToConcrete.hs, 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.3/dist-newstyle/build/x86_64-freebsd/ghc-9.4.6/Agda-2.6.3/build/Agda/Syntax/Translation/AbstractToConcrete.o,
 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.3/dist-newstyle/build/x86_64-freebsd/ghc-9.4.6/Agda-2.6.3/build/Agda/Syntax/Translation/AbstractToConcrete.dyn_o
 )
[297 of 418] Compiling Agda.Syntax.Abstract.Pretty ( 
src/full/Agda/Syntax/Abstract/Pretty.hs, 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.3/dist-newstyle/build/x86_64-freebsd/ghc-9.4.6/Agda-2.6.3/build/Agda/Syntax/Abstract/Pretty.o,
 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.3/dist-newstyle/build/x86_64-freebsd/ghc-9.4.6/Agda-2.6.3/build/Agda/Syntax/Abstract/Pretty.dyn_o
 )
[298 of 418] Compiling Agda.Syntax.Translation.InternalToAbstract ( 
src/full/Agda/Syntax/Translation/InternalToAbstract.hs, 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.3/dist-newstyle/build/x86_64-freebsd/ghc-9.4.6/Agda-2.6.3/build/Agda/Syntax/Translation/InternalToAbstract.o,
 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.3/dist-newstyle/build/x86_64-freebsd/ghc-9.4.6/Agda-2.6.3/build/Agda/Syntax/Translation/InternalToAbstract.dyn_o
 )
[299 of 418] Compiling Agda.TypeChecking.Pretty ( 
src/full/Agda/TypeChecking/Pretty.hs, 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.3/dist-newstyle/build/x86_64-freebsd/ghc-9.4.6/Agda-2.6.3/build/Agda/TypeChecking/Pretty.o,
 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.3/dist-newstyle/build/x86_64-freebsd/ghc-9.4.6/Agda-2.6.3/build/Agda/TypeChecking/Pretty.dyn_o
 )
[300 of 418] Compiling Agda.TypeChecking.Pretty.Constraint[boot] ( 
src/full/Agda/TypeChecking/Pretty/Constraint.hs-boot, 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.3/dist-newstyle/build/x86_64-freebsd/ghc-9.4.6/Agda-2.6.3/build/Agda/TypeChecking/Pretty/Constraint.o-boot,
 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.3/dist-newstyle/build/x86_64-freebsd/ghc-9.4.6/Agda-2.6.3/build/Agda/TypeChecking/Pretty/Constraint.dyn_o-boot
 )
[301 of 418] Compiling Agda.TypeChecking.Datatypes ( 
src/full/Agda/TypeChecking/Datatypes.hs, 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.3/dist-newstyle/build/x86_64-freebsd/ghc-9.4.6/Agda-2.6.3/build/Agda/TypeChecking/Datatypes.o,
 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.3/dist-newstyle/build/x86_64-freebsd/ghc-9.4.6/Agda-2.6.3/build/Agda/TypeChecking/Datatypes.dyn_o
 )
[302 of 418] Compiling Agda.TypeChecking.Functions ( 
src/full/Agda/TypeChecking/Functions.hs, 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.3/dist-newstyle/build/x86_64-freebsd/ghc-9.4.6/Agda-2.6.3/build/Agda/TypeChecking/Functions.o,
 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.3/dist-newstyle/build/x86_64-freebsd/ghc-9.4.6/Agda-2.6.3/build/Agda/TypeChecking/Functions.dyn_o
 )
[303 of 418] Compiling Agda.TypeChecking.Telescope.Path ( 
src/full/Agda/TypeChecking/Telescope/Path.hs, 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.3/dist-newstyle/build/x86_64-freebsd/ghc-9.4.6/Agda-2.6.3/build/Agda/TypeChecking/Telescope/Path.o,
 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.3/dist-newstyle/build/x86_64-freebsd/ghc-9.4.6/Agda-2.6.3/build/Agda/TypeChecking/Telescope/Path.dyn_o
 )
[304 of 418] Compiling Agda.TypeChecking.Irrelevance ( 
src/full/Agda/TypeChecking/Irrelevance.hs, 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.3/dist-newstyle/build/x86_64-freebsd/ghc-9.4.6/Agda-2.6.3/build/Agda/TypeChecking/Irrelevance.o,
 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.3/dist-newstyle/build/x86_64-freebsd/ghc-9.4.6/Agda-2.6.3/build/Agda/TypeChecking/Irrelevance.dyn_o
 )
[305 of 418] Compiling Agda.TypeChecking.Records ( 
src/full/Agda/TypeChecking/Records.hs, 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.3/dist-newstyle/build/x86_64-freebsd/ghc-9.4.6/Agda-2.6.3/build/Agda/TypeChecking/Records.o,
 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.3/dist-newstyle/build/x86_64-freebsd/ghc-9.4.6/Agda-2.6.3/build/Agda/TypeChecking/Records.dyn_o
 )
[306 of 418] Compiling Agda.TypeChecking.Positivity ( 
src/full/Agda/TypeChecking/Positivity.hs, 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.3/dist-newstyle/build/x86_64-freebsd/ghc-9.4.6/Agda-2.6.3/build/Agda/TypeChecking/Positivity.o,
 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.3/dist-newstyle/build/x86_64-freebsd/ghc-9.4.6/Agda-2.6.3/build/Agda/TypeChecking/Positivity.dyn_o
 )
[307 of 418] Compiling Agda.TypeChecking.ProjectionLike ( 
src/full/Agda/TypeChecking/ProjectionLike.hs, 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.3/dist-newstyle/build/x86_64-freebsd/ghc-9.4.6/Agda-2.6.3/build/Agda/TypeChecking/ProjectionLike.o,
 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.3/dist-newstyle/build/x86_64-freebsd/ghc-9.4.6/Agda-2.6.3/build/Agda/TypeChecking/ProjectionLike.dyn_o
 )
[308 of 418] Compiling Agda.TypeChecking.Rules.LHS.Problem ( 
src/full/Agda/TypeChecking/Rules/LHS/Problem.hs, 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.3/dist-newstyle/build/x86_64-freebsd/ghc-9.4.6/Agda-2.6.3/build/Agda/TypeChecking/Rules/LHS/Problem.o,
 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.3/dist-newstyle/build/x86_64-freebsd/ghc-9.4.6/Agda-2.6.3/build/Agda/TypeChecking/Rules/LHS/Problem.dyn_o
 )
[309 of 418] Compiling Agda.TypeChecking.Implicit ( 
src/full/Agda/TypeChecking/Implicit.hs, 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.3/dist-newstyle/build/x86_64-freebsd/ghc-9.4.6/Agda-2.6.3/build/Agda/TypeChecking/Implicit.o,
 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.3/dist-newstyle/build/x86_64-freebsd/ghc-9.4.6/Agda-2.6.3/build/Agda/TypeChecking/Implicit.dyn_o
 )
[310 of 418] Compiling Agda.TypeChecking.Rules.LHS.Implicit ( 
src/full/Agda/TypeChecking/Rules/LHS/Implicit.hs, 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.3/dist-newstyle/build/x86_64-freebsd/ghc-9.4.6/Agda-2.6.3/build/Agda/TypeChecking/Rules/LHS/Implicit.o,
 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.3/dist-newstyle/build/x86_64-freebsd/ghc-9.4.6/Agda-2.6.3/build/Agda/TypeChecking/Rules/LHS/Implicit.dyn_o
 )
[311 of 418] Compiling Agda.TypeChecking.SizedTypes.Syntax ( 
src/full/Agda/TypeChecking/SizedTypes/Syntax.hs, 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.3/dist-newstyle/build/x86_64-freebsd/ghc-9.4.6/Agda-2.6.3/build/Agda/TypeChecking/SizedTypes/Syntax.o,
 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.3/dist-newstyle/build/x86_64-freebsd/ghc-9.4.6/Agda-2.6.3/build/Agda/TypeChecking/SizedTypes/Syntax.dyn_o
 )
[312 of 418] Compiling Agda.TypeChecking.SizedTypes.WarshallSolver ( 
src/full/Agda/TypeChecking/SizedTypes/WarshallSolver.hs, 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.3/dist-newstyle/build/x86_64-freebsd/ghc-9.4.6/Agda-2.6.3/build/Agda/TypeChecking/SizedTypes/WarshallSolver.o,
 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.3/dist-newstyle/build/x86_64-freebsd/ghc-9.4.6/Agda-2.6.3/build/Agda/TypeChecking/SizedTypes/WarshallSolver.dyn_o
 )
[313 of 418] Compiling Agda.TypeChecking.Patterns.Match ( 
src/full/Agda/TypeChecking/Patterns/Match.hs, 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.3/dist-newstyle/build/x86_64-freebsd/ghc-9.4.6/Agda-2.6.3/build/Agda/TypeChecking/Patterns/Match.o,
 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.3/dist-newstyle/build/x86_64-freebsd/ghc-9.4.6/Agda-2.6.3/build/Agda/TypeChecking/Patterns/Match.dyn_o
 )
[314 of 418] Compiling Agda.TypeChecking.Conversion.Pure ( 
src/full/Agda/TypeChecking/Conversion/Pure.hs, 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.3/dist-newstyle/build/x86_64-freebsd/ghc-9.4.6/Agda-2.6.3/build/Agda/TypeChecking/Conversion/Pure.o,
 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.3/dist-newstyle/build/x86_64-freebsd/ghc-9.4.6/Agda-2.6.3/build/Agda/TypeChecking/Conversion/Pure.dyn_o
 )
[315 of 418] Compiling Agda.TypeChecking.Rules.LHS.ProblemRest ( 
src/full/Agda/TypeChecking/Rules/LHS/ProblemRest.hs, 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.3/dist-newstyle/build/x86_64-freebsd/ghc-9.4.6/Agda-2.6.3/build/Agda/TypeChecking/Rules/LHS/ProblemRest.o,
 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.3/dist-newstyle/build/x86_64-freebsd/ghc-9.4.6/Agda-2.6.3/build/Agda/TypeChecking/Rules/LHS/ProblemRest.dyn_o
 )
[316 of 418] Compiling Agda.TypeChecking.RecordPatterns ( 
src/full/Agda/TypeChecking/RecordPatterns.hs, 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.3/dist-newstyle/build/x86_64-freebsd/ghc-9.4.6/Agda-2.6.3/build/Agda/TypeChecking/RecordPatterns.o,
 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.3/dist-newstyle/build/x86_64-freebsd/ghc-9.4.6/Agda-2.6.3/build/Agda/TypeChecking/RecordPatterns.dyn_o
 )
[317 of 418] Compiling Agda.TypeChecking.Coverage.Match ( 
src/full/Agda/TypeChecking/Coverage/Match.hs, 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.3/dist-newstyle/build/x86_64-freebsd/ghc-9.4.6/Agda-2.6.3/build/Agda/TypeChecking/Coverage/Match.o,
 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.3/dist-newstyle/build/x86_64-freebsd/ghc-9.4.6/Agda-2.6.3/build/Agda/TypeChecking/Coverage/Match.dyn_o
 )
[318 of 418] Compiling Agda.TypeChecking.Rules.Display ( 
src/full/Agda/TypeChecking/Rules/Display.hs, 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.3/dist-newstyle/build/x86_64-freebsd/ghc-9.4.6/Agda-2.6.3/build/Agda/TypeChecking/Rules/Display.o,
 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.3/dist-newstyle/build/x86_64-freebsd/ghc-9.4.6/Agda-2.6.3/build/Agda/TypeChecking/Rules/Display.dyn_o
 )
[319 of 418] Compiling Agda.Termination.Monad ( 
src/full/Agda/Termination/Monad.hs, 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.3/dist-newstyle/build/x86_64-freebsd/ghc-9.4.6/Agda-2.6.3/build/Agda/Termination/Monad.o,
 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.3/dist-newstyle/build/x86_64-freebsd/ghc-9.4.6/Agda-2.6.3/build/Agda/Termination/Monad.dyn_o
 )
[320 of 418] Compiling Agda.TypeChecking.Pretty.Call ( 
src/full/Agda/TypeChecking/Pretty/Call.hs, 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.3/dist-newstyle/build/x86_64-freebsd/ghc-9.4.6/Agda-2.6.3/build/Agda/TypeChecking/Pretty/Call.o,
 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.3/dist-newstyle/build/x86_64-freebsd/ghc-9.4.6/Agda-2.6.3/build/Agda/TypeChecking/Pretty/Call.dyn_o
 )
[321 of 418] Compiling Agda.TypeChecking.Pretty.Warning ( 
src/full/Agda/TypeChecking/Pretty/Warning.hs, 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.3/dist-newstyle/build/x86_64-freebsd/ghc-9.4.6/Agda-2.6.3/build/Agda/TypeChecking/Pretty/Warning.o,
 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.3/dist-newstyle/build/x86_64-freebsd/ghc-9.4.6/Agda-2.6.3/build/Agda/TypeChecking/Pretty/Warning.dyn_o
 )
[322 of 418] Compiling Agda.TypeChecking.Errors ( 
src/full/Agda/TypeChecking/Errors.hs, 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.3/dist-newstyle/build/x86_64-freebsd/ghc-9.4.6/Agda-2.6.3/build/Agda/TypeChecking/Errors.o,
 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.3/dist-newstyle/build/x86_64-freebsd/ghc-9.4.6/Agda-2.6.3/build/Agda/TypeChecking/Errors.dyn_o
 )
[323 of 418] Compiling Agda.TypeChecking.Pretty.Constraint ( 
src/full/Agda/TypeChecking/Pretty/Constraint.hs, 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.3/dist-newstyle/build/x86_64-freebsd/ghc-9.4.6/Agda-2.6.3/build/Agda/TypeChecking/Pretty/Constraint.o,
 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.3/dist-newstyle/build/x86_64-freebsd/ghc-9.4.6/Agda-2.6.3/build/Agda/TypeChecking/Pretty/Constraint.dyn_o
 )
[324 of 418] Compiling Agda.TypeChecking.SizedTypes ( 
src/full/Agda/TypeChecking/SizedTypes.hs, 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.3/dist-newstyle/build/x86_64-freebsd/ghc-9.4.6/Agda-2.6.3/build/Agda/TypeChecking/SizedTypes.o,
 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.3/dist-newstyle/build/x86_64-freebsd/ghc-9.4.6/Agda-2.6.3/build/Agda/TypeChecking/SizedTypes.dyn_o
 )
[325 of 418] Compiling Agda.TypeChecking.Polarity ( 
src/full/Agda/TypeChecking/Polarity.hs, 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.3/dist-newstyle/build/x86_64-freebsd/ghc-9.4.6/Agda-2.6.3/build/Agda/TypeChecking/Polarity.o,
 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.3/dist-newstyle/build/x86_64-freebsd/ghc-9.4.6/Agda-2.6.3/build/Agda/TypeChecking/Polarity.dyn_o
 )
[326 of 418] Compiling Agda.Termination.TermCheck ( 
src/full/Agda/Termination/TermCheck.hs, 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.3/dist-newstyle/build/x86_64-freebsd/ghc-9.4.6/Agda-2.6.3/build/Agda/Termination/TermCheck.o,
 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.3/dist-newstyle/build/x86_64-freebsd/ghc-9.4.6/Agda-2.6.3/build/Agda/Termination/TermCheck.dyn_o
 )
[327 of 418] Compiling Agda.TypeChecking.Names ( 
src/full/Agda/TypeChecking/Names.hs, 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.3/dist-newstyle/build/x86_64-freebsd/ghc-9.4.6/Agda-2.6.3/build/Agda/TypeChecking/Names.o,
 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.3/dist-newstyle/build/x86_64-freebsd/ghc-9.4.6/Agda-2.6.3/build/Agda/TypeChecking/Names.dyn_o
 )
[328 of 418] Compiling Agda.TypeChecking.Primitive.Base ( 
src/full/Agda/TypeChecking/Primitive/Base.hs, 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.3/dist-newstyle/build/x86_64-freebsd/ghc-9.4.6/Agda-2.6.3/build/Agda/TypeChecking/Primitive/Base.o,
 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.3/dist-newstyle/build/x86_64-freebsd/ghc-9.4.6/Agda-2.6.3/build/Agda/TypeChecking/Primitive/Base.dyn_o
 )
[329 of 418] Compiling Agda.TypeChecking.Quote ( 
src/full/Agda/TypeChecking/Quote.hs, 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.3/dist-newstyle/build/x86_64-freebsd/ghc-9.4.6/Agda-2.6.3/build/Agda/TypeChecking/Quote.o,
 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.3/dist-newstyle/build/x86_64-freebsd/ghc-9.4.6/Agda-2.6.3/build/Agda/TypeChecking/Quote.dyn_o
 )
[330 of 418] Compiling Agda.TypeChecking.Primitive.Cubical.Base ( 
src/full/Agda/TypeChecking/Primitive/Cubical/Base.hs, 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.3/dist-newstyle/build/x86_64-freebsd/ghc-9.4.6/Agda-2.6.3/build/Agda/TypeChecking/Primitive/Cubical/Base.o,
 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.3/dist-newstyle/build/x86_64-freebsd/ghc-9.4.6/Agda-2.6.3/build/Agda/TypeChecking/Primitive/Cubical/Base.dyn_o
 )
[331 of 418] Compiling Agda.TypeChecking.Rewriting.NonLinPattern ( 
src/full/Agda/TypeChecking/Rewriting/NonLinPattern.hs, 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.3/dist-newstyle/build/x86_64-freebsd/ghc-9.4.6/Agda-2.6.3/build/Agda/TypeChecking/Rewriting/NonLinPattern.o,
 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.3/dist-newstyle/build/x86_64-freebsd/ghc-9.4.6/Agda-2.6.3/build/Agda/TypeChecking/Rewriting/NonLinPattern.dyn_o
 )
[332 of 418] Compiling Agda.TypeChecking.Rewriting.NonLinMatch ( 
src/full/Agda/TypeChecking/Rewriting/NonLinMatch.hs, 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.3/dist-newstyle/build/x86_64-freebsd/ghc-9.4.6/Agda-2.6.3/build/Agda/TypeChecking/Rewriting/NonLinMatch.o,
 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.3/dist-newstyle/build/x86_64-freebsd/ghc-9.4.6/Agda-2.6.3/build/Agda/TypeChecking/Rewriting/NonLinMatch.dyn_o
 )
[333 of 418] Compiling Agda.TypeChecking.Primitive.Cubical.Id ( 
src/full/Agda/TypeChecking/Primitive/Cubical/Id.hs, 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.3/dist-newstyle/build/x86_64-freebsd/ghc-9.4.6/Agda-2.6.3/build/Agda/TypeChecking/Primitive/Cubical/Id.o,
 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.3/dist-newstyle/build/x86_64-freebsd/ghc-9.4.6/Agda-2.6.3/build/Agda/TypeChecking/Primitive/Cubical/Id.dyn_o
 )
[334 of 418] Compiling Agda.TypeChecking.Primitive.Cubical.Glue ( 
src/full/Agda/TypeChecking/Primitive/Cubical/Glue.hs, 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.3/dist-newstyle/build/x86_64-freebsd/ghc-9.4.6/Agda-2.6.3/build/Agda/TypeChecking/Primitive/Cubical/Glue.o,
 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.3/dist-newstyle/build/x86_64-freebsd/ghc-9.4.6/Agda-2.6.3/build/Agda/TypeChecking/Primitive/Cubical/Glue.dyn_o
 )
[335 of 418] Compiling Agda.TypeChecking.Primitive.Cubical.HCompU ( 
src/full/Agda/TypeChecking/Primitive/Cubical/HCompU.hs, 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.3/dist-newstyle/build/x86_64-freebsd/ghc-9.4.6/Agda-2.6.3/build/Agda/TypeChecking/Primitive/Cubical/HCompU.o,
 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.3/dist-newstyle/build/x86_64-freebsd/ghc-9.4.6/Agda-2.6.3/build/Agda/TypeChecking/Primitive/Cubical/HCompU.dyn_o
 )
[336 of 418] Compiling Agda.TypeChecking.Primitive.Cubical ( 
src/full/Agda/TypeChecking/Primitive/Cubical.hs, 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.3/dist-newstyle/build/x86_64-freebsd/ghc-9.4.6/Agda-2.6.3/build/Agda/TypeChecking/Primitive/Cubical.o,
 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.3/dist-newstyle/build/x86_64-freebsd/ghc-9.4.6/Agda-2.6.3/build/Agda/TypeChecking/Primitive/Cubical.dyn_o
 )
[337 of 418] Compiling Agda.TypeChecking.Primitive ( 
src/full/Agda/TypeChecking/Primitive.hs, 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.3/dist-newstyle/build/x86_64-freebsd/ghc-9.4.6/Agda-2.6.3/build/Agda/TypeChecking/Primitive.o,
 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.3/dist-newstyle/build/x86_64-freebsd/ghc-9.4.6/Agda-2.6.3/build/Agda/TypeChecking/Primitive.dyn_o
 )
[338 of 418] Compiling Agda.Compiler.Treeless.Erase ( 
src/full/Agda/Compiler/Treeless/Erase.hs, 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.3/dist-newstyle/build/x86_64-freebsd/ghc-9.4.6/Agda-2.6.3/build/Agda/Compiler/Treeless/Erase.o,
 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.3/dist-newstyle/build/x86_64-freebsd/ghc-9.4.6/Agda-2.6.3/build/Agda/Compiler/Treeless/Erase.dyn_o
 )
[339 of 418] Compiling Agda.Compiler.Treeless.Simplify ( 
src/full/Agda/Compiler/Treeless/Simplify.hs, 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.3/dist-newstyle/build/x86_64-freebsd/ghc-9.4.6/Agda-2.6.3/build/Agda/Compiler/Treeless/Simplify.o,
 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.3/dist-newstyle/build/x86_64-freebsd/ghc-9.4.6/Agda-2.6.3/build/Agda/Compiler/Treeless/Simplify.dyn_o
 )
[340 of 418] Compiling Agda.Compiler.Treeless.EliminateLiteralPatterns ( 
src/full/Agda/Compiler/Treeless/EliminateLiteralPatterns.hs, 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.3/dist-newstyle/build/x86_64-freebsd/ghc-9.4.6/Agda-2.6.3/build/Agda/Compiler/Treeless/EliminateLiteralPatterns.o,
 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.3/dist-newstyle/build/x86_64-freebsd/ghc-9.4.6/Agda-2.6.3/build/Agda/Compiler/Treeless/EliminateLiteralPatterns.dyn_o
 )
[341 of 418] Compiling Agda.TypeChecking.Injectivity ( 
src/full/Agda/TypeChecking/Injectivity.hs, 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.3/dist-newstyle/build/x86_64-freebsd/ghc-9.4.6/Agda-2.6.3/build/Agda/TypeChecking/Injectivity.o,
 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.3/dist-newstyle/build/x86_64-freebsd/ghc-9.4.6/Agda-2.6.3/build/Agda/TypeChecking/Injectivity.dyn_o
 )
[342 of 418] Compiling Agda.TypeChecking.InstanceArguments ( 
src/full/Agda/TypeChecking/InstanceArguments.hs, 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.3/dist-newstyle/build/x86_64-freebsd/ghc-9.4.6/Agda-2.6.3/build/Agda/TypeChecking/InstanceArguments.o,
 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.3/dist-newstyle/build/x86_64-freebsd/ghc-9.4.6/Agda-2.6.3/build/Agda/TypeChecking/InstanceArguments.dyn_o
 )
[343 of 418] Compiling Agda.TypeChecking.Sort ( 
src/full/Agda/TypeChecking/Sort.hs, 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.3/dist-newstyle/build/x86_64-freebsd/ghc-9.4.6/Agda-2.6.3/build/Agda/TypeChecking/Sort.o,
 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.3/dist-newstyle/build/x86_64-freebsd/ghc-9.4.6/Agda-2.6.3/build/Agda/TypeChecking/Sort.dyn_o
 )
[344 of 418] Compiling Agda.TypeChecking.Constraints ( 
src/full/Agda/TypeChecking/Constraints.hs, 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.3/dist-newstyle/build/x86_64-freebsd/ghc-9.4.6/Agda-2.6.3/build/Agda/TypeChecking/Constraints.o,
 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.3/dist-newstyle/build/x86_64-freebsd/ghc-9.4.6/Agda-2.6.3/build/Agda/TypeChecking/Constraints.dyn_o
 )
[345 of 418] Compiling Agda.TypeChecking.MetaVars.Occurs ( 
src/full/Agda/TypeChecking/MetaVars/Occurs.hs, 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.3/dist-newstyle/build/x86_64-freebsd/ghc-9.4.6/Agda-2.6.3/build/Agda/TypeChecking/MetaVars/Occurs.o,
 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.3/dist-newstyle/build/x86_64-freebsd/ghc-9.4.6/Agda-2.6.3/build/Agda/TypeChecking/MetaVars/Occurs.dyn_o
 )
[346 of 418] Compiling Agda.TypeChecking.Lock ( 
src/full/Agda/TypeChecking/Lock.hs, 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.3/dist-newstyle/build/x86_64-freebsd/ghc-9.4.6/Agda-2.6.3/build/Agda/TypeChecking/Lock.o,
 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.3/dist-newstyle/build/x86_64-freebsd/ghc-9.4.6/Agda-2.6.3/build/Agda/TypeChecking/Lock.dyn_o
 )
[347 of 418] Compiling Agda.TypeChecking.MetaVars ( 
src/full/Agda/TypeChecking/MetaVars.hs, 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.3/dist-newstyle/build/x86_64-freebsd/ghc-9.4.6/Agda-2.6.3/build/Agda/TypeChecking/MetaVars.o,
 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.3/dist-newstyle/build/x86_64-freebsd/ghc-9.4.6/Agda-2.6.3/build/Agda/TypeChecking/MetaVars.dyn_o
 )
[348 of 418] Compiling Agda.TypeChecking.Conversion ( 
src/full/Agda/TypeChecking/Conversion.hs, 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.3/dist-newstyle/build/x86_64-freebsd/ghc-9.4.6/Agda-2.6.3/build/Agda/TypeChecking/Conversion.o,
 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.3/dist-newstyle/build/x86_64-freebsd/ghc-9.4.6/Agda-2.6.3/build/Agda/TypeChecking/Conversion.dyn_o
 )
[349 of 418] Compiling Agda.TypeChecking.Rules.LHS.Unify.Types ( 
src/full/Agda/TypeChecking/Rules/LHS/Unify/Types.hs, 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.3/dist-newstyle/build/x86_64-freebsd/ghc-9.4.6/Agda-2.6.3/build/Agda/TypeChecking/Rules/LHS/Unify/Types.o,
 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.3/dist-newstyle/build/x86_64-freebsd/ghc-9.4.6/Agda-2.6.3/build/Agda/TypeChecking/Rules/LHS/Unify/Types.dyn_o
 )
[350 of 418] Compiling Agda.TypeChecking.Rules.LHS.Unify.LeftInverse ( 
src/full/Agda/TypeChecking/Rules/LHS/Unify/LeftInverse.hs, 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.3/dist-newstyle/build/x86_64-freebsd/ghc-9.4.6/Agda-2.6.3/build/Agda/TypeChecking/Rules/LHS/Unify/LeftInverse.o,
 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.3/dist-newstyle/build/x86_64-freebsd/ghc-9.4.6/Agda-2.6.3/build/Agda/TypeChecking/Rules/LHS/Unify/LeftInverse.dyn_o
 )
[351 of 418] Compiling Agda.TypeChecking.Rules.LHS.Unify ( 
src/full/Agda/TypeChecking/Rules/LHS/Unify.hs, 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.3/dist-newstyle/build/x86_64-freebsd/ghc-9.4.6/Agda-2.6.3/build/Agda/TypeChecking/Rules/LHS/Unify.o,
 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.3/dist-newstyle/build/x86_64-freebsd/ghc-9.4.6/Agda-2.6.3/build/Agda/TypeChecking/Rules/LHS/Unify.dyn_o
 )
[352 of 418] Compiling Agda.TypeChecking.IApplyConfluence ( 
src/full/Agda/TypeChecking/IApplyConfluence.hs, 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.3/dist-newstyle/build/x86_64-freebsd/ghc-9.4.6/Agda-2.6.3/build/Agda/TypeChecking/IApplyConfluence.o,
 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.3/dist-newstyle/build/x86_64-freebsd/ghc-9.4.6/Agda-2.6.3/build/Agda/TypeChecking/IApplyConfluence.dyn_o
 )
[353 of 418] Compiling Agda.TypeChecking.SizedTypes.Solve ( 
src/full/Agda/TypeChecking/SizedTypes/Solve.hs, 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.3/dist-newstyle/build/x86_64-freebsd/ghc-9.4.6/Agda-2.6.3/build/Agda/TypeChecking/SizedTypes/Solve.o,
 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.3/dist-newstyle/build/x86_64-freebsd/ghc-9.4.6/Agda-2.6.3/build/Agda/TypeChecking/SizedTypes/Solve.dyn_o
 )
[354 of 418] Compiling Agda.TypeChecking.Generalize ( 
src/full/Agda/TypeChecking/Generalize.hs, 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.3/dist-newstyle/build/x86_64-freebsd/ghc-9.4.6/Agda-2.6.3/build/Agda/TypeChecking/Generalize.o,
 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.3/dist-newstyle/build/x86_64-freebsd/ghc-9.4.6/Agda-2.6.3/build/Agda/TypeChecking/Generalize.dyn_o
 )
[355 of 418] Compiling Agda.TypeChecking.Rules.Data ( 
src/full/Agda/TypeChecking/Rules/Data.hs, 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.3/dist-newstyle/build/x86_64-freebsd/ghc-9.4.6/Agda-2.6.3/build/Agda/TypeChecking/Rules/Data.o,
 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.3/dist-newstyle/build/x86_64-freebsd/ghc-9.4.6/Agda-2.6.3/build/Agda/TypeChecking/Rules/Data.dyn_o
 )
[356 of 418] Compiling Agda.Interaction.Highlighting.Generate ( 
src/full/Agda/Interaction/Highlighting/Generate.hs, 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.3/dist-newstyle/build/x86_64-freebsd/ghc-9.4.6/Agda-2.6.3/build/Agda/Interaction/Highlighting/Generate.o,
 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.3/dist-newstyle/build/x86_64-freebsd/ghc-9.4.6/Agda-2.6.3/build/Agda/Interaction/Highlighting/Generate.dyn_o
 )
[357 of 418] Compiling Agda.TypeChecking.CheckInternal ( 
src/full/Agda/TypeChecking/CheckInternal.hs, 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.3/dist-newstyle/build/x86_64-freebsd/ghc-9.4.6/Agda-2.6.3/build/Agda/TypeChecking/CheckInternal.o,
 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.3/dist-newstyle/build/x86_64-freebsd/ghc-9.4.6/Agda-2.6.3/build/Agda/TypeChecking/CheckInternal.dyn_o
 )
[358 of 418] Compiling Agda.TypeChecking.Abstract ( 
src/full/Agda/TypeChecking/Abstract.hs, 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.3/dist-newstyle/build/x86_64-freebsd/ghc-9.4.6/Agda-2.6.3/build/Agda/TypeChecking/Abstract.o,
 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.3/dist-newstyle/build/x86_64-freebsd/ghc-9.4.6/Agda-2.6.3/build/Agda/TypeChecking/Abstract.dyn_o
 )
[359 of 418] Compiling Agda.TypeChecking.With ( 
src/full/Agda/TypeChecking/With.hs, 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.3/dist-newstyle/build/x86_64-freebsd/ghc-9.4.6/Agda-2.6.3/build/Agda/TypeChecking/With.o,
 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.3/dist-newstyle/build/x86_64-freebsd/ghc-9.4.6/Agda-2.6.3/build/Agda/TypeChecking/With.dyn_o
 )
[360 of 418] Compiling Agda.TypeChecking.Rules.LHS ( 
src/full/Agda/TypeChecking/Rules/LHS.hs, 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.3/dist-newstyle/build/x86_64-freebsd/ghc-9.4.6/Agda-2.6.3/build/Agda/TypeChecking/Rules/LHS.o,
 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.3/dist-newstyle/build/x86_64-freebsd/ghc-9.4.6/Agda-2.6.3/build/Agda/TypeChecking/Rules/LHS.dyn_o
 )
[361 of 418] Compiling Agda.TypeChecking.ReconstructParameters ( 
src/full/Agda/TypeChecking/ReconstructParameters.hs, 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.3/dist-newstyle/build/x86_64-freebsd/ghc-9.4.6/Agda-2.6.3/build/Agda/TypeChecking/ReconstructParameters.o,
 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.3/dist-newstyle/build/x86_64-freebsd/ghc-9.4.6/Agda-2.6.3/build/Agda/TypeChecking/ReconstructParameters.dyn_o
 )
[362 of 418] Compiling Agda.TypeChecking.Unquote ( 
src/full/Agda/TypeChecking/Unquote.hs, 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.3/dist-newstyle/build/x86_64-freebsd/ghc-9.4.6/Agda-2.6.3/build/Agda/TypeChecking/Unquote.o,
 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.3/dist-newstyle/build/x86_64-freebsd/ghc-9.4.6/Agda-2.6.3/build/Agda/TypeChecking/Unquote.dyn_o
 )
[363 of 418] Compiling Agda.TypeChecking.Rules.Term ( 
src/full/Agda/TypeChecking/Rules/Term.hs, 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.3/dist-newstyle/build/x86_64-freebsd/ghc-9.4.6/Agda-2.6.3/build/Agda/TypeChecking/Rules/Term.o,
 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.3/dist-newstyle/build/x86_64-freebsd/ghc-9.4.6/Agda-2.6.3/build/Agda/TypeChecking/Rules/Term.dyn_o
 )
[364 of 418] Compiling Agda.TypeChecking.Coverage.SplitClause ( 
src/full/Agda/TypeChecking/Coverage/SplitClause.hs, 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.3/dist-newstyle/build/x86_64-freebsd/ghc-9.4.6/Agda-2.6.3/build/Agda/TypeChecking/Coverage/SplitClause.o,
 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.3/dist-newstyle/build/x86_64-freebsd/ghc-9.4.6/Agda-2.6.3/build/Agda/TypeChecking/Coverage/SplitClause.dyn_o
 )
[365 of 418] Compiling Agda.TypeChecking.Coverage.Cubical ( 
src/full/Agda/TypeChecking/Coverage/Cubical.hs, 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.3/dist-newstyle/build/x86_64-freebsd/ghc-9.4.6/Agda-2.6.3/build/Agda/TypeChecking/Coverage/Cubical.o,
 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.3/dist-newstyle/build/x86_64-freebsd/ghc-9.4.6/Agda-2.6.3/build/Agda/TypeChecking/Coverage/Cubical.dyn_o
 )
[366 of 418] Compiling Agda.TypeChecking.Coverage ( 
src/full/Agda/TypeChecking/Coverage.hs, 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.3/dist-newstyle/build/x86_64-freebsd/ghc-9.4.6/Agda-2.6.3/build/Agda/TypeChecking/Coverage.o,
 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.3/dist-newstyle/build/x86_64-freebsd/ghc-9.4.6/Agda-2.6.3/build/Agda/TypeChecking/Coverage.dyn_o
 )
[367 of 418] Compiling Agda.TypeChecking.CompiledClause.Compile ( 
src/full/Agda/TypeChecking/CompiledClause/Compile.hs, 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.3/dist-newstyle/build/x86_64-freebsd/ghc-9.4.6/Agda-2.6.3/build/Agda/TypeChecking/CompiledClause/Compile.o,
 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.3/dist-newstyle/build/x86_64-freebsd/ghc-9.4.6/Agda-2.6.3/build/Agda/TypeChecking/CompiledClause/Compile.dyn_o
 )
[368 of 418] Compiling Agda.Compiler.ToTreeless ( 
src/full/Agda/Compiler/ToTreeless.hs, 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.3/dist-newstyle/build/x86_64-freebsd/ghc-9.4.6/Agda-2.6.3/build/Agda/Compiler/ToTreeless.o,
 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.3/dist-newstyle/build/x86_64-freebsd/ghc-9.4.6/Agda-2.6.3/build/Agda/Compiler/ToTreeless.dyn_o
 )
[369 of 418] Compiling Agda.TypeChecking.Empty ( 
src/full/Agda/TypeChecking/Empty.hs, 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.3/dist-newstyle/build/x86_64-freebsd/ghc-9.4.6/Agda-2.6.3/build/Agda/TypeChecking/Empty.o,
 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.3/dist-newstyle/build/x86_64-freebsd/ghc-9.4.6/Agda-2.6.3/build/Agda/TypeChecking/Empty.dyn_o
 )
[370 of 418] Compiling Agda.TypeChecking.Rules.Builtin ( 
src/full/Agda/TypeChecking/Rules/Builtin.hs, 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.3/dist-newstyle/build/x86_64-freebsd/ghc-9.4.6/Agda-2.6.3/build/Agda/TypeChecking/Rules/Builtin.o,
 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.3/dist-newstyle/build/x86_64-freebsd/ghc-9.4.6/Agda-2.6.3/build/Agda/TypeChecking/Rules/Builtin.dyn_o
 )
[371 of 418] Compiling Agda.TypeChecking.Rules.Builtin.Coinduction ( 
src/full/Agda/TypeChecking/Rules/Builtin/Coinduction.hs, 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.3/dist-newstyle/build/x86_64-freebsd/ghc-9.4.6/Agda-2.6.3/build/Agda/TypeChecking/Rules/Builtin/Coinduction.o,
 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.3/dist-newstyle/build/x86_64-freebsd/ghc-9.4.6/Agda-2.6.3/build/Agda/TypeChecking/Rules/Builtin/Coinduction.dyn_o
 )
[372 of 418] Compiling Agda.TypeChecking.Rewriting.Confluence ( 
src/full/Agda/TypeChecking/Rewriting/Confluence.hs, 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.3/dist-newstyle/build/x86_64-freebsd/ghc-9.4.6/Agda-2.6.3/build/Agda/TypeChecking/Rewriting/Confluence.o,
 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.3/dist-newstyle/build/x86_64-freebsd/ghc-9.4.6/Agda-2.6.3/build/Agda/TypeChecking/Rewriting/Confluence.dyn_o
 )
[373 of 418] Compiling Agda.TypeChecking.Rewriting ( 
src/full/Agda/TypeChecking/Rewriting.hs, 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.3/dist-newstyle/build/x86_64-freebsd/ghc-9.4.6/Agda-2.6.3/build/Agda/TypeChecking/Rewriting.o,
 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.3/dist-newstyle/build/x86_64-freebsd/ghc-9.4.6/Agda-2.6.3/build/Agda/TypeChecking/Rewriting.dyn_o
 )
[374 of 418] Compiling Agda.TypeChecking.Reduce.Fast ( 
src/full/Agda/TypeChecking/Reduce/Fast.hs, 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.3/dist-newstyle/build/x86_64-freebsd/ghc-9.4.6/Agda-2.6.3/build/Agda/TypeChecking/Reduce/Fast.o,
 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.3/dist-newstyle/build/x86_64-freebsd/ghc-9.4.6/Agda-2.6.3/build/Agda/TypeChecking/Reduce/Fast.dyn_o
 )
[375 of 418] Compiling Agda.TypeChecking.Rules.Def ( 
src/full/Agda/TypeChecking/Rules/Def.hs, 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.3/dist-newstyle/build/x86_64-freebsd/ghc-9.4.6/Agda-2.6.3/build/Agda/TypeChecking/Rules/Def.o,
 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.3/dist-newstyle/build/x86_64-freebsd/ghc-9.4.6/Agda-2.6.3/build/Agda/TypeChecking/Rules/Def.dyn_o
 )
[376 of 418] Compiling Agda.TypeChecking.Rules.Application ( 
src/full/Agda/TypeChecking/Rules/Application.hs, 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.3/dist-newstyle/build/x86_64-freebsd/ghc-9.4.6/Agda-2.6.3/build/Agda/TypeChecking/Rules/Application.o,
 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.3/dist-newstyle/build/x86_64-freebsd/ghc-9.4.6/Agda-2.6.3/build/Agda/TypeChecking/Rules/Application.dyn_o
 )
[377 of 418] Compiling Agda.TypeChecking.Rules.Record ( 
src/full/Agda/TypeChecking/Rules/Record.hs, 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.3/dist-newstyle/build/x86_64-freebsd/ghc-9.4.6/Agda-2.6.3/build/Agda/TypeChecking/Rules/Record.o,
 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.3/dist-newstyle/build/x86_64-freebsd/ghc-9.4.6/Agda-2.6.3/build/Agda/TypeChecking/Rules/Record.dyn_o
 )
[378 of 418] Compiling Agda.TypeChecking.Rules.Decl ( 
src/full/Agda/TypeChecking/Rules/Decl.hs, 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.3/dist-newstyle/build/x86_64-freebsd/ghc-9.4.6/Agda-2.6.3/build/Agda/TypeChecking/Rules/Decl.o,
 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.3/dist-newstyle/build/x86_64-freebsd/ghc-9.4.6/Agda-2.6.3/build/Agda/TypeChecking/Rules/Decl.dyn_o
 )
[379 of 418] Compiling Agda.TheTypeChecker ( src/full/Agda/TheTypeChecker.hs, 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.3/dist-newstyle/build/x86_64-freebsd/ghc-9.4.6/Agda-2.6.3/build/Agda/TheTypeChecker.o,
 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.3/dist-newstyle/build/x86_64-freebsd/ghc-9.4.6/Agda-2.6.3/build/Agda/TheTypeChecker.dyn_o
 )
[380 of 418] Compiling Agda.Syntax.Translation.ConcreteToAbstract ( 
src/full/Agda/Syntax/Translation/ConcreteToAbstract.hs, 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.3/dist-newstyle/build/x86_64-freebsd/ghc-9.4.6/Agda-2.6.3/build/Agda/Syntax/Translation/ConcreteToAbstract.o,
 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.3/dist-newstyle/build/x86_64-freebsd/ghc-9.4.6/Agda-2.6.3/build/Agda/Syntax/Translation/ConcreteToAbstract.dyn_o
 )
[381 of 418] Compiling Agda.Interaction.BasicOps ( 
src/full/Agda/Interaction/BasicOps.hs, 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.3/dist-newstyle/build/x86_64-freebsd/ghc-9.4.6/Agda-2.6.3/build/Agda/Interaction/BasicOps.o,
 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.3/dist-newstyle/build/x86_64-freebsd/ghc-9.4.6/Agda-2.6.3/build/Agda/Interaction/BasicOps.dyn_o
 )
[382 of 418] Compiling Agda.Interaction.Imports ( 
src/full/Agda/Interaction/Imports.hs, 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.3/dist-newstyle/build/x86_64-freebsd/ghc-9.4.6/Agda-2.6.3/build/Agda/Interaction/Imports.o,
 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.3/dist-newstyle/build/x86_64-freebsd/ghc-9.4.6/Agda-2.6.3/build/Agda/Interaction/Imports.dyn_o
 )
[383 of 418] Compiling Agda.Compiler.Common ( src/full/Agda/Compiler/Common.hs, 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.3/dist-newstyle/build/x86_64-freebsd/ghc-9.4.6/Agda-2.6.3/build/Agda/Compiler/Common.o,
 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.3/dist-newstyle/build/x86_64-freebsd/ghc-9.4.6/Agda-2.6.3/build/Agda/Compiler/Common.dyn_o
 )
[384 of 418] Compiling Agda.Compiler.Backend ( 
src/full/Agda/Compiler/Backend.hs, 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.3/dist-newstyle/build/x86_64-freebsd/ghc-9.4.6/Agda-2.6.3/build/Agda/Compiler/Backend.o,
 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.3/dist-newstyle/build/x86_64-freebsd/ghc-9.4.6/Agda-2.6.3/build/Agda/Compiler/Backend.dyn_o
 )
[385 of 418] Compiling Agda.Compiler.JS.Compiler ( 
src/full/Agda/Compiler/JS/Compiler.hs, 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.3/dist-newstyle/build/x86_64-freebsd/ghc-9.4.6/Agda-2.6.3/build/Agda/Compiler/JS/Compiler.o,
 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.3/dist-newstyle/build/x86_64-freebsd/ghc-9.4.6/Agda-2.6.3/build/Agda/Compiler/JS/Compiler.dyn_o
 )
[386 of 418] Compiling Agda.Interaction.Highlighting.LaTeX.Backend ( 
src/full/Agda/Interaction/Highlighting/LaTeX/Backend.hs, 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.3/dist-newstyle/build/x86_64-freebsd/ghc-9.4.6/Agda-2.6.3/build/Agda/Interaction/Highlighting/LaTeX/Backend.o,
 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.3/dist-newstyle/build/x86_64-freebsd/ghc-9.4.6/Agda-2.6.3/build/Agda/Interaction/Highlighting/LaTeX/Backend.dyn_o
 )
[387 of 418] Compiling Agda.Interaction.Highlighting.LaTeX ( 
src/full/Agda/Interaction/Highlighting/LaTeX.hs, 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.3/dist-newstyle/build/x86_64-freebsd/ghc-9.4.6/Agda-2.6.3/build/Agda/Interaction/Highlighting/LaTeX.o,
 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.3/dist-newstyle/build/x86_64-freebsd/ghc-9.4.6/Agda-2.6.3/build/Agda/Interaction/Highlighting/LaTeX.dyn_o
 )
[388 of 418] Compiling Agda.Interaction.Highlighting.HTML.Backend ( 
src/full/Agda/Interaction/Highlighting/HTML/Backend.hs, 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.3/dist-newstyle/build/x86_64-freebsd/ghc-9.4.6/Agda-2.6.3/build/Agda/Interaction/Highlighting/HTML/Backend.o,
 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.3/dist-newstyle/build/x86_64-freebsd/ghc-9.4.6/Agda-2.6.3/build/Agda/Interaction/Highlighting/HTML/Backend.dyn_o
 )
[389 of 418] Compiling Agda.Interaction.Highlighting.HTML ( 
src/full/Agda/Interaction/Highlighting/HTML.hs, 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.3/dist-newstyle/build/x86_64-freebsd/ghc-9.4.6/Agda-2.6.3/build/Agda/Interaction/Highlighting/HTML.o,
 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.3/dist-newstyle/build/x86_64-freebsd/ghc-9.4.6/Agda-2.6.3/build/Agda/Interaction/Highlighting/HTML.dyn_o
 )
[390 of 418] Compiling Agda.Interaction.Highlighting.Dot.Backend ( 
src/full/Agda/Interaction/Highlighting/Dot/Backend.hs, 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.3/dist-newstyle/build/x86_64-freebsd/ghc-9.4.6/Agda-2.6.3/build/Agda/Interaction/Highlighting/Dot/Backend.o,
 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.3/dist-newstyle/build/x86_64-freebsd/ghc-9.4.6/Agda-2.6.3/build/Agda/Interaction/Highlighting/Dot/Backend.dyn_o
 )
[391 of 418] Compiling Agda.Interaction.Highlighting.Dot ( 
src/full/Agda/Interaction/Highlighting/Dot.hs, 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.3/dist-newstyle/build/x86_64-freebsd/ghc-9.4.6/Agda-2.6.3/build/Agda/Interaction/Highlighting/Dot.o,
 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.3/dist-newstyle/build/x86_64-freebsd/ghc-9.4.6/Agda-2.6.3/build/Agda/Interaction/Highlighting/Dot.dyn_o
 )
[392 of 418] Compiling Agda.Compiler.MAlonzo.Misc ( 
src/full/Agda/Compiler/MAlonzo/Misc.hs, 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.3/dist-newstyle/build/x86_64-freebsd/ghc-9.4.6/Agda-2.6.3/build/Agda/Compiler/MAlonzo/Misc.o,
 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.3/dist-newstyle/build/x86_64-freebsd/ghc-9.4.6/Agda-2.6.3/build/Agda/Compiler/MAlonzo/Misc.dyn_o
 )
[393 of 418] Compiling Agda.Compiler.MAlonzo.Encode ( 
src/full/Agda/Compiler/MAlonzo/Encode.hs, 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.3/dist-newstyle/build/x86_64-freebsd/ghc-9.4.6/Agda-2.6.3/build/Agda/Compiler/MAlonzo/Encode.o,
 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.3/dist-newstyle/build/x86_64-freebsd/ghc-9.4.6/Agda-2.6.3/build/Agda/Compiler/MAlonzo/Encode.dyn_o
 )
[394 of 418] Compiling Agda.Compiler.MAlonzo.Pretty ( 
src/full/Agda/Compiler/MAlonzo/Pretty.hs, 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.3/dist-newstyle/build/x86_64-freebsd/ghc-9.4.6/Agda-2.6.3/build/Agda/Compiler/MAlonzo/Pretty.o,
 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.3/dist-newstyle/build/x86_64-freebsd/ghc-9.4.6/Agda-2.6.3/build/Agda/Compiler/MAlonzo/Pretty.dyn_o
 )
[395 of 418] Compiling Agda.Compiler.MAlonzo.Primitives ( 
src/full/Agda/Compiler/MAlonzo/Primitives.hs, 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.3/dist-newstyle/build/x86_64-freebsd/ghc-9.4.6/Agda-2.6.3/build/Agda/Compiler/MAlonzo/Primitives.o,
 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.3/dist-newstyle/build/x86_64-freebsd/ghc-9.4.6/Agda-2.6.3/build/Agda/Compiler/MAlonzo/Primitives.dyn_o
 )
[396 of 418] Compiling Agda.Compiler.MAlonzo.Pragmas ( 
src/full/Agda/Compiler/MAlonzo/Pragmas.hs, 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.3/dist-newstyle/build/x86_64-freebsd/ghc-9.4.6/Agda-2.6.3/build/Agda/Compiler/MAlonzo/Pragmas.o,
 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.3/dist-newstyle/build/x86_64-freebsd/ghc-9.4.6/Agda-2.6.3/build/Agda/Compiler/MAlonzo/Pragmas.dyn_o
 )
[397 of 418] Compiling Agda.Compiler.MAlonzo.HaskellTypes ( 
src/full/Agda/Compiler/MAlonzo/HaskellTypes.hs, 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.3/dist-newstyle/build/x86_64-freebsd/ghc-9.4.6/Agda-2.6.3/build/Agda/Compiler/MAlonzo/HaskellTypes.o,
 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.3/dist-newstyle/build/x86_64-freebsd/ghc-9.4.6/Agda-2.6.3/build/Agda/Compiler/MAlonzo/HaskellTypes.dyn_o
 )
[398 of 418] Compiling Agda.Compiler.MAlonzo.Compiler ( 
src/full/Agda/Compiler/MAlonzo/Compiler.hs, 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.3/dist-newstyle/build/x86_64-freebsd/ghc-9.4.6/Agda-2.6.3/build/Agda/Compiler/MAlonzo/Compiler.o,
 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.3/dist-newstyle/build/x86_64-freebsd/ghc-9.4.6/Agda-2.6.3/build/Agda/Compiler/MAlonzo/Compiler.dyn_o
 )
[399 of 418] Compiling Agda.Compiler.Builtin ( 
src/full/Agda/Compiler/Builtin.hs, 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.3/dist-newstyle/build/x86_64-freebsd/ghc-9.4.6/Agda-2.6.3/build/Agda/Compiler/Builtin.o,
 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.3/dist-newstyle/build/x86_64-freebsd/ghc-9.4.6/Agda-2.6.3/build/Agda/Compiler/Builtin.dyn_o
 )
[400 of 418] Compiling Agda.TypeChecking.Patterns.Internal ( 
src/full/Agda/TypeChecking/Patterns/Internal.hs, 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.3/dist-newstyle/build/x86_64-freebsd/ghc-9.4.6/Agda-2.6.3/build/Agda/TypeChecking/Patterns/Internal.o,
 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.3/dist-newstyle/build/x86_64-freebsd/ghc-9.4.6/Agda-2.6.3/build/Agda/TypeChecking/Patterns/Internal.dyn_o
 )
[401 of 418] Compiling Agda.Syntax.Internal.SanityCheck ( 
src/full/Agda/Syntax/Internal/SanityCheck.hs, 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.3/dist-newstyle/build/x86_64-freebsd/ghc-9.4.6/Agda-2.6.3/build/Agda/Syntax/Internal/SanityCheck.o,
 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.3/dist-newstyle/build/x86_64-freebsd/ghc-9.4.6/Agda-2.6.3/build/Agda/Syntax/Internal/SanityCheck.dyn_o
 )
[402 of 418] Compiling Agda.Interaction.Monad ( 
src/full/Agda/Interaction/Monad.hs, 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.3/dist-newstyle/build/x86_64-freebsd/ghc-9.4.6/Agda-2.6.3/build/Agda/Interaction/Monad.o,
 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.3/dist-newstyle/build/x86_64-freebsd/ghc-9.4.6/Agda-2.6.3/build/Agda/Interaction/Monad.dyn_o
 )
[403 of 418] Compiling Agda.Interaction.JSON ( 
src/full/Agda/Interaction/JSON.hs, 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.3/dist-newstyle/build/x86_64-freebsd/ghc-9.4.6/Agda-2.6.3/build/Agda/Interaction/JSON.o,
 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.3/dist-newstyle/build/x86_64-freebsd/ghc-9.4.6/Agda-2.6.3/build/Agda/Interaction/JSON.dyn_o
 )
[404 of 418] Compiling Agda.Interaction.Highlighting.Common ( 
src/full/Agda/Interaction/Highlighting/Common.hs, 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.3/dist-newstyle/build/x86_64-freebsd/ghc-9.4.6/Agda-2.6.3/build/Agda/Interaction/Highlighting/Common.o,
 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.3/dist-newstyle/build/x86_64-freebsd/ghc-9.4.6/Agda-2.6.3/build/Agda/Interaction/Highlighting/Common.dyn_o
 )
[405 of 418] Compiling Agda.Interaction.Highlighting.JSON ( 
src/full/Agda/Interaction/Highlighting/JSON.hs, 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.3/dist-newstyle/build/x86_64-freebsd/ghc-9.4.6/Agda-2.6.3/build/Agda/Interaction/Highlighting/JSON.o,
 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.3/dist-newstyle/build/x86_64-freebsd/ghc-9.4.6/Agda-2.6.3/build/Agda/Interaction/Highlighting/JSON.dyn_o
 )
[406 of 418] Compiling Agda.Compiler.Treeless.NormalizeNames ( 
src/full/Agda/Compiler/Treeless/NormalizeNames.hs, 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.3/dist-newstyle/build/x86_64-freebsd/ghc-9.4.6/Agda-2.6.3/build/Agda/Compiler/Treeless/NormalizeNames.o,
 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.3/dist-newstyle/build/x86_64-freebsd/ghc-9.4.6/Agda-2.6.3/build/Agda/Compiler/Treeless/NormalizeNames.dyn_o
 )
[407 of 418] Compiling Agda.TypeChecking.EtaExpand ( 
src/full/Agda/TypeChecking/EtaExpand.hs, 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.3/dist-newstyle/build/x86_64-freebsd/ghc-9.4.6/Agda-2.6.3/build/Agda/TypeChecking/EtaExpand.o,
 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.3/dist-newstyle/build/x86_64-freebsd/ghc-9.4.6/Agda-2.6.3/build/Agda/TypeChecking/EtaExpand.dyn_o
 )
[408 of 418] Compiling Agda.Interaction.MakeCase ( 
src/full/Agda/Interaction/MakeCase.hs, 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.3/dist-newstyle/build/x86_64-freebsd/ghc-9.4.6/Agda-2.6.3/build/Agda/Interaction/MakeCase.o,
 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.3/dist-newstyle/build/x86_64-freebsd/ghc-9.4.6/Agda-2.6.3/build/Agda/Interaction/MakeCase.dyn_o
 )
[409 of 418] Compiling Agda.Interaction.Highlighting.Emacs ( 
src/full/Agda/Interaction/Highlighting/Emacs.hs, 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.3/dist-newstyle/build/x86_64-freebsd/ghc-9.4.6/Agda-2.6.3/build/Agda/Interaction/Highlighting/Emacs.o,
 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.3/dist-newstyle/build/x86_64-freebsd/ghc-9.4.6/Agda-2.6.3/build/Agda/Interaction/Highlighting/Emacs.dyn_o
 )
[410 of 418] Compiling Agda.Interaction.CommandLine ( 
src/full/Agda/Interaction/CommandLine.hs, 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.3/dist-newstyle/build/x86_64-freebsd/ghc-9.4.6/Agda-2.6.3/build/Agda/Interaction/CommandLine.o,
 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.3/dist-newstyle/build/x86_64-freebsd/ghc-9.4.6/Agda-2.6.3/build/Agda/Interaction/CommandLine.dyn_o
 )
[411 of 418] Compiling Agda.Interaction.SearchAbout ( 
src/full/Agda/Interaction/SearchAbout.hs, 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.3/dist-newstyle/build/x86_64-freebsd/ghc-9.4.6/Agda-2.6.3/build/Agda/Interaction/SearchAbout.o,
 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.3/dist-newstyle/build/x86_64-freebsd/ghc-9.4.6/Agda-2.6.3/build/Agda/Interaction/SearchAbout.dyn_o
 )
[412 of 418] Compiling Agda.Auto.Convert ( src/full/Agda/Auto/Convert.hs, 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.3/dist-newstyle/build/x86_64-freebsd/ghc-9.4.6/Agda-2.6.3/build/Agda/Auto/Convert.o,
 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.3/dist-newstyle/build/x86_64-freebsd/ghc-9.4.6/Agda-2.6.3/build/Agda/Auto/Convert.dyn_o
 )
[413 of 418] Compiling Agda.Auto.Auto   ( src/full/Agda/Auto/Auto.hs, 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.3/dist-newstyle/build/x86_64-freebsd/ghc-9.4.6/Agda-2.6.3/build/Agda/Auto/Auto.o,
 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.3/dist-newstyle/build/x86_64-freebsd/ghc-9.4.6/Agda-2.6.3/build/Agda/Auto/Auto.dyn_o
 )
[414 of 418] Compiling Agda.Interaction.InteractionTop ( 
src/full/Agda/Interaction/InteractionTop.hs, 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.3/dist-newstyle/build/x86_64-freebsd/ghc-9.4.6/Agda-2.6.3/build/Agda/Interaction/InteractionTop.o,
 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.3/dist-newstyle/build/x86_64-freebsd/ghc-9.4.6/Agda-2.6.3/build/Agda/Interaction/InteractionTop.dyn_o
 )
[415 of 418] Compiling Agda.Interaction.AgdaTop ( 
src/full/Agda/Interaction/AgdaTop.hs, 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.3/dist-newstyle/build/x86_64-freebsd/ghc-9.4.6/Agda-2.6.3/build/Agda/Interaction/AgdaTop.o,
 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.3/dist-newstyle/build/x86_64-freebsd/ghc-9.4.6/Agda-2.6.3/build/Agda/Interaction/AgdaTop.dyn_o
 )
[416 of 418] Compiling Agda.Interaction.EmacsTop ( 
src/full/Agda/Interaction/EmacsTop.hs, 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.3/dist-newstyle/build/x86_64-freebsd/ghc-9.4.6/Agda-2.6.3/build/Agda/Interaction/EmacsTop.o,
 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.3/dist-newstyle/build/x86_64-freebsd/ghc-9.4.6/Agda-2.6.3/build/Agda/Interaction/EmacsTop.dyn_o
 )
[417 of 418] Compiling Agda.Interaction.JSONTop ( 
src/full/Agda/Interaction/JSONTop.hs, 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.3/dist-newstyle/build/x86_64-freebsd/ghc-9.4.6/Agda-2.6.3/build/Agda/Interaction/JSONTop.o,
 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.3/dist-newstyle/build/x86_64-freebsd/ghc-9.4.6/Agda-2.6.3/build/Agda/Interaction/JSONTop.dyn_o
 )
[418 of 418] Compiling Agda.Main        ( src/full/Agda/Main.hs, 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.3/dist-newstyle/build/x86_64-freebsd/ghc-9.4.6/Agda-2.6.3/build/Agda/Main.o,
 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.3/dist-newstyle/build/x86_64-freebsd/ghc-9.4.6/Agda-2.6.3/build/Agda/Main.dyn_o
 )
Preprocessing executable 'agda' for Agda-2.6.3..
Building executable 'agda' for Agda-2.6.3..
[1 of 1] Compiling Main             ( src/main/Main.hs, 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.3/dist-newstyle/build/x86_64-freebsd/ghc-9.4.6/Agda-2.6.3/build/agda/agda-tmp/Main.o
 )
[2 of 2] Linking 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.3/dist-newstyle/build/x86_64-freebsd/ghc-9.4.6/Agda-2.6.3/build/agda/agda
===========================================================================
=======================<phase: run-depends    >============================
===========================================================================
=======================<phase: stage          >============================
===>  Staging for hs-Agda-2.6.3
===>   Generating temporary packing list
/bin/mkdir -p /wrkdirs/usr/ports/math/hs-Agda/work/stage/usr/local/libexec/cabal
install  -s -m 555  $(find 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.3/dist-newstyle -name agda-mode 
-type f -perm +111)  
/wrkdirs/usr/ports/math/hs-Agda/work/stage/usr/local/libexec/cabal/agda-mode
echo '#!/bin/sh' > 
/wrkdirs/usr/ports/math/hs-Agda/work/stage/usr/local/bin/agda-mode
echo '' >> /wrkdirs/usr/ports/math/hs-Agda/work/stage/usr/local/bin/agda-mode
echo 'export agda_mode_datadir=/usr/local/share/Agda' >> 
/wrkdirs/usr/ports/math/hs-Agda/work/stage/usr/local/bin/agda-mode
echo 'export Agda_datadir=/usr/local/share/Agda' >> 
/wrkdirs/usr/ports/math/hs-Agda/work/stage/usr/local/bin/agda-mode
echo '' >> /wrkdirs/usr/ports/math/hs-Agda/work/stage/usr/local/bin/agda-mode
echo 'exec /usr/local/libexec/cabal/agda-mode "$@"' >> 
/wrkdirs/usr/ports/math/hs-Agda/work/stage/usr/local/bin/agda-mode
/bin/chmod +x /wrkdirs/usr/ports/math/hs-Agda/work/stage/usr/local/bin/agda-mode
install  -s -m 555  $(find 
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.3/dist-newstyle -name agda -type 
f -perm +111)  
/wrkdirs/usr/ports/math/hs-Agda/work/stage/usr/local/libexec/cabal/agda
echo '#!/bin/sh' > /wrkdirs/usr/ports/math/hs-Agda/work/stage/usr/local/bin/agda
echo '' >> /wrkdirs/usr/ports/math/hs-Agda/work/stage/usr/local/bin/agda
echo 'export agda_datadir=/usr/local/share/Agda' >> 
/wrkdirs/usr/ports/math/hs-Agda/work/stage/usr/local/bin/agda
echo 'export Agda_datadir=/usr/local/share/Agda' >> 
/wrkdirs/usr/ports/math/hs-Agda/work/stage/usr/local/bin/agda
echo '' >> /wrkdirs/usr/ports/math/hs-Agda/work/stage/usr/local/bin/agda
echo 'exec /usr/local/libexec/cabal/agda "$@"' >> 
/wrkdirs/usr/ports/math/hs-Agda/work/stage/usr/local/bin/agda
/bin/chmod +x /wrkdirs/usr/ports/math/hs-Agda/work/stage/usr/local/bin/agda
/usr/bin/env 
Agda_datadir=/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.3/src/data 
/wrkdirs/usr/ports/math/hs-Agda/work/stage/usr/local/libexec/cabal/agda-mode 
compile
Loading quail/latin-ltx...



In toplevel form:
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.3/src/data/emacs-mode/agda2-mode.el:217:2:
 Error: defconst `agda2-command-table' docstring has wrong usage of unescaped 
single quotes (use \= or different quoting)
Unable to compile the following Emacs Lisp files:
  
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.3/src/data/emacs-mode/agda2-mode.el
*** Error code 1

Stop.
make: stopped in /usr/ports/math/hs-Agda

Reply via email to