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>