Skip site navigation (1)Skip section navigation (2)
Date:      Thu, 17 Jan 2019 11:44:01 GMT
From:      pkg-fallout@FreeBSD.org
To:        pkg-fallout@FreeBSD.org
Subject:   [package - 120arm64-quarterly][math/hs-Agda] Failed for hs-Agda-2.5.4 in build
Message-ID:  <201901171144.x0HBi1if026680@thunderx1.nyi.freebsd.org>

next in thread | raw e-mail | index | archive | help

You are receiving this mail as a port that you maintain
is failing to build on the FreeBSD package build server.
Please investigate the failure and submit a PR to fix
build.

Maintainer:     haskell@FreeBSD.org
Last committer: arrowd@FreeBSD.org
Ident:          $FreeBSD: branches/2019Q1/math/hs-Agda/Makefile 475642 2018-07-29 10:40:28Z arrowd $
Log URL:        http://thunderx1.nyi.freebsd.org/data/120arm64-quarterly/489830/logs/hs-Agda-2.5.4.log
Build URL:      http://thunderx1.nyi.freebsd.org/build.html?mastername=120arm64-quarterly&build=489830
Log:

=>> Building math/hs-Agda
build started at Thu Jan 17 09:31:29 UTC 2019
port directory: /usr/ports/math/hs-Agda
package name: hs-Agda-2.5.4
building for: FreeBSD 120arm64-quarterly-job-20 12.0-RELEASE-p2 FreeBSD 12.0-RELEASE-p2 1200086 arm64
maintained by: haskell@FreeBSD.org
Makefile ident:      $FreeBSD: branches/2019Q1/math/hs-Agda/Makefile 475642 2018-07-29 10:40:28Z arrowd $
Poudriere version: 3.2.8
Host OSVERSION: 1300002
Jail OSVERSION: 1200086
Job Id: 20

---Begin Environment---
SHELL=/bin/csh
OSVERSION=1200086
UNAME_v=FreeBSD 12.0-RELEASE-p2 1200086
UNAME_r=12.0-RELEASE-p2
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
MASTERMNT=/usr/local/poudriere/data/.m/120arm64-quarterly/ref
POUDRIERE_BUILD_TYPE=bulk
PACKAGE_BUILDING=yes
SAVED_TERM=
PWD=/usr/local/poudriere/data/.m/120arm64-quarterly/ref/.p/pool
P_PORTS_FEATURES=FLAVORS SELECTED_OPTIONS
MASTERNAME=120arm64-quarterly
SCRIPTPREFIX=/usr/local/share/poudriere
OLDPWD=/usr/local/poudriere/data/.m/120arm64-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---
===> The following configuration options are available for hs-Agda-2.5.4:
     DOCS=on: Build and/or install documentation
     DYNAMIC=on: Add support for dynamic linking
     HSCOLOUR=off: Colorize generated documentation by HsColour
     PROFILE=off: Add support for profiling
===> Use 'make config' to modify these settings
---End OPTIONS List---

--MAINTAINER--
haskell@FreeBSD.org
--End MAINTAINER--

--CONFIGURE_ARGS--
--libdir=/usr/local/lib/cabal/ghc-8.4.4 --libsubdir=Agda-2.5.4 --flags="cpphs" --with-gcc=cc --with-ld=ld --with-ar=ar --with-alex=/usr/local/bin/alex --with-happy=/usr/local/bin/happy --with-cpphs=/usr/local/bin/cpphs --enable-executable-stripping --haddock-options=-w --with-haddock=/usr/local/bin/haddock --enable-shared --enable-executable-dynamic --disable-profiling --disable-library-profiling
--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="/wrkdirs/usr/ports/math/hs-Agda/work/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--
DESTDIR=/wrkdirs/usr/ports/math/hs-Agda/work/stage TMPDIR=/wrkdirs/usr/ports/math/hs-Agda/work/tmp 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="/wrkdirs/usr/ports/math/hs-Agda/work/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  -I/usr/local/include -fno-strict-aliasing "  CPP="cpp" CPPFLAGS="-I/usr/local/include"  LDFLAGS=" -L/usr/local/lib " LIBS=""  CXX="c++" CXXFLAGS="-O2 -pipe -I/usr/local/include -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="insta
 ll  -m 444"
--End MAKE_ENV--

--PLIST_SUB--
GHC_VERSION=8.4.4  PORTNAME=Agda  PORTVERSION=2.5.4  LIBDIR_REL=lib/cabal/ghc-8.4.4/Agda-2.5.4 PORTDOCS="" OSREL=12.0 PREFIX=%D LOCALBASE=/usr/local  RESETPREFIX=/usr/local LIB32DIR=lib DOCSDIR="share/doc/cabal/ghc-8.4.4/Agda-2.5.4"  EXAMPLESDIR="share/examples/cabal/ghc-8.4.4/Agda-2.5.4"  DATADIR="share/cabal/ghc-8.4.4/Agda-2.5.4"  WWWDIR="www/Agda"  ETCDIR="etc/Agda"
--End PLIST_SUB--

--SUB_LIST--
DATADIR=/usr/local/share/cabal/ghc-8.4.4/Agda-2.5.4 PREFIX=/usr/local LOCALBASE=/usr/local  DATADIR=/usr/local/share/cabal/ghc-8.4.4/Agda-2.5.4 DOCSDIR=/usr/local/share/doc/cabal/ghc-8.4.4/Agda-2.5.4 EXAMPLESDIR=/usr/local/share/examples/cabal/ghc-8.4.4/Agda-2.5.4  WWWDIR=/usr/local/www/Agda ETCDIR=/usr/local/etc/Agda
--End SUB_LIST--

---Begin make.conf---
USE_PACKAGE_DEPENDS=yes
BATCH=yes
WRKDIRPREFIX=/wrkdirs
PORTSDIR=/usr/ports
PACKAGES=/packages
DISTDIR=/distfiles
PACKAGE_BUILDING=yes
PACKAGE_BUILDING_FLAVORS=yes
#### /usr/local/etc/poudriere.d/make.conf ####
# XXX: We really need this but cannot use it while 'make checksum' does not
# try the next mirror on checksum failure.  It currently retries the same
# failed mirror and then fails rather then trying another.  It *does*
# try the next if the size is mismatched though.
#MASTER_SITE_FREEBSD=yes
# Build ALLOW_MAKE_JOBS_PACKAGES with 2 jobs
MAKE_JOBS_NUMBER=2

# stable/10 includes src.conf too late but make.conf is in sys.mk
.if ${.CURDIR:M/poudriere/jails/10*/usr/src/usr.bin/xlint*}
# Disable build of llib now that head no longer has lint(1)
LINT=	true
.endif
#### /usr/ports/Mk/Scripts/ports_env.sh ####
_CCVERSION_921dbbb2=FreeBSD clang version 6.0.1 (tags/RELEASE_601/final 335540) (based on LLVM 6.0.1) Target: aarch64-unknown-freebsd12.0 Thread model: posix InstalledDir: /usr/bin
_ALTCCVERSION_921dbbb2=none
_CXXINTERNAL_acaad9ca=FreeBSD clang version 6.0.1 (tags/RELEASE_601/final 335540) (based on LLVM 6.0.1) Target: aarch64-unknown-freebsd12.0 Thread model: posix InstalledDir: /usr/bin "/usr/bin/ld" "--eh-frame-hdr" "-dynamic-linker" "/libexec/ld-elf.so.1" "--enable-new-dtags" "-o" "a.out" "/usr/lib/crt1.o" "/usr/lib/crti.o" "/usr/lib/crtbegin.o" "-L/usr/lib" "/dev/null" "-lc++" "-lm" "-lgcc" "--as-needed" "-lgcc_s" "--no-as-needed" "-lc" "-lgcc" "--as-needed" "-lgcc_s" "--no-as-needed" "/usr/lib/crtend.o" "/usr/lib/crtn.o"
CC_OUTPUT_921dbbb2_58173849=yes
CC_OUTPUT_921dbbb2_9bdba57c=yes
CC_OUTPUT_921dbbb2_6a4fe7f5=yes
CC_OUTPUT_921dbbb2_6bcac02b=yes
CC_OUTPUT_921dbbb2_67d20829=yes
CC_OUTPUT_921dbbb2_bfa62e83=yes
CC_OUTPUT_921dbbb2_f0b4d593=yes
CC_OUTPUT_921dbbb2_308abb44=yes
CC_OUTPUT_921dbbb2_f00456e5=yes
CC_OUTPUT_921dbbb2_65ad290d=yes
CC_OUTPUT_921dbbb2_f2776b26=yes
CC_OUTPUT_921dbbb2_b2657cc3=yes
CC_OUTPUT_921dbbb2_380987f7=yes
CC_OUTPUT_921dbbb2_160933ec=yes
CC_OUTPUT_921dbbb2_fb62803b=yes
_OBJC_CCVERSION_921dbbb2=FreeBSD clang version 6.0.1 (tags/RELEASE_601/final 335540) (based on LLVM 6.0.1) Target: aarch64-unknown-freebsd12.0 Thread model: posix InstalledDir: /usr/bin
_OBJC_ALTCCVERSION_921dbbb2=none
ARCH=aarch64
OPSYS=FreeBSD
_OSRELEASE=12.0-RELEASE-p2
OSREL=12.0
OSVERSION=1200086
PYTHONBASE=/usr/local
CONFIGURE_MAX_CMD_LEN=262144
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)  1048576
stack size              (kbytes, -s)  1048576
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.5.4 depends on file: /usr/local/sbin/pkg - not found
===>   Installing existing package /packages/All/pkg-1.10.5_5.txz
[120arm64-quarterly-job-20] Installing pkg-1.10.5_5...
[120arm64-quarterly-job-20] Extracting pkg-1.10.5_5: .......... done
===>   hs-Agda-2.5.4 depends on file: /usr/local/sbin/pkg - found
===>   Returning to build of hs-Agda-2.5.4
===========================================================================
=======================<phase: fetch-depends  >============================
===========================================================================
=======================<phase: fetch          >============================
===> Fetching all distfiles required by hs-Agda-2.5.4 for building
===========================================================================
=======================<phase: checksum       >============================
===> Fetching all distfiles required by hs-Agda-2.5.4 for building
=> SHA256 Checksum OK for cabal/Agda-2.5.4.tar.gz.
===========================================================================
=======================<phase: extract-depends>============================
===========================================================================
=======================<phase: extract        >============================
===> Fetching all distfiles required by hs-Agda-2.5.4 for building
===>  Extracting for hs-Agda-2.5.4
=> SHA256 Checksum OK for cabal/Agda-2.5.4.tar.gz.
===========================================================================
=======================<phase: patch-depends  >============================
===========================================================================
=======================<phase: patch          >============================
===>  Patching for hs-Agda-2.5.4
===========================================================================
=======================<phase: build-depends  >============================
===>   hs-Agda-2.5.4 depends on executable: ghc - not found
===>   Installing existing package /packages/All/ghc-8.4.4.txz
[120arm64-quarterly-job-20] Installing ghc-8.4.4...
[120arm64-quarterly-job-20] `-- Installing binutils-2.30_7,1...
[120arm64-quarterly-job-20] |   `-- Installing gettext-runtime-0.19.8.1_2...
[120arm64-quarterly-job-20] |   | `-- Installing indexinfo-0.3.1...
[120arm64-quarterly-job-20] |   | `-- Extracting indexinfo-0.3.1: .... done
[120arm64-quarterly-job-20] |   `-- Extracting gettext-runtime-0.19.8.1_2: .......... done
[120arm64-quarterly-job-20] `-- Extracting binutils-2.30_7,1: .......... done
[120arm64-quarterly-job-20] `-- Installing gcc8-8.2.0_4...
[120arm64-quarterly-job-20] |   `-- Installing gmp-6.1.2_1...
[120arm64-quarterly-job-20] |   `-- Extracting gmp-6.1.2_1: .......... done
[120arm64-quarterly-job-20] |   `-- Installing mpc-1.1.0_2...
<snip>
===>   hs-Agda-2.5.4 depends on package: hs-murmur-hash>=0 - found
===>   Returning to build of hs-Agda-2.5.4
===>   hs-Agda-2.5.4 depends on package: hs-parallel>=0 - not found
===>   Installing existing package /packages/All/hs-parallel-3.2.1.1_2.txz
[120arm64-quarterly-job-20] Installing hs-parallel-3.2.1.1_2...
[120arm64-quarterly-job-20] Extracting hs-parallel-3.2.1.1_2: .......... done
===>   hs-Agda-2.5.4 depends on package: hs-parallel>=0 - found
===>   Returning to build of hs-Agda-2.5.4
===>   hs-Agda-2.5.4 depends on package: hs-regex-tdfa>=0 - not found
===>   Installing existing package /packages/All/hs-regex-tdfa-1.2.3_1.txz
[120arm64-quarterly-job-20] Installing hs-regex-tdfa-1.2.3_1...
[120arm64-quarterly-job-20] `-- Installing hs-regex-base-0.93.2_18...
[120arm64-quarterly-job-20] `-- Extracting hs-regex-base-0.93.2_18: .......... done
[120arm64-quarterly-job-20] Extracting hs-regex-tdfa-1.2.3_1: .......... done
===>   hs-Agda-2.5.4 depends on package: hs-regex-tdfa>=0 - found
===>   Returning to build of hs-Agda-2.5.4
===>   hs-Agda-2.5.4 depends on package: hs-strict>=0 - not found
===>   Installing existing package /packages/All/hs-strict-0.3.2_16.txz
[120arm64-quarterly-job-20] Installing hs-strict-0.3.2_16...
[120arm64-quarterly-job-20] Extracting hs-strict-0.3.2_16: .......... done
===>   hs-Agda-2.5.4 depends on package: hs-strict>=0 - found
===>   Returning to build of hs-Agda-2.5.4
===>   hs-Agda-2.5.4 depends on package: hs-unordered-containers>=0 - found
===>   hs-Agda-2.5.4 depends on package: hs-uri-encode>=0 - not found
===>   Installing existing package /packages/All/hs-uri-encode-1.5.0.5_1.txz
[120arm64-quarterly-job-20] Installing hs-uri-encode-1.5.0.5_1...
[120arm64-quarterly-job-20] `-- Installing hs-network-uri-2.6.1.0_3...
[120arm64-quarterly-job-20] `-- Extracting hs-network-uri-2.6.1.0_3: .......... done
[120arm64-quarterly-job-20] `-- Installing hs-utf8-string-1.0.1.1_3...
[120arm64-quarterly-job-20] `-- Extracting hs-utf8-string-1.0.1.1_3: .......... done
[120arm64-quarterly-job-20] Extracting hs-uri-encode-1.5.0.5_1: .......... done
===>   hs-Agda-2.5.4 depends on package: hs-uri-encode>=0 - found
===>   Returning to build of hs-Agda-2.5.4
===>   hs-Agda-2.5.4 depends on package: hs-zlib>=0 - not found
===>   Installing existing package /packages/All/hs-zlib-0.6.1.2_3.txz
[120arm64-quarterly-job-20] Installing hs-zlib-0.6.1.2_3...
[120arm64-quarterly-job-20] Extracting hs-zlib-0.6.1.2_3: .......... done
===>   hs-Agda-2.5.4 depends on package: hs-zlib>=0 - found
===>   Returning to build of hs-Agda-2.5.4
===========================================================================
=======================<phase: lib-depends    >============================
===>   hs-Agda-2.5.4 depends on shared library: libgmp.so - found (/usr/local/lib/libgmp.so)
===>   hs-Agda-2.5.4 depends on shared library: libiconv.so - found (/usr/local/lib/libiconv.so)
===========================================================================
=======================<phase: configure      >============================
===>  Configuring for hs-Agda-2.5.4
[1 of 1] Compiling Main             ( Setup.hs, Setup.o )
Linking ./setup ...
Configuring Agda-2.5.4...
===========================================================================
=======================<phase: build          >============================
===>  Building for hs-Agda-2.5.4
Preprocessing executable 'agda-mode' for Agda-2.5.4..
Building executable 'agda-mode' for Agda-2.5.4..
[1 of 2] Compiling Paths_Agda       ( dist/build/agda-mode/autogen/Paths_Agda.hs, dist/build/agda-mode/agda-mode-tmp/Paths_Agda.dyn_o )
[2 of 2] Compiling Main             ( src/agda-mode/Main.hs, dist/build/agda-mode/agda-mode-tmp/Main.dyn_o )
Linking dist/build/agda-mode/agda-mode ...
Preprocessing library for Agda-2.5.4..
Building library for Agda-2.5.4..
[  1 of 338] Compiling Agda.Compiler.Backend[boot] ( src/full/Agda/Compiler/Backend.hs-boot, dist/build/Agda/Compiler/Backend.o-boot )
[  2 of 338] Compiling Agda.Interaction.Library.Base ( src/full/Agda/Interaction/Library/Base.hs, dist/build/Agda/Interaction/Library/Base.o )
[  3 of 338] Compiling Agda.Interaction.Options.IORefs ( src/full/Agda/Interaction/Options/IORefs.hs, dist/build/Agda/Interaction/Options/IORefs.o )
[  4 of 338] Compiling Agda.Termination.CutOff ( src/full/Agda/Termination/CutOff.hs, dist/build/Agda/Termination/CutOff.o )
[  5 of 338] Compiling Agda.Termination.Semiring ( src/full/Agda/Termination/Semiring.hs, dist/build/Agda/Termination/Semiring.o )
[  6 of 338] Compiling Agda.Utils.AffineHole ( src/full/Agda/Utils/AffineHole.hs, dist/build/Agda/Utils/AffineHole.o )
[  7 of 338] Compiling Agda.Utils.BiMap ( src/full/Agda/Utils/BiMap.hs, dist/build/Agda/Utils/BiMap.o )
[  8 of 338] Compiling Agda.Utils.Char  ( src/full/Agda/Utils/Char.hs, dist/build/Agda/Utils/Char.o )
[  9 of 338] Compiling Agda.Utils.Cluster ( src/full/Agda/Utils/Cluster.hs, dist/build/Agda/Utils/Cluster.o )
[ 10 of 338] Compiling Agda.Utils.Either ( src/full/Agda/Utils/Either.hs, dist/build/Agda/Utils/Either.o )
[ 11 of 338] Compiling Agda.Utils.Environment ( src/full/Agda/Utils/Environment.hs, dist/build/Agda/Utils/Environment.o )
[ 12 of 338] Compiling Agda.Utils.Except ( src/full/Agda/Utils/Except.hs, dist/build/Agda/Utils/Except.o )
[ 13 of 338] Compiling Agda.Utils.Float ( src/full/Agda/Utils/Float.hs, dist/build/Agda/Utils/Float.o )
[ 14 of 338] Compiling Agda.Utils.Function ( src/full/Agda/Utils/Function.hs, dist/build/Agda/Utils/Function.o )
[ 15 of 338] Compiling Agda.TypeChecking.SizedTypes.Utils ( src/full/Agda/TypeChecking/SizedTypes/Utils.hs, dist/build/Agda/TypeChecking/SizedTypes/Utils.o )
[ 16 of 338] Compiling Agda.Utils.Functor ( src/full/Agda/Utils/Functor.hs, dist/build/Agda/Utils/Functor.o )
[ 17 of 338] Compiling Agda.Utils.HashMap ( src/full/Agda/Utils/HashMap.hs, dist/build/Agda/Utils/HashMap.o )
[ 18 of 338] Compiling Agda.Utils.Haskell.Syntax ( src/full/Agda/Utils/Haskell/Syntax.hs, dist/build/Agda/Utils/Haskell/Syntax.o )
[ 19 of 338] Compiling Agda.Utils.IO    ( src/full/Agda/Utils/IO.hs, dist/build/Agda/Utils/IO.o )
[ 20 of 338] Compiling Agda.Utils.IO.Binary ( src/full/Agda/Utils/IO/Binary.hs, dist/build/Agda/Utils/IO/Binary.o )
[ 21 of 338] Compiling Agda.Utils.IO.UTF8 ( src/full/Agda/Utils/IO/UTF8.hs, dist/build/Agda/Utils/IO/UTF8.o )
[ 22 of 338] Compiling Agda.Utils.IORef ( src/full/Agda/Utils/IORef.hs, dist/build/Agda/Utils/IORef.o )
[ 23 of 338] Compiling Agda.Utils.Impossible ( src/full/Agda/Utils/Impossible.hs, dist/build/Agda/Utils/Impossible.o )
[ 24 of 338] Compiling Agda.Utils.Empty ( src/full/Agda/Utils/Empty.hs, dist/build/Agda/Utils/Empty.o )
[ 25 of 338] Compiling Agda.Utils.Bag   ( src/full/Agda/Utils/Bag.hs, dist/build/Agda/Utils/Bag.o )
[ 26 of 338] Compiling Agda.ImpossibleTest ( src/full/Agda/ImpossibleTest.hs, dist/build/Agda/ImpossibleTest.o )
[ 27 of 338] Compiling Agda.Auto.NarrowingSearch ( src/full/Agda/Auto/NarrowingSearch.hs, dist/build/Agda/Auto/NarrowingSearch.o )
[ 28 of 338] Compiling Agda.Utils.IntSet.Infinite ( src/full/Agda/Utils/IntSet/Infinite.hs, dist/build/Agda/Utils/IntSet/Infinite.o )
[ 29 of 338] Compiling Agda.Utils.Lens  ( src/full/Agda/Utils/Lens.hs, dist/build/Agda/Utils/Lens.o )
[ 30 of 338] Compiling Agda.Utils.IndexedList ( src/full/Agda/Utils/IndexedList.hs, dist/build/Agda/Utils/IndexedList.o )
[ 31 of 338] Compiling Agda.Interaction.Options.Warnings ( src/full/Agda/Interaction/Options/Warnings.hs, dist/build/Agda/Interaction/Options/Warnings.o )
[ 32 of 338] Compiling Agda.Interaction.Options.Help ( src/full/Agda/Interaction/Options/Help.hs, dist/build/Agda/Interaction/Options/Help.o )
[ 33 of 338] Compiling Agda.Auto.Options ( src/full/Agda/Auto/Options.hs, dist/build/Agda/Auto/Options.o )
[ 34 of 338] Compiling Agda.Utils.Lens.Examples ( src/full/Agda/Utils/Lens/Examples.hs, dist/build/Agda/Utils/Lens/Examples.o )
[ 35 of 338] Compiling Agda.Utils.Maybe ( src/full/Agda/Utils/Maybe.hs, dist/build/Agda/Utils/Maybe.o )
[ 36 of 338] Compiling Agda.Utils.ListT ( src/full/Agda/Utils/ListT.hs, dist/build/Agda/Utils/ListT.o )
[ 37 of 338] Compiling Agda.Utils.Memo  ( src/full/Agda/Utils/Memo.hs, dist/build/Agda/Utils/Memo.o )
[ 38 of 338] Compiling Agda.Utils.Monoid ( src/full/Agda/Utils/Monoid.hs, dist/build/Agda/Utils/Monoid.o )
[ 39 of 338] Compiling Agda.Utils.NonemptyList ( src/full/Agda/Utils/NonemptyList.hs, dist/build/Agda/Utils/NonemptyList.o )
[ 40 of 338] Compiling Agda.Utils.Null  ( src/full/Agda/Utils/Null.hs, dist/build/Agda/Utils/Null.o )
[ 41 of 338] Compiling Agda.Utils.Maybe.Strict ( src/full/Agda/Utils/Maybe/Strict.hs, dist/build/Agda/Utils/Maybe/Strict.o )
[ 42 of 338] Compiling Agda.Utils.Parser.ReadP ( src/full/Agda/Utils/Parser/ReadP.hs, dist/build/Agda/Utils/Parser/ReadP.o )
[ 43 of 338] Compiling Agda.Utils.PartialOrd ( src/full/Agda/Utils/PartialOrd.hs, dist/build/Agda/Utils/PartialOrd.o )
[ 44 of 338] Compiling Agda.Utils.POMonoid ( src/full/Agda/Utils/POMonoid.hs, dist/build/Agda/Utils/POMonoid.o )
[ 45 of 338] Compiling Agda.Utils.Pointer ( src/full/Agda/Utils/Pointer.hs, dist/build/Agda/Utils/Pointer.o )
[ 46 of 338] Compiling Agda.Utils.Pretty ( src/full/Agda/Utils/Pretty.hs, dist/build/Agda/Utils/Pretty.o )
[ 47 of 338] Compiling Agda.Utils.Parser.MemoisedCPS ( src/full/Agda/Utils/Parser/MemoisedCPS.hs, dist/build/Agda/Utils/Parser/MemoisedCPS.o )
[ 48 of 338] Compiling Agda.TypeChecking.SizedTypes.Syntax ( src/full/Agda/TypeChecking/SizedTypes/Syntax.hs, dist/build/Agda/TypeChecking/SizedTypes/Syntax.o )
[ 49 of 338] Compiling Agda.Utils.SemiRing ( src/full/Agda/Utils/SemiRing.hs, dist/build/Agda/Utils/SemiRing.o )
[ 50 of 338] Compiling Agda.Utils.Singleton ( src/full/Agda/Utils/Singleton.hs, dist/build/Agda/Utils/Singleton.o )
[ 51 of 338] Compiling Agda.Utils.Size  ( src/full/Agda/Utils/Size.hs, dist/build/Agda/Utils/Size.o )
[ 52 of 338] Compiling Agda.Utils.Suffix ( src/full/Agda/Utils/Suffix.hs, dist/build/Agda/Utils/Suffix.o )
[ 53 of 338] Compiling Agda.Utils.Three ( src/full/Agda/Utils/Three.hs, dist/build/Agda/Utils/Three.o )
[ 54 of 338] Compiling Agda.Utils.Trie  ( src/full/Agda/Utils/Trie.hs, dist/build/Agda/Utils/Trie.o )
[ 55 of 338] Compiling Agda.Utils.Tuple ( src/full/Agda/Utils/Tuple.hs, dist/build/Agda/Utils/Tuple.o )
[ 56 of 338] Compiling Agda.Utils.Map   ( src/full/Agda/Utils/Map.hs, dist/build/Agda/Utils/Map.o )
[ 57 of 338] Compiling Agda.Utils.List  ( src/full/Agda/Utils/List.hs, dist/build/Agda/Utils/List.o )
[ 58 of 338] Compiling Agda.Utils.String ( src/full/Agda/Utils/String.hs, dist/build/Agda/Utils/String.o )
[ 59 of 338] Compiling Agda.Utils.Time  ( src/full/Agda/Utils/Time.hs, dist/build/Agda/Utils/Time.o )
[ 60 of 338] Compiling Agda.Interaction.Library.Parse ( src/full/Agda/Interaction/Library/Parse.hs, dist/build/Agda/Interaction/Library/Parse.o )
[ 61 of 338] Compiling Agda.Interaction.EmacsCommand ( src/full/Agda/Interaction/EmacsCommand.hs, dist/build/Agda/Interaction/EmacsCommand.o )
[ 62 of 338] Compiling Agda.Utils.Monad ( src/full/Agda/Utils/Monad.hs, dist/build/Agda/Utils/Monad.o )
[ 63 of 338] Compiling Agda.Utils.FileName ( src/full/Agda/Utils/FileName.hs, dist/build/Agda/Utils/FileName.o )
[ 64 of 338] Compiling Agda.Utils.Hash  ( src/full/Agda/Utils/Hash.hs, dist/build/Agda/Utils/Hash.o )
[ 65 of 338] Compiling Agda.Utils.Benchmark ( src/full/Agda/Utils/Benchmark.hs, dist/build/Agda/Utils/Benchmark.o )
[ 66 of 338] Compiling Agda.Syntax.Position ( src/full/Agda/Syntax/Position.hs, dist/build/Agda/Syntax/Position.o )
[ 67 of 338] Compiling Agda.Utils.Permutation ( src/full/Agda/Utils/Permutation.hs, dist/build/Agda/Utils/Permutation.o )
[ 68 of 338] Compiling Agda.Syntax.Parser.Monad ( src/full/Agda/Syntax/Parser/Monad.hs, dist/build/Agda/Syntax/Parser/Monad.o )
[ 69 of 338] Compiling Agda.Syntax.Parser.Literate ( src/full/Agda/Syntax/Parser/Literate.hs, dist/build/Agda/Syntax/Parser/Literate.o )
[ 70 of 338] Compiling Agda.Syntax.Fixity[boot] ( src/full/Agda/Syntax/Fixity.hs-boot, dist/build/Agda/Syntax/Fixity.o-boot )
[ 71 of 338] Compiling Agda.Syntax.Common ( src/full/Agda/Syntax/Common.hs, dist/build/Agda/Syntax/Common.o )
[ 72 of 338] Compiling Agda.Syntax.Concrete.Operators.Parser.Monad ( src/full/Agda/Syntax/Concrete/Operators/Parser/Monad.hs, dist/build/Agda/Syntax/Concrete/Operators/Parser/Monad.o )
[ 73 of 338] Compiling Agda.Syntax.Concrete.Name ( src/full/Agda/Syntax/Concrete/Name.hs, dist/build/Agda/Syntax/Concrete/Name.o )
[ 74 of 338] Compiling Agda.TypeChecking.Monad.Base[boot] ( src/full/Agda/TypeChecking/Monad/Base.hs-boot, dist/build/Agda/TypeChecking/Monad/Base.o-boot )
[ 75 of 338] Compiling Agda.Compiler.JS.Syntax ( src/full/Agda/Compiler/JS/Syntax.hs, dist/build/Agda/Compiler/JS/Syntax.o )
[ 76 of 338] Compiling Agda.Compiler.JS.Substitution ( src/full/Agda/Compiler/JS/Substitution.hs, dist/build/Agda/Compiler/JS/Substitution.o )
[ 77 of 338] Compiling Agda.Compiler.JS.Pretty ( src/full/Agda/Compiler/JS/Pretty.hs, dist/build/Agda/Compiler/JS/Pretty.o )
[ 78 of 338] Compiling Agda.Auto.Syntax ( src/full/Agda/Auto/Syntax.hs, dist/build/Agda/Auto/Syntax.o )
[ 79 of 338] Compiling Agda.Auto.SearchControl ( src/full/Agda/Auto/SearchControl.hs, dist/build/Agda/Auto/SearchControl.o )
[ 80 of 338] Compiling Agda.Auto.Typecheck ( src/full/Agda/Auto/Typecheck.hs, dist/build/Agda/Auto/Typecheck.o )
[ 81 of 338] Compiling Agda.Auto.CaseSplit ( src/full/Agda/Auto/CaseSplit.hs, dist/build/Agda/Auto/CaseSplit.o )
[ 82 of 338] Compiling Agda.Syntax.Notation ( src/full/Agda/Syntax/Notation.hs, dist/build/Agda/Syntax/Notation.o )
[ 83 of 338] Compiling Agda.Syntax.Abstract.Name ( src/full/Agda/Syntax/Abstract/Name.hs, dist/build/Agda/Syntax/Abstract/Name.o )
[ 84 of 338] Compiling Agda.Syntax.Literal ( src/full/Agda/Syntax/Literal.hs, dist/build/Agda/Syntax/Literal.o )
[ 85 of 338] Compiling Agda.Syntax.Treeless ( src/full/Agda/Syntax/Treeless.hs, dist/build/Agda/Syntax/Treeless.o )
[ 86 of 338] Compiling Agda.Syntax.Reflected ( src/full/Agda/Syntax/Reflected.hs, dist/build/Agda/Syntax/Reflected.o )
[ 87 of 338] Compiling Agda.Syntax.Parser.Tokens ( src/full/Agda/Syntax/Parser/Tokens.hs, dist/build/Agda/Syntax/Parser/Tokens.o )
[ 88 of 338] Compiling Agda.Syntax.Fixity ( src/full/Agda/Syntax/Fixity.hs, dist/build/Agda/Syntax/Fixity.o )
[ 89 of 338] Compiling Agda.Interaction.Highlighting.Range ( src/full/Agda/Interaction/Highlighting/Range.hs, dist/build/Agda/Interaction/Highlighting/Range.o )
[ 90 of 338] Compiling Agda.Utils.Graph.AdjacencyMap.Unidirectional ( src/full/Agda/Utils/Graph/AdjacencyMap/Unidirectional.hs, dist/build/Agda/Utils/Graph/AdjacencyMap/Unidirectional.o )
[ 91 of 338] Compiling Agda.TypeChecking.SizedTypes.WarshallSolver ( src/full/Agda/TypeChecking/SizedTypes/WarshallSolver.hs, dist/build/Agda/TypeChecking/SizedTypes/WarshallSolver.o )
[ 92 of 338] Compiling Agda.TypeChecking.Positivity.Occurrence ( src/full/Agda/TypeChecking/Positivity/Occurrence.hs, dist/build/Agda/TypeChecking/Positivity/Occurrence.o )
[ 93 of 338] Compiling Agda.Syntax.Concrete ( src/full/Agda/Syntax/Concrete.hs, dist/build/Agda/Syntax/Concrete.o )
[ 94 of 338] Compiling Agda.Syntax.Concrete.Pretty ( src/full/Agda/Syntax/Concrete/Pretty.hs, dist/build/Agda/Syntax/Concrete/Pretty.o )
[ 95 of 338] Compiling Agda.Benchmarking ( src/full/Agda/Benchmarking.hs, dist/build/Agda/Benchmarking.o )
[ 96 of 338] Compiling Agda.Syntax.Concrete.Pattern ( src/full/Agda/Syntax/Concrete/Pattern.hs, dist/build/Agda/Syntax/Concrete/Pattern.o )
[ 97 of 338] Compiling Agda.Syntax.Concrete.Operators.Parser ( src/full/Agda/Syntax/Concrete/Operators/Parser.hs, dist/build/Agda/Syntax/Concrete/Operators/Parser.o )
[ 98 of 338] Compiling Agda.Syntax.Concrete.Generic ( src/full/Agda/Syntax/Concrete/Generic.hs, dist/build/Agda/Syntax/Concrete/Generic.o )
[ 99 of 338] Compiling Agda.Interaction.Highlighting.Precise ( src/full/Agda/Interaction/Highlighting/Precise.hs, dist/build/Agda/Interaction/Highlighting/Precise.o )
[100 of 338] Compiling Agda.Interaction.Response ( src/full/Agda/Interaction/Response.hs, dist/build/Agda/Interaction/Response.o )
[101 of 338] Compiling Agda.Utils.Favorites ( src/full/Agda/Utils/Favorites.hs, dist/build/Agda/Utils/Favorites.o )
[102 of 338] Compiling Agda.Utils.AssocList ( src/full/Agda/Utils/AssocList.hs, dist/build/Agda/Utils/AssocList.o )
[103 of 338] Compiling Agda.Syntax.Scope.Base ( src/full/Agda/Syntax/Scope/Base.hs, dist/build/Agda/Syntax/Scope/Base.o )
[104 of 338] Compiling Agda.Utils.Geniplate ( src/full/Agda/Utils/Geniplate.hs, dist/build/Agda/Utils/Geniplate.o )
[105 of 338] Compiling Agda.Syntax.Info ( src/full/Agda/Syntax/Info.hs, dist/build/Agda/Syntax/Info.o )
[106 of 338] Compiling Agda.Termination.SparseMatrix ( src/full/Agda/Termination/SparseMatrix.hs, dist/build/Agda/Termination/SparseMatrix.o )
[107 of 338] Compiling Agda.Termination.Order ( src/full/Agda/Termination/Order.hs, dist/build/Agda/Termination/Order.o )
[108 of 338] Compiling Agda.Termination.CallMatrix ( src/full/Agda/Termination/CallMatrix.hs, dist/build/Agda/Termination/CallMatrix.o )
[109 of 338] Compiling Agda.Termination.CallGraph ( src/full/Agda/Termination/CallGraph.hs, dist/build/Agda/Termination/CallGraph.o )
[110 of 338] Compiling Agda.Termination.Termination ( src/full/Agda/Termination/Termination.hs, dist/build/Agda/Termination/Termination.o )
[111 of 338] Compiling Agda.Syntax.Parser.Alex ( src/full/Agda/Syntax/Parser/Alex.hs, dist/build/Agda/Syntax/Parser/Alex.o )
[112 of 338] Compiling Agda.Syntax.Parser.LookAhead ( src/full/Agda/Syntax/Parser/LookAhead.hs, dist/build/Agda/Syntax/Parser/LookAhead.o )
[113 of 338] Compiling Agda.Syntax.Parser.StringLiterals ( src/full/Agda/Syntax/Parser/StringLiterals.hs, dist/build/Agda/Syntax/Parser/StringLiterals.o )
[114 of 338] Compiling Agda.Syntax.Parser.LexActions[boot] ( src/full/Agda/Syntax/Parser/LexActions.hs-boot, dist/build/Agda/Syntax/Parser/LexActions.o-boot )
[115 of 338] Compiling Agda.Syntax.Parser.Layout[boot] ( src/full/Agda/Syntax/Parser/Layout.hs-boot, dist/build/Agda/Syntax/Parser/Layout.o-boot )
[116 of 338] Compiling Agda.Syntax.Parser.Comments ( src/full/Agda/Syntax/Parser/Comments.hs, dist/build/Agda/Syntax/Parser/Comments.o )
[117 of 338] Compiling Agda.Syntax.Parser.Lexer ( dist/build/Agda/Syntax/Parser/Lexer.hs, dist/build/Agda/Syntax/Parser/Lexer.o )
[118 of 338] Compiling Agda.Syntax.Parser.Parser ( dist/build/Agda/Syntax/Parser/Parser.hs, dist/build/Agda/Syntax/Parser/Parser.o )
[119 of 338] Compiling Agda.Syntax.Parser.LexActions ( src/full/Agda/Syntax/Parser/LexActions.hs, dist/build/Agda/Syntax/Parser/LexActions.o )
[120 of 338] Compiling Agda.Syntax.Parser.Layout ( src/full/Agda/Syntax/Parser/Layout.hs, dist/build/Agda/Syntax/Parser/Layout.o )
[121 of 338] Compiling Agda.Syntax.Internal ( src/full/Agda/Syntax/Internal.hs, dist/build/Agda/Syntax/Internal.o )
[122 of 338] Compiling Agda.TypeChecking.Substitute.DeBruijn ( src/full/Agda/TypeChecking/Substitute/DeBruijn.hs, dist/build/Agda/TypeChecking/Substitute/DeBruijn.o )
[123 of 338] Compiling Agda.TypeChecking.Free.Precompute ( src/full/Agda/TypeChecking/Free/Precompute.hs, dist/build/Agda/TypeChecking/Free/Precompute.o )
[124 of 338] Compiling Agda.TypeChecking.Free.Lazy ( src/full/Agda/TypeChecking/Free/Lazy.hs, dist/build/Agda/TypeChecking/Free/Lazy.o )
[125 of 338] Compiling Agda.TypeChecking.Free ( src/full/Agda/TypeChecking/Free.hs, dist/build/Agda/TypeChecking/Free.o )
[126 of 338] Compiling Agda.TypeChecking.Substitute.Class ( src/full/Agda/TypeChecking/Substitute/Class.hs, dist/build/Agda/TypeChecking/Substitute/Class.o )
[127 of 338] Compiling Agda.Syntax.Internal.Generic ( src/full/Agda/Syntax/Internal/Generic.hs, dist/build/Agda/Syntax/Internal/Generic.o )
[128 of 338] Compiling Agda.TypeChecking.CompiledClause ( src/full/Agda/TypeChecking/CompiledClause.hs, dist/build/Agda/TypeChecking/CompiledClause.o )
[129 of 338] Compiling Agda.Syntax.Internal.Defs ( src/full/Agda/Syntax/Internal/Defs.hs, dist/build/Agda/Syntax/Internal/Defs.o )
[130 of 338] Compiling Agda.Syntax.Abstract ( src/full/Agda/Syntax/Abstract.hs, dist/build/Agda/Syntax/Abstract.o )
[131 of 338] Compiling Agda.Syntax.Internal.Pattern ( src/full/Agda/Syntax/Internal/Pattern.hs, dist/build/Agda/Syntax/Internal/Pattern.o )
[132 of 338] Compiling Agda.Syntax.Abstract.Views ( src/full/Agda/Syntax/Abstract/Views.hs, dist/build/Agda/Syntax/Abstract/Views.o )
[133 of 338] Compiling Agda.Syntax.Abstract.PatternSynonyms ( src/full/Agda/Syntax/Abstract/PatternSynonyms.hs, dist/build/Agda/Syntax/Abstract/PatternSynonyms.o )
[134 of 338] Compiling Agda.Syntax.Abstract.Pattern ( src/full/Agda/Syntax/Abstract/Pattern.hs, dist/build/Agda/Syntax/Abstract/Pattern.o )
[135 of 338] Compiling Agda.Utils.TypeLevel ( src/full/Agda/Utils/TypeLevel.hs, dist/build/Agda/Utils/TypeLevel.o )
[136 of 338] Compiling Agda.Utils.Update ( src/full/Agda/Utils/Update.hs, dist/build/Agda/Utils/Update.o )
[137 of 338] Compiling Agda.Syntax.Concrete.Definitions ( src/full/Agda/Syntax/Concrete/Definitions.hs, dist/build/Agda/Syntax/Concrete/Definitions.o )
*** Signal 9

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



Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?201901171144.x0HBi1if026680>