Date: 18 Aug 2020 15:00:18 +0800 From: "Lucia Deng" <lucia@kaliselectronics.com> To: "Haskell" <haskell@freebsd.org> Subject: Free Samples: MLCC & IC from China | KALIS Message-ID: <20200818150017460.lucia@kaliselectronics.com>%2B97167E710FFCCD93
index | next in thread | raw e-mail
Hi Haskell, Good day. How are you ? Glad to hear that you’re on the market for Electronics Parts, we specialize in this field formany years, with the strength ofMLCC,IC,Transistors,Diodes and Resistors, with good quality and pretty competitive price. We will do our bestto meet any of your requirements. Should you have any questions,email me,let’s talk details. Kindlyregards! Lucia Deng Company Name: Kalis Electronics Co., Ltd. Tel: +86 0755 28263297 Address: 32C, AnLiangRoad Long Gang Dist, ShenZhen , China, 518112 From owner-freebsd-haskell@freebsd.org Tue Aug 18 22:51:36 2020 Return-Path: <owner-freebsd-haskell@freebsd.org> Delivered-To: freebsd-haskell@mailman.nyi.freebsd.org Received: from mx1.freebsd.org (mx1.freebsd.org [IPv6:2610:1c1:1:606c::19:1]) by mailman.nyi.freebsd.org (Postfix) with ESMTP id 106D63AA303 for <freebsd-haskell@mailman.nyi.freebsd.org>; Tue, 18 Aug 2020 22:51:36 +0000 (UTC) (envelope-from jianguo@zg-industry.com) Received: from mailman.nyi.freebsd.org (unknown [127.0.1.3]) by mx1.freebsd.org (Postfix) with ESMTP id 4BWR3q5Zmcz3YX5 for <freebsd-haskell@freebsd.org>; Tue, 18 Aug 2020 22:51:35 +0000 (UTC) (envelope-from jianguo@zg-industry.com) Received: by mailman.nyi.freebsd.org (Postfix) id BF5D33AA059; Tue, 18 Aug 2020 22:51:35 +0000 (UTC) Delivered-To: haskell@mailman.nyi.freebsd.org Received: from mx1.freebsd.org (mx1.freebsd.org [IPv6:2610:1c1:1:606c::19:1]) by mailman.nyi.freebsd.org (Postfix) with ESMTP id BF0BE3AA0AA for <haskell@mailman.nyi.freebsd.org>; Tue, 18 Aug 2020 22:51:35 +0000 (UTC) (envelope-from jianguo@zg-industry.com) Received: from smail22.cn4e.com (mail2.cn4e.com [218.85.138.11]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (Client did not present a certificate) by mx1.freebsd.org (Postfix) with ESMTPS id 4BWR3n6kYcz3YS0 for <haskell@freebsd.org>; Tue, 18 Aug 2020 22:51:33 +0000 (UTC) (envelope-from jianguo@zg-industry.com) X-Bordeaux-Score: 500 X-Spam-Flag: NO Received: from desktop-vn8s95t([123.52.184.117]) by smail22.cn4e.com(7.3.0.15a) with ESMTP id 246905ED0005.71.1597791089.490897; Wed, 19 Aug 2020 06:51:29 +0800 (CST) X-BQId: 246905ED0005.71.1597791089.490897.1 X-Bordeaux-Type: AUTHSMTP X-35BMId: 246905ED0005.71.1597791089.490897.1 X-Bordeaux-LOG: SA: TSMF, 3-500-1-16777472,3-500-1-16777472,3-500-1-16777472 eJzt2btOwzAUBuAusADv4BeoZadXqoJaQlBRL67SgBAMKEndNMVxIBep5Vl5A96AiUZkQBmqLkk qOJ9kneUM//bL9lHlx9tT9/n3VNlkoqkGokoNNxRM23VMaasC/omPPXZCz3SFomBb1jm2fQ9RQm gz92gAgANxnM5sf2iDEUPX2mxosGn1ftKenTeM0kKCwn3tscOGuccAABywk3Rm+6N/ZwyQ8B1XI tMTS8ubU4tcNR839NXydGrX9A2fNVaWQi5Kyw7y87k9Cm5hsmOnH0dLLiPXNiPXlyiMbZuH4SIW RYUEAJTqNJ3Z/hj3b0foRmfjTnflmtKJ/d67U3XlPA6jYJO8VlyWlhnkL7l/SL6Odu3UCCH1gvI AAA7PWTqz/aGrUwMZrNNdmuELF6K3CDi3wjn2Awea4+9L+kNXO9rDjldLNkTbhuGBNAVKvkIsf1 1YPgBA+b4B3mFfyw=X-Bordeaux-Detail: eJxzsrIKjgwOcfW1snK2svKzsjI0MDA0A1FWVhp5pTk5mlxOKEqcQXImVlZGhkBsYIAs6wGRNQT KGBpbWFkZo0oDkSNYj4ERUA6b8QgVxrhc4At2JNBkkBtMcLgRrMLMAOgOU5gKABmgOfgX-Bordeaux-Action-libantispam.so: Action: Relay[NEXT,30601,500:500:500] X-Bordeaux-Action-libspamsa.so: X-Bordeaux-Action-libclamav.so: X-Bordeaux-Action-libsmtpext.so: X-AbuseCollector: NO Message-ID: <20200819065131123.jianguo@zg-industry.com> MIME-Version: 1.0 From: "jianguo" <jianguo@zg-industry.com> To: "Haskell" <haskell@freebsd.org> Reply-To: lily@zg-industry.com Date: 19 Aug 2020 06:51:31 +0800 Subject: To Haskell--Provide Cast iron sluice valves DN50-DN1600--jianguo--ZG industry X-Rspamd-Queue-Id: 4BWR3n6kYcz3YS0 X-Spamd-Bar: + Authentication-Results: mx1.freebsd.org; dkim=none; dmarc=none; spf=pass (mx1.freebsd.org: domain of jianguo@zg-industry.com designates 218.85.138.11 as permitted sender) smtp.mailfrom=jianguo@zg-industry.com X-Spamd-Result: default: False [1.78 / 15.00]; ARC_NA(0.00)[]; HAS_REPLYTO(0.00)[lily@zg-industry.com]; FROM_HAS_DN(0.00)[]; R_SPF_ALLOW(-0.20)[+ip4:218.85.138.0/24:c]; TO_MATCH_ENVRCPT_ALL(0.00)[]; MIME_GOOD(-0.10)[multipart/alternative,text/plain]; REPLYTO_DOM_EQ_FROM_DOM(0.00)[]; DMARC_NA(0.00)[zg-industry.com]; URI_COUNT_ODD(1.00)[1]; RCPT_COUNT_ONE(0.00)[1]; RCVD_TLS_LAST(0.00)[]; TO_DN_ALL(0.00)[]; MID_CONTAINS_FROM(1.00)[]; RCVD_IN_DNSWL_NONE(0.00)[218.85.138.11:from]; NEURAL_SPAM_SHORT(0.08)[0.085]; FROM_EQ_ENVFROM(0.00)[]; R_DKIM_NA(0.00)[]; MIME_TRACE(0.00)[0:+,1:+,2:~]; ASN(0.00)[asn:133775, ipnet:218.85.136.0/22, country:CN]; RCVD_COUNT_TWO(0.00)[2]; MAILMAN_DEST(0.00)[haskell]; RECEIVED_SPAMHAUS_PBL(0.00)[123.52.184.117:received] Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable X-Content-Filtered-By: Mailman/MimeDel 2.1.33 X-BeenThere: freebsd-haskell@freebsd.org X-Mailman-Version: 2.1.33 Precedence: list List-Id: FreeBSD-specific Haskell issues and discussions <freebsd-haskell.freebsd.org> List-Unsubscribe: <https://lists.freebsd.org/mailman/options/freebsd-haskell>, <mailto:freebsd-haskell-request@freebsd.org?subject=unsubscribe> List-Archive: <http://lists.freebsd.org/pipermail/freebsd-haskell/>; List-Post: <mailto:freebsd-haskell@freebsd.org> List-Help: <mailto:freebsd-haskell-request@freebsd.org?subject=help> List-Subscribe: <https://lists.freebsd.org/mailman/listinfo/freebsd-haskell>, <mailto:freebsd-haskell-request@freebsd.org?subject=subscribe> X-List-Received-Date: Tue, 18 Aug 2020 22:51:36 -0000 Hello Haskell, Here is jianguo from ZG industry from 2006 .And customers from over 40 countries. Main make cast iron/ductile iron butterfly valve ,gate valve ,check valve ,Y strainer,globe valve,rubber joint. Please contact if you need .Or please send it to related colleague. Butterfly valve DN32-DN1200 Gate valve DN50-DN1600 Ball valve DN25-DN150 Check valve DN50-DN1100 Rubber joint DN50-DN2600 Globe valve DN50-DN600 Henan ZGindustry Co.,Ltd jianguo Best Wishes to Haskell at 08/19/202006:51:28Tel: +86-379-6068 9006 | Fax: +0086 379-6068 9007 | Phone:+ 0086 -180 0379 2468 Web:www.zgindustry.com Email : sale@zgindustry.com Whatsapp:0086 -180 0379 2468 Cast iron valve | cast steel valve |SS valvewater supply |sewage |food |chemical｜natural gas｜petroleum｜ PPlease consider the environment before printing this email! Unsubscribe From owner-freebsd-haskell@freebsd.org Wed Aug 19 03:42:14 2020 Return-Path: <owner-freebsd-haskell@freebsd.org> Delivered-To: freebsd-haskell@mailman.nyi.freebsd.org Received: from mx1.freebsd.org (mx1.freebsd.org [IPv6:2610:1c1:1:606c::19:1]) by mailman.nyi.freebsd.org (Postfix) with ESMTP id 32B9A3B0811 for <freebsd-haskell@mailman.nyi.freebsd.org>; Wed, 19 Aug 2020 03:42:14 +0000 (UTC) (envelope-from pkg-fallout@FreeBSD.org) Received: from mailman.nyi.freebsd.org (mailman.nyi.freebsd.org [IPv6:2610:1c1:1:606c::50:13]) by mx1.freebsd.org (Postfix) with ESMTP id 4BWYWB0klQz46Qv for <freebsd-haskell@freebsd.org>; Wed, 19 Aug 2020 03:42:14 +0000 (UTC) (envelope-from pkg-fallout@FreeBSD.org) Received: by mailman.nyi.freebsd.org (Postfix) id 1753F3B06D2; Wed, 19 Aug 2020 03:42:14 +0000 (UTC) Delivered-To: haskell@mailman.nyi.freebsd.org Received: from mx1.freebsd.org (mx1.freebsd.org [IPv6:2610:1c1:1:606c::19:1]) by mailman.nyi.freebsd.org (Postfix) with ESMTP id 16F1B3B0724; Wed, 19 Aug 2020 03:42:14 +0000 (UTC) (envelope-from pkg-fallout@FreeBSD.org) Received: from mxrelay.nyi.freebsd.org (mxrelay.nyi.freebsd.org [IPv6:2610:1c1:1:606c::19:3]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange X25519 server-signature RSA-PSS (4096 bits) server-digest SHA256 client-signature RSA-PSS (4096 bits) client-digest SHA256) (Client CN "mxrelay.nyi.freebsd.org", Issuer "Let's Encrypt Authority X3" (verified OK)) by mx1.freebsd.org (Postfix) with ESMTPS id 4BWYWB06x9z46mw; Wed, 19 Aug 2020 03:42:14 +0000 (UTC) (envelope-from pkg-fallout@FreeBSD.org) Received: from beefy10.nyi.freebsd.org (beefy10.nyi.freebsd.org [IPv6:2610:1c1:1:6080::16:ed]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange X25519 server-signature RSA-PSS (4096 bits) server-digest SHA256) (Client did not present a certificate) by mxrelay.nyi.freebsd.org (Postfix) with ESMTPS id DB3741C9EE; Wed, 19 Aug 2020 03:42:13 +0000 (UTC) (envelope-from pkg-fallout@FreeBSD.org) Received: from beefy10.nyi.freebsd.org (localhost [127.0.0.1]) by beefy10.nyi.freebsd.org (8.15.2/8.15.2) with ESMTP id 07J3gDmB045082; Wed, 19 Aug 2020 03:42:13 GMT (envelope-from pkg-fallout@FreeBSD.org) Received: (from root@localhost) by beefy10.nyi.freebsd.org (8.15.2/8.15.2/Submit) id 07J3gDTG045080; Wed, 19 Aug 2020 03:42:13 GMT (envelope-from pkg-fallout@FreeBSD.org) Date: Wed, 19 Aug 2020 03:42:13 GMT From: pkg-fallout@FreeBSD.org Message-Id: <202008190342.07J3gDTG045080@beefy10.nyi.freebsd.org> To: haskell@FreeBSD.org Subject: [package - 113i386-default][math/hs-Agda] Failed for hs-Agda-2.6.1_3 in build Cc: pkg-fallout@FreeBSD.org X-BeenThere: freebsd-haskell@freebsd.org X-Mailman-Version: 2.1.33 Precedence: list List-Id: FreeBSD-specific Haskell issues and discussions <freebsd-haskell.freebsd.org> List-Unsubscribe: <https://lists.freebsd.org/mailman/options/freebsd-haskell>, <mailto:freebsd-haskell-request@freebsd.org?subject=unsubscribe> List-Archive: <http://lists.freebsd.org/pipermail/freebsd-haskell/>; List-Post: <mailto:freebsd-haskell@freebsd.org> List-Help: <mailto:freebsd-haskell-request@freebsd.org?subject=help> List-Subscribe: <https://lists.freebsd.org/mailman/listinfo/freebsd-haskell>, <mailto:freebsd-haskell-request@freebsd.org?subject=subscribe> X-List-Received-Date: Wed, 19 Aug 2020 03:42:14 -0000 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 545088 2020-08-16 07:56:18Z arrowd $ Log URL: http://beefy10.nyi.freebsd.org/data/113i386-default/545209/logs/hs-Agda-2.6.1_3.log Build URL: http://beefy10.nyi.freebsd.org/build.html?mastername3i386-default&buildT5209 Log: =>> Building math/hs-Agda build started at Wed Aug 19 02:38:30 UTC 2020 port directory: /usr/ports/math/hs-Agda package name: hs-Agda-2.6.1_3 building for: FreeBSD 113i386-default-job-04 11.3-RELEASE-p12 FreeBSD 11.3-RELEASE-p12 i386 maintained by: haskell@FreeBSD.org Makefile ident: $FreeBSD: head/math/hs-Agda/Makefile 545088 2020-08-16 07:56:18Z arrowd $ Poudriere version: 3.2.8-5-gc81843e5 Host OSVERSION: 1300100 Jail OSVERSION: 1103000 Job Id: 04 ---Begin Environment--- SHELL=/bin/csh UNAME_p=i386 UNAME_m=i386 OSVERSION03000 UNAME_v=FreeBSD 11.3-RELEASE-p12 UNAME_r.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/113i386-default/ref POUDRIERE_BUILD_TYPE=bulk PACKAGE_BUILDING=yes SAVED_TERMPWD=/usr/local/poudriere/data/.m/113i386-default/ref/.p/pool P_PORTS_FEATURES=FLAVORS SELECTED_OPTIONS MASTERNAME3i386-default SCRIPTPREFIX=/usr/local/share/poudriere OLDPWD=/usr/local/poudriere/data/.m/113i386-default/ref/.p SCRIPTPATH=/usr/local/share/poudriere/bulk.sh POUDRIEREPATH=/usr/local/bin/poudriere ---End Environment--- ---Begin Poudriere Port Flags/Env--- PORT_FLAGSPKGENVFLAVORDEPENDS_ARGSMAKE_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.3 PREFIX=%D LOCALBASE=/usr/local RESETPREFIX=/usr/local LIB32DIR=lib DOCSDIR="share/doc/Agda" EXAMPLESDIR="share/examples/Agda" DATADIR="share/Agda" WWWDIR="www/Agda" ETCDIR="etc/Agda" --End PLIST_SUB-- --SUB_LIST-- PREFIX=/usr/local LOCALBASE=/usr/local DATADIR=/usr/local/share/Agda DOCSDIR=/usr/local/share/doc/Agda EXAMPLESDIR=/usr/local/share/examples/Agda WWWDIR=/usr/local/www/Agda ETCDIR=/usr/local/etc/Agda --End SUB_LIST-- ---Begin make.conf--- USE_PACKAGE_DEPENDS=yes BATCH=yes WRKDIRPREFIX=/wrkdirs PORTSDIR=/usr/ports PACKAGES=/packages DISTDIR=/distfiles PACKAGE_BUILDING=yes PACKAGE_BUILDING_FLAVORS=yes MACHINE=i386 MACHINE_ARCH=i386 ARCH=${MACHINE_ARCH} #### /usr/local/etc/poudriere.d/make.conf #### # XXX: We really need this but cannot use it while 'make checksum' does not # try the next mirror on checksum failure. It currently retries the same # failed mirror and then fails rather then trying another. It *does* # try the next if the size is mismatched though. #MASTER_SITE_FREEBSD=yes # Build ALLOW_MAKE_JOBS_PACKAGES with 2 jobs MAKE_JOBS_NUMBER=2 #### /usr/ports/Mk/Scripts/ports_env.sh #### _CCVERSION_921dbbb2=FreeBSD clang version 8.0.0 (tags/RELEASE_800/final 356365) (based on LLVM 8.0.0) Target: i386-unknown-freebsd11.3 Thread model: posix InstalledDir: /usr/bin _ALTCCVERSION_921dbbb2=none _CXXINTERNAL_acaad9ca=FreeBSD clang version 8.0.0 (tags/RELEASE_800/final 356365) (based on LLVM 8.0.0) Target: i386-unknown-freebsd11.3 Thread model: posix InstalledDir: /usr/bin "/usr/bin/ld" "--eh-frame-hdr" "-dynamic-linker" "/libexec/ld-elf.so.1" "--hash-style=both" "--enable-new-dtags" "-m" "elf_i386_fbsd" "-o" "a.out" "/usr/lib/crt1.o" "/usr/lib/crti.o" "/usr/lib/crtbegin.o" "-L/usr/lib" "/dev/null" "-lc++" "-lm" "-lgcc" "--as-needed" "-lgcc_s" "--no-as-needed" "-lc" "-lgcc" "--as-needed" "-lgcc_s" "--no-as-needed" "/usr/lib/crtend.o" "/usr/lib/crtn.o" CC_OUTPUT_921dbbb2_58173849=yes CC_OUTPUT_921dbbb2_9bdba57c=yes CC_OUTPUT_921dbbb2_6a4fe7f5=yes CC_OUTPUT_921dbbb2_6bcac02b=yes CC_OUTPUT_921dbbb2_67d20829=yes CC_OUTPUT_921dbbb2_bfa62e83=yes CC_OUTPUT_921dbbb2_f0b4d593=yes CC_OUTPUT_921dbbb2_308abb44=yes CC_OUTPUT_921dbbb2_f00456e5=yes CC_OUTPUT_921dbbb2_65ad290d=yes CC_OUTPUT_921dbbb2_f2776b26=yes CC_OUTPUT_921dbbb2_b2657cc3=yes CC_OUTPUT_921dbbb2_380987f7=yes CC_OUTPUT_921dbbb2_160933ec=yes CC_OUTPUT_921dbbb2_fb62803b=yes _OBJC_CCVERSION_921dbbb2=FreeBSD clang version 8.0.0 (tags/RELEASE_800/final 356365) (based on LLVM 8.0.0) Target: i386-unknown-freebsd11.3 Thread model: posix InstalledDir: /usr/bin _OBJC_ALTCCVERSION_921dbbb2=none ARCH=i386 OPSYS=FreeBSD _OSRELEASE.3-RELEASE-p12 OSREL.3 OSVERSION03000 PYTHONBASE=/usr/local CONFIGURE_MAX_CMD_LENR4288 HAVE_PORTS_ENV=1 #### Misc Poudriere #### GID=0 UID=0 DISABLE_MAKE_JOBS=poudriere ---End make.conf--- --Resource limits-- cpu time (seconds, -t) unlimited file size (512-blocks, -f) unlimited data seg size (kbytes, -d) 524288 stack size (kbytes, -s) 65536 core file size (512-blocks, -c) unlimited max memory size (kbytes, -m) unlimited locked memory (kbytes, -l) unlimited max user processes (-u) 89999 open files (-n) 1024 virtual mem size (kbytes, -v) unlimited swap limit (kbytes, -w) unlimited socket buffer size (bytes, -b) unlimited pseudo-terminals (-p) unlimited kqueues (-k) unlimited umtx shared locks (-o) unlimited --End resource limits-- =======================<phase: check-sanity >============================================================================================================================<phase: pkg-depends >==============================> hs-Agda-2.6.1_3 depends on file: /usr/local/sbin/pkg - not found ===> Installing existing package /packages/All/pkg-1.14.6.txz [113i386-default-job-04] Installing pkg-1.14.6... [113i386-default-job-04] Extracting pkg-1.14.6: .......... done ===> hs-Agda-2.6.1_3 depends on file: /usr/local/sbin/pkg - found ===> Returning to build of hs-Agda-2.6.1_3 =================================================================================================<phase: fetch-depends >============================================================================================================================<phase: fetch >============================> Cabal-3.0.2.0/Cabal-3.0.2.0.tar.gz doesn't seem to exist in /portdistfiles/cabal. => Attempting to fetch https://hackage.haskell.org/package/Cabal-3.0.2.0/Cabal-3.0.2.0.tar.gz Cabal-3.0.2.0/Cabal-3.0.2.0.tar.gz 741 kB 23 MBps 00s => geniplate-mirror-0.7.7/geniplate-mirror-0.7.7.tar.gz doesn't seem to exist in /portdistfiles/cabal. => Attempting to fetch https://hackage.haskell.org/package/geniplate-mirror-0.7.7/geniplate-mirror-0.7.7.tar.gz fetch: https://hackage.haskell.org/package/geniplate-mirror-0.7.7/geniplate-mirror-0.7.7.tar.gz: size unknown fetch: https://hackage.haskell.org/package/geniplate-mirror-0.7.7/geniplate-mirror-0.7.7.tar.gz: size of remote file is not known geniplate-mirror-0.7.7/geniplate-mirror-0.7.7.tar.gz 9448 B 23 MBps 00s ===> Fetching all distfiles required by hs-Agda-2.6.1_3 for building =================================================================================================<phase: checksum >==============================> Fetching all distfiles required by hs-Agda-2.6.1_3 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. <snip> [155 of 369] Compiling Agda.VersionCommit ( src/full/Agda/VersionCommit.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.10.1/Agda-2.6.1/build/Agda/VersionCommit.o, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.10.1/Agda-2.6.1/build/Agda/VersionCommit.dyn_o ) [156 of 369] Compiling Agda.Interaction.Library ( src/full/Agda/Interaction/Library.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.10.1/Agda-2.6.1/build/Agda/Interaction/Library.o, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.10.1/Agda-2.6.1/build/Agda/Interaction/Library.dyn_o ) [157 of 369] Compiling Agda.Interaction.Options ( src/full/Agda/Interaction/Options.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.10.1/Agda-2.6.1/build/Agda/Interaction/Options.o, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.10.1/Agda-2.6.1/build/Agda/Interaction/Options.dyn_o ) [158 of 369] Compiling Agda.TypeChecking.Monad.Base ( src/full/Agda/TypeChecking/Monad/Base.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.10.1/Agda-2.6.1/build/Agda/TypeChecking/Monad/Base.o, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.10.1/Agda-2.6.1/build/Agda/TypeChecking/Monad/Base.dyn_o ) [159 of 369] Compiling Agda.TypeChecking.Serialise.Base ( src/full/Agda/TypeChecking/Serialise/Base.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.10.1/Agda-2.6.1/build/Agda/TypeChecking/Serialise/Base.o, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.10.1/Agda-2.6.1/build/Agda/TypeChecking/Serialise/Base.dyn_o ) [160 of 369] Compiling Agda.TypeChecking.Rules.Term[boot] ( src/full/Agda/TypeChecking/Rules/Term.hs-boot, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.10.1/Agda-2.6.1/build/Agda/TypeChecking/Rules/Term.o-boot, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.10.1/Agda-2.6.1/build/Agda/TypeChecking/Rules/Term.dyn_o ) [161 of 369] Compiling Agda.TypeChecking.Rules.Decl[boot] ( src/full/Agda/TypeChecking/Rules/Decl.hs-boot, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.10.1/Agda-2.6.1/build/Agda/TypeChecking/Rules/Decl.o-boot, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.10.1/Agda-2.6.1/build/Agda/TypeChecking/Rules/Decl.dyn_o ) [162 of 369] Compiling Agda.TypeChecking.Rules.Application[boot] ( src/full/Agda/TypeChecking/Rules/Application.hs-boot, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.10.1/Agda-2.6.1/build/Agda/TypeChecking/Rules/Application.o-boot, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.10.1/Agda-2.6.1/build/Agda/TypeChecking/Rules/Application.dyn_o ) [163 of 369] Compiling Agda.TypeChecking.Rewriting[boot] ( src/full/Agda/TypeChecking/Rewriting.hs-boot, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.10.1/Agda-2.6.1/build/Agda/TypeChecking/Rewriting.o-boot, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.10.1/Agda-2.6.1/build/Agda/TypeChecking/Rewriting.dyn_o ) [164 of 369] Compiling Agda.TypeChecking.Reduce.Fast[boot] ( src/full/Agda/TypeChecking/Reduce/Fast.hs-boot, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.10.1/Agda-2.6.1/build/Agda/TypeChecking/Reduce/Fast.o-boot, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.10.1/Agda-2.6.1/build/Agda/TypeChecking/Reduce/Fast.dyn_o ) [165 of 369] Compiling Agda.TypeChecking.Primitive[boot] ( src/full/Agda/TypeChecking/Primitive.hs-boot, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.10.1/Agda-2.6.1/build/Agda/TypeChecking/Primitive.o-boot, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.10.1/Agda-2.6.1/build/Agda/TypeChecking/Primitive.dyn_o ) [166 of 369] Compiling Agda.TypeChecking.Polarity[boot] ( src/full/Agda/TypeChecking/Polarity.hs-boot, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.10.1/Agda-2.6.1/build/Agda/TypeChecking/Polarity.o-boot, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.10.1/Agda-2.6.1/build/Agda/TypeChecking/Polarity.dyn_o ) [167 of 369] Compiling Agda.TypeChecking.Monad.MetaVars[boot] ( src/full/Agda/TypeChecking/Monad/MetaVars.hs-boot, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.10.1/Agda-2.6.1/build/Agda/TypeChecking/Monad/MetaVars.o-boot, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.10.1/Agda-2.6.1/build/Agda/TypeChecking/Monad/MetaVars.dyn_o ) [168 of 369] Compiling Agda.TypeChecking.Monad.Imports ( src/full/Agda/TypeChecking/Monad/Imports.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.10.1/Agda-2.6.1/build/Agda/TypeChecking/Monad/Imports.o, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.10.1/Agda-2.6.1/build/Agda/TypeChecking/Monad/Imports.dyn_o ) [169 of 369] Compiling Agda.TypeChecking.Monad.Env ( src/full/Agda/TypeChecking/Monad/Env.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.10.1/Agda-2.6.1/build/Agda/TypeChecking/Monad/Env.o, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.10.1/Agda-2.6.1/build/Agda/TypeChecking/Monad/Env.dyn_o ) [170 of 369] Compiling Agda.TypeChecking.Monad.Context[boot] ( src/full/Agda/TypeChecking/Monad/Context.hs-boot, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.10.1/Agda-2.6.1/build/Agda/TypeChecking/Monad/Context.o-boot, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.10.1/Agda-2.6.1/build/Agda/TypeChecking/Monad/Context.dyn_o ) [171 of 369] Compiling Agda.TypeChecking.Monad.Builtin[boot] ( src/full/Agda/TypeChecking/Monad/Builtin.hs-boot, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.10.1/Agda-2.6.1/build/Agda/TypeChecking/Monad/Builtin.o-boot, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.10.1/Agda-2.6.1/build/Agda/TypeChecking/Monad/Builtin.dyn_o ) [172 of 369] Compiling Agda.TypeChecking.Errors[boot] ( src/full/Agda/TypeChecking/Errors.hs-boot, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.10.1/Agda-2.6.1/build/Agda/TypeChecking/Errors.o-boot, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.10.1/Agda-2.6.1/build/Agda/TypeChecking/Errors.dyn_o ) [173 of 369] Compiling Agda.TypeChecking.Monad.Debug ( src/full/Agda/TypeChecking/Monad/Debug.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.10.1/Agda-2.6.1/build/Agda/TypeChecking/Monad/Debug.o, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.10.1/Agda-2.6.1/build/Agda/TypeChecking/Monad/Debug.dyn_o ) [174 of 369] Compiling Agda.TypeChecking.Monad.Statistics ( src/full/Agda/TypeChecking/Monad/Statistics.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.10.1/Agda-2.6.1/build/Agda/TypeChecking/Monad/Statistics.o, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.10.1/Agda-2.6.1/build/Agda/TypeChecking/Monad/Statistics.dyn_o ) [175 of 369] Compiling Agda.TypeChecking.Monad.Signature[boot] ( src/full/Agda/TypeChecking/Monad/Signature.hs-boot, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.10.1/Agda-2.6.1/build/Agda/TypeChecking/Monad/Signature.o-boot, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.10.1/Agda-2.6.1/build/Agda/TypeChecking/Monad/Signature.dyn_o ) [176 of 369] Compiling Agda.TypeChecking.ProjectionLike[boot] ( src/full/Agda/TypeChecking/ProjectionLike.hs-boot, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.10.1/Agda-2.6.1/build/Agda/TypeChecking/ProjectionLike.o-boot, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.10.1/Agda-2.6.1/build/Agda/TypeChecking/ProjectionLike.dyn_o ) [177 of 369] Compiling Agda.TypeChecking.Pretty[boot] ( src/full/Agda/TypeChecking/Pretty.hs-boot, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.10.1/Agda-2.6.1/build/Agda/TypeChecking/Pretty.o-boot, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.10.1/Agda-2.6.1/build/Agda/TypeChecking/Pretty.dyn_o ) [178 of 369] Compiling Agda.TypeChecking.Pretty.Warning[boot] ( src/full/Agda/TypeChecking/Pretty/Warning.hs-boot, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.10.1/Agda-2.6.1/build/Agda/TypeChecking/Pretty/Warning.o-boot, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.10.1/Agda-2.6.1/build/Agda/TypeChecking/Pretty/Warning.dyn_o ) [179 of 369] Compiling Agda.TypeChecking.Pretty.Call[boot] ( src/full/Agda/TypeChecking/Pretty/Call.hs-boot, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.10.1/Agda-2.6.1/build/Agda/TypeChecking/Pretty/Call.o-boot, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.10.1/Agda-2.6.1/build/Agda/TypeChecking/Pretty/Call.dyn_o ) [180 of 369] Compiling Agda.TypeChecking.Monad.Caching ( src/full/Agda/TypeChecking/Monad/Caching.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.10.1/Agda-2.6.1/build/Agda/TypeChecking/Monad/Caching.o, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.10.1/Agda-2.6.1/build/Agda/TypeChecking/Monad/Caching.dyn_o ) [181 of 369] Compiling Agda.TypeChecking.Monad.Benchmark ( src/full/Agda/TypeChecking/Monad/Benchmark.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.10.1/Agda-2.6.1/build/Agda/TypeChecking/Monad/Benchmark.o, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.10.1/Agda-2.6.1/build/Agda/TypeChecking/Monad/Benchmark.dyn_o ) [182 of 369] Compiling Agda.TypeChecking.Irrelevance[boot] ( src/full/Agda/TypeChecking/Irrelevance.hs-boot, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.10.1/Agda-2.6.1/build/Agda/TypeChecking/Irrelevance.o-boot, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.10.1/Agda-2.6.1/build/Agda/TypeChecking/Irrelevance.dyn_o ) [183 of 369] Compiling Agda.TypeChecking.CompiledClause.Match[boot] ( src/full/Agda/TypeChecking/CompiledClause/Match.hs-boot, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.10.1/Agda-2.6.1/build/Agda/TypeChecking/CompiledClause/Match.o-boot, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.10.1/Agda-2.6.1/build/Agda/TypeChecking/CompiledClause/Match.dyn_o ) [184 of 369] Compiling Agda.TypeChecking.CompiledClause.Compile[boot] ( src/full/Agda/TypeChecking/CompiledClause/Compile.hs-boot, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.10.1/Agda-2.6.1/build/Agda/TypeChecking/CompiledClause/Compile.o-boot, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.10.1/Agda-2.6.1/build/Agda/TypeChecking/CompiledClause/Compile.dyn_o ) [185 of 369] Compiling Agda.Syntax.Internal.Names ( src/full/Agda/Syntax/Internal/Names.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.10.1/Agda-2.6.1/build/Agda/Syntax/Internal/Names.o, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.10.1/Agda-2.6.1/build/Agda/Syntax/Internal/Names.dyn_o ) [186 of 369] Compiling Agda.Interaction.Highlighting.Generate[boot] ( src/full/Agda/Interaction/Highlighting/Generate.hs-boot, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.10.1/Agda-2.6.1/build/Agda/Interaction/Highlighting/Generate.o-boot, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.10.1/Agda-2.6.1/build/Agda/Interaction/Highlighting/Generate.dyn_o ) [187 of 369] Compiling Agda.TypeChecking.Warnings ( src/full/Agda/TypeChecking/Warnings.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.10.1/Agda-2.6.1/build/Agda/TypeChecking/Warnings.o, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.10.1/Agda-2.6.1/build/Agda/TypeChecking/Warnings.dyn_o ) [188 of 369] Compiling Agda.Interaction.Imports[boot] ( src/full/Agda/Interaction/Imports.hs-boot, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.10.1/Agda-2.6.1/build/Agda/Interaction/Imports.o-boot, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.10.1/Agda-2.6.1/build/Agda/Interaction/Imports.dyn_o ) [189 of 369] Compiling Agda.Compiler.Treeless.Erase[boot] ( src/full/Agda/Compiler/Treeless/Erase.hs-boot, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.10.1/Agda-2.6.1/build/Agda/Compiler/Treeless/Erase.o-boot, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.10.1/Agda-2.6.1/build/Agda/Compiler/Treeless/Erase.dyn_o ) [190 of 369] Compiling Agda.TypeChecking.Inlining ( src/full/Agda/TypeChecking/Inlining.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.10.1/Agda-2.6.1/build/Agda/TypeChecking/Inlining.o, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.10.1/Agda-2.6.1/build/Agda/TypeChecking/Inlining.dyn_o ) [191 of 369] Compiling Agda.Interaction.FindFile ( src/full/Agda/Interaction/FindFile.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.10.1/Agda-2.6.1/build/Agda/Interaction/FindFile.o, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.10.1/Agda-2.6.1/build/Agda/Interaction/FindFile.dyn_o ) [192 of 369] Compiling Agda.TypeChecking.Serialise.Instances.Common ( src/full/Agda/TypeChecking/Serialise/Instances/Common.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.10.1/Agda-2.6.1/build/Agda/TypeChecking/Serialise/Instances/Common.o, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.10.1/Agda-2.6.1/build/Agda/TypeChecking/Serialise/Instances/Common.dyn_o ) [193 of 369] Compiling Agda.TypeChecking.Serialise.Instances.Highlighting ( src/full/Agda/TypeChecking/Serialise/Instances/Highlighting.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.10.1/Agda-2.6.1/build/Agda/TypeChecking/Serialise/Instances/Highlighting.o, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.10.1/Agda-2.6.1/build/Agda/TypeChecking/Serialise/Instances/Highlighting.dyn_o ) [194 of 369] Compiling Agda.TypeChecking.Serialise.Instances.Abstract ( src/full/Agda/TypeChecking/Serialise/Instances/Abstract.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.10.1/Agda-2.6.1/build/Agda/TypeChecking/Serialise/Instances/Abstract.o, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.10.1/Agda-2.6.1/build/Agda/TypeChecking/Serialise/Instances/Abstract.dyn_o ) [195 of 369] Compiling Agda.Interaction.Base ( src/full/Agda/Interaction/Base.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.10.1/Agda-2.6.1/build/Agda/Interaction/Base.o, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.10.1/Agda-2.6.1/build/Agda/Interaction/Base.dyn_o ) [196 of 369] Compiling Agda.Interaction.Response ( src/full/Agda/Interaction/Response.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.10.1/Agda-2.6.1/build/Agda/Interaction/Response.o, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.10.1/Agda-2.6.1/build/Agda/Interaction/Response.dyn_o ) [197 of 369] Compiling Agda.TypeChecking.Monad.State ( src/full/Agda/TypeChecking/Monad/State.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.10.1/Agda-2.6.1/build/Agda/TypeChecking/Monad/State.o, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.10.1/Agda-2.6.1/build/Agda/TypeChecking/Monad/State.dyn_o ) [198 of 369] Compiling Agda.TypeChecking.Monad.Trace ( src/full/Agda/TypeChecking/Monad/Trace.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.10.1/Agda-2.6.1/build/Agda/TypeChecking/Monad/Trace.o, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.10.1/Agda-2.6.1/build/Agda/TypeChecking/Monad/Trace.dyn_o ) [199 of 369] Compiling Agda.TypeChecking.Monad.Mutual ( src/full/Agda/TypeChecking/Monad/Mutual.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.10.1/Agda-2.6.1/build/Agda/TypeChecking/Monad/Mutual.o, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.10.1/Agda-2.6.1/build/Agda/TypeChecking/Monad/Mutual.dyn_o ) [200 of 369] Compiling Agda.TypeChecking.Monad.Closure ( src/full/Agda/TypeChecking/Monad/Closure.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.10.1/Agda-2.6.1/build/Agda/TypeChecking/Monad/Closure.o, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.10.1/Agda-2.6.1/build/Agda/TypeChecking/Monad/Closure.dyn_o ) [201 of 369] Compiling Agda.TypeChecking.Monad.Constraints ( src/full/Agda/TypeChecking/Monad/Constraints.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.10.1/Agda-2.6.1/build/Agda/TypeChecking/Monad/Constraints.o, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.10.1/Agda-2.6.1/build/Agda/TypeChecking/Monad/Constraints.dyn_o ) [202 of 369] Compiling Agda.TypeChecking.Constraints[boot] ( src/full/Agda/TypeChecking/Constraints.hs-boot, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.10.1/Agda-2.6.1/build/Agda/TypeChecking/Constraints.o-boot, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.10.1/Agda-2.6.1/build/Agda/TypeChecking/Constraints.dyn_o ) [203 of 369] Compiling Agda.Syntax.Scope.Monad ( src/full/Agda/Syntax/Scope/Monad.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.10.1/Agda-2.6.1/build/Agda/Syntax/Scope/Monad.o, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.10.1/Agda-2.6.1/build/Agda/Syntax/Scope/Monad.dyn_o ) [204 of 369] Compiling Agda.Syntax.Concrete.Operators ( src/full/Agda/Syntax/Concrete/Operators.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.10.1/Agda-2.6.1/build/Agda/Syntax/Concrete/Operators.o, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.10.1/Agda-2.6.1/build/Agda/Syntax/Concrete/Operators.dyn_o ) [205 of 369] Compiling Agda.Interaction.Options.Lenses ( src/full/Agda/Interaction/Options/Lenses.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.10.1/Agda-2.6.1/build/Agda/Interaction/Options/Lenses.o, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.10.1/Agda-2.6.1/build/Agda/Interaction/Options/Lenses.dyn_o ) [206 of 369] Compiling Agda.TypeChecking.Monad.Options ( src/full/Agda/TypeChecking/Monad/Options.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.10.1/Agda-2.6.1/build/Agda/TypeChecking/Monad/Options.o, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.10.1/Agda-2.6.1/build/Agda/TypeChecking/Monad/Options.dyn_o ) [207 of 369] Compiling Agda.TypeChecking.Substitute ( src/full/Agda/TypeChecking/Substitute.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.10.1/Agda-2.6.1/build/Agda/TypeChecking/Substitute.o, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.10.1/Agda-2.6.1/build/Agda/TypeChecking/Substitute.dyn_o ) [208 of 369] Compiling Agda.TypeChecking.Monad.Open ( src/full/Agda/TypeChecking/Monad/Open.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.10.1/Agda-2.6.1/build/Agda/TypeChecking/Monad/Open.o, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.10.1/Agda-2.6.1/build/Agda/TypeChecking/Monad/Open.dyn_o ) [209 of 369] Compiling Agda.TypeChecking.Monad.Context ( src/full/Agda/TypeChecking/Monad/Context.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.10.1/Agda-2.6.1/build/Agda/TypeChecking/Monad/Context.o, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.10.1/Agda-2.6.1/build/Agda/TypeChecking/Monad/Context.dyn_o ) [210 of 369] Compiling Agda.TypeChecking.Telescope[boot] ( src/full/Agda/TypeChecking/Telescope.hs-boot, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.10.1/Agda-2.6.1/build/Agda/TypeChecking/Telescope.o-boot, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.10.1/Agda-2.6.1/build/Agda/TypeChecking/Telescope.dyn_o ) [211 of 369] Compiling Agda.TypeChecking.Monad.Builtin ( src/full/Agda/TypeChecking/Monad/Builtin.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.10.1/Agda-2.6.1/build/Agda/TypeChecking/Monad/Builtin.o, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.10.1/Agda-2.6.1/build/Agda/TypeChecking/Monad/Builtin.dyn_o ) [212 of 369] Compiling Agda.TypeChecking.Monad.SizedTypes ( src/full/Agda/TypeChecking/Monad/SizedTypes.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.10.1/Agda-2.6.1/build/Agda/TypeChecking/Monad/SizedTypes.o, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.10.1/Agda-2.6.1/build/Agda/TypeChecking/Monad/SizedTypes.dyn_o ) [213 of 369] Compiling Agda.TypeChecking.Level[boot] ( src/full/Agda/TypeChecking/Level.hs-boot, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.10.1/Agda-2.6.1/build/Agda/TypeChecking/Level.o-boot, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.10.1/Agda-2.6.1/build/Agda/TypeChecking/Level.dyn_o ) [214 of 369] Compiling Agda.Syntax.Translation.AbstractToConcrete ( src/full/Agda/Syntax/Translation/AbstractToConcrete.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.10.1/Agda-2.6.1/build/Agda/Syntax/Translation/AbstractToConcrete.o, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.10.1/Agda-2.6.1/build/Agda/Syntax/Translation/AbstractToConcrete.dyn_o ) [215 of 369] Compiling Agda.Syntax.Abstract.Pretty ( src/full/Agda/Syntax/Abstract/Pretty.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.10.1/Agda-2.6.1/build/Agda/Syntax/Abstract/Pretty.o, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.10.1/Agda-2.6.1/build/Agda/Syntax/Abstract/Pretty.dyn_o ) [216 of 369] Compiling Agda.TypeChecking.DropArgs ( src/full/Agda/TypeChecking/DropArgs.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.10.1/Agda-2.6.1/build/Agda/TypeChecking/DropArgs.o, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.10.1/Agda-2.6.1/build/Agda/TypeChecking/DropArgs.dyn_o ) [217 of 369] Compiling Agda.TypeChecking.Monad.Signature ( src/full/Agda/TypeChecking/Monad/Signature.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.10.1/Agda-2.6.1/build/Agda/TypeChecking/Monad/Signature.o, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.10.1/Agda-2.6.1/build/Agda/TypeChecking/Monad/Signature.dyn_o ) [218 of 369] Compiling Agda.TypeChecking.Monad.MetaVars ( src/full/Agda/TypeChecking/Monad/MetaVars.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.10.1/Agda-2.6.1/build/Agda/TypeChecking/Monad/MetaVars.o, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.10.1/Agda-2.6.1/build/Agda/TypeChecking/Monad/MetaVars.dyn_o ) [219 of 369] Compiling Agda.TypeChecking.MetaVars[boot] ( src/full/Agda/TypeChecking/MetaVars.hs-boot, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.10.1/Agda-2.6.1/build/Agda/TypeChecking/MetaVars.o-boot, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.10.1/Agda-2.6.1/build/Agda/TypeChecking/MetaVars.dyn_o ) [220 of 369] Compiling Agda.TypeChecking.Datatypes[boot] ( src/full/Agda/TypeChecking/Datatypes.hs-boot, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.10.1/Agda-2.6.1/build/Agda/TypeChecking/Datatypes.o-boot, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.10.1/Agda-2.6.1/build/Agda/TypeChecking/Datatypes.dyn_o ) [221 of 369] Compiling Agda.Compiler.Treeless.Subst ( src/full/Agda/Compiler/Treeless/Subst.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.10.1/Agda-2.6.1/build/Agda/Compiler/Treeless/Subst.o, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.10.1/Agda-2.6.1/build/Agda/Compiler/Treeless/Subst.dyn_o ) [222 of 369] Compiling Agda.Compiler.Treeless.Pretty ( src/full/Agda/Compiler/Treeless/Pretty.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.10.1/Agda-2.6.1/build/Agda/Compiler/Treeless/Pretty.o, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.10.1/Agda-2.6.1/build/Agda/Compiler/Treeless/Pretty.dyn_o ) [223 of 369] Compiling Agda.Compiler.Treeless.Compare ( src/full/Agda/Compiler/Treeless/Compare.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.10.1/Agda-2.6.1/build/Agda/Compiler/Treeless/Compare.o, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.10.1/Agda-2.6.1/build/Agda/Compiler/Treeless/Compare.dyn_o ) [224 of 369] Compiling Agda.Compiler.Treeless.Uncase ( src/full/Agda/Compiler/Treeless/Uncase.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.10.1/Agda-2.6.1/build/Agda/Compiler/Treeless/Uncase.o, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.10.1/Agda-2.6.1/build/Agda/Compiler/Treeless/Uncase.dyn_o ) [225 of 369] Compiling Agda.TypeChecking.Monad ( src/full/Agda/TypeChecking/Monad.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.10.1/Agda-2.6.1/build/Agda/TypeChecking/Monad.o, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.10.1/Agda-2.6.1/build/Agda/TypeChecking/Monad.dyn_o ) [226 of 369] Compiling Agda.TypeChecking.Serialise.Instances.Compilers ( src/full/Agda/TypeChecking/Serialise/Instances/Compilers.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.10.1/Agda-2.6.1/build/Agda/TypeChecking/Serialise/Instances/Compilers.o, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.10.1/Agda-2.6.1/build/Agda/TypeChecking/Serialise/Instances/Compilers.dyn_o ) [227 of 369] Compiling Agda.TypeChecking.Serialise.Instances.Internal ( src/full/Agda/TypeChecking/Serialise/Instances/Internal.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.10.1/Agda-2.6.1/build/Agda/TypeChecking/Serialise/Instances/Internal.o, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.10.1/Agda-2.6.1/build/Agda/TypeChecking/Serialise/Instances/Internal.dyn_o ) [228 of 369] Compiling Agda.TypeChecking.Serialise.Instances.Errors ( src/full/Agda/TypeChecking/Serialise/Instances/Errors.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.10.1/Agda-2.6.1/build/Agda/TypeChecking/Serialise/Instances/Errors.o, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.10.1/Agda-2.6.1/build/Agda/TypeChecking/Serialise/Instances/Errors.dyn_o ) [229 of 369] Compiling Agda.TypeChecking.Serialise.Instances ( src/full/Agda/TypeChecking/Serialise/Instances.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.10.1/Agda-2.6.1/build/Agda/TypeChecking/Serialise/Instances.o, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.10.1/Agda-2.6.1/build/Agda/TypeChecking/Serialise/Instances.dyn_o ) [230 of 369] Compiling Agda.TypeChecking.Serialise ( src/full/Agda/TypeChecking/Serialise.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.10.1/Agda-2.6.1/build/Agda/TypeChecking/Serialise.o, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.10.1/Agda-2.6.1/build/Agda/TypeChecking/Serialise.dyn_o ) [231 of 369] Compiling Agda.TypeChecking.Rules.Def[boot] ( src/full/Agda/TypeChecking/Rules/Def.hs-boot, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.10.1/Agda-2.6.1/build/Agda/TypeChecking/Rules/Def.o-boot, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.10.1/Agda-2.6.1/build/Agda/TypeChecking/Rules/Def.dyn_o ) [232 of 369] Compiling Agda.TypeChecking.Rules.Builtin.Coinduction[boot] ( src/full/Agda/TypeChecking/Rules/Builtin/Coinduction.hs-boot, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.10.1/Agda-2.6.1/build/Agda/TypeChecking/Rules/Builtin/Coinduction.o-boot, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.10.1/Agda-2.6.1/build/Agda/TypeChecking/Rules/Builtin/Coinduction.dyn_o ) [233 of 369] Compiling Agda.TypeChecking.Rewriting.Clause ( src/full/Agda/TypeChecking/Rewriting/Clause.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.10.1/Agda-2.6.1/build/Agda/TypeChecking/Rewriting/Clause.o, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.10.1/Agda-2.6.1/build/Agda/TypeChecking/Rewriting/Clause.dyn_o ) [234 of 369] Compiling Agda.TypeChecking.Reduce.Monad ( src/full/Agda/TypeChecking/Reduce/Monad.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.10.1/Agda-2.6.1/build/Agda/TypeChecking/Reduce/Monad.o, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.10.1/Agda-2.6.1/build/Agda/TypeChecking/Reduce/Monad.dyn_o ) [235 of 369] Compiling Agda.TypeChecking.Records[boot] ( src/full/Agda/TypeChecking/Records.hs-boot, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.10.1/Agda-2.6.1/build/Agda/TypeChecking/Records.o-boot, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.10.1/Agda-2.6.1/build/Agda/TypeChecking/Records.dyn_o ) [236 of 369] Compiling Agda.TypeChecking.Patterns.Match[boot] ( src/full/Agda/TypeChecking/Patterns/Match.hs-boot, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.10.1/Agda-2.6.1/build/Agda/TypeChecking/Patterns/Match.o-boot, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.10.1/Agda-2.6.1/build/Agda/TypeChecking/Patterns/Match.dyn_o ) [237 of 369] Compiling Agda.TypeChecking.Patterns.Abstract ( src/full/Agda/TypeChecking/Patterns/Abstract.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.10.1/Agda-2.6.1/build/Agda/TypeChecking/Patterns/Abstract.o, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.10.1/Agda-2.6.1/build/Agda/TypeChecking/Patterns/Abstract.dyn_o ) [238 of 369] Compiling Agda.TypeChecking.Names ( src/full/Agda/TypeChecking/Names.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.10.1/Agda-2.6.1/build/Agda/TypeChecking/Names.o, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.10.1/Agda-2.6.1/build/Agda/TypeChecking/Names.dyn_o ) [239 of 369] Compiling Agda.TypeChecking.MetaVars.Mention ( src/full/Agda/TypeChecking/MetaVars/Mention.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.10.1/Agda-2.6.1/build/Agda/TypeChecking/MetaVars/Mention.o, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.10.1/Agda-2.6.1/build/Agda/TypeChecking/MetaVars/Mention.dyn_o ) [240 of 369] Compiling Agda.TypeChecking.EtaContract ( src/full/Agda/TypeChecking/EtaContract.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.10.1/Agda-2.6.1/build/Agda/TypeChecking/EtaContract.o, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.10.1/Agda-2.6.1/build/Agda/TypeChecking/EtaContract.dyn_o ) [241 of 369] Compiling Agda.TypeChecking.Reduce ( src/full/Agda/TypeChecking/Reduce.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.10.1/Agda-2.6.1/build/Agda/TypeChecking/Reduce.o, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.10.1/Agda-2.6.1/build/Agda/TypeChecking/Reduce.dyn_o ) [242 of 369] Compiling Agda.TypeChecking.Telescope ( src/full/Agda/TypeChecking/Telescope.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.10.1/Agda-2.6.1/build/Agda/TypeChecking/Telescope.o, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.10.1/Agda-2.6.1/build/Agda/TypeChecking/Telescope.dyn_o ) [243 of 369] Compiling Agda.TypeChecking.SyntacticEquality ( src/full/Agda/TypeChecking/SyntacticEquality.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.10.1/Agda-2.6.1/build/Agda/TypeChecking/SyntacticEquality.o, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.10.1/Agda-2.6.1/build/Agda/TypeChecking/SyntacticEquality.dyn_o ) [244 of 369] Compiling Agda.TypeChecking.Primitive.Base ( src/full/Agda/TypeChecking/Primitive/Base.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.10.1/Agda-2.6.1/build/Agda/TypeChecking/Primitive/Base.o, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.10.1/Agda-2.6.1/build/Agda/TypeChecking/Primitive/Base.dyn_o ) [245 of 369] Compiling Agda.TypeChecking.Primitive.Cubical ( src/full/Agda/TypeChecking/Primitive/Cubical.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.10.1/Agda-2.6.1/build/Agda/TypeChecking/Primitive/Cubical.o, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.10.1/Agda-2.6.1/build/Agda/TypeChecking/Primitive/Cubical.dyn_o ) [246 of 369] Compiling Agda.TypeChecking.Patterns.Internal ( src/full/Agda/TypeChecking/Patterns/Internal.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.10.1/Agda-2.6.1/build/Agda/TypeChecking/Patterns/Internal.o, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.10.1/Agda-2.6.1/build/Agda/TypeChecking/Patterns/Internal.dyn_o ) [247 of 369] Compiling Agda.TypeChecking.Level ( src/full/Agda/TypeChecking/Level.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.10.1/Agda-2.6.1/build/Agda/TypeChecking/Level.o, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.10.1/Agda-2.6.1/build/Agda/TypeChecking/Level.dyn_o ) [248 of 369] Compiling Agda.TypeChecking.Quote ( src/full/Agda/TypeChecking/Quote.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.10.1/Agda-2.6.1/build/Agda/TypeChecking/Quote.o, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.10.1/Agda-2.6.1/build/Agda/TypeChecking/Quote.dyn_o ) [249 of 369] Compiling Agda.TypeChecking.Primitive ( src/full/Agda/TypeChecking/Primitive.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.10.1/Agda-2.6.1/build/Agda/TypeChecking/Primitive.o, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.10.1/Agda-2.6.1/build/Agda/TypeChecking/Primitive.dyn_o ) [250 of 369] Compiling Agda.TypeChecking.LevelConstraints ( src/full/Agda/TypeChecking/LevelConstraints.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.10.1/Agda-2.6.1/build/Agda/TypeChecking/LevelConstraints.o, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.10.1/Agda-2.6.1/build/Agda/TypeChecking/LevelConstraints.dyn_o ) [251 of 369] Compiling Agda.TypeChecking.Level.Solve ( src/full/Agda/TypeChecking/Level/Solve.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.10.1/Agda-2.6.1/build/Agda/TypeChecking/Level/Solve.o, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.10.1/Agda-2.6.1/build/Agda/TypeChecking/Level/Solve.dyn_o ) [252 of 369] Compiling Agda.TypeChecking.Free.Reduce ( src/full/Agda/TypeChecking/Free/Reduce.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.10.1/Agda-2.6.1/build/Agda/TypeChecking/Free/Reduce.o, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.10.1/Agda-2.6.1/build/Agda/TypeChecking/Free/Reduce.dyn_o ) [253 of 369] Compiling Agda.TypeChecking.Empty[boot] ( src/full/Agda/TypeChecking/Empty.hs-boot, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.10.1/Agda-2.6.1/build/Agda/TypeChecking/Empty.o-boot, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.10.1/Agda-2.6.1/build/Agda/TypeChecking/Empty.dyn_o ) [254 of 369] Compiling Agda.TypeChecking.DisplayForm ( src/full/Agda/TypeChecking/DisplayForm.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.10.1/Agda-2.6.1/build/Agda/TypeChecking/DisplayForm.o, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.10.1/Agda-2.6.1/build/Agda/TypeChecking/DisplayForm.dyn_o ) [255 of 369] Compiling Agda.TypeChecking.DeadCode ( src/full/Agda/TypeChecking/DeadCode.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.10.1/Agda-2.6.1/build/Agda/TypeChecking/DeadCode.o, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.10.1/Agda-2.6.1/build/Agda/TypeChecking/DeadCode.dyn_o ) [256 of 369] Compiling Agda.TypeChecking.Conversion[boot] ( src/full/Agda/TypeChecking/Conversion.hs-boot, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.10.1/Agda-2.6.1/build/Agda/TypeChecking/Conversion.o-boot, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.10.1/Agda-2.6.1/build/Agda/TypeChecking/Conversion.dyn_o ) [257 of 369] Compiling Agda.TypeChecking.CompiledClause.Match ( src/full/Agda/TypeChecking/CompiledClause/Match.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.10.1/Agda-2.6.1/build/Agda/TypeChecking/CompiledClause/Match.o, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.10.1/Agda-2.6.1/build/Agda/TypeChecking/CompiledClause/Match.dyn_o ) [258 of 369] Compiling Agda.TypeChecking.CheckInternal[boot] ( src/full/Agda/TypeChecking/CheckInternal.hs-boot, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.10.1/Agda-2.6.1/build/Agda/TypeChecking/CheckInternal.o-boot, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.10.1/Agda-2.6.1/build/Agda/TypeChecking/CheckInternal.dyn_o ) [259 of 369] Compiling Agda.Termination.RecCheck ( src/full/Agda/Termination/RecCheck.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.10.1/Agda-2.6.1/build/Agda/Termination/RecCheck.o, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.10.1/Agda-2.6.1/build/Agda/Termination/RecCheck.dyn_o ) [260 of 369] Compiling Agda.Syntax.Translation.ReflectedToAbstract ( src/full/Agda/Syntax/Translation/ReflectedToAbstract.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.10.1/Agda-2.6.1/build/Agda/Syntax/Translation/ReflectedToAbstract.o, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.10.1/Agda-2.6.1/build/Agda/Syntax/Translation/ReflectedToAbstract.dyn_o ) [261 of 369] Compiling Agda.Syntax.Translation.InternalToAbstract ( src/full/Agda/Syntax/Translation/InternalToAbstract.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.10.1/Agda-2.6.1/build/Agda/Syntax/Translation/InternalToAbstract.o, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.10.1/Agda-2.6.1/build/Agda/Syntax/Translation/InternalToAbstract.dyn_o ) [262 of 369] Compiling Agda.TypeChecking.Pretty ( src/full/Agda/TypeChecking/Pretty.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.10.1/Agda-2.6.1/build/Agda/TypeChecking/Pretty.o, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.10.1/Agda-2.6.1/build/Agda/TypeChecking/Pretty.dyn_o ) [263 of 369] Compiling Agda.TypeChecking.Telescope.Path ( src/full/Agda/TypeChecking/Telescope/Path.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.10.1/Agda-2.6.1/build/Agda/TypeChecking/Telescope/Path.o, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.10.1/Agda-2.6.1/build/Agda/TypeChecking/Telescope/Path.dyn_o ) [264 of 369] Compiling Agda.TypeChecking.SizedTypes ( src/full/Agda/TypeChecking/SizedTypes.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.10.1/Agda-2.6.1/build/Agda/TypeChecking/SizedTypes.o, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.10.1/Agda-2.6.1/build/Agda/TypeChecking/SizedTypes.dyn_o ) [265 of 369] Compiling Agda.TypeChecking.Rules.Display ( src/full/Agda/TypeChecking/Rules/Display.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.10.1/Agda-2.6.1/build/Agda/TypeChecking/Rules/Display.o, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.10.1/Agda-2.6.1/build/Agda/TypeChecking/Rules/Display.dyn_o ) [266 of 369] Compiling Agda.TypeChecking.Pretty.Call ( src/full/Agda/TypeChecking/Pretty/Call.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.10.1/Agda-2.6.1/build/Agda/TypeChecking/Pretty/Call.o, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.10.1/Agda-2.6.1/build/Agda/TypeChecking/Pretty/Call.dyn_o ) [267 of 369] Compiling Agda.TypeChecking.Irrelevance ( src/full/Agda/TypeChecking/Irrelevance.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.10.1/Agda-2.6.1/build/Agda/TypeChecking/Irrelevance.o, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.10.1/Agda-2.6.1/build/Agda/TypeChecking/Irrelevance.dyn_o ) [268 of 369] Compiling Agda.TypeChecking.Records ( src/full/Agda/TypeChecking/Records.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.10.1/Agda-2.6.1/build/Agda/TypeChecking/Records.o, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.10.1/Agda-2.6.1/build/Agda/TypeChecking/Records.dyn_o ) [269 of 369] Compiling Agda.TypeChecking.Rules.LHS.Problem ( src/full/Agda/TypeChecking/Rules/LHS/Problem.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.10.1/Agda-2.6.1/build/Agda/TypeChecking/Rules/LHS/Problem.o, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.10.1/Agda-2.6.1/build/Agda/TypeChecking/Rules/LHS/Problem.dyn_o ) [270 of 369] Compiling Agda.TypeChecking.Patterns.Match ( src/full/Agda/TypeChecking/Patterns/Match.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.10.1/Agda-2.6.1/build/Agda/TypeChecking/Patterns/Match.o, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.10.1/Agda-2.6.1/build/Agda/TypeChecking/Patterns/Match.dyn_o ) [271 of 369] Compiling Agda.TypeChecking.Implicit ( src/full/Agda/TypeChecking/Implicit.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.10.1/Agda-2.6.1/build/Agda/TypeChecking/Implicit.o, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.10.1/Agda-2.6.1/build/Agda/TypeChecking/Implicit.dyn_o ) [272 of 369] Compiling Agda.TypeChecking.Rules.LHS.Implicit ( src/full/Agda/TypeChecking/Rules/LHS/Implicit.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.10.1/Agda-2.6.1/build/Agda/TypeChecking/Rules/LHS/Implicit.o, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.10.1/Agda-2.6.1/build/Agda/TypeChecking/Rules/LHS/Implicit.dyn_o ) [273 of 369] Compiling Agda.TypeChecking.Rules.LHS.ProblemRest ( src/full/Agda/TypeChecking/Rules/LHS/ProblemRest.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.10.1/Agda-2.6.1/build/Agda/TypeChecking/Rules/LHS/ProblemRest.o, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.10.1/Agda-2.6.1/build/Agda/TypeChecking/Rules/LHS/ProblemRest.dyn_o ) [274 of 369] Compiling Agda.TypeChecking.Functions ( src/full/Agda/TypeChecking/Functions.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.10.1/Agda-2.6.1/build/Agda/TypeChecking/Functions.o, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.10.1/Agda-2.6.1/build/Agda/TypeChecking/Functions.dyn_o ) [275 of 369] Compiling Agda.TypeChecking.Forcing ( src/full/Agda/TypeChecking/Forcing.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.10.1/Agda-2.6.1/build/Agda/TypeChecking/Forcing.o, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.10.1/Agda-2.6.1/build/Agda/TypeChecking/Forcing.dyn_o ) [276 of 369] Compiling Agda.TypeChecking.Datatypes ( src/full/Agda/TypeChecking/Datatypes.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.10.1/Agda-2.6.1/build/Agda/TypeChecking/Datatypes.o, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.10.1/Agda-2.6.1/build/Agda/TypeChecking/Datatypes.dyn_o ) [277 of 369] Compiling Agda.TypeChecking.Rewriting.NonLinPattern ( src/full/Agda/TypeChecking/Rewriting/NonLinPattern.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.10.1/Agda-2.6.1/build/Agda/TypeChecking/Rewriting/NonLinPattern.o, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.10.1/Agda-2.6.1/build/Agda/TypeChecking/Rewriting/NonLinPattern.dyn_o ) [278 of 369] Compiling Agda.TypeChecking.RecordPatterns ( src/full/Agda/TypeChecking/RecordPatterns.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.10.1/Agda-2.6.1/build/Agda/TypeChecking/RecordPatterns.o, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.10.1/Agda-2.6.1/build/Agda/TypeChecking/RecordPatterns.dyn_o ) [279 of 369] Compiling Agda.TypeChecking.Positivity ( src/full/Agda/TypeChecking/Positivity.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.10.1/Agda-2.6.1/build/Agda/TypeChecking/Positivity.o, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.10.1/Agda-2.6.1/build/Agda/TypeChecking/Positivity.dyn_o ) [280 of 369] Compiling Agda.TypeChecking.ProjectionLike ( src/full/Agda/TypeChecking/ProjectionLike.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.10.1/Agda-2.6.1/build/Agda/TypeChecking/ProjectionLike.o, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.10.1/Agda-2.6.1/build/Agda/TypeChecking/ProjectionLike.dyn_o ) [281 of 369] Compiling Agda.TypeChecking.Sort ( src/full/Agda/TypeChecking/Sort.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.10.1/Agda-2.6.1/build/Agda/TypeChecking/Sort.o, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.10.1/Agda-2.6.1/build/Agda/TypeChecking/Sort.dyn_o ) [282 of 369] Compiling Agda.TypeChecking.Pretty.Warning ( src/full/Agda/TypeChecking/Pretty/Warning.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.10.1/Agda-2.6.1/build/Agda/TypeChecking/Pretty/Warning.o, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.10.1/Agda-2.6.1/build/Agda/TypeChecking/Pretty/Warning.dyn_o ) [283 of 369] Compiling Agda.TypeChecking.Polarity ( src/full/Agda/TypeChecking/Polarity.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.10.1/Agda-2.6.1/build/Agda/TypeChecking/Polarity.o, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.10.1/Agda-2.6.1/build/Agda/TypeChecking/Polarity.dyn_o ) [284 of 369] Compiling Agda.TypeChecking.Injectivity ( src/full/Agda/TypeChecking/Injectivity.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.10.1/Agda-2.6.1/build/Agda/TypeChecking/Injectivity.o, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.10.1/Agda-2.6.1/build/Agda/TypeChecking/Injectivity.dyn_o ) [285 of 369] Compiling Agda.TypeChecking.Coverage.Match ( src/full/Agda/TypeChecking/Coverage/Match.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.10.1/Agda-2.6.1/build/Agda/TypeChecking/Coverage/Match.o, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.10.1/Agda-2.6.1/build/Agda/TypeChecking/Coverage/Match.dyn_o ) [286 of 369] Compiling Agda.TypeChecking.Conversion.Pure ( src/full/Agda/TypeChecking/Conversion/Pure.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.10.1/Agda-2.6.1/build/Agda/TypeChecking/Conversion/Pure.o, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.10.1/Agda-2.6.1/build/Agda/TypeChecking/Conversion/Pure.dyn_o ) [287 of 369] Compiling Agda.TypeChecking.Rewriting.NonLinMatch ( src/full/Agda/TypeChecking/Rewriting/NonLinMatch.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.10.1/Agda-2.6.1/build/Agda/TypeChecking/Rewriting/NonLinMatch.o, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.10.1/Agda-2.6.1/build/Agda/TypeChecking/Rewriting/NonLinMatch.dyn_o ) [288 of 369] Compiling Agda.Termination.Monad ( src/full/Agda/Termination/Monad.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.10.1/Agda-2.6.1/build/Agda/Termination/Monad.o, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.10.1/Agda-2.6.1/build/Agda/Termination/Monad.dyn_o ) [289 of 369] Compiling Agda.TypeChecking.Errors ( src/full/Agda/TypeChecking/Errors.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.10.1/Agda-2.6.1/build/Agda/TypeChecking/Errors.o, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.10.1/Agda-2.6.1/build/Agda/TypeChecking/Errors.dyn_o ) [290 of 369] Compiling Agda.TypeChecking.InstanceArguments ( src/full/Agda/TypeChecking/InstanceArguments.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.10.1/Agda-2.6.1/build/Agda/TypeChecking/InstanceArguments.o, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.10.1/Agda-2.6.1/build/Agda/TypeChecking/InstanceArguments.dyn_o ) [291 of 369] Compiling Agda.TypeChecking.Constraints ( src/full/Agda/TypeChecking/Constraints.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.10.1/Agda-2.6.1/build/Agda/TypeChecking/Constraints.o, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.10.1/Agda-2.6.1/build/Agda/TypeChecking/Constraints.dyn_o ) [292 of 369] Compiling Agda.TypeChecking.MetaVars.Occurs ( src/full/Agda/TypeChecking/MetaVars/Occurs.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.10.1/Agda-2.6.1/build/Agda/TypeChecking/MetaVars/Occurs.o, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.10.1/Agda-2.6.1/build/Agda/TypeChecking/MetaVars/Occurs.dyn_o ) [293 of 369] Compiling Agda.TypeChecking.MetaVars ( src/full/Agda/TypeChecking/MetaVars.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.10.1/Agda-2.6.1/build/Agda/TypeChecking/MetaVars.o, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.10.1/Agda-2.6.1/build/Agda/TypeChecking/MetaVars.dyn_o ) [294 of 369] Compiling Agda.TypeChecking.SizedTypes.Solve ( src/full/Agda/TypeChecking/SizedTypes/Solve.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.10.1/Agda-2.6.1/build/Agda/TypeChecking/SizedTypes/Solve.o, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.10.1/Agda-2.6.1/build/Agda/TypeChecking/SizedTypes/Solve.dyn_o ) [295 of 369] Compiling Agda.TypeChecking.Conversion ( src/full/Agda/TypeChecking/Conversion.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.10.1/Agda-2.6.1/build/Agda/TypeChecking/Conversion.o, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.10.1/Agda-2.6.1/build/Agda/TypeChecking/Conversion.dyn_o ) [296 of 369] Compiling Agda.TypeChecking.Unquote ( src/full/Agda/TypeChecking/Unquote.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.10.1/Agda-2.6.1/build/Agda/TypeChecking/Unquote.o, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.10.1/Agda-2.6.1/build/Agda/TypeChecking/Unquote.dyn_o ) [297 of 369] Compiling Agda.TypeChecking.Rules.LHS.Unify ( src/full/Agda/TypeChecking/Rules/LHS/Unify.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.10.1/Agda-2.6.1/build/Agda/TypeChecking/Rules/LHS/Unify.o, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.10.1/Agda-2.6.1/build/Agda/TypeChecking/Rules/LHS/Unify.dyn_o ) [298 of 369] Compiling Agda.TypeChecking.Rewriting.Confluence ( src/full/Agda/TypeChecking/Rewriting/Confluence.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.10.1/Agda-2.6.1/build/Agda/TypeChecking/Rewriting/Confluence.o, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.10.1/Agda-2.6.1/build/Agda/TypeChecking/Rewriting/Confluence.dyn_o ) [299 of 369] Compiling Agda.TypeChecking.Rewriting ( src/full/Agda/TypeChecking/Rewriting.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.10.1/Agda-2.6.1/build/Agda/TypeChecking/Rewriting.o, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.10.1/Agda-2.6.1/build/Agda/TypeChecking/Rewriting.dyn_o ) [300 of 369] Compiling Agda.TypeChecking.Reduce.Fast ( src/full/Agda/TypeChecking/Reduce/Fast.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.10.1/Agda-2.6.1/build/Agda/TypeChecking/Reduce/Fast.o, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.10.1/Agda-2.6.1/build/Agda/TypeChecking/Reduce/Fast.dyn_o ) [301 of 369] Compiling Agda.TypeChecking.IApplyConfluence ( src/full/Agda/TypeChecking/IApplyConfluence.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.10.1/Agda-2.6.1/build/Agda/TypeChecking/IApplyConfluence.o, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.10.1/Agda-2.6.1/build/Agda/TypeChecking/IApplyConfluence.dyn_o ) [302 of 369] Compiling Agda.TypeChecking.Generalize ( src/full/Agda/TypeChecking/Generalize.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.10.1/Agda-2.6.1/build/Agda/TypeChecking/Generalize.o, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.10.1/Agda-2.6.1/build/Agda/TypeChecking/Generalize.dyn_o ) [303 of 369] Compiling Agda.TypeChecking.Rules.Data ( src/full/Agda/TypeChecking/Rules/Data.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.10.1/Agda-2.6.1/build/Agda/TypeChecking/Rules/Data.o, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.10.1/Agda-2.6.1/build/Agda/TypeChecking/Rules/Data.dyn_o ) [304 of 369] Compiling Agda.TypeChecking.CheckInternal ( src/full/Agda/TypeChecking/CheckInternal.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.10.1/Agda-2.6.1/build/Agda/TypeChecking/CheckInternal.o, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.10.1/Agda-2.6.1/build/Agda/TypeChecking/CheckInternal.dyn_o ) [305 of 369] Compiling Agda.TypeChecking.ReconstructParameters ( src/full/Agda/TypeChecking/ReconstructParameters.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.10.1/Agda-2.6.1/build/Agda/TypeChecking/ReconstructParameters.o, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.10.1/Agda-2.6.1/build/Agda/TypeChecking/ReconstructParameters.dyn_o ) [306 of 369] Compiling Agda.TypeChecking.EtaExpand ( src/full/Agda/TypeChecking/EtaExpand.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.10.1/Agda-2.6.1/build/Agda/TypeChecking/EtaExpand.o, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.10.1/Agda-2.6.1/build/Agda/TypeChecking/EtaExpand.dyn_o ) [307 of 369] Compiling Agda.TypeChecking.Abstract ( src/full/Agda/TypeChecking/Abstract.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.10.1/Agda-2.6.1/build/Agda/TypeChecking/Abstract.o, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.10.1/Agda-2.6.1/build/Agda/TypeChecking/Abstract.dyn_o ) [308 of 369] Compiling Agda.TypeChecking.With ( src/full/Agda/TypeChecking/With.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.10.1/Agda-2.6.1/build/Agda/TypeChecking/With.o, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.10.1/Agda-2.6.1/build/Agda/TypeChecking/With.dyn_o ) [309 of 369] Compiling Agda.Termination.TermCheck ( src/full/Agda/Termination/TermCheck.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.10.1/Agda-2.6.1/build/Agda/Termination/TermCheck.o, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.10.1/Agda-2.6.1/build/Agda/Termination/TermCheck.dyn_o ) [310 of 369] Compiling Agda.Syntax.Internal.SanityCheck ( src/full/Agda/Syntax/Internal/SanityCheck.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.10.1/Agda-2.6.1/build/Agda/Syntax/Internal/SanityCheck.o, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.10.1/Agda-2.6.1/build/Agda/Syntax/Internal/SanityCheck.dyn_o ) [311 of 369] Compiling Agda.Syntax.IdiomBrackets ( src/full/Agda/Syntax/IdiomBrackets.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.10.1/Agda-2.6.1/build/Agda/Syntax/IdiomBrackets.o, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.10.1/Agda-2.6.1/build/Agda/Syntax/IdiomBrackets.dyn_o ) [312 of 369] Compiling Agda.Syntax.DoNotation ( src/full/Agda/Syntax/DoNotation.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.10.1/Agda-2.6.1/build/Agda/Syntax/DoNotation.o, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.10.1/Agda-2.6.1/build/Agda/Syntax/DoNotation.dyn_o ) [313 of 369] Compiling Agda.Interaction.Monad ( src/full/Agda/Interaction/Monad.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.10.1/Agda-2.6.1/build/Agda/Interaction/Monad.o, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.10.1/Agda-2.6.1/build/Agda/Interaction/Monad.dyn_o ) [314 of 369] Compiling Agda.Interaction.JSON ( src/full/Agda/Interaction/JSON.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.10.1/Agda-2.6.1/build/Agda/Interaction/JSON.o, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.10.1/Agda-2.6.1/build/Agda/Interaction/JSON.dyn_o ) [315 of 369] Compiling Agda.Interaction.Highlighting.Vim ( src/full/Agda/Interaction/Highlighting/Vim.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.10.1/Agda-2.6.1/build/Agda/Interaction/Highlighting/Vim.o, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.10.1/Agda-2.6.1/build/Agda/Interaction/Highlighting/Vim.dyn_o ) [316 of 369] Compiling Agda.Interaction.Highlighting.Dot ( src/full/Agda/Interaction/Highlighting/Dot.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.10.1/Agda-2.6.1/build/Agda/Interaction/Highlighting/Dot.o, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.10.1/Agda-2.6.1/build/Agda/Interaction/Highlighting/Dot.dyn_o ) [317 of 369] Compiling Agda.Interaction.Highlighting.Common ( src/full/Agda/Interaction/Highlighting/Common.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.10.1/Agda-2.6.1/build/Agda/Interaction/Highlighting/Common.o, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.10.1/Agda-2.6.1/build/Agda/Interaction/Highlighting/Common.dyn_o ) [318 of 369] Compiling Agda.Compiler.Treeless.Unused ( src/full/Agda/Compiler/Treeless/Unused.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.10.1/Agda-2.6.1/build/Agda/Compiler/Treeless/Unused.o, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.10.1/Agda-2.6.1/build/Agda/Compiler/Treeless/Unused.dyn_o ) [319 of 369] Compiling Agda.Compiler.Treeless.Simplify ( src/full/Agda/Compiler/Treeless/Simplify.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.10.1/Agda-2.6.1/build/Agda/Compiler/Treeless/Simplify.o, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.10.1/Agda-2.6.1/build/Agda/Compiler/Treeless/Simplify.dyn_o ) [320 of 369] Compiling Agda.Compiler.Treeless.NormalizeNames ( src/full/Agda/Compiler/Treeless/NormalizeNames.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.10.1/Agda-2.6.1/build/Agda/Compiler/Treeless/NormalizeNames.o, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.10.1/Agda-2.6.1/build/Agda/Compiler/Treeless/NormalizeNames.dyn_o ) [321 of 369] Compiling Agda.Compiler.Treeless.Identity ( src/full/Agda/Compiler/Treeless/Identity.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.10.1/Agda-2.6.1/build/Agda/Compiler/Treeless/Identity.o, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.10.1/Agda-2.6.1/build/Agda/Compiler/Treeless/Identity.dyn_o ) [322 of 369] Compiling Agda.Compiler.Treeless.Erase ( src/full/Agda/Compiler/Treeless/Erase.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.10.1/Agda-2.6.1/build/Agda/Compiler/Treeless/Erase.o, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.10.1/Agda-2.6.1/build/Agda/Compiler/Treeless/Erase.dyn_o ) [323 of 369] Compiling Agda.Compiler.Treeless.EliminateLiteralPatterns ( src/full/Agda/Compiler/Treeless/EliminateLiteralPatterns.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.10.1/Agda-2.6.1/build/Agda/Compiler/Treeless/EliminateLiteralPatterns.o, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.10.1/Agda-2.6.1/build/Agda/Compiler/Treeless/EliminateLiteralPatterns.dyn_o ) [324 of 369] Compiling Agda.Compiler.Treeless.EliminateDefaults ( src/full/Agda/Compiler/Treeless/EliminateDefaults.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.10.1/Agda-2.6.1/build/Agda/Compiler/Treeless/EliminateDefaults.o, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.10.1/Agda-2.6.1/build/Agda/Compiler/Treeless/EliminateDefaults.dyn_o ) [325 of 369] Compiling Agda.Compiler.Treeless.Builtin ( src/full/Agda/Compiler/Treeless/Builtin.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.10.1/Agda-2.6.1/build/Agda/Compiler/Treeless/Builtin.o, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.10.1/Agda-2.6.1/build/Agda/Compiler/Treeless/Builtin.dyn_o ) [326 of 369] Compiling Agda.Compiler.MAlonzo.Compiler[boot] ( src/full/Agda/Compiler/MAlonzo/Compiler.hs-boot, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.10.1/Agda-2.6.1/build/Agda/Compiler/MAlonzo/Compiler.o-boot, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.10.1/Agda-2.6.1/build/Agda/Compiler/MAlonzo/Compiler.dyn_o ) [327 of 369] Compiling Agda.Compiler.MAlonzo.Coerce ( src/full/Agda/Compiler/MAlonzo/Coerce.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.10.1/Agda-2.6.1/build/Agda/Compiler/MAlonzo/Coerce.o, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.10.1/Agda-2.6.1/build/Agda/Compiler/MAlonzo/Coerce.dyn_o ) [328 of 369] Compiling Agda.Compiler.CallCompiler ( src/full/Agda/Compiler/CallCompiler.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.10.1/Agda-2.6.1/build/Agda/Compiler/CallCompiler.o, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.10.1/Agda-2.6.1/build/Agda/Compiler/CallCompiler.dyn_o ) [329 of 369] Compiling Agda.Interaction.Highlighting.JSON ( src/full/Agda/Interaction/Highlighting/JSON.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.10.1/Agda-2.6.1/build/Agda/Interaction/Highlighting/JSON.o, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.10.1/Agda-2.6.1/build/Agda/Interaction/Highlighting/JSON.dyn_o ) [330 of 369] Compiling Agda.Interaction.Highlighting.Generate ( src/full/Agda/Interaction/Highlighting/Generate.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.10.1/Agda-2.6.1/build/Agda/Interaction/Highlighting/Generate.o, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.10.1/Agda-2.6.1/build/Agda/Interaction/Highlighting/Generate.dyn_o ) [331 of 369] Compiling Agda.TypeChecking.Rules.LHS ( src/full/Agda/TypeChecking/Rules/LHS.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.10.1/Agda-2.6.1/build/Agda/TypeChecking/Rules/LHS.o, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.10.1/Agda-2.6.1/build/Agda/TypeChecking/Rules/LHS.dyn_o ) [332 of 369] Compiling Agda.TypeChecking.Rules.Term ( src/full/Agda/TypeChecking/Rules/Term.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.10.1/Agda-2.6.1/build/Agda/TypeChecking/Rules/Term.o, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.10.1/Agda-2.6.1/build/Agda/TypeChecking/Rules/Term.dyn_o ) [333 of 369] Compiling Agda.TypeChecking.Rules.Builtin ( src/full/Agda/TypeChecking/Rules/Builtin.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.10.1/Agda-2.6.1/build/Agda/TypeChecking/Rules/Builtin.o, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.10.1/Agda-2.6.1/build/Agda/TypeChecking/Rules/Builtin.dyn_o ) [334 of 369] Compiling Agda.TypeChecking.Rules.Builtin.Coinduction ( src/full/Agda/TypeChecking/Rules/Builtin/Coinduction.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.10.1/Agda-2.6.1/build/Agda/TypeChecking/Rules/Builtin/Coinduction.o, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.10.1/Agda-2.6.1/build/Agda/TypeChecking/Rules/Builtin/Coinduction.dyn_o ) [335 of 369] Compiling Agda.Syntax.Translation.ConcreteToAbstract ( src/full/Agda/Syntax/Translation/ConcreteToAbstract.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.10.1/Agda-2.6.1/build/Agda/Syntax/Translation/ConcreteToAbstract.o, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.10.1/Agda-2.6.1/build/Agda/Syntax/Translation/ConcreteToAbstract.dyn_o ) [336 of 369] Compiling Agda.TypeChecking.Coverage ( src/full/Agda/TypeChecking/Coverage.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.10.1/Agda-2.6.1/build/Agda/TypeChecking/Coverage.o, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.10.1/Agda-2.6.1/build/Agda/TypeChecking/Coverage.dyn_o ) [337 of 369] Compiling Agda.TypeChecking.Empty ( src/full/Agda/TypeChecking/Empty.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.10.1/Agda-2.6.1/build/Agda/TypeChecking/Empty.o, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.10.1/Agda-2.6.1/build/Agda/TypeChecking/Empty.dyn_o ) [338 of 369] Compiling Agda.TypeChecking.CompiledClause.Compile ( src/full/Agda/TypeChecking/CompiledClause/Compile.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.10.1/Agda-2.6.1/build/Agda/TypeChecking/CompiledClause/Compile.o, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.10.1/Agda-2.6.1/build/Agda/TypeChecking/CompiledClause/Compile.dyn_o ) [339 of 369] Compiling Agda.TypeChecking.Rules.Record ( src/full/Agda/TypeChecking/Rules/Record.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.10.1/Agda-2.6.1/build/Agda/TypeChecking/Rules/Record.o, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.10.1/Agda-2.6.1/build/Agda/TypeChecking/Rules/Record.dyn_o ) [340 of 369] Compiling Agda.TypeChecking.Rules.Def ( src/full/Agda/TypeChecking/Rules/Def.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.10.1/Agda-2.6.1/build/Agda/TypeChecking/Rules/Def.o, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.10.1/Agda-2.6.1/build/Agda/TypeChecking/Rules/Def.dyn_o ) [341 of 369] Compiling Agda.Compiler.ToTreeless ( src/full/Agda/Compiler/ToTreeless.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.10.1/Agda-2.6.1/build/Agda/Compiler/ToTreeless.o, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.10.1/Agda-2.6.1/build/Agda/Compiler/ToTreeless.dyn_o ) [342 of 369] Compiling Agda.TypeChecking.Rules.Application ( src/full/Agda/TypeChecking/Rules/Application.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.10.1/Agda-2.6.1/build/Agda/TypeChecking/Rules/Application.o, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.10.1/Agda-2.6.1/build/Agda/TypeChecking/Rules/Application.dyn_o ) [343 of 369] Compiling Agda.TypeChecking.Rules.Decl ( src/full/Agda/TypeChecking/Rules/Decl.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.10.1/Agda-2.6.1/build/Agda/TypeChecking/Rules/Decl.o, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.10.1/Agda-2.6.1/build/Agda/TypeChecking/Rules/Decl.dyn_o ) [344 of 369] Compiling Agda.TheTypeChecker ( src/full/Agda/TheTypeChecker.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.10.1/Agda-2.6.1/build/Agda/TheTypeChecker.o, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.10.1/Agda-2.6.1/build/Agda/TheTypeChecker.dyn_o ) [345 of 369] Compiling Agda.Interaction.Highlighting.Emacs ( src/full/Agda/Interaction/Highlighting/Emacs.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.10.1/Agda-2.6.1/build/Agda/Interaction/Highlighting/Emacs.o, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.10.1/Agda-2.6.1/build/Agda/Interaction/Highlighting/Emacs.dyn_o ) [346 of 369] Compiling Agda.Interaction.BasicOps ( src/full/Agda/Interaction/BasicOps.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.10.1/Agda-2.6.1/build/Agda/Interaction/BasicOps.o, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.10.1/Agda-2.6.1/build/Agda/Interaction/BasicOps.dyn_o ) ghc: out of memory (requested 1048576 bytes) cabal: Failed to build Agda-2.6.1. The build process terminated with exit code 251 *** Error code 1 Stop. make: stopped in /usr/ports/math/hs-Agdahelp
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?20200818150017460.lucia>