Date: Fri, 25 Aug 2023 22:00:22 +0000 From: <pkg-fallout@FreeBSD.org> To: haskell@FreeBSD.org Cc: pkg-fallout@FreeBSD.org Subject: [exp - 124amd64-default-build-as-user][math/hs-Agda] Failed for hs-Agda-2.6.3 in stage Message-ID: <64e92476.8794.1b52e71e@package19.nyi.freebsd.org>
next in thread | raw e-mail | index | archive | help
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: haskell@FreeBSD.org Log URL: https://pkg-status.freebsd.org/package19/data/124amd64-default-build-as-user/d3e06c19a118/logs/hs-Agda-2.6.3.log Build URL: https://pkg-status.freebsd.org/package19/build.html?mastername=124amd64-default-build-as-user&build=d3e06c19a118 Log: =>> Building math/hs-Agda build started at Fri Aug 25 21:20:51 UTC 2023 port directory: /usr/ports/math/hs-Agda package name: hs-Agda-2.6.3 building for: FreeBSD 124amd64-default-build-as-user-job-09 12.4-RELEASE-p4 FreeBSD 12.4-RELEASE-p4 amd64 maintained by: haskell@FreeBSD.org Makefile ident: Poudriere version: 3.2.8-23-ga7f8d188 Host OSVERSION: 1400089 Jail OSVERSION: 1204000 Job Id: 09 ---Begin Environment--- SHELL=/bin/csh OSVERSION=1204000 UNAME_v=FreeBSD 12.4-RELEASE-p4 UNAME_r=12.4-RELEASE-p4 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-23-ga7f8d188 MASTERMNT=/poudriere/data/.m/124amd64-default-build-as-user/ref POUDRIERE_BUILD_TYPE=bulk PACKAGE_BUILDING=yes SAVED_TERM= GID=0 UID=0 PWD=/poudriere/data/.m/124amd64-default-build-as-user/ref/.p/pool P_PORTS_FEATURES=FLAVORS SELECTED_OPTIONS MASTERNAME=124amd64-default-build-as-user SCRIPTPREFIX=/usr/local/share/poudriere OLDPWD=/poudriere/data/.m/124amd64-default-build-as-user/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-- haskell@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=12.4 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 FORCE_PACKAGE=yes PACKAGE_BUILDING=yes PACKAGE_BUILDING_FLAVORS=yes #### /usr/local/etc/poudriere.d/make.conf #### # Build ALLOW_MAKE_JOBS_PACKAGES with 2 jobs MAKE_JOBS_NUMBER=2 #### /usr/ports/Mk/Scripts/ports_env.sh #### _CCVERSION_921dbbb2=FreeBSD clang version 13.0.0 (git@github.com:llvm/llvm-project.git llvmorg-13.0.0-0-gd7b669b3a303) Target: x86_64-unknown-freebsd12.4 Thread model: posix InstalledDir: /usr/bin _ALTCCVERSION_921dbbb2=none _CXXINTERNAL_acaad9ca=FreeBSD clang version 13.0.0 (git@github.com:llvm/llvm-project.git llvmorg-13.0.0-0-gd7b669b3a303) Target: x86_64-unknown-freebsd12.4 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 13.0.0 (git@github.com:llvm/llvm-project.git llvmorg-13.0.0-0-gd7b669b3a303) Target: x86_64-unknown-freebsd12.4 Thread model: posix InstalledDir: /usr/bin _OBJC_ALTCCVERSION_921dbbb2=none ARCH=amd64 OPSYS=FreeBSD _OSRELEASE=12.4-RELEASE-p4 OSREL=12.4 OSVERSION=1204000 PYTHONBASE=/usr/local HAVE_COMPAT_IA32_KERN=YES CONFIGURE_MAX_CMD_LEN=524288 HAVE_PORTS_ENV=1 #### Misc Poudriere #### ---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 [124amd64-default-build-as-user-job-09] Installing pkg-1.20.5... [124amd64-default-build-as-user-job-09] 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. => 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-html-0.9.1.2/revision/2.cabal. => SHA256 Checksum OK for cabal/blaze-markup-0.8.2.8/blaze-markup-0.8.2.8.tar.gz. => SHA256 Checksum OK for cabal/blaze-markup-0.8.2.8/revision/3.cabal. => SHA256 Checksum OK for cabal/boxes-0.1.5/boxes-0.1.5.tar.gz. => SHA256 Checksum OK for cabal/case-insensitive-1.2.1.0/case-insensitive-1.2.1.0.tar.gz. => SHA256 Checksum OK for cabal/comonad-5.0.8/comonad-5.0.8.tar.gz. => SHA256 Checksum OK for cabal/comonad-5.0.8/revision/1.cabal. => SHA256 Checksum OK for cabal/contravariant-1.5.5/contravariant-1.5.5.tar.gz. => SHA256 Checksum OK for cabal/data-array-byte-0.1.0.1/data-array-byte-0.1.0.1.tar.gz. => SHA256 Checksum OK for cabal/data-array-byte-0.1.0.1/revision/1.cabal. => SHA256 Checksum OK for cabal/data-fix-0.3.2/data-fix-0.3.2.tar.gz. => SHA256 Checksum OK for cabal/data-fix-0.3.2/revision/3.cabal. => SHA256 Checksum OK for cabal/data-hash-0.2.0.1/data-hash-0.2.0.1.tar.gz. => SHA256 Checksum OK for cabal/distributive-0.6.2.1/distributive-0.6.2.1.tar.gz. => SHA256 Checksum OK for cabal/distributive-0.6.2.1/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
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?64e92476.8794.1b52e71e>