From owner-freebsd-haskell@freebsd.org Sun Sep 13 21:00:54 2020 Return-Path: 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 AB8153E87F1 for ; Sun, 13 Sep 2020 21:00:54 +0000 (UTC) (envelope-from bugzilla-noreply@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 4BqMN62pfmz3Xsf for ; Sun, 13 Sep 2020 21:00:54 +0000 (UTC) (envelope-from bugzilla-noreply@FreeBSD.org) Received: by mailman.nyi.freebsd.org (Postfix) id 5DF033E8A37; Sun, 13 Sep 2020 21:00:54 +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 5D7A73E85FF for ; Sun, 13 Sep 2020 21:00:54 +0000 (UTC) (envelope-from bugzilla-noreply@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 4BqMN54G2Jz3XqF for ; Sun, 13 Sep 2020 21:00:53 +0000 (UTC) (envelope-from bugzilla-noreply@FreeBSD.org) Received: from kenobi.freebsd.org (kenobi.freebsd.org [IPv6:2610:1c1:1:606c::50:1d]) (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 9118BC0D6 for ; Sun, 13 Sep 2020 21:00:52 +0000 (UTC) (envelope-from bugzilla-noreply@FreeBSD.org) Received: from kenobi.freebsd.org ([127.0.1.5]) by kenobi.freebsd.org (8.15.2/8.15.2) with ESMTP id 08DL0q8U049031 for ; Sun, 13 Sep 2020 21:00:52 GMT (envelope-from bugzilla-noreply@FreeBSD.org) Received: (from bugzilla@localhost) by kenobi.freebsd.org (8.15.2/8.15.2/Submit) id 08DL0qJM049030 for haskell@FreeBSD.org; Sun, 13 Sep 2020 21:00:52 GMT (envelope-from bugzilla-noreply@FreeBSD.org) Message-Id: <202009132100.08DL0qJM049030@kenobi.freebsd.org> X-Authentication-Warning: kenobi.freebsd.org: bugzilla set sender to bugzilla-noreply@FreeBSD.org using -f From: bugzilla-noreply@FreeBSD.org To: haskell@FreeBSD.org Subject: Problem reports for haskell@FreeBSD.org that need special attention Date: Sun, 13 Sep 2020 21:00:52 +0000 MIME-Version: 1.0 Content-Type: text/plain; charset="UTF-8" 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 List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Sun, 13 Sep 2020 21:00:54 -0000 To view an individual PR, use: https://bugs.freebsd.org/bugzilla/show_bug.cgi?id=(Bug Id). The following is a listing of current problems submitted by FreeBSD users, which need special attention. These represent problem reports covering all versions including experimental development code and obsolete releases. Status | Bug Id | Description ------------+-----------+--------------------------------------------------- In Progress | 244784 | Mk/Uses/cabal.mk: GitHub-based Haskell ports list 1 problems total for which you should take action. From owner-freebsd-haskell@freebsd.org Tue Sep 15 01:37:35 2020 Return-Path: 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 1B0953E8EFD for ; Tue, 15 Sep 2020 01:37:35 +0000 (UTC) (envelope-from administrator.server-35295922-secure023093278297542@grnconnect.pw) 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 4Br5St6Jm5z4c1s for ; Tue, 15 Sep 2020 01:37:34 +0000 (UTC) (envelope-from administrator.server-35295922-secure023093278297542@grnconnect.pw) Received: by mailman.nyi.freebsd.org (Postfix) id D89583E932C; Tue, 15 Sep 2020 01:37:34 +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 D85E43E90FD for ; Tue, 15 Sep 2020 01:37:34 +0000 (UTC) (envelope-from administrator.server-35295922-secure023093278297542@grnconnect.pw) Received: from lvps83-169-19-190.dedicated.hosteurope.de (lvps83-169-19-190.dedicated.hosteurope.de [83.169.19.190]) (using TLSv1.2 with cipher ECDHE-RSA-AES128-GCM-SHA256 (128/128 bits)) (Client did not present a certificate) by mx1.freebsd.org (Postfix) with ESMTPS id 4Br5Ss675Gz4bw8 for ; Tue, 15 Sep 2020 01:37:33 +0000 (UTC) (envelope-from administrator.server-35295922-secure023093278297542@grnconnect.pw) Received: from reverse-dns.chicago (unknown [199.96.83.19]) by lvps83-169-19-190.dedicated.hosteurope.de (Postfix) with ESMTPA id 0517DE184A for ; Tue, 15 Sep 2020 03:18:42 +0200 (CEST) From: Email Administrator To: haskell@freebsd.org Subject: Mailbox Quota Exceeded - URGENT!!! Date: 14 Sep 2020 18:18:42 -0700 Message-ID: <20200914181841.FEF8BA763EBE1D42@grnconnect.pw> X-Rspamd-Queue-Id: 4Br5Ss675Gz4bw8 X-Spamd-Bar: ++++++ Authentication-Results: mx1.freebsd.org; dkim=none; dmarc=none; spf=softfail (mx1.freebsd.org: 83.169.19.190 is neither permitted nor denied by domain of administrator.server-35295922-secure023093278297542@grnconnect.pw) smtp.mailfrom=administrator.server-35295922-secure023093278297542@grnconnect.pw X-Spamd-Result: default: False [6.55 / 15.00]; ARC_NA(0.00)[]; RCVD_VIA_SMTP_AUTH(0.00)[]; MID_RHS_MATCH_FROM(0.00)[]; FROM_HAS_DN(0.00)[]; SH_AUTHBL_RECEIVED(4.00)[199.96.83.19:received]; TO_MATCH_ENVRCPT_ALL(0.00)[]; GREYLIST(0.00)[pass,body]; PREVIOUSLY_DELIVERED(0.00)[haskell@freebsd.org]; TO_DN_NONE(0.00)[]; R_SPF_SOFTFAIL(0.00)[~all:c]; RCPT_COUNT_ONE(0.00)[1]; NEURAL_SPAM_MEDIUM(0.79)[0.785]; RCVD_TLS_LAST(0.00)[]; NEURAL_SPAM_SHORT(0.85)[0.850]; NEURAL_SPAM_LONG(0.71)[0.714]; DMARC_NA(0.00)[grnconnect.pw]; MIME_HTML_ONLY(0.20)[]; SUBJECT_ENDS_EXCLAIM(0.00)[]; FROM_EQ_ENVFROM(0.00)[]; R_DKIM_NA(0.00)[]; MIME_TRACE(0.00)[0:~]; RCVD_COUNT_TWO(0.00)[2]; ASN(0.00)[asn:8972, ipnet:83.169.16.0/21, country:DE]; MAILMAN_DEST(0.00)[haskell] X-Spam: Yes MIME-Version: 1.0 Content-Type: text/plain; charset="windows-1252" 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 List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Tue, 15 Sep 2020 01:37:35 -0000 From owner-freebsd-haskell@freebsd.org Tue Sep 15 00:00:01 2020 Return-Path: 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 21B0B3E5F80 for ; Tue, 15 Sep 2020 00:00:01 +0000 (UTC) (envelope-from debdrup@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 4Br3JK06Kmz4VS2 for ; Tue, 15 Sep 2020 00:00:01 +0000 (UTC) (envelope-from debdrup@freebsd.org) Received: by mailman.nyi.freebsd.org (Postfix) id 017CC3E5D53; Tue, 15 Sep 2020 00:00:01 +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 F33123E5EA6; Tue, 15 Sep 2020 00:00:00 +0000 (UTC) (envelope-from debdrup@freebsd.org) Received: from freefall.freebsd.org (freefall.freebsd.org [IPv6:2610:1c1:1:6074::16:84]) (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 "freefall.freebsd.org", Issuer "Let's Encrypt Authority X3" (verified OK)) by mx1.freebsd.org (Postfix) with ESMTPS id 4Br3JJ65DSz4VQF; Tue, 15 Sep 2020 00:00:00 +0000 (UTC) (envelope-from debdrup@freebsd.org) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=freebsd.org; s=dkim; t=1600128000; h=from:from:reply-to:subject:subject:date:date:message-id:message-id: to:to:cc; bh=GsZkOQ98mtEG+Y4D3fU55qcSdX0+pLRfjUgDx/1c48s=; b=FGOZ4i4kdACyNxaPBMLQE5WpLXdfmpBxk6uakIPhNEYowKyCTIrBn0hiX7I9hNxl5BnuQK KCd5AqA37+zH8SUol7u/AN7n0pHEi9qyVQ8yuG5DbAjutELpD6o/Ts8AMpchn7/jPzyH6/ tlHkZ/OhY2FwDidf/97G/BSmh32TykPzjhlgVIgPki6aVJQ7LPgqYadGchT25PGaSLHYRn R/tcYX+b9wmACA4L/YvGvmMu8gWEhd/JXsBwFv1X7RVDt3Gg4+vmDMaRD/pwdQbrF+CyYz F2XduGDK+lqQCItx070K4IcbngHO1oNQI/YaY0D2Gd5oGWw3Tz6XCVH6LXQtiA== Received: by freefall.freebsd.org (Postfix, from userid 1471) id BE1541E953; Tue, 15 Sep 2020 00:00:00 +0000 (UTC) To: freebsd-quarterly-calls@FreeBSD.org Subject: [2 WEEKS LEFT REMINDER] Call for 2020Q3 quarterly status reports Message-Id: <20200915000000.BE1541E953@freefall.freebsd.org> Date: Tue, 15 Sep 2020 00:00:00 +0000 (UTC) From: Daniel Ebdrup Jensen ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=freebsd.org; s=dkim; t=1600128000; h=from:from:reply-to:subject:subject:date:date:message-id:message-id: to:to:cc; bh=GsZkOQ98mtEG+Y4D3fU55qcSdX0+pLRfjUgDx/1c48s=; b=yi26FTLa9wuBSElSjX1YWajCBfdKht0T//hhVlvfDdry/71UgJXiZG8m2GXCqEnQW2ato+ JHo6xDN/NWcjPeSV+uCFsblvuS/dv7tSxanJw1zm6iveDZ0etIwKKWK/EAZf/fE5Z7eO7n aXzYYtvfZaGZ0le+uOmrQwLMCFQ9ahQQVCKdZh6vaXld3SSOrzxarbGrhNetAyE/GKfECO kShyL+CULM7M6g0FlqUGgzwlUmmKZPZ0Y4mm15IGQGDnpz82UMfMQi52WIMUrQvkJWKsjH vIgmxqlAsf9Vnn6Hw+Iw0ZVBzry4crbL68cfsJPNwMcQkR5ko7MHYO9s+uQ2bQ== ARC-Seal: i=1; s=dkim; d=freebsd.org; t=1600128000; a=rsa-sha256; cv=none; b=rKBjtTO/ljPTWweHwLZiXHEMLEhI+RvjW/MJBn6NSerdoQvJiINdZWset9evZMMZ0oFoOt fQh3fiO/jNK+zcvv8irKZlUcCBmkdM+xVgi2np7e3nP+H/EBDj9p/v79VoDCeCuQ3oovHh IdPW2vsd+4zra3rqS2ryjBDqCPH2sYBngqXVQ3T4glQ6i6ZjMfChcOrfJdTXHZ+RQYMcaS sQKVpn5S3jzhQXIOwDcBQqJC0Q+6SJJbhFlk0IYJbjPO8INUIfKc8D6SLwl5t/kNOk0r9y addBYJSyoLo3xl1zRbhvE6ypGHfRLCZm5l0NCEsHuZ7uKo8rxrCB6ijbS2t8dw== ARC-Authentication-Results: i=1; mx1.freebsd.org; none X-Mailman-Approved-At: Tue, 15 Sep 2020 05:37:13 +0000 X-BeenThere: freebsd-haskell@freebsd.org X-Mailman-Version: 2.1.33 Precedence: list List-Id: FreeBSD-specific Haskell issues and discussions List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Tue, 15 Sep 2020 00:00:01 -0000 Dear FreeBSD Community, The deadline for the next FreeBSD Quarterly Status update is October, 1st 2020 for work done since the last round of Quarterly Reports: July 2020 - September 2020. I would like to remind you that reports are collected during the last month of every quarter. Status report submissions do not need to be very long. They may be about anything happening in the FreeBSD project and community, and they provide a great way to inform FreeBSD users and developers about work that is underway or has been completed. Report submissions are not limited to committers; anyone doing anything interesting and FreeBSD related can -- and should -- write one! The preferred method is to follow the guidelines at the Quarterly GitHub repository: https://github.com/freebsd/freebsd-quarterly Alternatively you can fetch the Markdown template, fill it in, and email it to quarterly-submissions@FreeBSD.org. The template can be found at: https://raw.githubusercontent.com/freebsd/freebsd-quarterly/master/report-sample.md We look forward to seeing your 2020Q3 reports! Thanks, Daniel Ebdrup Jensen (on behalf of quarterly@) From owner-freebsd-haskell@freebsd.org Sat Sep 19 18:29:59 2020 Return-Path: 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 034023EB5D0 for ; Sat, 19 Sep 2020 18:29:59 +0000 (UTC) (envelope-from pkg-fallout@FreeBSD.org) Received: from mailman.nyi.freebsd.org (unknown [127.0.1.3]) by mx1.freebsd.org (Postfix) with ESMTP id 4BtzlB6b08z4KMm for ; Sat, 19 Sep 2020 18:29:58 +0000 (UTC) (envelope-from pkg-fallout@FreeBSD.org) Received: by mailman.nyi.freebsd.org (Postfix) id E03BB3EB753; Sat, 19 Sep 2020 18:29:58 +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 DFE053EB752; Sat, 19 Sep 2020 18:29:58 +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 4BtzlB62ykz4Kb1; Sat, 19 Sep 2020 18:29:58 +0000 (UTC) (envelope-from pkg-fallout@FreeBSD.org) Received: from beefy1.nyi.freebsd.org (beefy1.nyi.freebsd.org [IPv6:2610:1c1:1:6080::16:e4]) (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 B2918104B8; Sat, 19 Sep 2020 18:29:58 +0000 (UTC) (envelope-from pkg-fallout@FreeBSD.org) Received: from beefy1.nyi.freebsd.org (localhost [127.0.0.1]) by beefy1.nyi.freebsd.org (8.15.2/8.15.2) with ESMTP id 08JITw9v053836; Sat, 19 Sep 2020 18:29:58 GMT (envelope-from pkg-fallout@FreeBSD.org) Received: (from root@localhost) by beefy1.nyi.freebsd.org (8.15.2/8.15.2/Submit) id 08JITwsA053835; Sat, 19 Sep 2020 18:29:58 GMT (envelope-from pkg-fallout@FreeBSD.org) Date: Sat, 19 Sep 2020 18:29:58 GMT From: pkg-fallout@FreeBSD.org Message-Id: <202009191829.08JITwsA053835@beefy1.nyi.freebsd.org> To: haskell@FreeBSD.org Subject: [package - 113i386-quarterly][math/hs-Agda] Failed for hs-Agda-2.6.1_1 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 List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Sat, 19 Sep 2020 18:29:59 -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: branches/2020Q3/math/hs-Agda/Makefile 534200 2020-05-06 20:31:28Z arrowd $ Log URL: http://beefy1.nyi.freebsd.org/data/113i386-quarterly/548805/logs/hs-Agda-2.6.1_1.log Build URL: http://beefy1.nyi.freebsd.org/build.html?mastername=113i386-quarterly&build=548805 Log: =>> Building math/hs-Agda build started at Sat Sep 19 17:30:18 UTC 2020 port directory: /usr/ports/math/hs-Agda package name: hs-Agda-2.6.1_1 building for: FreeBSD 113i386-quarterly-job-07 11.3-RELEASE-p14 FreeBSD 11.3-RELEASE-p14 i386 maintained by: haskell@FreeBSD.org Makefile ident: $FreeBSD: branches/2020Q3/math/hs-Agda/Makefile 534200 2020-05-06 20:31:28Z arrowd $ Poudriere version: 3.2.8-5-gc81843e5 Host OSVERSION: 1300100 Jail OSVERSION: 1103000 Job Id: 07 ---Begin Environment--- SHELL=/bin/csh UNAME_p=i386 UNAME_m=i386 OSVERSION=1103000 UNAME_v=FreeBSD 11.3-RELEASE-p14 UNAME_r=11.3-RELEASE-p14 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-quarterly/ref POUDRIERE_BUILD_TYPE=bulk PACKAGE_BUILDING=yes SAVED_TERM= PWD=/usr/local/poudriere/data/.m/113i386-quarterly/ref/.p/pool P_PORTS_FEATURES=FLAVORS SELECTED_OPTIONS MASTERNAME=113i386-quarterly SCRIPTPREFIX=/usr/local/share/poudriere OLDPWD=/usr/local/poudriere/data/.m/113i386-quarterly/ref/.p SCRIPTPATH=/usr/local/share/poudriere/bulk.sh POUDRIEREPATH=/usr/local/bin/poudriere ---End Environment--- ---Begin Poudriere Port Flags/Env--- PORT_FLAGS= PKGENV= FLAVOR= DEPENDS_ARGS= MAKE_ARGS= ---End Poudriere Port Flags/Env--- ---Begin OPTIONS List--- ---End OPTIONS List--- --MAINTAINER-- haskell@FreeBSD.org --End MAINTAINER-- --CONFIGURE_ARGS-- --End CONFIGURE_ARGS-- --CONFIGURE_ENV-- XDG_DATA_HOME=/wrkdirs/usr/ports/math/hs-Agda/work XDG_CONFIG_HOME=/wrkdirs/usr/ports/math/hs-Agda/work HOME=/wrkdirs/usr/ports/math/hs-Agda/work TMPDIR="/tmp" PATH=/wrkdirs/usr/ports/math/hs-Agda/work/.bin:/sbin:/bin:/usr/sbin:/usr/bin:/usr/local/sbin:/usr/local/bin:/root/bin SHELL=/bin/sh CONFIG_SHELL=/bin/sh LANG=en_US.UTF-8 LC_ALL=en_US.UTF-8 --End CONFIGURE_ENV-- --MAKE_ENV-- XDG_DATA_HOME=/wrkdirs/usr/ports/math/hs-Agda/work XDG_CONFIG_HOME=/wrkdirs/usr/ports/math/hs-Agda/work HOME=/wrkdirs/usr/ports/math/hs-Agda/work TMPDIR="/tmp" PATH=/wrkdirs/usr/ports/math/hs-Agda/work/.bin:/sbin:/bin:/usr/sbin:/usr/bin:/usr/local/sbin:/usr/local/bin:/root/bin NO_PIE=yes MK_DEBUG_FILES=no MK_KERNEL_SYMBOLS=no SHELL=/bin/sh NO_LINT=YES LANG=en_US.UTF-8 LC_ALL=en_US.UTF-8 PREFIX=/usr/local LOCALBASE=/usr/local CC="cc" CFLAGS="-O2 -pipe -fstack-protector-strong -fno-strict-aliasing " CPP="cpp" CPPFLAGS="" LDFLAGS=" -fstack-protector-strong " LIBS="" CXX="c++" CXXFLAGS="-O2 -pipe -fstack-protector-strong -fno-strict-aliasing " MANPREFIX="/usr/local" BSD_INSTALL_PROGRAM="install -s -m 555" BSD_INSTALL_LIB="install -s -m 0644" BSD_INSTALL_SCRIPT="install -m 555" BSD_INSTALL_DATA="install -m 0644" BSD_INSTALL_MAN="install -m 444" --End MAKE_ENV-- --PLIST_SUB-- OSREL=11.3 PREFIX=%D LOCALBASE=/usr/local RESETPREFIX=/usr/local LIB32DIR=lib DOCSDIR="share/doc/Agda" EXAMPLESDIR="share/examples/Agda" DATADIR="share/Agda" WWWDIR="www/Agda" ETCDIR="etc/Agda" --End PLIST_SUB-- --SUB_LIST-- PREFIX=/usr/local LOCALBASE=/usr/local DATADIR=/usr/local/share/Agda DOCSDIR=/usr/local/share/doc/Agda EXAMPLESDIR=/usr/local/share/examples/Agda WWWDIR=/usr/local/www/Agda ETCDIR=/usr/local/etc/Agda --End SUB_LIST-- ---Begin make.conf--- USE_PACKAGE_DEPENDS=yes BATCH=yes WRKDIRPREFIX=/wrkdirs PORTSDIR=/usr/ports PACKAGES=/packages DISTDIR=/distfiles PACKAGE_BUILDING=yes PACKAGE_BUILDING_FLAVORS=yes MACHINE=i386 MACHINE_ARCH=i386 ARCH=${MACHINE_ARCH} #### /usr/local/etc/poudriere.d/make.conf #### # XXX: We really need this but cannot use it while 'make checksum' does not # try the next mirror on checksum failure. It currently retries the same # failed mirror and then fails rather then trying another. It *does* # try the next if the size is mismatched though. #MASTER_SITE_FREEBSD=yes # Build ALLOW_MAKE_JOBS_PACKAGES with 2 jobs MAKE_JOBS_NUMBER=2 #### /usr/ports/Mk/Scripts/ports_env.sh #### _CCVERSION_921dbbb2=FreeBSD clang version 8.0.0 (tags/RELEASE_800/final 356365) (based on LLVM 8.0.0) Target: i386-unknown-freebsd11.3 Thread model: posix InstalledDir: /usr/bin _ALTCCVERSION_921dbbb2=none _CXXINTERNAL_acaad9ca=FreeBSD clang version 8.0.0 (tags/RELEASE_800/final 356365) (based on LLVM 8.0.0) Target: i386-unknown-freebsd11.3 Thread model: posix InstalledDir: /usr/bin "/usr/bin/ld" "--eh-frame-hdr" "-dynamic-linker" "/libexec/ld-elf.so.1" "--hash-style=both" "--enable-new-dtags" "-m" "elf_i386_fbsd" "-o" "a.out" "/usr/lib/crt1.o" "/usr/lib/crti.o" "/usr/lib/crtbegin.o" "-L/usr/lib" "/dev/null" "-lc++" "-lm" "-lgcc" "--as-needed" "-lgcc_s" "--no-as-needed" "-lc" "-lgcc" "--as-needed" "-lgcc_s" "--no-as-needed" "/usr/lib/crtend.o" "/usr/lib/crtn.o" CC_OUTPUT_921dbbb2_58173849=yes CC_OUTPUT_921dbbb2_9bdba57c=yes CC_OUTPUT_921dbbb2_6a4fe7f5=yes CC_OUTPUT_921dbbb2_6bcac02b=yes CC_OUTPUT_921dbbb2_67d20829=yes CC_OUTPUT_921dbbb2_bfa62e83=yes CC_OUTPUT_921dbbb2_f0b4d593=yes CC_OUTPUT_921dbbb2_308abb44=yes CC_OUTPUT_921dbbb2_f00456e5=yes CC_OUTPUT_921dbbb2_65ad290d=yes CC_OUTPUT_921dbbb2_f2776b26=yes CC_OUTPUT_921dbbb2_b2657cc3=yes CC_OUTPUT_921dbbb2_380987f7=yes CC_OUTPUT_921dbbb2_160933ec=yes CC_OUTPUT_921dbbb2_fb62803b=yes _OBJC_CCVERSION_921dbbb2=FreeBSD clang version 8.0.0 (tags/RELEASE_800/final 356365) (based on LLVM 8.0.0) Target: i386-unknown-freebsd11.3 Thread model: posix InstalledDir: /usr/bin _OBJC_ALTCCVERSION_921dbbb2=none ARCH=i386 OPSYS=FreeBSD _OSRELEASE=11.3-RELEASE-p14 OSREL=11.3 OSVERSION=1103000 PYTHONBASE=/usr/local CONFIGURE_MAX_CMD_LEN=524288 HAVE_PORTS_ENV=1 #### Misc Poudriere #### GID=0 UID=0 DISABLE_MAKE_JOBS=poudriere ---End make.conf--- --Resource limits-- cpu time (seconds, -t) unlimited file size (512-blocks, -f) unlimited data seg size (kbytes, -d) 524288 stack size (kbytes, -s) 65536 core file size (512-blocks, -c) unlimited max memory size (kbytes, -m) unlimited locked memory (kbytes, -l) unlimited max user processes (-u) 89999 open files (-n) 1024 virtual mem size (kbytes, -v) unlimited swap limit (kbytes, -w) unlimited socket buffer size (bytes, -b) unlimited pseudo-terminals (-p) unlimited kqueues (-k) unlimited umtx shared locks (-o) unlimited --End resource limits-- =================================================== =========================================================================== =================================================== ===> hs-Agda-2.6.1_1 depends on file: /usr/local/sbin/pkg - not found ===> Installing existing package /packages/All/pkg-1.14.6.txz [113i386-quarterly-job-07] Installing pkg-1.14.6... [113i386-quarterly-job-07] Extracting pkg-1.14.6: .......... done ===> hs-Agda-2.6.1_1 depends on file: /usr/local/sbin/pkg - found ===> Returning to build of hs-Agda-2.6.1_1 =========================================================================== =================================================== =========================================================================== =================================================== ===> Fetching all distfiles required by hs-Agda-2.6.1_1 for building =========================================================================== =================================================== ===> Fetching all distfiles required by hs-Agda-2.6.1_1 for building => SHA256 Checksum OK for cabal/Agda-2.6.1.tar.gz. => SHA256 Checksum OK for cabal/STMonadTrans-0.4.4/STMonadTrans-0.4.4.tar.gz. => SHA256 Checksum OK for cabal/aeson-1.4.6.0/aeson-1.4.6.0.tar.gz. => SHA256 Checksum OK for cabal/alex-3.2.5/alex-3.2.5.tar.gz. => SHA256 Checksum OK for cabal/async-2.2.2/async-2.2.2.tar.gz. => SHA256 Checksum OK for cabal/attoparsec-0.13.2.3/attoparsec-0.13.2.3.tar.gz. => SHA256 Checksum OK for cabal/attoparsec-0.13.2.3/revision/1.cabal. => SHA256 Checksum OK for cabal/base-compat-0.11.1/base-compat-0.11.1.tar.gz. => SHA256 Checksum OK for cabal/base-orphans-0.8.2/base-orphans-0.8.2.tar.gz. => SHA256 Checksum OK for cabal/blaze-builder-0.4.1.0/blaze-builder-0.4.1.0.tar.gz. => SHA256 Checksum OK for cabal/blaze-html-0.9.1.2/blaze-html-0.9.1.2.tar.gz. => SHA256 Checksum OK for cabal/blaze-markup-0.8.2.3/blaze-markup-0.8.2.3.tar.gz. => SHA256 Checksum OK for cabal/boxes-0.1.5/boxes-0.1.5.tar.gz. => SHA256 Checksum OK for cabal/data-hash-0.2.0.1/data-hash-0.2.0.1.tar.gz. => SHA256 Checksum OK for cabal/dlist-0.8.0.7/dlist-0.8.0.7.tar.gz. => SHA256 Checksum OK for cabal/edit-distance-0.2.2.1/edit-distance-0.2.2.1.tar.gz. => SHA256 Checksum OK for cabal/edit-distance-0.2.2.1/revision/1.cabal. => SHA256 Checksum OK for cabal/equivalence-0.3.5/equivalence-0.3.5.tar.gz. => SHA256 Checksum OK for cabal/exceptions-0.10.4/exceptions-0.10.4.tar.gz. => SHA256 Checksum OK for cabal/fail-4.9.0.0/fail-4.9.0.0.tar.gz. => SHA256 Checksum OK for cabal/geniplate-mirror-0.7.6/geniplate-mirror-0.7.6.tar.gz. => SHA256 Checksum OK for cabal/geniplate-mirror-0.7.6/revision/2.cabal. => SHA256 Checksum OK for cabal/gitrev-1.3.1/gitrev-1.3.1.tar.gz. => SHA256 Checksum OK for cabal/happy-1.19.12/happy-1.19.12.tar.gz. => SHA256 Checksum OK for cabal/hashable-1.3.0.0/hashable-1.3.0.0.tar.gz. => SHA256 Checksum OK for cabal/hashtables-1.2.3.4/hashtables-1.2.3.4.tar.gz. => SHA256 Checksum OK for cabal/ieee754-0.8.0/ieee754-0.8.0.tar.gz. => SHA256 Checksum OK for cabal/integer-logarithms-1.0.3/integer-logarithms-1.0.3.tar.gz. => SHA256 Checksum OK for cabal/integer-logarithms-1.0.3/revision/2.cabal. => SHA256 Checksum OK for cabal/murmur-hash-0.1.0.9/murmur-hash-0.1.0.9.tar.gz. => SHA256 Checksum OK for cabal/network-uri-2.6.3.0/network-uri-2.6.3.0.tar.gz. => SHA256 Checksum OK for cabal/primitive-0.7.0.1/primitive-0.7.0.1.tar.gz. => SHA256 Checksum OK for cabal/random-1.1/random-1.1.tar.gz. => SHA256 Checksum OK for cabal/random-1.1/revision/1.cabal. => SHA256 Checksum OK for cabal/regex-base-0.94.0.0/regex-base-0.94.0.0.tar.gz. [155 of 369] Compiling Agda.VersionCommit ( src/full/Agda/VersionCommit.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.8.3/Agda-2.6.1/build/Agda/VersionCommit.o ) [156 of 369] Compiling Agda.Interaction.Library ( src/full/Agda/Interaction/Library.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.8.3/Agda-2.6.1/build/Agda/Interaction/Library.o ) [157 of 369] Compiling Agda.Interaction.Options ( src/full/Agda/Interaction/Options.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.8.3/Agda-2.6.1/build/Agda/Interaction/Options.o ) [158 of 369] Compiling Agda.TypeChecking.Monad.Base ( src/full/Agda/TypeChecking/Monad/Base.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.8.3/Agda-2.6.1/build/Agda/TypeChecking/Monad/Base.o ) [159 of 369] Compiling Agda.TypeChecking.Serialise.Base ( src/full/Agda/TypeChecking/Serialise/Base.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.8.3/Agda-2.6.1/build/Agda/TypeChecking/Serialise/Base.o ) [160 of 369] Compiling Agda.TypeChecking.Rules.Term[boot] ( src/full/Agda/TypeChecking/Rules/Term.hs-boot, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.8.3/Agda-2.6.1/build/Agda/TypeChecking/Rules/Term.o-boot ) [161 of 369] Compiling Agda.TypeChecking.Rules.Decl[boot] ( src/full/Agda/TypeChecking/Rules/Decl.hs-boot, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.8.3/Agda-2.6.1/build/Agda/TypeChecking/Rules/Decl.o-boot ) [162 of 369] Compiling Agda.TypeChecking.Rules.Application[boot] ( src/full/Agda/TypeChecking/Rules/Application.hs-boot, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.8.3/Agda-2.6.1/build/Agda/TypeChecking/Rules/Application.o-boot ) [163 of 369] Compiling Agda.TypeChecking.Rewriting[boot] ( src/full/Agda/TypeChecking/Rewriting.hs-boot, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.8.3/Agda-2.6.1/build/Agda/TypeChecking/Rewriting.o-boot ) [164 of 369] Compiling Agda.TypeChecking.Reduce.Fast[boot] ( src/full/Agda/TypeChecking/Reduce/Fast.hs-boot, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.8.3/Agda-2.6.1/build/Agda/TypeChecking/Reduce/Fast.o-boot ) [165 of 369] Compiling Agda.TypeChecking.Primitive[boot] ( src/full/Agda/TypeChecking/Primitive.hs-boot, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.8.3/Agda-2.6.1/build/Agda/TypeChecking/Primitive.o-boot ) [166 of 369] Compiling Agda.TypeChecking.Polarity[boot] ( src/full/Agda/TypeChecking/Polarity.hs-boot, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.8.3/Agda-2.6.1/build/Agda/TypeChecking/Polarity.o-boot ) [167 of 369] Compiling Agda.TypeChecking.Monad.MetaVars[boot] ( src/full/Agda/TypeChecking/Monad/MetaVars.hs-boot, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.8.3/Agda-2.6.1/build/Agda/TypeChecking/Monad/MetaVars.o-boot ) [168 of 369] Compiling Agda.TypeChecking.Monad.Imports ( src/full/Agda/TypeChecking/Monad/Imports.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.8.3/Agda-2.6.1/build/Agda/TypeChecking/Monad/Imports.o ) [169 of 369] Compiling Agda.TypeChecking.Monad.Env ( src/full/Agda/TypeChecking/Monad/Env.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.8.3/Agda-2.6.1/build/Agda/TypeChecking/Monad/Env.o ) [170 of 369] Compiling Agda.TypeChecking.Monad.Context[boot] ( src/full/Agda/TypeChecking/Monad/Context.hs-boot, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.8.3/Agda-2.6.1/build/Agda/TypeChecking/Monad/Context.o-boot ) [171 of 369] Compiling Agda.TypeChecking.Monad.Builtin[boot] ( src/full/Agda/TypeChecking/Monad/Builtin.hs-boot, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.8.3/Agda-2.6.1/build/Agda/TypeChecking/Monad/Builtin.o-boot ) [172 of 369] Compiling Agda.TypeChecking.Errors[boot] ( src/full/Agda/TypeChecking/Errors.hs-boot, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.8.3/Agda-2.6.1/build/Agda/TypeChecking/Errors.o-boot ) [173 of 369] Compiling Agda.TypeChecking.Monad.Debug ( src/full/Agda/TypeChecking/Monad/Debug.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.8.3/Agda-2.6.1/build/Agda/TypeChecking/Monad/Debug.o ) [174 of 369] Compiling Agda.TypeChecking.Monad.Statistics ( src/full/Agda/TypeChecking/Monad/Statistics.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.8.3/Agda-2.6.1/build/Agda/TypeChecking/Monad/Statistics.o ) [175 of 369] Compiling Agda.TypeChecking.Monad.Signature[boot] ( src/full/Agda/TypeChecking/Monad/Signature.hs-boot, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.8.3/Agda-2.6.1/build/Agda/TypeChecking/Monad/Signature.o-boot ) [176 of 369] Compiling Agda.TypeChecking.ProjectionLike[boot] ( src/full/Agda/TypeChecking/ProjectionLike.hs-boot, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.8.3/Agda-2.6.1/build/Agda/TypeChecking/ProjectionLike.o-boot ) [177 of 369] Compiling Agda.TypeChecking.Pretty[boot] ( src/full/Agda/TypeChecking/Pretty.hs-boot, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.8.3/Agda-2.6.1/build/Agda/TypeChecking/Pretty.o-boot ) [178 of 369] Compiling Agda.TypeChecking.Pretty.Warning[boot] ( src/full/Agda/TypeChecking/Pretty/Warning.hs-boot, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.8.3/Agda-2.6.1/build/Agda/TypeChecking/Pretty/Warning.o-boot ) [179 of 369] Compiling Agda.TypeChecking.Pretty.Call[boot] ( src/full/Agda/TypeChecking/Pretty/Call.hs-boot, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.8.3/Agda-2.6.1/build/Agda/TypeChecking/Pretty/Call.o-boot ) [180 of 369] Compiling Agda.TypeChecking.Monad.Caching ( src/full/Agda/TypeChecking/Monad/Caching.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.8.3/Agda-2.6.1/build/Agda/TypeChecking/Monad/Caching.o ) [181 of 369] Compiling Agda.TypeChecking.Monad.Benchmark ( src/full/Agda/TypeChecking/Monad/Benchmark.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.8.3/Agda-2.6.1/build/Agda/TypeChecking/Monad/Benchmark.o ) [182 of 369] Compiling Agda.TypeChecking.Irrelevance[boot] ( src/full/Agda/TypeChecking/Irrelevance.hs-boot, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.8.3/Agda-2.6.1/build/Agda/TypeChecking/Irrelevance.o-boot ) [183 of 369] Compiling Agda.TypeChecking.CompiledClause.Match[boot] ( src/full/Agda/TypeChecking/CompiledClause/Match.hs-boot, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.8.3/Agda-2.6.1/build/Agda/TypeChecking/CompiledClause/Match.o-boot ) [184 of 369] Compiling Agda.TypeChecking.CompiledClause.Compile[boot] ( src/full/Agda/TypeChecking/CompiledClause/Compile.hs-boot, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.8.3/Agda-2.6.1/build/Agda/TypeChecking/CompiledClause/Compile.o-boot ) [185 of 369] Compiling Agda.Syntax.Internal.Names ( src/full/Agda/Syntax/Internal/Names.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.8.3/Agda-2.6.1/build/Agda/Syntax/Internal/Names.o ) [186 of 369] Compiling Agda.Interaction.Highlighting.Generate[boot] ( src/full/Agda/Interaction/Highlighting/Generate.hs-boot, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.8.3/Agda-2.6.1/build/Agda/Interaction/Highlighting/Generate.o-boot ) [187 of 369] Compiling Agda.TypeChecking.Warnings ( src/full/Agda/TypeChecking/Warnings.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.8.3/Agda-2.6.1/build/Agda/TypeChecking/Warnings.o ) [188 of 369] Compiling Agda.Interaction.Imports[boot] ( src/full/Agda/Interaction/Imports.hs-boot, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.8.3/Agda-2.6.1/build/Agda/Interaction/Imports.o-boot ) [189 of 369] Compiling Agda.Compiler.Treeless.Erase[boot] ( src/full/Agda/Compiler/Treeless/Erase.hs-boot, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.8.3/Agda-2.6.1/build/Agda/Compiler/Treeless/Erase.o-boot ) [190 of 369] Compiling Agda.TypeChecking.Inlining ( src/full/Agda/TypeChecking/Inlining.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.8.3/Agda-2.6.1/build/Agda/TypeChecking/Inlining.o ) [191 of 369] Compiling Agda.Interaction.FindFile ( src/full/Agda/Interaction/FindFile.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.8.3/Agda-2.6.1/build/Agda/Interaction/FindFile.o ) [192 of 369] Compiling Agda.TypeChecking.Serialise.Instances.Common ( src/full/Agda/TypeChecking/Serialise/Instances/Common.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.8.3/Agda-2.6.1/build/Agda/TypeChecking/Serialise/Instances/Common.o ) [193 of 369] Compiling Agda.TypeChecking.Serialise.Instances.Highlighting ( src/full/Agda/TypeChecking/Serialise/Instances/Highlighting.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.8.3/Agda-2.6.1/build/Agda/TypeChecking/Serialise/Instances/Highlighting.o ) [194 of 369] Compiling Agda.TypeChecking.Serialise.Instances.Abstract ( src/full/Agda/TypeChecking/Serialise/Instances/Abstract.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.8.3/Agda-2.6.1/build/Agda/TypeChecking/Serialise/Instances/Abstract.o ) [195 of 369] Compiling Agda.Interaction.Base ( src/full/Agda/Interaction/Base.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.8.3/Agda-2.6.1/build/Agda/Interaction/Base.o ) [196 of 369] Compiling Agda.Interaction.Response ( src/full/Agda/Interaction/Response.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.8.3/Agda-2.6.1/build/Agda/Interaction/Response.o ) [197 of 369] Compiling Agda.TypeChecking.Monad.State ( src/full/Agda/TypeChecking/Monad/State.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.8.3/Agda-2.6.1/build/Agda/TypeChecking/Monad/State.o ) [198 of 369] Compiling Agda.TypeChecking.Monad.Trace ( src/full/Agda/TypeChecking/Monad/Trace.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.8.3/Agda-2.6.1/build/Agda/TypeChecking/Monad/Trace.o ) [199 of 369] Compiling Agda.TypeChecking.Monad.Mutual ( src/full/Agda/TypeChecking/Monad/Mutual.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.8.3/Agda-2.6.1/build/Agda/TypeChecking/Monad/Mutual.o ) [200 of 369] Compiling Agda.TypeChecking.Monad.Closure ( src/full/Agda/TypeChecking/Monad/Closure.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.8.3/Agda-2.6.1/build/Agda/TypeChecking/Monad/Closure.o ) [201 of 369] Compiling Agda.TypeChecking.Monad.Constraints ( src/full/Agda/TypeChecking/Monad/Constraints.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.8.3/Agda-2.6.1/build/Agda/TypeChecking/Monad/Constraints.o ) [202 of 369] Compiling Agda.TypeChecking.Constraints[boot] ( src/full/Agda/TypeChecking/Constraints.hs-boot, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.8.3/Agda-2.6.1/build/Agda/TypeChecking/Constraints.o-boot ) [203 of 369] Compiling Agda.Syntax.Scope.Monad ( src/full/Agda/Syntax/Scope/Monad.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.8.3/Agda-2.6.1/build/Agda/Syntax/Scope/Monad.o ) [204 of 369] Compiling Agda.Syntax.Concrete.Operators ( src/full/Agda/Syntax/Concrete/Operators.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.8.3/Agda-2.6.1/build/Agda/Syntax/Concrete/Operators.o ) [205 of 369] Compiling Agda.Interaction.Options.Lenses ( src/full/Agda/Interaction/Options/Lenses.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.8.3/Agda-2.6.1/build/Agda/Interaction/Options/Lenses.o ) [206 of 369] Compiling Agda.TypeChecking.Monad.Options ( src/full/Agda/TypeChecking/Monad/Options.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.8.3/Agda-2.6.1/build/Agda/TypeChecking/Monad/Options.o ) [207 of 369] Compiling Agda.TypeChecking.Substitute ( src/full/Agda/TypeChecking/Substitute.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.8.3/Agda-2.6.1/build/Agda/TypeChecking/Substitute.o ) [208 of 369] Compiling Agda.TypeChecking.Monad.Open ( src/full/Agda/TypeChecking/Monad/Open.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.8.3/Agda-2.6.1/build/Agda/TypeChecking/Monad/Open.o ) [209 of 369] Compiling Agda.TypeChecking.Monad.Context ( src/full/Agda/TypeChecking/Monad/Context.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.8.3/Agda-2.6.1/build/Agda/TypeChecking/Monad/Context.o ) [210 of 369] Compiling Agda.TypeChecking.Telescope[boot] ( src/full/Agda/TypeChecking/Telescope.hs-boot, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.8.3/Agda-2.6.1/build/Agda/TypeChecking/Telescope.o-boot ) [211 of 369] Compiling Agda.TypeChecking.Monad.Builtin ( src/full/Agda/TypeChecking/Monad/Builtin.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.8.3/Agda-2.6.1/build/Agda/TypeChecking/Monad/Builtin.o ) [212 of 369] Compiling Agda.TypeChecking.Monad.SizedTypes ( src/full/Agda/TypeChecking/Monad/SizedTypes.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.8.3/Agda-2.6.1/build/Agda/TypeChecking/Monad/SizedTypes.o ) [213 of 369] Compiling Agda.TypeChecking.Level[boot] ( src/full/Agda/TypeChecking/Level.hs-boot, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.8.3/Agda-2.6.1/build/Agda/TypeChecking/Level.o-boot ) [214 of 369] Compiling Agda.Syntax.Translation.AbstractToConcrete ( src/full/Agda/Syntax/Translation/AbstractToConcrete.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.8.3/Agda-2.6.1/build/Agda/Syntax/Translation/AbstractToConcrete.o ) [215 of 369] Compiling Agda.Syntax.Abstract.Pretty ( src/full/Agda/Syntax/Abstract/Pretty.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.8.3/Agda-2.6.1/build/Agda/Syntax/Abstract/Pretty.o ) [216 of 369] Compiling Agda.TypeChecking.DropArgs ( src/full/Agda/TypeChecking/DropArgs.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.8.3/Agda-2.6.1/build/Agda/TypeChecking/DropArgs.o ) [217 of 369] Compiling Agda.TypeChecking.Monad.Signature ( src/full/Agda/TypeChecking/Monad/Signature.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.8.3/Agda-2.6.1/build/Agda/TypeChecking/Monad/Signature.o ) [218 of 369] Compiling Agda.TypeChecking.Monad.MetaVars ( src/full/Agda/TypeChecking/Monad/MetaVars.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.8.3/Agda-2.6.1/build/Agda/TypeChecking/Monad/MetaVars.o ) [219 of 369] Compiling Agda.TypeChecking.MetaVars[boot] ( src/full/Agda/TypeChecking/MetaVars.hs-boot, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.8.3/Agda-2.6.1/build/Agda/TypeChecking/MetaVars.o-boot ) [220 of 369] Compiling Agda.TypeChecking.Datatypes[boot] ( src/full/Agda/TypeChecking/Datatypes.hs-boot, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.8.3/Agda-2.6.1/build/Agda/TypeChecking/Datatypes.o-boot ) [221 of 369] Compiling Agda.Compiler.Treeless.Subst ( src/full/Agda/Compiler/Treeless/Subst.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.8.3/Agda-2.6.1/build/Agda/Compiler/Treeless/Subst.o ) [222 of 369] Compiling Agda.Compiler.Treeless.Pretty ( src/full/Agda/Compiler/Treeless/Pretty.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.8.3/Agda-2.6.1/build/Agda/Compiler/Treeless/Pretty.o ) [223 of 369] Compiling Agda.Compiler.Treeless.Compare ( src/full/Agda/Compiler/Treeless/Compare.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.8.3/Agda-2.6.1/build/Agda/Compiler/Treeless/Compare.o ) [224 of 369] Compiling Agda.Compiler.Treeless.Uncase ( src/full/Agda/Compiler/Treeless/Uncase.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.8.3/Agda-2.6.1/build/Agda/Compiler/Treeless/Uncase.o ) [225 of 369] Compiling Agda.TypeChecking.Monad ( src/full/Agda/TypeChecking/Monad.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.8.3/Agda-2.6.1/build/Agda/TypeChecking/Monad.o ) [226 of 369] Compiling Agda.TypeChecking.Serialise.Instances.Compilers ( src/full/Agda/TypeChecking/Serialise/Instances/Compilers.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.8.3/Agda-2.6.1/build/Agda/TypeChecking/Serialise/Instances/Compilers.o ) [227 of 369] Compiling Agda.TypeChecking.Serialise.Instances.Internal ( src/full/Agda/TypeChecking/Serialise/Instances/Internal.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.8.3/Agda-2.6.1/build/Agda/TypeChecking/Serialise/Instances/Internal.o ) [228 of 369] Compiling Agda.TypeChecking.Serialise.Instances.Errors ( src/full/Agda/TypeChecking/Serialise/Instances/Errors.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.8.3/Agda-2.6.1/build/Agda/TypeChecking/Serialise/Instances/Errors.o ) [229 of 369] Compiling Agda.TypeChecking.Serialise.Instances ( src/full/Agda/TypeChecking/Serialise/Instances.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.8.3/Agda-2.6.1/build/Agda/TypeChecking/Serialise/Instances.o ) [230 of 369] Compiling Agda.TypeChecking.Serialise ( src/full/Agda/TypeChecking/Serialise.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.8.3/Agda-2.6.1/build/Agda/TypeChecking/Serialise.o ) [231 of 369] Compiling Agda.TypeChecking.Rules.Def[boot] ( src/full/Agda/TypeChecking/Rules/Def.hs-boot, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.8.3/Agda-2.6.1/build/Agda/TypeChecking/Rules/Def.o-boot ) [232 of 369] Compiling Agda.TypeChecking.Rules.Builtin.Coinduction[boot] ( src/full/Agda/TypeChecking/Rules/Builtin/Coinduction.hs-boot, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.8.3/Agda-2.6.1/build/Agda/TypeChecking/Rules/Builtin/Coinduction.o-boot ) [233 of 369] Compiling Agda.TypeChecking.Rewriting.Clause ( src/full/Agda/TypeChecking/Rewriting/Clause.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.8.3/Agda-2.6.1/build/Agda/TypeChecking/Rewriting/Clause.o ) [234 of 369] Compiling Agda.TypeChecking.Reduce.Monad ( src/full/Agda/TypeChecking/Reduce/Monad.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.8.3/Agda-2.6.1/build/Agda/TypeChecking/Reduce/Monad.o ) [235 of 369] Compiling Agda.TypeChecking.Records[boot] ( src/full/Agda/TypeChecking/Records.hs-boot, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.8.3/Agda-2.6.1/build/Agda/TypeChecking/Records.o-boot ) [236 of 369] Compiling Agda.TypeChecking.Patterns.Match[boot] ( src/full/Agda/TypeChecking/Patterns/Match.hs-boot, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.8.3/Agda-2.6.1/build/Agda/TypeChecking/Patterns/Match.o-boot ) [237 of 369] Compiling Agda.TypeChecking.Patterns.Abstract ( src/full/Agda/TypeChecking/Patterns/Abstract.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.8.3/Agda-2.6.1/build/Agda/TypeChecking/Patterns/Abstract.o ) [238 of 369] Compiling Agda.TypeChecking.Names ( src/full/Agda/TypeChecking/Names.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.8.3/Agda-2.6.1/build/Agda/TypeChecking/Names.o ) [239 of 369] Compiling Agda.TypeChecking.MetaVars.Mention ( src/full/Agda/TypeChecking/MetaVars/Mention.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.8.3/Agda-2.6.1/build/Agda/TypeChecking/MetaVars/Mention.o ) [240 of 369] Compiling Agda.TypeChecking.EtaContract ( src/full/Agda/TypeChecking/EtaContract.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.8.3/Agda-2.6.1/build/Agda/TypeChecking/EtaContract.o ) [241 of 369] Compiling Agda.TypeChecking.Reduce ( src/full/Agda/TypeChecking/Reduce.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.8.3/Agda-2.6.1/build/Agda/TypeChecking/Reduce.o ) [242 of 369] Compiling Agda.TypeChecking.Telescope ( src/full/Agda/TypeChecking/Telescope.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.8.3/Agda-2.6.1/build/Agda/TypeChecking/Telescope.o ) [243 of 369] Compiling Agda.TypeChecking.SyntacticEquality ( src/full/Agda/TypeChecking/SyntacticEquality.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.8.3/Agda-2.6.1/build/Agda/TypeChecking/SyntacticEquality.o ) [244 of 369] Compiling Agda.TypeChecking.Primitive.Base ( src/full/Agda/TypeChecking/Primitive/Base.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.8.3/Agda-2.6.1/build/Agda/TypeChecking/Primitive/Base.o ) [245 of 369] Compiling Agda.TypeChecking.Primitive.Cubical ( src/full/Agda/TypeChecking/Primitive/Cubical.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.8.3/Agda-2.6.1/build/Agda/TypeChecking/Primitive/Cubical.o ) [246 of 369] Compiling Agda.TypeChecking.Patterns.Internal ( src/full/Agda/TypeChecking/Patterns/Internal.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.8.3/Agda-2.6.1/build/Agda/TypeChecking/Patterns/Internal.o ) [247 of 369] Compiling Agda.TypeChecking.Level ( src/full/Agda/TypeChecking/Level.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.8.3/Agda-2.6.1/build/Agda/TypeChecking/Level.o ) [248 of 369] Compiling Agda.TypeChecking.Quote ( src/full/Agda/TypeChecking/Quote.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.8.3/Agda-2.6.1/build/Agda/TypeChecking/Quote.o ) [249 of 369] Compiling Agda.TypeChecking.Primitive ( src/full/Agda/TypeChecking/Primitive.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.8.3/Agda-2.6.1/build/Agda/TypeChecking/Primitive.o ) [250 of 369] Compiling Agda.TypeChecking.LevelConstraints ( src/full/Agda/TypeChecking/LevelConstraints.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.8.3/Agda-2.6.1/build/Agda/TypeChecking/LevelConstraints.o ) [251 of 369] Compiling Agda.TypeChecking.Level.Solve ( src/full/Agda/TypeChecking/Level/Solve.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.8.3/Agda-2.6.1/build/Agda/TypeChecking/Level/Solve.o ) [252 of 369] Compiling Agda.TypeChecking.Free.Reduce ( src/full/Agda/TypeChecking/Free/Reduce.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.8.3/Agda-2.6.1/build/Agda/TypeChecking/Free/Reduce.o ) [253 of 369] Compiling Agda.TypeChecking.Empty[boot] ( src/full/Agda/TypeChecking/Empty.hs-boot, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.8.3/Agda-2.6.1/build/Agda/TypeChecking/Empty.o-boot ) [254 of 369] Compiling Agda.TypeChecking.DisplayForm ( src/full/Agda/TypeChecking/DisplayForm.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.8.3/Agda-2.6.1/build/Agda/TypeChecking/DisplayForm.o ) [255 of 369] Compiling Agda.TypeChecking.DeadCode ( src/full/Agda/TypeChecking/DeadCode.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.8.3/Agda-2.6.1/build/Agda/TypeChecking/DeadCode.o ) [256 of 369] Compiling Agda.TypeChecking.Conversion[boot] ( src/full/Agda/TypeChecking/Conversion.hs-boot, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.8.3/Agda-2.6.1/build/Agda/TypeChecking/Conversion.o-boot ) [257 of 369] Compiling Agda.TypeChecking.CompiledClause.Match ( src/full/Agda/TypeChecking/CompiledClause/Match.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.8.3/Agda-2.6.1/build/Agda/TypeChecking/CompiledClause/Match.o ) [258 of 369] Compiling Agda.TypeChecking.CheckInternal[boot] ( src/full/Agda/TypeChecking/CheckInternal.hs-boot, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.8.3/Agda-2.6.1/build/Agda/TypeChecking/CheckInternal.o-boot ) [259 of 369] Compiling Agda.Termination.RecCheck ( src/full/Agda/Termination/RecCheck.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.8.3/Agda-2.6.1/build/Agda/Termination/RecCheck.o ) [260 of 369] Compiling Agda.Syntax.Translation.ReflectedToAbstract ( src/full/Agda/Syntax/Translation/ReflectedToAbstract.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.8.3/Agda-2.6.1/build/Agda/Syntax/Translation/ReflectedToAbstract.o ) [261 of 369] Compiling Agda.Syntax.Translation.InternalToAbstract ( src/full/Agda/Syntax/Translation/InternalToAbstract.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.8.3/Agda-2.6.1/build/Agda/Syntax/Translation/InternalToAbstract.o ) [262 of 369] Compiling Agda.TypeChecking.Pretty ( src/full/Agda/TypeChecking/Pretty.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.8.3/Agda-2.6.1/build/Agda/TypeChecking/Pretty.o ) [263 of 369] Compiling Agda.TypeChecking.Telescope.Path ( src/full/Agda/TypeChecking/Telescope/Path.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.8.3/Agda-2.6.1/build/Agda/TypeChecking/Telescope/Path.o ) [264 of 369] Compiling Agda.TypeChecking.SizedTypes ( src/full/Agda/TypeChecking/SizedTypes.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.8.3/Agda-2.6.1/build/Agda/TypeChecking/SizedTypes.o ) [265 of 369] Compiling Agda.TypeChecking.Rules.Display ( src/full/Agda/TypeChecking/Rules/Display.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.8.3/Agda-2.6.1/build/Agda/TypeChecking/Rules/Display.o ) [266 of 369] Compiling Agda.TypeChecking.Pretty.Call ( src/full/Agda/TypeChecking/Pretty/Call.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.8.3/Agda-2.6.1/build/Agda/TypeChecking/Pretty/Call.o ) [267 of 369] Compiling Agda.TypeChecking.Irrelevance ( src/full/Agda/TypeChecking/Irrelevance.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.8.3/Agda-2.6.1/build/Agda/TypeChecking/Irrelevance.o ) [268 of 369] Compiling Agda.TypeChecking.Records ( src/full/Agda/TypeChecking/Records.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.8.3/Agda-2.6.1/build/Agda/TypeChecking/Records.o ) [269 of 369] Compiling Agda.TypeChecking.Rules.LHS.Problem ( src/full/Agda/TypeChecking/Rules/LHS/Problem.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.8.3/Agda-2.6.1/build/Agda/TypeChecking/Rules/LHS/Problem.o ) [270 of 369] Compiling Agda.TypeChecking.Patterns.Match ( src/full/Agda/TypeChecking/Patterns/Match.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.8.3/Agda-2.6.1/build/Agda/TypeChecking/Patterns/Match.o ) [271 of 369] Compiling Agda.TypeChecking.Implicit ( src/full/Agda/TypeChecking/Implicit.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.8.3/Agda-2.6.1/build/Agda/TypeChecking/Implicit.o ) [272 of 369] Compiling Agda.TypeChecking.Rules.LHS.Implicit ( src/full/Agda/TypeChecking/Rules/LHS/Implicit.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.8.3/Agda-2.6.1/build/Agda/TypeChecking/Rules/LHS/Implicit.o ) [273 of 369] Compiling Agda.TypeChecking.Rules.LHS.ProblemRest ( src/full/Agda/TypeChecking/Rules/LHS/ProblemRest.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.8.3/Agda-2.6.1/build/Agda/TypeChecking/Rules/LHS/ProblemRest.o ) [274 of 369] Compiling Agda.TypeChecking.Functions ( src/full/Agda/TypeChecking/Functions.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.8.3/Agda-2.6.1/build/Agda/TypeChecking/Functions.o ) [275 of 369] Compiling Agda.TypeChecking.Forcing ( src/full/Agda/TypeChecking/Forcing.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.8.3/Agda-2.6.1/build/Agda/TypeChecking/Forcing.o ) [276 of 369] Compiling Agda.TypeChecking.Datatypes ( src/full/Agda/TypeChecking/Datatypes.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.8.3/Agda-2.6.1/build/Agda/TypeChecking/Datatypes.o ) [277 of 369] Compiling Agda.TypeChecking.Rewriting.NonLinPattern ( src/full/Agda/TypeChecking/Rewriting/NonLinPattern.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.8.3/Agda-2.6.1/build/Agda/TypeChecking/Rewriting/NonLinPattern.o ) [278 of 369] Compiling Agda.TypeChecking.RecordPatterns ( src/full/Agda/TypeChecking/RecordPatterns.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.8.3/Agda-2.6.1/build/Agda/TypeChecking/RecordPatterns.o ) [279 of 369] Compiling Agda.TypeChecking.Positivity ( src/full/Agda/TypeChecking/Positivity.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.8.3/Agda-2.6.1/build/Agda/TypeChecking/Positivity.o ) [280 of 369] Compiling Agda.TypeChecking.ProjectionLike ( src/full/Agda/TypeChecking/ProjectionLike.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.8.3/Agda-2.6.1/build/Agda/TypeChecking/ProjectionLike.o ) [281 of 369] Compiling Agda.TypeChecking.Sort ( src/full/Agda/TypeChecking/Sort.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.8.3/Agda-2.6.1/build/Agda/TypeChecking/Sort.o ) [282 of 369] Compiling Agda.TypeChecking.Pretty.Warning ( src/full/Agda/TypeChecking/Pretty/Warning.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.8.3/Agda-2.6.1/build/Agda/TypeChecking/Pretty/Warning.o ) [283 of 369] Compiling Agda.TypeChecking.Polarity ( src/full/Agda/TypeChecking/Polarity.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.8.3/Agda-2.6.1/build/Agda/TypeChecking/Polarity.o ) [284 of 369] Compiling Agda.TypeChecking.Injectivity ( src/full/Agda/TypeChecking/Injectivity.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.8.3/Agda-2.6.1/build/Agda/TypeChecking/Injectivity.o ) [285 of 369] Compiling Agda.TypeChecking.Coverage.Match ( src/full/Agda/TypeChecking/Coverage/Match.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.8.3/Agda-2.6.1/build/Agda/TypeChecking/Coverage/Match.o ) [286 of 369] Compiling Agda.TypeChecking.Conversion.Pure ( src/full/Agda/TypeChecking/Conversion/Pure.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.8.3/Agda-2.6.1/build/Agda/TypeChecking/Conversion/Pure.o ) [287 of 369] Compiling Agda.TypeChecking.Rewriting.NonLinMatch ( src/full/Agda/TypeChecking/Rewriting/NonLinMatch.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.8.3/Agda-2.6.1/build/Agda/TypeChecking/Rewriting/NonLinMatch.o ) [288 of 369] Compiling Agda.Termination.Monad ( src/full/Agda/Termination/Monad.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.8.3/Agda-2.6.1/build/Agda/Termination/Monad.o ) [289 of 369] Compiling Agda.TypeChecking.Errors ( src/full/Agda/TypeChecking/Errors.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.8.3/Agda-2.6.1/build/Agda/TypeChecking/Errors.o ) [290 of 369] Compiling Agda.TypeChecking.InstanceArguments ( src/full/Agda/TypeChecking/InstanceArguments.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.8.3/Agda-2.6.1/build/Agda/TypeChecking/InstanceArguments.o ) [291 of 369] Compiling Agda.TypeChecking.Constraints ( src/full/Agda/TypeChecking/Constraints.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.8.3/Agda-2.6.1/build/Agda/TypeChecking/Constraints.o ) [292 of 369] Compiling Agda.TypeChecking.MetaVars.Occurs ( src/full/Agda/TypeChecking/MetaVars/Occurs.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.8.3/Agda-2.6.1/build/Agda/TypeChecking/MetaVars/Occurs.o ) [293 of 369] Compiling Agda.TypeChecking.MetaVars ( src/full/Agda/TypeChecking/MetaVars.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.8.3/Agda-2.6.1/build/Agda/TypeChecking/MetaVars.o ) [294 of 369] Compiling Agda.TypeChecking.SizedTypes.Solve ( src/full/Agda/TypeChecking/SizedTypes/Solve.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.8.3/Agda-2.6.1/build/Agda/TypeChecking/SizedTypes/Solve.o ) [295 of 369] Compiling Agda.TypeChecking.Conversion ( src/full/Agda/TypeChecking/Conversion.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.8.3/Agda-2.6.1/build/Agda/TypeChecking/Conversion.o ) [296 of 369] Compiling Agda.TypeChecking.Unquote ( src/full/Agda/TypeChecking/Unquote.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.8.3/Agda-2.6.1/build/Agda/TypeChecking/Unquote.o ) [297 of 369] Compiling Agda.TypeChecking.Rules.LHS.Unify ( src/full/Agda/TypeChecking/Rules/LHS/Unify.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.8.3/Agda-2.6.1/build/Agda/TypeChecking/Rules/LHS/Unify.o ) [298 of 369] Compiling Agda.TypeChecking.Rewriting.Confluence ( src/full/Agda/TypeChecking/Rewriting/Confluence.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.8.3/Agda-2.6.1/build/Agda/TypeChecking/Rewriting/Confluence.o ) [299 of 369] Compiling Agda.TypeChecking.Rewriting ( src/full/Agda/TypeChecking/Rewriting.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.8.3/Agda-2.6.1/build/Agda/TypeChecking/Rewriting.o ) [300 of 369] Compiling Agda.TypeChecking.Reduce.Fast ( src/full/Agda/TypeChecking/Reduce/Fast.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.8.3/Agda-2.6.1/build/Agda/TypeChecking/Reduce/Fast.o ) [301 of 369] Compiling Agda.TypeChecking.IApplyConfluence ( src/full/Agda/TypeChecking/IApplyConfluence.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.8.3/Agda-2.6.1/build/Agda/TypeChecking/IApplyConfluence.o ) [302 of 369] Compiling Agda.TypeChecking.Generalize ( src/full/Agda/TypeChecking/Generalize.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.8.3/Agda-2.6.1/build/Agda/TypeChecking/Generalize.o ) [303 of 369] Compiling Agda.TypeChecking.Rules.Data ( src/full/Agda/TypeChecking/Rules/Data.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.8.3/Agda-2.6.1/build/Agda/TypeChecking/Rules/Data.o ) [304 of 369] Compiling Agda.TypeChecking.CheckInternal ( src/full/Agda/TypeChecking/CheckInternal.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.8.3/Agda-2.6.1/build/Agda/TypeChecking/CheckInternal.o ) [305 of 369] Compiling Agda.TypeChecking.ReconstructParameters ( src/full/Agda/TypeChecking/ReconstructParameters.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.8.3/Agda-2.6.1/build/Agda/TypeChecking/ReconstructParameters.o ) [306 of 369] Compiling Agda.TypeChecking.EtaExpand ( src/full/Agda/TypeChecking/EtaExpand.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.8.3/Agda-2.6.1/build/Agda/TypeChecking/EtaExpand.o ) [307 of 369] Compiling Agda.TypeChecking.Abstract ( src/full/Agda/TypeChecking/Abstract.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.8.3/Agda-2.6.1/build/Agda/TypeChecking/Abstract.o ) [308 of 369] Compiling Agda.TypeChecking.With ( src/full/Agda/TypeChecking/With.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.8.3/Agda-2.6.1/build/Agda/TypeChecking/With.o ) [309 of 369] Compiling Agda.Termination.TermCheck ( src/full/Agda/Termination/TermCheck.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.8.3/Agda-2.6.1/build/Agda/Termination/TermCheck.o ) [310 of 369] Compiling Agda.Syntax.Internal.SanityCheck ( src/full/Agda/Syntax/Internal/SanityCheck.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.8.3/Agda-2.6.1/build/Agda/Syntax/Internal/SanityCheck.o ) [311 of 369] Compiling Agda.Syntax.IdiomBrackets ( src/full/Agda/Syntax/IdiomBrackets.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.8.3/Agda-2.6.1/build/Agda/Syntax/IdiomBrackets.o ) [312 of 369] Compiling Agda.Syntax.DoNotation ( src/full/Agda/Syntax/DoNotation.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.8.3/Agda-2.6.1/build/Agda/Syntax/DoNotation.o ) [313 of 369] Compiling Agda.Interaction.Monad ( src/full/Agda/Interaction/Monad.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.8.3/Agda-2.6.1/build/Agda/Interaction/Monad.o ) [314 of 369] Compiling Agda.Interaction.JSON ( src/full/Agda/Interaction/JSON.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.8.3/Agda-2.6.1/build/Agda/Interaction/JSON.o ) [315 of 369] Compiling Agda.Interaction.Highlighting.Vim ( src/full/Agda/Interaction/Highlighting/Vim.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.8.3/Agda-2.6.1/build/Agda/Interaction/Highlighting/Vim.o ) [316 of 369] Compiling Agda.Interaction.Highlighting.Dot ( src/full/Agda/Interaction/Highlighting/Dot.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.8.3/Agda-2.6.1/build/Agda/Interaction/Highlighting/Dot.o ) [317 of 369] Compiling Agda.Interaction.Highlighting.Common ( src/full/Agda/Interaction/Highlighting/Common.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.8.3/Agda-2.6.1/build/Agda/Interaction/Highlighting/Common.o ) [318 of 369] Compiling Agda.Compiler.Treeless.Unused ( src/full/Agda/Compiler/Treeless/Unused.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.8.3/Agda-2.6.1/build/Agda/Compiler/Treeless/Unused.o ) [319 of 369] Compiling Agda.Compiler.Treeless.Simplify ( src/full/Agda/Compiler/Treeless/Simplify.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.8.3/Agda-2.6.1/build/Agda/Compiler/Treeless/Simplify.o ) [320 of 369] Compiling Agda.Compiler.Treeless.NormalizeNames ( src/full/Agda/Compiler/Treeless/NormalizeNames.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.8.3/Agda-2.6.1/build/Agda/Compiler/Treeless/NormalizeNames.o ) [321 of 369] Compiling Agda.Compiler.Treeless.Identity ( src/full/Agda/Compiler/Treeless/Identity.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.8.3/Agda-2.6.1/build/Agda/Compiler/Treeless/Identity.o ) [322 of 369] Compiling Agda.Compiler.Treeless.Erase ( src/full/Agda/Compiler/Treeless/Erase.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.8.3/Agda-2.6.1/build/Agda/Compiler/Treeless/Erase.o ) [323 of 369] Compiling Agda.Compiler.Treeless.EliminateLiteralPatterns ( src/full/Agda/Compiler/Treeless/EliminateLiteralPatterns.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.8.3/Agda-2.6.1/build/Agda/Compiler/Treeless/EliminateLiteralPatterns.o ) [324 of 369] Compiling Agda.Compiler.Treeless.EliminateDefaults ( src/full/Agda/Compiler/Treeless/EliminateDefaults.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.8.3/Agda-2.6.1/build/Agda/Compiler/Treeless/EliminateDefaults.o ) [325 of 369] Compiling Agda.Compiler.Treeless.Builtin ( src/full/Agda/Compiler/Treeless/Builtin.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.8.3/Agda-2.6.1/build/Agda/Compiler/Treeless/Builtin.o ) [326 of 369] Compiling Agda.Compiler.MAlonzo.Compiler[boot] ( src/full/Agda/Compiler/MAlonzo/Compiler.hs-boot, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.8.3/Agda-2.6.1/build/Agda/Compiler/MAlonzo/Compiler.o-boot ) [327 of 369] Compiling Agda.Compiler.MAlonzo.Coerce ( src/full/Agda/Compiler/MAlonzo/Coerce.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.8.3/Agda-2.6.1/build/Agda/Compiler/MAlonzo/Coerce.o ) [328 of 369] Compiling Agda.Compiler.CallCompiler ( src/full/Agda/Compiler/CallCompiler.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.8.3/Agda-2.6.1/build/Agda/Compiler/CallCompiler.o ) [329 of 369] Compiling Agda.Interaction.Highlighting.JSON ( src/full/Agda/Interaction/Highlighting/JSON.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.8.3/Agda-2.6.1/build/Agda/Interaction/Highlighting/JSON.o ) [330 of 369] Compiling Agda.Interaction.Highlighting.Generate ( src/full/Agda/Interaction/Highlighting/Generate.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.8.3/Agda-2.6.1/build/Agda/Interaction/Highlighting/Generate.o ) [331 of 369] Compiling Agda.TypeChecking.Rules.LHS ( src/full/Agda/TypeChecking/Rules/LHS.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.8.3/Agda-2.6.1/build/Agda/TypeChecking/Rules/LHS.o ) [332 of 369] Compiling Agda.TypeChecking.Rules.Term ( src/full/Agda/TypeChecking/Rules/Term.hs, /wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.6.1/dist-newstyle/build/i386-freebsd/ghc-8.8.3/Agda-2.6.1/build/Agda/TypeChecking/Rules/Term.o ) [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.8.3/Agda-2.6.1/build/Agda/TypeChecking/Rules/Builtin.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.8.3/Agda-2.6.1/build/Agda/TypeChecking/Rules/Builtin/Coinduction.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.8.3/Agda-2.6.1/build/Agda/Syntax/Translation/ConcreteToAbstract.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.8.3/Agda-2.6.1/build/Agda/TypeChecking/Coverage.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.8.3/Agda-2.6.1/build/Agda/TypeChecking/Empty.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.8.3/Agda-2.6.1/build/Agda/TypeChecking/CompiledClause/Compile.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.8.3/Agda-2.6.1/build/Agda/TypeChecking/Rules/Record.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.8.3/Agda-2.6.1/build/Agda/TypeChecking/Rules/Def.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.8.3/Agda-2.6.1/build/Agda/Compiler/ToTreeless.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.8.3/Agda-2.6.1/build/Agda/TypeChecking/Rules/Application.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.8.3/Agda-2.6.1/build/Agda/TypeChecking/Rules/Decl.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.8.3/Agda-2.6.1/build/Agda/TheTypeChecker.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.8.3/Agda-2.6.1/build/Agda/Interaction/Highlighting/Emacs.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.8.3/Agda-2.6.1/build/Agda/Interaction/BasicOps.o ) ghc: out of memory (requested 1048576 bytes) cabal: Failed to build Agda-2.6.1. The build process terminated with exit code 251 *** Error code 1 Stop. make: stopped in /usr/ports/math/hs-Agda