Date: Sun, 23 Aug 2020 19:27:56 GMT From: pkg-fallout@FreeBSD.org To: haskell@FreeBSD.org Cc: pkg-fallout@FreeBSD.org Subject: [package - 113amd64-default][math/hs-Agda] Failed for hs-Agda-2.6.1_4 in build Message-ID: <202008231927.07NJRuAv097885@beefy9.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 Last committer: arrowd@FreeBSD.org Ident: $FreeBSD: head/math/hs-Agda/Makefile 545318 2020-08-19 12:27:36Z arrowd $ Log URL: http://beefy9.nyi.freebsd.org/data/113amd64-default/545731/logs/hs-Agda-2.6.1_4.log Build URL: http://beefy9.nyi.freebsd.org/build.html?mastername=113amd64-default&build=545731 Log: =>> Building math/hs-Agda build started at Sun Aug 23 19:12:01 UTC 2020 port directory: /usr/ports/math/hs-Agda package name: hs-Agda-2.6.1_4 building for: FreeBSD 113amd64-default-job-06 11.3-RELEASE-p12 FreeBSD 11.3-RELEASE-p12 amd64 maintained by: haskell@FreeBSD.org Makefile ident: $FreeBSD: head/math/hs-Agda/Makefile 545318 2020-08-19 12:27:36Z arrowd $ Poudriere version: 3.2.8-5-gc81843e5 Host OSVERSION: 1300100 Jail OSVERSION: 1103000 Job Id: 06 ---Begin Environment--- SHELL=/bin/csh OSVERSION=1103000 UNAME_v=FreeBSD 11.3-RELEASE-p12 UNAME_r=11.3-RELEASE-p12 BLOCKSIZE=K MAIL=/var/mail/root STATUS=1 HOME=/root PATH=/sbin:/bin:/usr/sbin:/usr/bin:/usr/local/sbin:/usr/local/bin:/root/bin LOCALBASE=/usr/local USER=root LIBEXECPREFIX=/usr/local/libexec/poudriere POUDRIERE_VERSION=3.2.8-5-gc81843e5 MASTERMNT=/usr/local/poudriere/data/.m/113amd64-default/ref POUDRIERE_BUILD_TYPE=bulk PACKAGE_BUILDING=yes SAVED_TERM= PWD=/usr/local/poudriere/data/.m/113amd64-default/ref/.p/pool P_PORTS_FEATURES=FLAVORS SELECTED_OPTIONS MASTERNAME=113amd64-default SCRIPTPREFIX=/usr/local/share/poudriere OLDPWD=/usr/local/poudriere/data/.m/113amd64-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-- 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 HOME=/wrkdirs/usr/ports/math/hs-Agda/work TMPDIR="/tmp" PATH=/wrkdirs/usr/ports/math/hs-Agda/work/.bin:/sbin:/bin:/usr/sbin:/usr/bin:/usr/local/sbin:/usr/local/bin:/root/bin SHELL=/bin/sh CONFIG_SHELL=/bin/sh LANG=en_US.UTF-8 LC_ALL=en_US.UTF-8 --End CONFIGURE_ENV-- --MAKE_ENV-- XDG_DATA_HOME=/wrkdirs/usr/ports/math/hs-Agda/work XDG_CONFIG_HOME=/wrkdirs/usr/ports/math/hs-Agda/work HOME=/wrkdirs/usr/ports/math/hs-Agda/work TMPDIR="/tmp" PATH=/wrkdirs/usr/ports/math/hs-Agda/work/.bin:/sbin:/bin:/usr/sbin:/usr/bin:/usr/local/sbin:/usr/local/bin:/root/bin NO_PIE=yes MK_DEBUG_FILES=no MK_KERNEL_SYMBOLS=no SHELL=/bin/sh NO_LINT=YES LANG=en_US.UTF-8 LC_ALL=en_US.UTF-8 PREFIX=/usr/local LOCALBASE=/usr/local CC="cc" CFLAGS="-O2 -pipe -fstack-protector-strong -fno-strict-aliasing " CPP="cpp" CPPFLAGS="" LDFLAGS=" -fstack-protector-strong " LIBS="" CXX="c++" CXXFLAGS="-O2 -pipe -fstack-protector-strong -fno-strict-aliasing " MANPREFIX="/usr/local" BSD_INSTALL_PROGRAM="install -s -m 555" BSD_INSTALL_LIB="install -s -m 0644" BSD_INSTALL_SCRIPT="install -m 555" BSD_INSTALL_DATA="install -m 0644" BSD_INSTALL_MAN="install -m 444" --End MAKE_ENV-- --PLIST_SUB-- OSREL=11.3 PREFIX=%D LOCALBASE=/usr/local RESETPREFIX=/usr/local LIB32DIR=lib DOCSDIR="share/doc/Agda" EXAMPLESDIR="share/examples/Agda" DATADIR="share/Agda" WWWDIR="www/Agda" ETCDIR="etc/Agda" --End PLIST_SUB-- --SUB_LIST-- PREFIX=/usr/local LOCALBASE=/usr/local DATADIR=/usr/local/share/Agda DOCSDIR=/usr/local/share/doc/Agda EXAMPLESDIR=/usr/local/share/examples/Agda WWWDIR=/usr/local/www/Agda ETCDIR=/usr/local/etc/Agda --End SUB_LIST-- ---Begin make.conf--- USE_PACKAGE_DEPENDS=yes BATCH=yes WRKDIRPREFIX=/wrkdirs PORTSDIR=/usr/ports PACKAGES=/packages DISTDIR=/distfiles PACKAGE_BUILDING=yes PACKAGE_BUILDING_FLAVORS=yes #### /usr/local/etc/poudriere.d/make.conf #### # XXX: We really need this but cannot use it while 'make checksum' does not # try the next mirror on checksum failure. It currently retries the same # failed mirror and then fails rather then trying another. It *does* # try the next if the size is mismatched though. #MASTER_SITE_FREEBSD=yes # Build ALLOW_MAKE_JOBS_PACKAGES with 2 jobs MAKE_JOBS_NUMBER=2 #### /usr/ports/Mk/Scripts/ports_env.sh #### _CCVERSION_921dbbb2=FreeBSD clang version 8.0.0 (tags/RELEASE_800/final 356365) (based on LLVM 8.0.0) Target: x86_64-unknown-freebsd11.3 Thread model: posix InstalledDir: /usr/bin _ALTCCVERSION_921dbbb2=none _CXXINTERNAL_acaad9ca=FreeBSD clang version 8.0.0 (tags/RELEASE_800/final 356365) (based on LLVM 8.0.0) Target: x86_64-unknown-freebsd11.3 Thread model: posix InstalledDir: /usr/bin "/usr/bin/ld" "--eh-frame-hdr" "-dynamic-linker" "/libexec/ld-elf.so.1" "--hash-style=both" "--enable-new-dtags" "-o" "a.out" "/usr/lib/crt1.o" "/usr/lib/crti.o" "/usr/lib/crtbegin.o" "-L/usr/lib" "/dev/null" "-lc++" "-lm" "-lgcc" "--as-needed" "-lgcc_s" "--no-as-needed" "-lc" "-lgcc" "--as-needed" "-lgcc_s" "--no-as-needed" "/usr/lib/crtend.o" "/usr/lib/crtn.o" CC_OUTPUT_921dbbb2_58173849=yes CC_OUTPUT_921dbbb2_9bdba57c=yes CC_OUTPUT_921dbbb2_6a4fe7f5=yes CC_OUTPUT_921dbbb2_6bcac02b=yes CC_OUTPUT_921dbbb2_67d20829=yes CC_OUTPUT_921dbbb2_bfa62e83=yes CC_OUTPUT_921dbbb2_f0b4d593=yes CC_OUTPUT_921dbbb2_308abb44=yes CC_OUTPUT_921dbbb2_f00456e5=yes CC_OUTPUT_921dbbb2_65ad290d=yes CC_OUTPUT_921dbbb2_f2776b26=yes CC_OUTPUT_921dbbb2_b2657cc3=yes CC_OUTPUT_921dbbb2_380987f7=yes CC_OUTPUT_921dbbb2_160933ec=yes CC_OUTPUT_921dbbb2_fb62803b=yes _OBJC_CCVERSION_921dbbb2=FreeBSD clang version 8.0.0 (tags/RELEASE_800/final 356365) (based on LLVM 8.0.0) Target: x86_64-unknown-freebsd11.3 Thread model: posix InstalledDir: /usr/bin _OBJC_ALTCCVERSION_921dbbb2=none ARCH=amd64 OPSYS=FreeBSD _OSRELEASE=11.3-RELEASE-p12 OSREL=11.3 OSVERSION=1103000 PYTHONBASE=/usr/local HAVE_COMPAT_IA32_KERN=YES CONFIGURE_MAX_CMD_LEN=524288 HAVE_PORTS_ENV=1 #### Misc Poudriere #### GID=0 UID=0 DISABLE_MAKE_JOBS=poudriere ---End make.conf--- --Resource limits-- cpu time (seconds, -t) unlimited file size (512-blocks, -f) unlimited data seg size (kbytes, -d) 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 >============================ =========================================================================== =======================<phase: pkg-depends >============================ ===> hs-Agda-2.6.1_4 depends on file: /usr/local/sbin/pkg - not found ===> Installing existing package /packages/All/pkg-1.14.7.txz [113amd64-default-job-06] Installing pkg-1.14.7... [113amd64-default-job-06] Extracting pkg-1.14.7: .......... done ===> hs-Agda-2.6.1_4 depends on file: /usr/local/sbin/pkg - found ===> Returning to build of hs-Agda-2.6.1_4 =========================================================================== =======================<phase: fetch-depends >============================ =========================================================================== =======================<phase: fetch >============================ ===> Fetching all distfiles required by hs-Agda-2.6.1_4 for building =========================================================================== =======================<phase: checksum >============================ ===> Fetching all distfiles required by hs-Agda-2.6.1_4 for building => SHA256 Checksum OK for cabal/Agda-2.6.1.tar.gz. => SHA256 Checksum OK for cabal/Cabal-3.0.2.0/Cabal-3.0.2.0.tar.gz. => SHA256 Checksum OK for cabal/STMonadTrans-0.4.4/STMonadTrans-0.4.4.tar.gz. => SHA256 Checksum OK for cabal/aeson-1.4.7.1/aeson-1.4.7.1.tar.gz. => SHA256 Checksum OK for cabal/aeson-1.4.7.1/revision/1.cabal. => SHA256 Checksum OK for cabal/alex-3.2.5/alex-3.2.5.tar.gz. => SHA256 Checksum OK for cabal/async-2.2.2/async-2.2.2.tar.gz. => SHA256 Checksum OK for cabal/async-2.2.2/revision/1.cabal. => SHA256 Checksum OK for cabal/attoparsec-0.13.2.4/attoparsec-0.13.2.4.tar.gz. => SHA256 Checksum OK for cabal/base-compat-0.11.1/base-compat-0.11.1.tar.gz. => SHA256 Checksum OK for cabal/base-compat-batteries-0.11.1/base-compat-batteries-0.11.1.tar.gz. => SHA256 Checksum OK for cabal/base-orphans-0.8.2/base-orphans-0.8.2.tar.gz. => SHA256 Checksum OK for cabal/blaze-builder-0.4.1.0/blaze-builder-0.4.1.0.tar.gz. => SHA256 Checksum OK for cabal/blaze-html-0.9.1.2/blaze-html-0.9.1.2.tar.gz. => SHA256 Checksum OK for cabal/blaze-markup-0.8.2.5/blaze-markup-0.8.2.5.tar.gz. => SHA256 Checksum OK for cabal/boxes-0.1.5/boxes-0.1.5.tar.gz. => SHA256 Checksum OK for cabal/data-hash-0.2.0.1/data-hash-0.2.0.1.tar.gz. => SHA256 Checksum OK for cabal/dlist-0.8.0.8/dlist-0.8.0.8.tar.gz. => SHA256 Checksum OK for cabal/edit-distance-0.2.2.1/edit-distance-0.2.2.1.tar.gz. => SHA256 Checksum OK for cabal/edit-distance-0.2.2.1/revision/1.cabal. => SHA256 Checksum OK for cabal/equivalence-0.3.5/equivalence-0.3.5.tar.gz. => SHA256 Checksum OK for cabal/fail-4.9.0.0/fail-4.9.0.0.tar.gz. => SHA256 Checksum OK for cabal/geniplate-mirror-0.7.7/geniplate-mirror-0.7.7.tar.gz. => SHA256 Checksum OK for cabal/gitrev-1.3.1/gitrev-1.3.1.tar.gz. => SHA256 Checksum OK for cabal/happy-1.19.12/happy-1.19.12.tar.gz. => SHA256 Checksum OK for cabal/hashable-1.3.0.0/hashable-1.3.0.0.tar.gz. => SHA256 Checksum OK for cabal/hashable-1.3.0.0/revision/1.cabal. => SHA256 Checksum OK for cabal/hashtables-1.2.3.4/hashtables-1.2.3.4.tar.gz. => SHA256 Checksum OK for cabal/ieee754-0.8.0/ieee754-0.8.0.tar.gz. => SHA256 Checksum OK for cabal/integer-logarithms-1.0.3/integer-logarithms-1.0.3.tar.gz. => SHA256 Checksum OK for cabal/integer-logarithms-1.0.3/revision/2.cabal. => SHA256 Checksum OK for cabal/murmur-hash-0.1.0.9/murmur-hash-0.1.0.9.tar.gz. => SHA256 Checksum OK for cabal/network-uri-2.6.3.0/network-uri-2.6.3.0.tar.gz. => SHA256 Checksum OK for cabal/primitive-0.7.0.1/primitive-0.7.0.1.tar.gz. => SHA256 Checksum OK for cabal/random-1.1/random-1.1.tar.gz. => SHA256 Checksum OK for cabal/random-1.1/revision/1.cabal. => SHA256 Checksum OK for cabal/regex-base-0.94.0.0/regex-base-0.94.0.0.tar.gz. => SHA256 Checksum OK for cabal/regex-base-0.94.0.0/revision/1.cabal. => SHA256 Checksum OK for cabal/regex-tdfa-1.3.1.0/regex-tdfa-1.3.1.0.tar.gz. <snip> [ 5 of 21] Compiling Text.Blaze.Html.Renderer.Utf8 ( src/Text/Blaze/Html/Renderer/Utf8.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/x86_64-freebsd/ghc-8.10.2/blaze-html-0.9.1.2/build/Text/Blaze/Html/Renderer/Utf8.o, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/x86_64-freebsd/ghc-8.10.2/blaze-html-0.9.1.2/build/Text/Blaze/Html/Renderer/Utf8.dyn_o ) [ 6 of 21] Compiling Text.Blaze.Html4.FrameSet ( src/Text/Blaze/Html4/FrameSet.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/x86_64-freebsd/ghc-8.10.2/blaze-html-0.9.1.2/build/Text/Blaze/Html4/FrameSet.o, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/x86_64-freebsd/ghc-8.10.2/blaze-html-0.9.1.2/build/Text/Blaze/Html4/FrameSet.dyn_o ) [ 7 of 21] Compiling Text.Blaze.Html4.FrameSet.Attributes ( src/Text/Blaze/Html4/FrameSet/Attributes.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/x86_64-freebsd/ghc-8.10.2/blaze-html-0.9.1.2/build/Text/Blaze/Html4/FrameSet/Attributes.o, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/x86_64-freebsd/ghc-8.10.2/blaze-html-0.9.1.2/build/Text/Blaze/Html4/FrameSet/Attributes.dyn_o ) [ 8 of 21] Compiling Text.Blaze.Html4.Strict ( src/Text/Blaze/Html4/Strict.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/x86_64-freebsd/ghc-8.10.2/blaze-html-0.9.1.2/build/Text/Blaze/Html4/Strict.o, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/x86_64-freebsd/ghc-8.10.2/blaze-html-0.9.1.2/build/Text/Blaze/Html4/Strict.dyn_o ) [ 9 of 21] Compiling Text.Blaze.Html4.Strict.Attributes ( src/Text/Blaze/Html4/Strict/Attributes.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/x86_64-freebsd/ghc-8.10.2/blaze-html-0.9.1.2/build/Text/Blaze/Html4/Strict/Attributes.o, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/x86_64-freebsd/ghc-8.10.2/blaze-html-0.9.1.2/build/Text/Blaze/Html4/Strict/Attributes.dyn_o ) [10 of 21] Compiling Text.Blaze.Html4.Transitional ( src/Text/Blaze/Html4/Transitional.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/x86_64-freebsd/ghc-8.10.2/blaze-html-0.9.1.2/build/Text/Blaze/Html4/Transitional.o, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/x86_64-freebsd/ghc-8.10.2/blaze-html-0.9.1.2/build/Text/Blaze/Html4/Transitional.dyn_o ) [11 of 21] Compiling Text.Blaze.Html4.Transitional.Attributes ( src/Text/Blaze/Html4/Transitional/Attributes.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/x86_64-freebsd/ghc-8.10.2/blaze-html-0.9.1.2/build/Text/Blaze/Html4/Transitional/Attributes.o, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/x86_64-freebsd/ghc-8.10.2/blaze-html-0.9.1.2/build/Text/Blaze/Html4/Transitional/Attributes.dyn_o ) [12 of 21] Compiling Text.Blaze.Html5 ( src/Text/Blaze/Html5.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/x86_64-freebsd/ghc-8.10.2/blaze-html-0.9.1.2/build/Text/Blaze/Html5.o, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/x86_64-freebsd/ghc-8.10.2/blaze-html-0.9.1.2/build/Text/Blaze/Html5.dyn_o ) [13 of 21] Compiling Text.Blaze.Html5.Attributes ( src/Text/Blaze/Html5/Attributes.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/x86_64-freebsd/ghc-8.10.2/blaze-html-0.9.1.2/build/Text/Blaze/Html5/Attributes.o, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/x86_64-freebsd/ghc-8.10.2/blaze-html-0.9.1.2/build/Text/Blaze/Html5/Attributes.dyn_o ) [14 of 21] Compiling Text.Blaze.XHtml1.FrameSet ( src/Text/Blaze/XHtml1/FrameSet.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/x86_64-freebsd/ghc-8.10.2/blaze-html-0.9.1.2/build/Text/Blaze/XHtml1/FrameSet.o, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/x86_64-freebsd/ghc-8.10.2/blaze-html-0.9.1.2/build/Text/Blaze/XHtml1/FrameSet.dyn_o ) [15 of 21] Compiling Text.Blaze.XHtml1.FrameSet.Attributes ( src/Text/Blaze/XHtml1/FrameSet/Attributes.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/x86_64-freebsd/ghc-8.10.2/blaze-html-0.9.1.2/build/Text/Blaze/XHtml1/FrameSet/Attributes.o, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/x86_64-freebsd/ghc-8.10.2/blaze-html-0.9.1.2/build/Text/Blaze/XHtml1/FrameSet/Attributes.dyn_o ) [16 of 21] Compiling Text.Blaze.XHtml1.Strict ( src/Text/Blaze/XHtml1/Strict.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/x86_64-freebsd/ghc-8.10.2/blaze-html-0.9.1.2/build/Text/Blaze/XHtml1/Strict.o, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/x86_64-freebsd/ghc-8.10.2/blaze-html-0.9.1.2/build/Text/Blaze/XHtml1/Strict.dyn_o ) [17 of 21] Compiling Text.Blaze.XHtml1.Strict.Attributes ( src/Text/Blaze/XHtml1/Strict/Attributes.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/x86_64-freebsd/ghc-8.10.2/blaze-html-0.9.1.2/build/Text/Blaze/XHtml1/Strict/Attributes.o, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/x86_64-freebsd/ghc-8.10.2/blaze-html-0.9.1.2/build/Text/Blaze/XHtml1/Strict/Attributes.dyn_o ) [18 of 21] Compiling Text.Blaze.XHtml1.Transitional ( src/Text/Blaze/XHtml1/Transitional.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/x86_64-freebsd/ghc-8.10.2/blaze-html-0.9.1.2/build/Text/Blaze/XHtml1/Transitional.o, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/x86_64-freebsd/ghc-8.10.2/blaze-html-0.9.1.2/build/Text/Blaze/XHtml1/Transitional.dyn_o ) [19 of 21] Compiling Text.Blaze.XHtml1.Transitional.Attributes ( src/Text/Blaze/XHtml1/Transitional/Attributes.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/x86_64-freebsd/ghc-8.10.2/blaze-html-0.9.1.2/build/Text/Blaze/XHtml1/Transitional/Attributes.o, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/x86_64-freebsd/ghc-8.10.2/blaze-html-0.9.1.2/build/Text/Blaze/XHtml1/Transitional/Attributes.dyn_o ) [20 of 21] Compiling Text.Blaze.XHtml5 ( src/Text/Blaze/XHtml5.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/x86_64-freebsd/ghc-8.10.2/blaze-html-0.9.1.2/build/Text/Blaze/XHtml5.o, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/x86_64-freebsd/ghc-8.10.2/blaze-html-0.9.1.2/build/Text/Blaze/XHtml5.dyn_o ) [21 of 21] Compiling Text.Blaze.XHtml5.Attributes ( src/Text/Blaze/XHtml5/Attributes.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/x86_64-freebsd/ghc-8.10.2/blaze-html-0.9.1.2/build/Text/Blaze/XHtml5/Attributes.o, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/x86_64-freebsd/ghc-8.10.2/blaze-html-0.9.1.2/build/Text/Blaze/XHtml5/Attributes.dyn_o ) Configuring library for hashtables-1.2.3.4.. Preprocessing library for hashtables-1.2.3.4.. Building library for hashtables-1.2.3.4.. [ 1 of 12] Compiling Data.HashTable.Class ( src/Data/HashTable/Class.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/x86_64-freebsd/ghc-8.10.2/hashtables-1.2.3.4/build/Data/HashTable/Class.o, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/x86_64-freebsd/ghc-8.10.2/hashtables-1.2.3.4/build/Data/HashTable/Class.dyn_o ) src/Data/HashTable/Class.hs:54:1: warning: [-Wunused-imports] The import of ‘Data.Word’ is redundant except perhaps to import instances from ‘Data.Word’ To import instances alone, use: import Data.Word() | 54 | import Data.Word (Word) | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [ 2 of 12] Compiling Data.HashTable.Internal.Array ( src/Data/HashTable/Internal/Array.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/x86_64-freebsd/ghc-8.10.2/hashtables-1.2.3.4/build/Data/HashTable/Internal/Array.o, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/x86_64-freebsd/ghc-8.10.2/hashtables-1.2.3.4/build/Data/HashTable/Internal/Array.dyn_o ) [ 3 of 12] Compiling Data.HashTable.Internal.IntArray ( src/Data/HashTable/Internal/IntArray.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/x86_64-freebsd/ghc-8.10.2/hashtables-1.2.3.4/build/Data/HashTable/Internal/IntArray.o, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/x86_64-freebsd/ghc-8.10.2/hashtables-1.2.3.4/build/Data/HashTable/Internal/IntArray.dyn_o ) [ 4 of 12] Compiling Data.HashTable.Internal.UnsafeTricks ( src/Data/HashTable/Internal/UnsafeTricks.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/x86_64-freebsd/ghc-8.10.2/hashtables-1.2.3.4/build/Data/HashTable/Internal/UnsafeTricks.o, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/x86_64-freebsd/ghc-8.10.2/hashtables-1.2.3.4/build/Data/HashTable/Internal/UnsafeTricks.dyn_o ) [ 5 of 12] Compiling Data.HashTable.Internal.Linear.Bucket ( src/Data/HashTable/Internal/Linear/Bucket.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/x86_64-freebsd/ghc-8.10.2/hashtables-1.2.3.4/build/Data/HashTable/Internal/Linear/Bucket.o, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/x86_64-freebsd/ghc-8.10.2/hashtables-1.2.3.4/build/Data/HashTable/Internal/Linear/Bucket.dyn_o ) [ 6 of 12] Compiling Data.HashTable.Internal.Utils ( src/Data/HashTable/Internal/Utils.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/x86_64-freebsd/ghc-8.10.2/hashtables-1.2.3.4/build/Data/HashTable/Internal/Utils.o, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/x86_64-freebsd/ghc-8.10.2/hashtables-1.2.3.4/build/Data/HashTable/Internal/Utils.dyn_o ) [ 7 of 12] Compiling Data.HashTable.Internal.CheapPseudoRandomBitStream ( src/Data/HashTable/Internal/CheapPseudoRandomBitStream.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/x86_64-freebsd/ghc-8.10.2/hashtables-1.2.3.4/build/Data/HashTable/Internal/CheapPseudoRandomBitStream.o, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/x86_64-freebsd/ghc-8.10.2/hashtables-1.2.3.4/build/Data/HashTable/Internal/CheapPseudoRandomBitStream.dyn_o ) [ 8 of 12] Compiling Data.HashTable.Internal.CacheLine ( src/Data/HashTable/Internal/CacheLine.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/x86_64-freebsd/ghc-8.10.2/hashtables-1.2.3.4/build/Data/HashTable/Internal/CacheLine.o, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/x86_64-freebsd/ghc-8.10.2/hashtables-1.2.3.4/build/Data/HashTable/Internal/CacheLine.dyn_o ) [ 9 of 12] Compiling Data.HashTable.ST.Basic ( src/Data/HashTable/ST/Basic.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/x86_64-freebsd/ghc-8.10.2/hashtables-1.2.3.4/build/Data/HashTable/ST/Basic.o, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/x86_64-freebsd/ghc-8.10.2/hashtables-1.2.3.4/build/Data/HashTable/ST/Basic.dyn_o ) [10 of 12] Compiling Data.HashTable.ST.Cuckoo ( src/Data/HashTable/ST/Cuckoo.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/x86_64-freebsd/ghc-8.10.2/hashtables-1.2.3.4/build/Data/HashTable/ST/Cuckoo.o, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/x86_64-freebsd/ghc-8.10.2/hashtables-1.2.3.4/build/Data/HashTable/ST/Cuckoo.dyn_o ) [11 of 12] Compiling Data.HashTable.ST.Linear ( src/Data/HashTable/ST/Linear.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/x86_64-freebsd/ghc-8.10.2/hashtables-1.2.3.4/build/Data/HashTable/ST/Linear.o, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/x86_64-freebsd/ghc-8.10.2/hashtables-1.2.3.4/build/Data/HashTable/ST/Linear.dyn_o ) [12 of 12] Compiling Data.HashTable.IO ( src/Data/HashTable/IO.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/x86_64-freebsd/ghc-8.10.2/hashtables-1.2.3.4/build/Data/HashTable/IO.o, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/x86_64-freebsd/ghc-8.10.2/hashtables-1.2.3.4/build/Data/HashTable/IO.dyn_o ) Configuring library for attoparsec-0.13.2.4.. Preprocessing library for attoparsec-0.13.2.4.. Building library for attoparsec-0.13.2.4.. [ 1 of 21] Compiling Data.Attoparsec.ByteString.FastSet ( Data/Attoparsec/ByteString/FastSet.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/x86_64-freebsd/ghc-8.10.2/attoparsec-0.13.2.4/build/Data/Attoparsec/ByteString/FastSet.o, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/x86_64-freebsd/ghc-8.10.2/attoparsec-0.13.2.4/build/Data/Attoparsec/ByteString/FastSet.dyn_o ) [ 2 of 21] Compiling Data.Attoparsec.Internal.Fhthagn ( Data/Attoparsec/Internal/Fhthagn.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/x86_64-freebsd/ghc-8.10.2/attoparsec-0.13.2.4/build/Data/Attoparsec/Internal/Fhthagn.o, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/x86_64-freebsd/ghc-8.10.2/attoparsec-0.13.2.4/build/Data/Attoparsec/Internal/Fhthagn.dyn_o ) [ 3 of 21] Compiling Data.Attoparsec.ByteString.Buffer ( Data/Attoparsec/ByteString/Buffer.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/x86_64-freebsd/ghc-8.10.2/attoparsec-0.13.2.4/build/Data/Attoparsec/ByteString/Buffer.o, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/x86_64-freebsd/ghc-8.10.2/attoparsec-0.13.2.4/build/Data/Attoparsec/ByteString/Buffer.dyn_o ) Data/Attoparsec/ByteString/Buffer.hs:61:1: warning: [-Wunused-imports] The import of ‘Data.Semigroup’ is redundant except perhaps to import instances from ‘Data.Semigroup’ To import instances alone, use: import Data.Semigroup() | 61 | import Data.Semigroup (Semigroup(..)) | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [ 4 of 21] Compiling Data.Attoparsec.Number ( Data/Attoparsec/Number.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/x86_64-freebsd/ghc-8.10.2/attoparsec-0.13.2.4/build/Data/Attoparsec/Number.o, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/x86_64-freebsd/ghc-8.10.2/attoparsec-0.13.2.4/build/Data/Attoparsec/Number.dyn_o ) [ 5 of 21] Compiling Data.Attoparsec.Text.Buffer ( Data/Attoparsec/Text/Buffer.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/x86_64-freebsd/ghc-8.10.2/attoparsec-0.13.2.4/build/Data/Attoparsec/Text/Buffer.o, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/x86_64-freebsd/ghc-8.10.2/attoparsec-0.13.2.4/build/Data/Attoparsec/Text/Buffer.dyn_o ) Data/Attoparsec/Text/Buffer.hs:44:1: warning: [-Wunused-imports] The import of ‘Data.Semigroup’ is redundant except perhaps to import instances from ‘Data.Semigroup’ To import instances alone, use: import Data.Semigroup() | 44 | import Data.Semigroup (Semigroup(..)) | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [ 6 of 21] Compiling Data.Attoparsec.Internal.Types ( Data/Attoparsec/Internal/Types.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/x86_64-freebsd/ghc-8.10.2/attoparsec-0.13.2.4/build/Data/Attoparsec/Internal/Types.o, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/x86_64-freebsd/ghc-8.10.2/attoparsec-0.13.2.4/build/Data/Attoparsec/Internal/Types.dyn_o ) Data/Attoparsec/Internal/Types.hs:28:1: warning: [-Wunused-imports] The import of ‘<$>’ from module ‘Control.Applicative’ is redundant | 28 | import Control.Applicative as App (Applicative(..), (<$>)) | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Data/Attoparsec/Internal/Types.hs:34:1: warning: [-Wunused-imports] The import of ‘Data.Semigroup’ is redundant except perhaps to import instances from ‘Data.Semigroup’ To import instances alone, use: import Data.Semigroup() | 34 | import Data.Semigroup (Semigroup(..)) | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [ 7 of 21] Compiling Data.Attoparsec.Internal ( Data/Attoparsec/Internal.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/x86_64-freebsd/ghc-8.10.2/attoparsec-0.13.2.4/build/Data/Attoparsec/Internal.o, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/x86_64-freebsd/ghc-8.10.2/attoparsec-0.13.2.4/build/Data/Attoparsec/Internal.dyn_o ) [ 8 of 21] Compiling Data.Attoparsec.Text.FastSet ( Data/Attoparsec/Text/FastSet.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/x86_64-freebsd/ghc-8.10.2/attoparsec-0.13.2.4/build/Data/Attoparsec/Text/FastSet.o, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/x86_64-freebsd/ghc-8.10.2/attoparsec-0.13.2.4/build/Data/Attoparsec/Text/FastSet.dyn_o ) [ 9 of 21] Compiling Data.Attoparsec.Types ( Data/Attoparsec/Types.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/x86_64-freebsd/ghc-8.10.2/attoparsec-0.13.2.4/build/Data/Attoparsec/Types.o, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/x86_64-freebsd/ghc-8.10.2/attoparsec-0.13.2.4/build/Data/Attoparsec/Types.dyn_o ) [10 of 21] Compiling Data.Attoparsec.Zepto ( Data/Attoparsec/Zepto.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/x86_64-freebsd/ghc-8.10.2/attoparsec-0.13.2.4/build/Data/Attoparsec/Zepto.o, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/x86_64-freebsd/ghc-8.10.2/attoparsec-0.13.2.4/build/Data/Attoparsec/Zepto.dyn_o ) Data/Attoparsec/Zepto.hs:46:1: warning: [-Wunused-imports] The import of ‘Data.Semigroup’ is redundant except perhaps to import instances from ‘Data.Semigroup’ To import instances alone, use: import Data.Semigroup() | 46 | import Data.Semigroup (Semigroup(..)) | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [11 of 21] Compiling Data.Attoparsec.Combinator ( Data/Attoparsec/Combinator.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/x86_64-freebsd/ghc-8.10.2/attoparsec-0.13.2.4/build/Data/Attoparsec/Combinator.o, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/x86_64-freebsd/ghc-8.10.2/attoparsec-0.13.2.4/build/Data/Attoparsec/Combinator.dyn_o ) [12 of 21] Compiling Data.Attoparsec.Text.Internal ( Data/Attoparsec/Text/Internal.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/x86_64-freebsd/ghc-8.10.2/attoparsec-0.13.2.4/build/Data/Attoparsec/Text/Internal.o, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/x86_64-freebsd/ghc-8.10.2/attoparsec-0.13.2.4/build/Data/Attoparsec/Text/Internal.dyn_o ) Data/Attoparsec/Text/Internal.hs:68:1: warning: [-Wunused-imports] The import of ‘*>, <$>, pure’ from module ‘Control.Applicative’ is redundant | 68 | import Control.Applicative ((<|>), (<$>), pure, (*>)) | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [13 of 21] Compiling Data.Attoparsec.Text ( Data/Attoparsec/Text.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/x86_64-freebsd/ghc-8.10.2/attoparsec-0.13.2.4/build/Data/Attoparsec/Text.o, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/x86_64-freebsd/ghc-8.10.2/attoparsec-0.13.2.4/build/Data/Attoparsec/Text.dyn_o ) [14 of 21] Compiling Data.Attoparsec.Text.Lazy ( Data/Attoparsec/Text/Lazy.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/x86_64-freebsd/ghc-8.10.2/attoparsec-0.13.2.4/build/Data/Attoparsec/Text/Lazy.o, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/x86_64-freebsd/ghc-8.10.2/attoparsec-0.13.2.4/build/Data/Attoparsec/Text/Lazy.dyn_o ) [15 of 21] Compiling Data.Attoparsec.ByteString.Internal ( Data/Attoparsec/ByteString/Internal.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/x86_64-freebsd/ghc-8.10.2/attoparsec-0.13.2.4/build/Data/Attoparsec/ByteString/Internal.o, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/x86_64-freebsd/ghc-8.10.2/attoparsec-0.13.2.4/build/Data/Attoparsec/ByteString/Internal.dyn_o ) [16 of 21] Compiling Data.Attoparsec.ByteString ( Data/Attoparsec/ByteString.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/x86_64-freebsd/ghc-8.10.2/attoparsec-0.13.2.4/build/Data/Attoparsec/ByteString.o, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/x86_64-freebsd/ghc-8.10.2/attoparsec-0.13.2.4/build/Data/Attoparsec/ByteString.dyn_o ) [17 of 21] Compiling Data.Attoparsec.ByteString.Lazy ( Data/Attoparsec/ByteString/Lazy.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/x86_64-freebsd/ghc-8.10.2/attoparsec-0.13.2.4/build/Data/Attoparsec/ByteString/Lazy.o, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/x86_64-freebsd/ghc-8.10.2/attoparsec-0.13.2.4/build/Data/Attoparsec/ByteString/Lazy.dyn_o ) [18 of 21] Compiling Data.Attoparsec.Lazy ( Data/Attoparsec/Lazy.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/x86_64-freebsd/ghc-8.10.2/attoparsec-0.13.2.4/build/Data/Attoparsec/Lazy.o, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/x86_64-freebsd/ghc-8.10.2/attoparsec-0.13.2.4/build/Data/Attoparsec/Lazy.dyn_o ) [19 of 21] Compiling Data.Attoparsec.ByteString.Char8 ( Data/Attoparsec/ByteString/Char8.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/x86_64-freebsd/ghc-8.10.2/attoparsec-0.13.2.4/build/Data/Attoparsec/ByteString/Char8.o, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/x86_64-freebsd/ghc-8.10.2/attoparsec-0.13.2.4/build/Data/Attoparsec/ByteString/Char8.dyn_o ) [20 of 21] Compiling Data.Attoparsec.Char8 ( Data/Attoparsec/Char8.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/x86_64-freebsd/ghc-8.10.2/attoparsec-0.13.2.4/build/Data/Attoparsec/Char8.o, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/x86_64-freebsd/ghc-8.10.2/attoparsec-0.13.2.4/build/Data/Attoparsec/Char8.dyn_o ) [21 of 21] Compiling Data.Attoparsec ( Data/Attoparsec.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/x86_64-freebsd/ghc-8.10.2/attoparsec-0.13.2.4/build/Data/Attoparsec.o, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/x86_64-freebsd/ghc-8.10.2/attoparsec-0.13.2.4/build/Data/Attoparsec.dyn_o ) Configuring library for aeson-1.4.7.1.. Preprocessing library for aeson-1.4.7.1.. Building library for aeson-1.4.7.1.. [ 1 of 24] Compiling Data.Aeson.Internal.Functions ( Data/Aeson/Internal/Functions.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/x86_64-freebsd/ghc-8.10.2/aeson-1.4.7.1/build/Data/Aeson/Internal/Functions.o, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/x86_64-freebsd/ghc-8.10.2/aeson-1.4.7.1/build/Data/Aeson/Internal/Functions.dyn_o ) [ 2 of 24] Compiling Data.Aeson.Parser.UnescapePure ( pure/Data/Aeson/Parser/UnescapePure.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/x86_64-freebsd/ghc-8.10.2/aeson-1.4.7.1/build/Data/Aeson/Parser/UnescapePure.o, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/x86_64-freebsd/ghc-8.10.2/aeson-1.4.7.1/build/Data/Aeson/Parser/UnescapePure.dyn_o ) [ 3 of 24] Compiling Data.Aeson.Parser.Unescape ( Data/Aeson/Parser/Unescape.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/x86_64-freebsd/ghc-8.10.2/aeson-1.4.7.1/build/Data/Aeson/Parser/Unescape.o, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/x86_64-freebsd/ghc-8.10.2/aeson-1.4.7.1/build/Data/Aeson/Parser/Unescape.dyn_o ) [ 4 of 24] Compiling Data.Aeson.Types.Generic ( Data/Aeson/Types/Generic.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/x86_64-freebsd/ghc-8.10.2/aeson-1.4.7.1/build/Data/Aeson/Types/Generic.o, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/x86_64-freebsd/ghc-8.10.2/aeson-1.4.7.1/build/Data/Aeson/Types/Generic.dyn_o ) [ 5 of 24] Compiling Data.Aeson.Types.Internal ( Data/Aeson/Types/Internal.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/x86_64-freebsd/ghc-8.10.2/aeson-1.4.7.1/build/Data/Aeson/Types/Internal.o, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/x86_64-freebsd/ghc-8.10.2/aeson-1.4.7.1/build/Data/Aeson/Types/Internal.dyn_o ) [ 6 of 24] Compiling Data.Aeson.Parser.Internal ( Data/Aeson/Parser/Internal.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/x86_64-freebsd/ghc-8.10.2/aeson-1.4.7.1/build/Data/Aeson/Parser/Internal.o, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/x86_64-freebsd/ghc-8.10.2/aeson-1.4.7.1/build/Data/Aeson/Parser/Internal.dyn_o ) [ 7 of 24] Compiling Data.Aeson.Parser ( Data/Aeson/Parser.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/x86_64-freebsd/ghc-8.10.2/aeson-1.4.7.1/build/Data/Aeson/Parser.o, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/x86_64-freebsd/ghc-8.10.2/aeson-1.4.7.1/build/Data/Aeson/Parser.dyn_o ) [ 8 of 24] Compiling Data.Attoparsec.Time.Internal ( attoparsec-iso8601/Data/Attoparsec/Time/Internal.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/x86_64-freebsd/ghc-8.10.2/aeson-1.4.7.1/build/Data/Attoparsec/Time/Internal.o, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/x86_64-freebsd/ghc-8.10.2/aeson-1.4.7.1/build/Data/Attoparsec/Time/Internal.dyn_o ) [ 9 of 24] Compiling Data.Attoparsec.Time ( attoparsec-iso8601/Data/Attoparsec/Time.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/x86_64-freebsd/ghc-8.10.2/aeson-1.4.7.1/build/Data/Attoparsec/Time.o, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/x86_64-freebsd/ghc-8.10.2/aeson-1.4.7.1/build/Data/Attoparsec/Time.dyn_o ) [10 of 24] Compiling Data.Aeson.Parser.Time ( Data/Aeson/Parser/Time.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/x86_64-freebsd/ghc-8.10.2/aeson-1.4.7.1/build/Data/Aeson/Parser/Time.o, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/x86_64-freebsd/ghc-8.10.2/aeson-1.4.7.1/build/Data/Aeson/Parser/Time.dyn_o ) [11 of 24] Compiling Data.Aeson.Types.FromJSON ( Data/Aeson/Types/FromJSON.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/x86_64-freebsd/ghc-8.10.2/aeson-1.4.7.1/build/Data/Aeson/Types/FromJSON.o, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/x86_64-freebsd/ghc-8.10.2/aeson-1.4.7.1/build/Data/Aeson/Types/FromJSON.dyn_o ) Data/Aeson/Types/FromJSON.hs:477:3: warning: [-Winline-rule-shadowing] Rule "FromJSONKeyCoerce: fmap id" may never fire because ‘id’ might inline first Probable fix: add an INLINE[n] or NOINLINE[n] pragma for ‘id’ | 477 | "FromJSONKeyCoerce: fmap id" forall (x :: FromJSONKeyFunction a). | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^... [12 of 24] Compiling Data.Aeson.Internal ( Data/Aeson/Internal.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/x86_64-freebsd/ghc-8.10.2/aeson-1.4.7.1/build/Data/Aeson/Internal.o, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/x86_64-freebsd/ghc-8.10.2/aeson-1.4.7.1/build/Data/Aeson/Internal.dyn_o ) [13 of 24] Compiling Data.Aeson.Internal.Time ( Data/Aeson/Internal/Time.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/x86_64-freebsd/ghc-8.10.2/aeson-1.4.7.1/build/Data/Aeson/Internal/Time.o, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/x86_64-freebsd/ghc-8.10.2/aeson-1.4.7.1/build/Data/Aeson/Internal/Time.dyn_o ) [14 of 24] Compiling Data.Aeson.Encoding.Builder ( Data/Aeson/Encoding/Builder.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/x86_64-freebsd/ghc-8.10.2/aeson-1.4.7.1/build/Data/Aeson/Encoding/Builder.o, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/x86_64-freebsd/ghc-8.10.2/aeson-1.4.7.1/build/Data/Aeson/Encoding/Builder.dyn_o ) [15 of 24] Compiling Data.Aeson.Encoding.Internal ( Data/Aeson/Encoding/Internal.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/x86_64-freebsd/ghc-8.10.2/aeson-1.4.7.1/build/Data/Aeson/Encoding/Internal.o, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/x86_64-freebsd/ghc-8.10.2/aeson-1.4.7.1/build/Data/Aeson/Encoding/Internal.dyn_o ) [16 of 24] Compiling Data.Aeson.Encoding ( Data/Aeson/Encoding.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/x86_64-freebsd/ghc-8.10.2/aeson-1.4.7.1/build/Data/Aeson/Encoding.o, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/x86_64-freebsd/ghc-8.10.2/aeson-1.4.7.1/build/Data/Aeson/Encoding.dyn_o ) [17 of 24] Compiling Data.Aeson.Types.ToJSON ( Data/Aeson/Types/ToJSON.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/x86_64-freebsd/ghc-8.10.2/aeson-1.4.7.1/build/Data/Aeson/Types/ToJSON.o, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/x86_64-freebsd/ghc-8.10.2/aeson-1.4.7.1/build/Data/Aeson/Types/ToJSON.dyn_o ) [18 of 24] Compiling Data.Aeson.Types.Class ( Data/Aeson/Types/Class.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/x86_64-freebsd/ghc-8.10.2/aeson-1.4.7.1/build/Data/Aeson/Types/Class.o, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/x86_64-freebsd/ghc-8.10.2/aeson-1.4.7.1/build/Data/Aeson/Types/Class.dyn_o ) [19 of 24] Compiling Data.Aeson.Types ( Data/Aeson/Types.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/x86_64-freebsd/ghc-8.10.2/aeson-1.4.7.1/build/Data/Aeson/Types.o, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/x86_64-freebsd/ghc-8.10.2/aeson-1.4.7.1/build/Data/Aeson/Types.dyn_o ) [20 of 24] Compiling Data.Aeson.Text ( Data/Aeson/Text.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/x86_64-freebsd/ghc-8.10.2/aeson-1.4.7.1/build/Data/Aeson/Text.o, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/x86_64-freebsd/ghc-8.10.2/aeson-1.4.7.1/build/Data/Aeson/Text.dyn_o ) [21 of 24] Compiling Data.Aeson ( Data/Aeson.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/x86_64-freebsd/ghc-8.10.2/aeson-1.4.7.1/build/Data/Aeson.o, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/x86_64-freebsd/ghc-8.10.2/aeson-1.4.7.1/build/Data/Aeson.dyn_o ) [22 of 24] Compiling Data.Aeson.TH ( Data/Aeson/TH.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/x86_64-freebsd/ghc-8.10.2/aeson-1.4.7.1/build/Data/Aeson/TH.o, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/x86_64-freebsd/ghc-8.10.2/aeson-1.4.7.1/build/Data/Aeson/TH.dyn_o ) [23 of 24] Compiling Data.Aeson.QQ.Simple ( Data/Aeson/QQ/Simple.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/x86_64-freebsd/ghc-8.10.2/aeson-1.4.7.1/build/Data/Aeson/QQ/Simple.o, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/x86_64-freebsd/ghc-8.10.2/aeson-1.4.7.1/build/Data/Aeson/QQ/Simple.dyn_o ) [24 of 24] Compiling Data.Aeson.Encode ( Data/Aeson/Encode.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/x86_64-freebsd/ghc-8.10.2/aeson-1.4.7.1/build/Data/Aeson/Encode.o, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/x86_64-freebsd/ghc-8.10.2/aeson-1.4.7.1/build/Data/Aeson/Encode.dyn_o ) [1 of 1] Compiling Main ( /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/x86_64-freebsd/ghc-8.10.2/Agda-2.6.1/setup/setup.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/x86_64-freebsd/ghc-8.10.2/Agda-2.6.1/setup/Main.o ) Linking /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/x86_64-freebsd/ghc-8.10.2/Agda-2.6.1/setup/setup ... Configuring Agda-2.6.1... Preprocessing executable 'agda-mode' for Agda-2.6.1.. Building executable 'agda-mode' for Agda-2.6.1.. [1 of 2] Compiling Paths_Agda ( /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/x86_64-freebsd/ghc-8.10.2/Agda-2.6.1/build/agda-mode/autogen/Paths_Agda.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/x86_64-freebsd/ghc-8.10.2/Agda-2.6.1/build/agda-mode/agda-mode-tmp/Paths_Agda.o ) [2 of 2] Compiling Main ( src/agda-mode/Main.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/x86_64-freebsd/ghc-8.10.2/Agda-2.6.1/build/agda-mode/agda-mode-tmp/Main.o ) Linking /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/x86_64-freebsd/ghc-8.10.2/Agda-2.6.1/build/agda-mode/agda-mode ... Preprocessing library for Agda-2.6.1.. Building library for Agda-2.6.1.. [ 1 of 369] Compiling Agda.Interaction.Options.IORefs ( src/full/Agda/Interaction/Options/IORefs.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/x86_64-freebsd/ghc-8.10.2/Agda-2.6.1/build/Agda/Interaction/Options/IORefs.o, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/x86_64-freebsd/ghc-8.10.2/Agda-2.6.1/build/Agda/Interaction/Options/IORefs.dyn_o ) [ 2 of 369] Compiling Agda.Syntax.Builtin ( src/full/Agda/Syntax/Builtin.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/x86_64-freebsd/ghc-8.10.2/Agda-2.6.1/build/Agda/Syntax/Builtin.o, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/x86_64-freebsd/ghc-8.10.2/Agda-2.6.1/build/Agda/Syntax/Builtin.dyn_o ) [ 3 of 369] Compiling Agda.Termination.CutOff ( src/full/Agda/Termination/CutOff.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/x86_64-freebsd/ghc-8.10.2/Agda-2.6.1/build/Agda/Termination/CutOff.o, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/x86_64-freebsd/ghc-8.10.2/Agda-2.6.1/build/Agda/Termination/CutOff.dyn_o ) [ 4 of 369] Compiling Agda.Termination.Semiring ( src/full/Agda/Termination/Semiring.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/x86_64-freebsd/ghc-8.10.2/Agda-2.6.1/build/Agda/Termination/Semiring.o, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/x86_64-freebsd/ghc-8.10.2/Agda-2.6.1/build/Agda/Termination/Semiring.dyn_o ) [ 5 of 369] Compiling Agda.Utils.AffineHole ( src/full/Agda/Utils/AffineHole.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/x86_64-freebsd/ghc-8.10.2/Agda-2.6.1/build/Agda/Utils/AffineHole.o, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/x86_64-freebsd/ghc-8.10.2/Agda-2.6.1/build/Agda/Utils/AffineHole.dyn_o ) [ 6 of 369] Compiling Agda.Utils.Applicative ( src/full/Agda/Utils/Applicative.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/x86_64-freebsd/ghc-8.10.2/Agda-2.6.1/build/Agda/Utils/Applicative.o, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/x86_64-freebsd/ghc-8.10.2/Agda-2.6.1/build/Agda/Utils/Applicative.dyn_o ) [ 7 of 369] Compiling Agda.Utils.BiMap ( src/full/Agda/Utils/BiMap.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/x86_64-freebsd/ghc-8.10.2/Agda-2.6.1/build/Agda/Utils/BiMap.o, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/x86_64-freebsd/ghc-8.10.2/Agda-2.6.1/build/Agda/Utils/BiMap.dyn_o ) [ 8 of 369] Compiling Agda.Utils.Environment ( src/full/Agda/Utils/Environment.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/x86_64-freebsd/ghc-8.10.2/Agda-2.6.1/build/Agda/Utils/Environment.o, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/x86_64-freebsd/ghc-8.10.2/Agda-2.6.1/build/Agda/Utils/Environment.dyn_o ) [ 9 of 369] Compiling Agda.Utils.Except ( src/full/Agda/Utils/Except.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/x86_64-freebsd/ghc-8.10.2/Agda-2.6.1/build/Agda/Utils/Except.o, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/x86_64-freebsd/ghc-8.10.2/Agda-2.6.1/build/Agda/Utils/Except.dyn_o ) [ 10 of 369] Compiling Agda.Utils.Fail ( src/full/Agda/Utils/Fail.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/x86_64-freebsd/ghc-8.10.2/Agda-2.6.1/build/Agda/Utils/Fail.o, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/x86_64-freebsd/ghc-8.10.2/Agda-2.6.1/build/Agda/Utils/Fail.dyn_o ) [ 11 of 369] Compiling Agda.Utils.Function ( src/full/Agda/Utils/Function.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/x86_64-freebsd/ghc-8.10.2/Agda-2.6.1/build/Agda/Utils/Function.o, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/x86_64-freebsd/ghc-8.10.2/Agda-2.6.1/build/Agda/Utils/Function.dyn_o ) [ 12 of 369] Compiling Agda.TypeChecking.SizedTypes.Utils ( src/full/Agda/TypeChecking/SizedTypes/Utils.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/x86_64-freebsd/ghc-8.10.2/Agda-2.6.1/build/Agda/TypeChecking/SizedTypes/Utils.o, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/x86_64-freebsd/ghc-8.10.2/Agda-2.6.1/build/Agda/TypeChecking/SizedTypes/Utils.dyn_o ) [ 13 of 369] Compiling Agda.Utils.Functor ( src/full/Agda/Utils/Functor.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/x86_64-freebsd/ghc-8.10.2/Agda-2.6.1/build/Agda/Utils/Functor.o, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/x86_64-freebsd/ghc-8.10.2/Agda-2.6.1/build/Agda/Utils/Functor.dyn_o ) [ 14 of 369] Compiling Agda.Utils.Haskell.Syntax ( src/full/Agda/Utils/Haskell/Syntax.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/x86_64-freebsd/ghc-8.10.2/Agda-2.6.1/build/Agda/Utils/Haskell/Syntax.o, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/x86_64-freebsd/ghc-8.10.2/Agda-2.6.1/build/Agda/Utils/Haskell/Syntax.dyn_o ) [ 15 of 369] Compiling Agda.Utils.IO ( src/full/Agda/Utils/IO.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/x86_64-freebsd/ghc-8.10.2/Agda-2.6.1/build/Agda/Utils/IO.o, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/x86_64-freebsd/ghc-8.10.2/Agda-2.6.1/build/Agda/Utils/IO.dyn_o ) [ 16 of 369] Compiling Agda.Utils.IO.Binary ( src/full/Agda/Utils/IO/Binary.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/x86_64-freebsd/ghc-8.10.2/Agda-2.6.1/build/Agda/Utils/IO/Binary.o, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/x86_64-freebsd/ghc-8.10.2/Agda-2.6.1/build/Agda/Utils/IO/Binary.dyn_o ) [ 17 of 369] Compiling Agda.Utils.IO.Directory ( src/full/Agda/Utils/IO/Directory.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/x86_64-freebsd/ghc-8.10.2/Agda-2.6.1/build/Agda/Utils/IO/Directory.o, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/x86_64-freebsd/ghc-8.10.2/Agda-2.6.1/build/Agda/Utils/IO/Directory.dyn_o ) [ 18 of 369] Compiling Agda.Utils.IO.UTF8 ( src/full/Agda/Utils/IO/UTF8.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/x86_64-freebsd/ghc-8.10.2/Agda-2.6.1/build/Agda/Utils/IO/UTF8.o, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/x86_64-freebsd/ghc-8.10.2/Agda-2.6.1/build/Agda/Utils/IO/UTF8.dyn_o ) [ 19 of 369] Compiling Agda.Utils.IO.TempFile ( src/full/Agda/Utils/IO/TempFile.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/x86_64-freebsd/ghc-8.10.2/Agda-2.6.1/build/Agda/Utils/IO/TempFile.o, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/x86_64-freebsd/ghc-8.10.2/Agda-2.6.1/build/Agda/Utils/IO/TempFile.dyn_o ) [ 20 of 369] Compiling Agda.Utils.IORef ( src/full/Agda/Utils/IORef.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/x86_64-freebsd/ghc-8.10.2/Agda-2.6.1/build/Agda/Utils/IORef.o, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/x86_64-freebsd/ghc-8.10.2/Agda-2.6.1/build/Agda/Utils/IORef.dyn_o ) [ 21 of 369] Compiling Agda.Utils.Impossible ( src/full/Agda/Utils/Impossible.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/x86_64-freebsd/ghc-8.10.2/Agda-2.6.1/build/Agda/Utils/Impossible.o, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/x86_64-freebsd/ghc-8.10.2/Agda-2.6.1/build/Agda/Utils/Impossible.dyn_o ) [ 22 of 369] Compiling Agda.Utils.Empty ( src/full/Agda/Utils/Empty.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/x86_64-freebsd/ghc-8.10.2/Agda-2.6.1/build/Agda/Utils/Empty.o, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/x86_64-freebsd/ghc-8.10.2/Agda-2.6.1/build/Agda/Utils/Empty.dyn_o ) [ 23 of 369] Compiling Agda.Utils.Bag ( src/full/Agda/Utils/Bag.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/x86_64-freebsd/ghc-8.10.2/Agda-2.6.1/build/Agda/Utils/Bag.o, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/x86_64-freebsd/ghc-8.10.2/Agda-2.6.1/build/Agda/Utils/Bag.dyn_o ) [ 24 of 369] Compiling Agda.ImpossibleTest ( src/full/Agda/ImpossibleTest.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/x86_64-freebsd/ghc-8.10.2/Agda-2.6.1/build/Agda/ImpossibleTest.o, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/x86_64-freebsd/ghc-8.10.2/Agda-2.6.1/build/Agda/ImpossibleTest.dyn_o ) [ 25 of 369] Compiling Agda.Auto.NarrowingSearch ( src/full/Agda/Auto/NarrowingSearch.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/x86_64-freebsd/ghc-8.10.2/Agda-2.6.1/build/Agda/Auto/NarrowingSearch.o, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/x86_64-freebsd/ghc-8.10.2/Agda-2.6.1/build/Agda/Auto/NarrowingSearch.dyn_o ) [ 26 of 369] Compiling Agda.Utils.IntSet.Infinite ( src/full/Agda/Utils/IntSet/Infinite.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/x86_64-freebsd/ghc-8.10.2/Agda-2.6.1/build/Agda/Utils/IntSet/Infinite.o, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/x86_64-freebsd/ghc-8.10.2/Agda-2.6.1/build/Agda/Utils/IntSet/Infinite.dyn_o ) [ 27 of 369] Compiling Agda.Utils.Lens ( src/full/Agda/Utils/Lens.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/x86_64-freebsd/ghc-8.10.2/Agda-2.6.1/build/Agda/Utils/Lens.o, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/x86_64-freebsd/ghc-8.10.2/Agda-2.6.1/build/Agda/Utils/Lens.dyn_o ) [ 28 of 369] Compiling Agda.Utils.IndexedList ( src/full/Agda/Utils/IndexedList.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/x86_64-freebsd/ghc-8.10.2/Agda-2.6.1/build/Agda/Utils/IndexedList.o, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/x86_64-freebsd/ghc-8.10.2/Agda-2.6.1/build/Agda/Utils/IndexedList.dyn_o ) [ 29 of 369] Compiling Agda.Interaction.Library.Base ( src/full/Agda/Interaction/Library/Base.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/x86_64-freebsd/ghc-8.10.2/Agda-2.6.1/build/Agda/Interaction/Library/Base.o, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/x86_64-freebsd/ghc-8.10.2/Agda-2.6.1/build/Agda/Interaction/Library/Base.dyn_o ) [ 30 of 369] Compiling Agda.Auto.Options ( src/full/Agda/Auto/Options.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/x86_64-freebsd/ghc-8.10.2/Agda-2.6.1/build/Agda/Auto/Options.o, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/x86_64-freebsd/ghc-8.10.2/Agda-2.6.1/build/Agda/Auto/Options.dyn_o ) [ 31 of 369] Compiling Agda.Utils.Lens.Examples ( src/full/Agda/Utils/Lens/Examples.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/x86_64-freebsd/ghc-8.10.2/Agda-2.6.1/build/Agda/Utils/Lens/Examples.o, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/x86_64-freebsd/ghc-8.10.2/Agda-2.6.1/build/Agda/Utils/Lens/Examples.dyn_o ) [ 32 of 369] Compiling Agda.Utils.Map ( src/full/Agda/Utils/Map.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/x86_64-freebsd/ghc-8.10.2/Agda-2.6.1/build/Agda/Utils/Map.o, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/x86_64-freebsd/ghc-8.10.2/Agda-2.6.1/build/Agda/Utils/Map.dyn_o ) [ 33 of 369] Compiling Agda.Utils.Maybe ( src/full/Agda/Utils/Maybe.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/x86_64-freebsd/ghc-8.10.2/Agda-2.6.1/build/Agda/Utils/Maybe.o, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/x86_64-freebsd/ghc-8.10.2/Agda-2.6.1/build/Agda/Utils/Maybe.dyn_o ) src/full/Agda/Utils/Maybe.hs:13:1: error: Could not load module ‘Control.Monad.Trans.Maybe’ It is a member of the hidden package ‘transformers-0.5.6.2’. Perhaps you need to add ‘transformers’ to the build-depends in your .cabal file. Use -v (or `:set -v` in ghci) to see a list of the files searched for. | 13 | import Control.Monad.Trans.Maybe | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ *** 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?202008231927.07NJRuAv097885>