From owner-freebsd-haskell@freebsd.org Sun May 3 21:00:06 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 47AF32B8AAF for ; Sun, 3 May 2020 21:00:06 +0000 (UTC) (envelope-from bugzilla-noreply@FreeBSD.org) Received: from mailman.nyi.freebsd.org (unknown [127.0.1.3]) by mx1.freebsd.org (Postfix) with ESMTP id 49FdfZ1CZCz4J78 for ; Sun, 3 May 2020 21:00:06 +0000 (UTC) (envelope-from bugzilla-noreply@FreeBSD.org) Received: by mailman.nyi.freebsd.org (Postfix) id 298212B8AAE; Sun, 3 May 2020 21:00:06 +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 2947D2B8AAC for ; Sun, 3 May 2020 21:00:06 +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) server-signature RSA-PSS (4096 bits) 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 49FdfZ0P6Fz4J77 for ; Sun, 3 May 2020 21:00:06 +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) server-signature RSA-PSS (4096 bits)) (Client did not present a certificate) by mxrelay.nyi.freebsd.org (Postfix) with ESMTPS id 08A26191B3 for ; Sun, 3 May 2020 21:00:06 +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 043L0538082591 for ; Sun, 3 May 2020 21:00:05 GMT (envelope-from bugzilla-noreply@FreeBSD.org) Received: (from bugzilla@localhost) by kenobi.freebsd.org (8.15.2/8.15.2/Submit) id 043L05Is082590 for haskell@FreeBSD.org; Sun, 3 May 2020 21:00:05 GMT (envelope-from bugzilla-noreply@FreeBSD.org) Message-Id: <202005032100.043L05Is082590@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, 3 May 2020 21:00:05 +0000 MIME-Version: 1.0 Content-Type: text/plain; charset="UTF-8" X-Content-Filtered-By: Mailman/MimeDel 2.1.29 X-BeenThere: freebsd-haskell@freebsd.org X-Mailman-Version: 2.1.29 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, 03 May 2020 21:00:06 -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 Mon May 4 18:08:23 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 F2CCF2D5FD7 for ; Mon, 4 May 2020 18:08:23 +0000 (UTC) (envelope-from bugzilla-noreply@freebsd.org) Received: from mailman.nyi.freebsd.org (unknown [127.0.1.3]) by mx1.freebsd.org (Postfix) with ESMTP id 49G9nz3Mgyz4WXF for ; Mon, 4 May 2020 18:08:23 +0000 (UTC) (envelope-from bugzilla-noreply@freebsd.org) Received: by mailman.nyi.freebsd.org (Postfix) id 1C19E2D5FCD; Mon, 4 May 2020 18:08:23 +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 15F102D5FCB for ; Mon, 4 May 2020 18:08:23 +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) server-signature RSA-PSS (4096 bits) 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 49G9nx06Cbz4WVP for ; Mon, 4 May 2020 18:08:20 +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) server-signature RSA-PSS (4096 bits)) (Client did not present a certificate) by mxrelay.nyi.freebsd.org (Postfix) with ESMTPS id E75C73F9 for ; Mon, 4 May 2020 18:08:19 +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 044I8J1Y016954 for ; Mon, 4 May 2020 18:08:19 GMT (envelope-from bugzilla-noreply@freebsd.org) Received: (from bugzilla@localhost) by kenobi.freebsd.org (8.15.2/8.15.2/Submit) id 044I8JP3016946 for haskell@FreeBSD.org; Mon, 4 May 2020 18:08:19 GMT (envelope-from bugzilla-noreply@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: [Bug 244784] Mk/Uses/cabal.mk: GitHub-based Haskell ports list the main tarball twice in distinfo Date: Mon, 04 May 2020 18:08:19 +0000 X-Bugzilla-Reason: AssignedTo X-Bugzilla-Type: changed X-Bugzilla-Watch-Reason: None X-Bugzilla-Product: Ports & Packages X-Bugzilla-Component: Ports Framework X-Bugzilla-Version: Latest X-Bugzilla-Keywords: needs-patch, needs-qa X-Bugzilla-Severity: Affects Only Me X-Bugzilla-Who: commit-hook@freebsd.org X-Bugzilla-Status: In Progress X-Bugzilla-Resolution: X-Bugzilla-Priority: --- X-Bugzilla-Assigned-To: haskell@FreeBSD.org X-Bugzilla-Flags: merge-quarterly? X-Bugzilla-Changed-Fields: Message-ID: In-Reply-To: References: Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable X-Bugzilla-URL: https://bugs.freebsd.org/bugzilla/ Auto-Submitted: auto-generated MIME-Version: 1.0 X-BeenThere: freebsd-haskell@freebsd.org X-Mailman-Version: 2.1.29 Precedence: list List-Id: FreeBSD-specific Haskell issues and discussions List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Mon, 04 May 2020 18:08:24 -0000 https://bugs.freebsd.org/bugzilla/show_bug.cgi?id=3D244784 --- Comment #4 from commit-hook@freebsd.org --- A commit references this bug: Author: arrowd Date: Mon May 4 18:08:15 UTC 2020 New revision: 533933 URL: https://svnweb.freebsd.org/changeset/ports/533933 Log: Upgrade lang/ghc to 8.8.3 and many Haskell ports along the way. PR: 244784 Submitted by: Evilham (some ports) Changes: head/Mk/Uses/cabal.mk head/UPDATING head/converters/hs-aeson-pretty/Makefile head/converters/hs-aeson-pretty/distinfo head/devel/elm-format/Makefile head/devel/elm-format/distinfo head/devel/elm-format/files/patch-elm-format.cabal head/devel/elm-format/files/patch-markdown_Cheapskate_ParserCombinators.hs head/devel/hs-alex/Makefile head/devel/hs-alex/distinfo head/devel/hs-bytestring-nums/Makefile head/devel/hs-c2hs/Makefile head/devel/hs-c2hs/distinfo head/devel/hs-cabal-install/Makefile head/devel/hs-cabal-install/distinfo head/devel/hs-cabal-install/files/patch-bootstrap.sh head/devel/hs-cabal-install/files/patch-cabal-install.cabal head/devel/hs-cpphs/Makefile head/devel/hs-cpphs/distinfo head/devel/hs-cpphs/files/ head/devel/hs-cpphs/files/patch-cpphs.cabal head/devel/hs-darcs/Makefile head/devel/hs-darcs/distinfo head/devel/hs-darcs/files/ head/devel/hs-data-default/Makefile head/devel/hs-data-default-class/Makefile head/devel/hs-data-default-instances-base/Makefile head/devel/hs-data-default-instances-containers/Makefile head/devel/hs-data-default-instances-dlist/Makefile head/devel/hs-data-default-instances-old-locale/Makefile head/devel/hs-dlist/Makefile head/devel/hs-extensible-exceptions/Makefile head/devel/hs-ghc-events/Makefile head/devel/hs-ghc-events/distinfo head/devel/hs-ghcprofview/Makefile head/devel/hs-ghcprofview/distinfo head/devel/hs-git-annex/Makefile head/devel/hs-git-annex/distinfo head/devel/hs-git-annex/files/patch-Database_ContentIdentifier.hs head/devel/hs-git-annex/files/patch-Database_Export.hs head/devel/hs-git-annex/files/patch-Database_Fsck.hs head/devel/hs-git-annex/files/patch-Database_Keys_SQL.hs head/devel/hs-git-annex/files/patch-Utility_Tor.hs head/devel/hs-haddock/Makefile head/devel/hs-haddock/distinfo head/devel/hs-haddock/pkg-plist head/devel/hs-happy/Makefile head/devel/hs-happy/distinfo head/devel/hs-hashable/Makefile head/devel/hs-hasktags/Makefile head/devel/hs-hasktags/distinfo head/devel/hs-hasktags/files/ head/devel/hs-hasktags/files/patch-hasktags.cabal head/devel/hs-hlint/Makefile head/devel/hs-hlint/distinfo head/devel/hs-hoogle/Makefile head/devel/hs-hoogle/distinfo head/devel/hs-hpack/Makefile head/devel/hs-hpack/distinfo head/devel/hs-hspec-discover/Makefile head/devel/hs-mtl/Makefile head/devel/hs-mueval/Makefile head/devel/hs-mueval/distinfo head/devel/hs-old-locale/Makefile head/devel/hs-old-time/Makefile head/devel/hs-profiteur/Makefile head/devel/hs-profiteur/distinfo head/devel/hs-random/Makefile head/devel/hs-setlocale/Makefile head/devel/hs-shake/Makefile head/devel/hs-shake/distinfo head/devel/hs-spago/Makefile head/devel/hs-spago/distinfo head/devel/hs-spago/files/patch-package.yaml head/devel/hs-threadscope/Makefile head/devel/hs-threadscope/distinfo =20 head/devel/hs-threadscope/files/patch-gtk2hs-buildtools-0.13.5.0_c2hs_tople= vel_C2HSConfig.hs head/devel/hs-threadscope/files/patch-threadscope.cabal head/devel/hs-transformers-compat/Makefile head/devel/hs-unordered-containers/Makefile head/devel/hs-utf8-string/Makefile head/devel/stack/Makefile head/devel/stack/distinfo head/games/hedgewars-server/Makefile head/games/hedgewars-server/distinfo head/games/hs-scroll/Makefile head/games/hs-scroll/distinfo head/lang/elm/Makefile head/lang/elm/distinfo head/lang/elm/files/ head/lang/ghc/Makefile head/lang/ghc/bsd.cabal.options.mk head/lang/ghc/distinfo head/lang/ghc/files/patch-ppc64 head/lang/ghc/files865/ head/lang/hs-brainfuck/Makefile head/lang/hs-unlambda/Makefile head/lang/purescript/files/patch-happy-1.19.9_happy.cabal head/lang/purescript/files/patch-purescript.cabal head/lang/purescript/files/patch-src_Language_PureScript_CST_Parser.y head/lang/purescript/files/patch-src_Language_PureScript_CST_Utils.hs head/lang/purescript/files/patch-src_Language_PureScript_Docs_Types.hs head/lang/purescript/files/patch-src_Language_PureScript_Names.hs head/lang/purescript/files/patch-src_Language_PureScript_Publish.hs head/math/hs-Agda/Makefile head/math/hs-Agda/distinfo head/math/hs-Agda/pkg-plist head/math/hs-penrose/Makefile head/math/hs-penrose/distinfo =20 head/math/hs-penrose/files/patch-docopt-0.7.0.5_System_Console_Docopt_Publi= c.hs head/math/hs-penrose/files/patch-docopt-0.7.0.5_System_Console_Docopt_QQ.= hs head/math/hs-semigroups/Makefile head/net/hs-network/Makefile head/net-im/matterhorn/Makefile head/net-im/matterhorn/distinfo head/print/hs-hscolour/Makefile head/security/hs-cryptol/Makefile head/security/hs-cryptol/distinfo head/security/hs-cryptol/files/ head/security/hs-cryptol/files/patch-src_Cryptol_Eval_Monad.hs head/security/hs-cryptol/files/patch-src_Cryptol_ModuleSystem_Monad.hs head/security/hs-cryptol/files/patch-src_Cryptol_Parser_NoInclude.hs head/security/hs-cryptol/files/patch-src_Cryptol_Parser_NoPat.hs head/security/hs-cryptol/files/patch-src_Cryptol_Parser_ParserUtils.hs head/security/hs-cryptol/files/patch-src_Cryptol_TypeCheck_Monad.hs head/security/hs-cryptol/files/patch-src_Cryptol_TypeCheck_Sanity.hs head/security/hs-cryptol/files/patch-src_Cryptol_Utils_Patterns.hs head/sysutils/hs-cputype/Makefile head/sysutils/hs-cputype/distinfo head/textproc/cgrep/Makefile head/textproc/cgrep/distinfo head/textproc/hs-lhs2tex/Makefile head/textproc/hs-lhs2tex/distinfo head/textproc/hs-pandoc/Makefile head/textproc/hs-pandoc/distinfo head/textproc/hs-pandoc-citeproc/Makefile head/textproc/hs-pandoc-citeproc/distinfo head/textproc/hs-pandoc-crossref/Makefile head/textproc/hs-pandoc-crossref/distinfo head/textproc/hs-yaml/Makefile head/textproc/hs-yaml/distinfo head/www/hs-DAV/Makefile head/www/hs-DAV/distinfo head/www/hs-hjsmin/Makefile head/www/hs-hjsmin/distinfo head/www/hs-wai-app-static/Makefile head/www/hs-wai-app-static/distinfo head/www/hs-yesod-bin/Makefile head/www/hs-yesod-bin/distinfo head/www/hs-yesod-bin/files/ head/x11/conlecterm/Makefile head/x11/conlecterm/distinfo head/x11/conlecterm/files/ =20 head/x11/conlecterm/files/patch-gtk2hs-buildtools-0.13.5.0_c2hs_toplevel_C2= HSConfig.hs head/x11/hs-X11/Makefile head/x11/hs-X11-xft/Makefile head/x11/hs-xmobar/Makefile head/x11/hs-xmobar/distinfo head/x11-wm/hs-xmonad/Makefile head/x11-wm/hs-xmonad/distinfo head/x11-wm/hs-xmonad/files/ head/x11-wm/hs-xmonad/files/example_buildscript head/x11-wm/hs-xmonad/files/example_config.cabal head/x11-wm/hs-xmonad/pkg-message head/x11-wm/hs-xmonad/pkg-plist head/x11-wm/hs-xmonad-contrib/Makefile --=20 You are receiving this mail because: You are the assignee for the bug.= From owner-freebsd-haskell@freebsd.org Mon May 4 18:13:42 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 554952D6399 for ; Mon, 4 May 2020 18:13:42 +0000 (UTC) (envelope-from bugzilla-noreply@freebsd.org) Received: from mailman.nyi.freebsd.org (unknown [127.0.1.3]) by mx1.freebsd.org (Postfix) with ESMTP id 49G9w61dxfz4X8n for ; Mon, 4 May 2020 18:13:42 +0000 (UTC) (envelope-from bugzilla-noreply@freebsd.org) Received: by mailman.nyi.freebsd.org (Postfix) id 34B782D6398; Mon, 4 May 2020 18:13:42 +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 347992D6397 for ; Mon, 4 May 2020 18:13:42 +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) server-signature RSA-PSS (4096 bits) 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 49G9w56yTkz4X8l for ; Mon, 4 May 2020 18:13:41 +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) server-signature RSA-PSS (4096 bits)) (Client did not present a certificate) by mxrelay.nyi.freebsd.org (Postfix) with ESMTPS id EA4235D1 for ; Mon, 4 May 2020 18:13:41 +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 044IDfdW081490 for ; Mon, 4 May 2020 18:13:41 GMT (envelope-from bugzilla-noreply@freebsd.org) Received: (from www@localhost) by kenobi.freebsd.org (8.15.2/8.15.2/Submit) id 044IDfgi081479 for haskell@FreeBSD.org; Mon, 4 May 2020 18:13:41 GMT (envelope-from bugzilla-noreply@freebsd.org) X-Authentication-Warning: kenobi.freebsd.org: www set sender to bugzilla-noreply@freebsd.org using -f From: bugzilla-noreply@freebsd.org To: haskell@FreeBSD.org Subject: [Bug 244784] Mk/Uses/cabal.mk: GitHub-based Haskell ports list the main tarball twice in distinfo Date: Mon, 04 May 2020 18:13:42 +0000 X-Bugzilla-Reason: AssignedTo X-Bugzilla-Type: changed X-Bugzilla-Watch-Reason: None X-Bugzilla-Product: Ports & Packages X-Bugzilla-Component: Ports Framework X-Bugzilla-Version: Latest X-Bugzilla-Keywords: needs-patch, needs-qa X-Bugzilla-Severity: Affects Only Me X-Bugzilla-Who: arrowd@FreeBSD.org X-Bugzilla-Status: In Progress X-Bugzilla-Resolution: X-Bugzilla-Priority: --- X-Bugzilla-Assigned-To: haskell@FreeBSD.org X-Bugzilla-Flags: merge-quarterly? X-Bugzilla-Changed-Fields: Message-ID: In-Reply-To: References: Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable X-Bugzilla-URL: https://bugs.freebsd.org/bugzilla/ Auto-Submitted: auto-generated MIME-Version: 1.0 X-BeenThere: freebsd-haskell@freebsd.org X-Mailman-Version: 2.1.29 Precedence: list List-Id: FreeBSD-specific Haskell issues and discussions List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Mon, 04 May 2020 18:13:42 -0000 https://bugs.freebsd.org/bugzilla/show_bug.cgi?id=3D244784 --- Comment #5 from Gleb Popov --- Things improved a bit with recent update. As for now, only EXTRACT_ONLY=3D ${DISTNAME}${EXTRACT_SUFX} is required. --=20 You are receiving this mail because: You are the assignee for the bug.= From owner-freebsd-haskell@freebsd.org Mon May 4 18:19:45 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 8DF9C2D6A4A for ; Mon, 4 May 2020 18:19:45 +0000 (UTC) (envelope-from bugzilla-noreply@freebsd.org) Received: from mailman.nyi.freebsd.org (unknown [127.0.1.3]) by mx1.freebsd.org (Postfix) with ESMTP id 49GB352Fp3z4Y8w for ; Mon, 4 May 2020 18:19:45 +0000 (UTC) (envelope-from bugzilla-noreply@freebsd.org) Received: by mailman.nyi.freebsd.org (Postfix) id 4B03C2D6A47; Mon, 4 May 2020 18:19:45 +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 4AA5D2D6A46 for ; Mon, 4 May 2020 18:19:45 +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) server-signature RSA-PSS (4096 bits) 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 49GB345F1Sz4Y8s for ; Mon, 4 May 2020 18:19:44 +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) server-signature RSA-PSS (4096 bits)) (Client did not present a certificate) by mxrelay.nyi.freebsd.org (Postfix) with ESMTPS id AF2B6603 for ; Mon, 4 May 2020 18:19:44 +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 044IJi8u049670 for ; Mon, 4 May 2020 18:19:44 GMT (envelope-from bugzilla-noreply@freebsd.org) Received: (from www@localhost) by kenobi.freebsd.org (8.15.2/8.15.2/Submit) id 044IJiAD049669 for haskell@FreeBSD.org; Mon, 4 May 2020 18:19:44 GMT (envelope-from bugzilla-noreply@freebsd.org) X-Authentication-Warning: kenobi.freebsd.org: www set sender to bugzilla-noreply@freebsd.org using -f From: bugzilla-noreply@freebsd.org To: haskell@FreeBSD.org Subject: [Bug 244784] Mk/Uses/cabal.mk: GitHub-based Haskell ports list the main tarball twice in distinfo Date: Mon, 04 May 2020 18:19:44 +0000 X-Bugzilla-Reason: AssignedTo X-Bugzilla-Type: changed X-Bugzilla-Watch-Reason: None X-Bugzilla-Product: Ports & Packages X-Bugzilla-Component: Ports Framework X-Bugzilla-Version: Latest X-Bugzilla-Keywords: needs-patch, needs-qa X-Bugzilla-Severity: Affects Only Me X-Bugzilla-Who: yuri@freebsd.org X-Bugzilla-Status: In Progress X-Bugzilla-Resolution: X-Bugzilla-Priority: --- X-Bugzilla-Assigned-To: haskell@FreeBSD.org X-Bugzilla-Flags: merge-quarterly? X-Bugzilla-Changed-Fields: Message-ID: In-Reply-To: References: Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable X-Bugzilla-URL: https://bugs.freebsd.org/bugzilla/ Auto-Submitted: auto-generated MIME-Version: 1.0 X-BeenThere: freebsd-haskell@freebsd.org X-Mailman-Version: 2.1.29 Precedence: list List-Id: FreeBSD-specific Haskell issues and discussions List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Mon, 04 May 2020 18:19:45 -0000 https://bugs.freebsd.org/bugzilla/show_bug.cgi?id=3D244784 --- Comment #6 from Yuri Victorovich --- (In reply to Gleb Popov from comment #5) Thanks for working on this. --=20 You are receiving this mail because: You are the assignee for the bug.= From owner-freebsd-haskell@freebsd.org Tue May 5 14:18:23 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 E7038138127 for ; Tue, 5 May 2020 14:18:23 +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 49Ghf75vMdz43fN for ; Tue, 5 May 2020 14:18:23 +0000 (UTC) (envelope-from bugzilla-noreply@freebsd.org) Received: by mailman.nyi.freebsd.org (Postfix) id C8AAE138126; Tue, 5 May 2020 14:18:23 +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 C8708138125 for ; Tue, 5 May 2020 14:18:23 +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) server-signature RSA-PSS (4096 bits) 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 49Ghf74xK6z43fM for ; Tue, 5 May 2020 14:18:23 +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) server-signature RSA-PSS (4096 bits)) (Client did not present a certificate) by mxrelay.nyi.freebsd.org (Postfix) with ESMTPS id A4D6FF3A6 for ; Tue, 5 May 2020 14:18:23 +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 045EINGt090803 for ; Tue, 5 May 2020 14:18:23 GMT (envelope-from bugzilla-noreply@freebsd.org) Received: (from www@localhost) by kenobi.freebsd.org (8.15.2/8.15.2/Submit) id 045EINj6090802 for haskell@FreeBSD.org; Tue, 5 May 2020 14:18:23 GMT (envelope-from bugzilla-noreply@freebsd.org) X-Authentication-Warning: kenobi.freebsd.org: www set sender to bugzilla-noreply@freebsd.org using -f Content-Transfer-Encoding: quoted-printable Content-Type: text/plain; charset="UTF-8" From: bugzilla-noreply@freebsd.org To: haskell@FreeBSD.org Subject: maintainer-feedback requested: [Bug 246224] lang/ghc: bad distinfo for powerpc64 elfv2 bootstrap Date: Tue, 05 May 2020 14:18:23 +0000 X-Bugzilla-Type: request X-Bugzilla-Product: Ports & Packages X-Bugzilla-Component: Individual Port(s) X-Bugzilla-Version: Latest X-Bugzilla-Keywords: X-Bugzilla-Severity: Affects Only Me X-Bugzilla-Who: X-Bugzilla-Status: New X-Bugzilla-Resolution: X-Bugzilla-Priority: --- X-Bugzilla-Assigned-To: haskell@FreeBSD.org X-Bugzilla-Flags: maintainer-feedback? Message-ID: In-Reply-To: References: X-Bugzilla-URL: https://bugs.freebsd.org/bugzilla/ Auto-Submitted: auto-generated MIME-Version: 1.0 X-BeenThere: freebsd-haskell@freebsd.org X-Mailman-Version: 2.1.30 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, 05 May 2020 14:18:24 -0000 Bugzilla Automation has asked freebsd-haskell mailing list for maintainer-feedback: Bug 246224: lang/ghc: bad distinfo for powerpc64 elfv2 bootstrap https://bugs.freebsd.org/bugzilla/show_bug.cgi?id=3D246224 --- Description --- =3D>> Status lang/ghc | ghc-8.8.3: fetch =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D =3D=3D=3D> License BSD3CLAUSE accepted by the user =3D=3D=3D> ghc-8.8.3 depends on file: /usr/local/sbin/pkg - found =3D> ghc-8.6.5-boot-powerpc64-freebsd-elfv2.tar.xz doesn't seem to exist in /portdistfiles/. =3D> Attempting to fetch http://distcache.FreeBSD.org/local-distfiles/arrowd/ghc-8.6.5-boot-powerpc6= 4-fr eebsd-elfv2.tar.xz fetch: http://distcache.FreeBSD.org/local-distfiles/arrowd/ghc-8.6.5-boot-powerpc6= 4-fr eebsd-elfv2.tar.xz: size mismatch: expected 112469852, actual 113782560 =3D> Attempting to fetch http://distcache.us-east.FreeBSD.org/local-distfiles/arrowd/ghc-8.6.5-boot-= powe rpc64-freebsd-elfv2.tar.xz fetch: http://distcache.us-east.FreeBSD.org/local-distfiles/arrowd/ghc-8.6.5-boot-= powe rpc64-freebsd-elfv2.tar.xz: size mismatch: expected 112469852, actual 113782560 =3D> Attempting to fetch http://distcache.eu.FreeBSD.org/local-distfiles/arrowd/ghc-8.6.5-boot-power= pc64 -freebsd-elfv2.tar.xz fetch: http://distcache.eu.FreeBSD.org/local-distfiles/arrowd/ghc-8.6.5-boot-power= pc64 -freebsd-elfv2.tar.xz: size mismatch: expected 112469852, actual 113782560 =3D> Attempting to fetch http://distcache.us-west.FreeBSD.org/local-distfiles/arrowd/ghc-8.6.5-boot-= powe rpc64-freebsd-elfv2.tar.xz fetch: http://distcache.us-west.FreeBSD.org/local-distfiles/arrowd/ghc-8.6.5-boot-= powe rpc64-freebsd-elfv2.tar.xz: size mismatch: expected 112469852, actual 113782560 =3D> Attempting to fetch http://distcache.FreeBSD.org/ports-distfiles/ghc-8.6.5-boot-powerpc64-freeb= sd-e lfv2.tar.xz fetch: http://distcache.FreeBSD.org/ports-distfiles/ghc-8.6.5-boot-powerpc64-freeb= sd-e lfv2.tar.xz: Not Found From owner-freebsd-haskell@freebsd.org Tue May 5 14:18:24 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 2984913812E for ; Tue, 5 May 2020 14:18:24 +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 49Ghf80LBnz43fR for ; Tue, 5 May 2020 14:18:24 +0000 (UTC) (envelope-from bugzilla-noreply@freebsd.org) Received: by mailman.nyi.freebsd.org (Postfix) id 0B96D13812D; Tue, 5 May 2020 14:18:24 +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 0B61B13812A for ; Tue, 5 May 2020 14:18:24 +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) server-signature RSA-PSS (4096 bits) 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 49Ghf76cBFz43fP for ; Tue, 5 May 2020 14:18:23 +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) server-signature RSA-PSS (4096 bits)) (Client did not present a certificate) by mxrelay.nyi.freebsd.org (Postfix) with ESMTPS id C54ABF3A7 for ; Tue, 5 May 2020 14:18:23 +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 045EINOX090807 for ; Tue, 5 May 2020 14:18:23 GMT (envelope-from bugzilla-noreply@freebsd.org) Received: (from www@localhost) by kenobi.freebsd.org (8.15.2/8.15.2/Submit) id 045EIND7090806 for haskell@FreeBSD.org; Tue, 5 May 2020 14:18:23 GMT (envelope-from bugzilla-noreply@freebsd.org) X-Authentication-Warning: kenobi.freebsd.org: www set sender to bugzilla-noreply@freebsd.org using -f From: bugzilla-noreply@freebsd.org To: haskell@FreeBSD.org Subject: [Bug 246224] lang/ghc: bad distinfo for powerpc64 elfv2 bootstrap Date: Tue, 05 May 2020 14:18:23 +0000 X-Bugzilla-Reason: AssignedTo X-Bugzilla-Type: new X-Bugzilla-Watch-Reason: None X-Bugzilla-Product: Ports & Packages X-Bugzilla-Component: Individual Port(s) X-Bugzilla-Version: Latest X-Bugzilla-Keywords: X-Bugzilla-Severity: Affects Only Me X-Bugzilla-Who: pkubaj@FreeBSD.org X-Bugzilla-Status: New X-Bugzilla-Resolution: X-Bugzilla-Priority: --- X-Bugzilla-Assigned-To: haskell@FreeBSD.org X-Bugzilla-Flags: maintainer-feedback? X-Bugzilla-Changed-Fields: bug_id short_desc product version rep_platform op_sys bug_status bug_severity priority component assigned_to reporter cc flagtypes.name Message-ID: Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable X-Bugzilla-URL: https://bugs.freebsd.org/bugzilla/ Auto-Submitted: auto-generated MIME-Version: 1.0 X-BeenThere: freebsd-haskell@freebsd.org X-Mailman-Version: 2.1.30 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, 05 May 2020 14:18:24 -0000 https://bugs.freebsd.org/bugzilla/show_bug.cgi?id=3D246224 Bug ID: 246224 Summary: lang/ghc: bad distinfo for powerpc64 elfv2 bootstrap Product: Ports & Packages Version: Latest Hardware: powerpc OS: Any Status: New Severity: Affects Only Me Priority: --- Component: Individual Port(s) Assignee: haskell@FreeBSD.org Reporter: pkubaj@FreeBSD.org CC: powerpc@FreeBSD.org CC: powerpc@FreeBSD.org Assignee: haskell@FreeBSD.org Flags: maintainer-feedback?(haskell@FreeBSD.org) =3D>> Status lang/ghc | ghc-8.8.3: fetch =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D =3D=3D=3D> License BSD3CLAUSE accepted by the user =3D=3D=3D> ghc-8.8.3 depends on file: /usr/local/sbin/pkg - found =3D> ghc-8.6.5-boot-powerpc64-freebsd-elfv2.tar.xz doesn't seem to exist in /portdistfiles/. =3D> Attempting to fetch http://distcache.FreeBSD.org/local-distfiles/arrowd/ghc-8.6.5-boot-powerpc6= 4-freebsd-elfv2.tar.xz fetch: http://distcache.FreeBSD.org/local-distfiles/arrowd/ghc-8.6.5-boot-powerpc6= 4-freebsd-elfv2.tar.xz: size mismatch: expected 112469852, actual 113782560 =3D> Attempting to fetch http://distcache.us-east.FreeBSD.org/local-distfiles/arrowd/ghc-8.6.5-boot-= powerpc64-freebsd-elfv2.tar.xz fetch: http://distcache.us-east.FreeBSD.org/local-distfiles/arrowd/ghc-8.6.5-boot-= powerpc64-freebsd-elfv2.tar.xz: size mismatch: expected 112469852, actual 113782560 =3D> Attempting to fetch http://distcache.eu.FreeBSD.org/local-distfiles/arrowd/ghc-8.6.5-boot-power= pc64-freebsd-elfv2.tar.xz fetch: http://distcache.eu.FreeBSD.org/local-distfiles/arrowd/ghc-8.6.5-boot-power= pc64-freebsd-elfv2.tar.xz: size mismatch: expected 112469852, actual 113782560 =3D> Attempting to fetch http://distcache.us-west.FreeBSD.org/local-distfiles/arrowd/ghc-8.6.5-boot-= powerpc64-freebsd-elfv2.tar.xz fetch: http://distcache.us-west.FreeBSD.org/local-distfiles/arrowd/ghc-8.6.5-boot-= powerpc64-freebsd-elfv2.tar.xz: size mismatch: expected 112469852, actual 113782560 =3D> Attempting to fetch http://distcache.FreeBSD.org/ports-distfiles/ghc-8.6.5-boot-powerpc64-freeb= sd-elfv2.tar.xz fetch: http://distcache.FreeBSD.org/ports-distfiles/ghc-8.6.5-boot-powerpc64-freeb= sd-elfv2.tar.xz: Not Found --=20 You are receiving this mail because: You are the assignee for the bug.= From owner-freebsd-haskell@freebsd.org Tue May 5 19:59: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 C4B242C42CF for ; Tue, 5 May 2020 19:59:01 +0000 (UTC) (envelope-from bugzilla-noreply@freebsd.org) Received: from mailman.nyi.freebsd.org (unknown [127.0.1.3]) by mx1.freebsd.org (Postfix) with ESMTP id 49GrC94tltz4Tdn for ; Tue, 5 May 2020 19:59:01 +0000 (UTC) (envelope-from bugzilla-noreply@freebsd.org) Received: by mailman.nyi.freebsd.org (Postfix) id A5BF32C42CD; Tue, 5 May 2020 19:59: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 A587D2C42CC for ; Tue, 5 May 2020 19:59:01 +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) server-signature RSA-PSS (4096 bits) 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 49GrC940l3z4Tdl for ; Tue, 5 May 2020 19:59:01 +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) server-signature RSA-PSS (4096 bits)) (Client did not present a certificate) by mxrelay.nyi.freebsd.org (Postfix) with ESMTPS id 84DB51B67A for ; Tue, 5 May 2020 19:59:01 +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 045Jx1Fo021604 for ; Tue, 5 May 2020 19:59:01 GMT (envelope-from bugzilla-noreply@freebsd.org) Received: (from www@localhost) by kenobi.freebsd.org (8.15.2/8.15.2/Submit) id 045Jx1Th021600 for haskell@FreeBSD.org; Tue, 5 May 2020 19:59:01 GMT (envelope-from bugzilla-noreply@freebsd.org) X-Authentication-Warning: kenobi.freebsd.org: www set sender to bugzilla-noreply@freebsd.org using -f From: bugzilla-noreply@freebsd.org To: haskell@FreeBSD.org Subject: [Bug 246224] lang/ghc: bad distinfo for powerpc64 elfv2 bootstrap Date: Tue, 05 May 2020 19:59:01 +0000 X-Bugzilla-Reason: AssignedTo X-Bugzilla-Type: changed X-Bugzilla-Watch-Reason: None X-Bugzilla-Product: Ports & Packages X-Bugzilla-Component: Individual Port(s) X-Bugzilla-Version: Latest X-Bugzilla-Keywords: X-Bugzilla-Severity: Affects Only Me X-Bugzilla-Who: arrowd@FreeBSD.org X-Bugzilla-Status: Open X-Bugzilla-Resolution: X-Bugzilla-Priority: --- X-Bugzilla-Assigned-To: haskell@FreeBSD.org X-Bugzilla-Flags: maintainer-feedback? X-Bugzilla-Changed-Fields: cc bug_status Message-ID: In-Reply-To: References: Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable X-Bugzilla-URL: https://bugs.freebsd.org/bugzilla/ Auto-Submitted: auto-generated MIME-Version: 1.0 X-BeenThere: freebsd-haskell@freebsd.org X-Mailman-Version: 2.1.30 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, 05 May 2020 19:59:01 -0000 https://bugs.freebsd.org/bugzilla/show_bug.cgi?id=3D246224 Gleb Popov changed: What |Removed |Added ---------------------------------------------------------------------------- CC| |arrowd@FreeBSD.org Status|New |Open --- Comment #1 from Gleb Popov --- I didn't touch this bootstrap. Do you want me to adjust distinfo for a curr= ent bootstrap, or you have a bootstrap that matches current distinfo? --=20 You are receiving this mail because: You are the assignee for the bug.= From owner-freebsd-haskell@freebsd.org Tue May 5 20:52:15 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 C928C2C5A04 for ; Tue, 5 May 2020 20:52:15 +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 49GsNb4zgRz4XV0 for ; Tue, 5 May 2020 20:52:15 +0000 (UTC) (envelope-from bugzilla-noreply@freebsd.org) Received: by mailman.nyi.freebsd.org (Postfix) id A7DCA2C5A01; Tue, 5 May 2020 20:52:15 +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 A7A2E2C59FF for ; Tue, 5 May 2020 20:52:15 +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) server-signature RSA-PSS (4096 bits) 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 49GsNb43vxz4XTx for ; Tue, 5 May 2020 20:52:15 +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) server-signature RSA-PSS (4096 bits)) (Client did not present a certificate) by mxrelay.nyi.freebsd.org (Postfix) with ESMTPS id 86F6E1C1E7 for ; Tue, 5 May 2020 20:52:15 +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 045KqFuG089435 for ; Tue, 5 May 2020 20:52:15 GMT (envelope-from bugzilla-noreply@freebsd.org) Received: (from www@localhost) by kenobi.freebsd.org (8.15.2/8.15.2/Submit) id 045KqFPo089434 for haskell@FreeBSD.org; Tue, 5 May 2020 20:52:15 GMT (envelope-from bugzilla-noreply@freebsd.org) X-Authentication-Warning: kenobi.freebsd.org: www set sender to bugzilla-noreply@freebsd.org using -f From: bugzilla-noreply@freebsd.org To: haskell@FreeBSD.org Subject: [Bug 246224] lang/ghc: bad distinfo for powerpc64 elfv2 bootstrap Date: Tue, 05 May 2020 20:52:15 +0000 X-Bugzilla-Reason: AssignedTo X-Bugzilla-Type: changed X-Bugzilla-Watch-Reason: None X-Bugzilla-Product: Ports & Packages X-Bugzilla-Component: Individual Port(s) X-Bugzilla-Version: Latest X-Bugzilla-Keywords: X-Bugzilla-Severity: Affects Only Me X-Bugzilla-Who: pkubaj@FreeBSD.org X-Bugzilla-Status: Open X-Bugzilla-Resolution: X-Bugzilla-Priority: --- X-Bugzilla-Assigned-To: haskell@FreeBSD.org X-Bugzilla-Flags: maintainer-feedback? X-Bugzilla-Changed-Fields: Message-ID: In-Reply-To: References: Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable X-Bugzilla-URL: https://bugs.freebsd.org/bugzilla/ Auto-Submitted: auto-generated MIME-Version: 1.0 X-BeenThere: freebsd-haskell@freebsd.org X-Mailman-Version: 2.1.30 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, 05 May 2020 20:52:15 -0000 https://bugs.freebsd.org/bugzilla/show_bug.cgi?id=3D246224 --- Comment #2 from Piotr Kubaj --- This is strange. It looks like it was changed in https://svnweb.freebsd.org/ports/head/lang/ghc/distinfo?r1=3D529204&r2=3D52= 9205&, which was when you commited my patch from https://bugs.freebsd.org/bugzilla/show_bug.cgi?id=3D245057 I can confirm th= at the bootstrap I uploaded to freefall (I didn't remove it) is the same you used = and it looks like the file wasn't changed, it's still the same I uploaded: pkubaj@freefall:/home/arrowd/public_distfiles % ls -l ghc-8.6.5-boot-powerpc64-freebsd-elfv2.tar.xz -rw-r--r-- 1 arrowd devel 113782560 Mar 13 16:03 ghc-8.6.5-boot-powerpc64-freebsd-elfv2.tar.xz pkubaj@freefall:/home/arrowd/public_distfiles % ls -l ~/public_html/ghc-8.6.5-boot-powerpc64-freebsd-elfv2.tar.xz -rw-r--r-- 1 pkubaj devel 113782560 Mar 13 15:17 /home/pkubaj/public_html/ghc-8.6.5-boot-powerpc64-freebsd-elfv2.tar.xz I guess that would suggest a problem in my patch, although I don't really g= et how it happened. I'm doing poudriere testport now with proper updated distinfo. --=20 You are receiving this mail because: You are the assignee for the bug.= From owner-freebsd-haskell@freebsd.org Tue May 5 21:01:18 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 C3B9F2C5F21 for ; Tue, 5 May 2020 21:01:18 +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 49Gsb24rKtz4YBh for ; Tue, 5 May 2020 21:01:18 +0000 (UTC) (envelope-from bugzilla-noreply@freebsd.org) Received: by mailman.nyi.freebsd.org (Postfix) id A44072C5F20; Tue, 5 May 2020 21:01:18 +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 A406D2C5F1F for ; Tue, 5 May 2020 21:01:18 +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) server-signature RSA-PSS (4096 bits) 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 49Gsb23yPTz4YBg for ; Tue, 5 May 2020 21:01:18 +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) server-signature RSA-PSS (4096 bits)) (Client did not present a certificate) by mxrelay.nyi.freebsd.org (Postfix) with ESMTPS id 822451C398 for ; Tue, 5 May 2020 21:01:18 +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 045L1ILo010015 for ; Tue, 5 May 2020 21:01:18 GMT (envelope-from bugzilla-noreply@freebsd.org) Received: (from www@localhost) by kenobi.freebsd.org (8.15.2/8.15.2/Submit) id 045L1IE4009997 for haskell@FreeBSD.org; Tue, 5 May 2020 21:01:18 GMT (envelope-from bugzilla-noreply@freebsd.org) X-Authentication-Warning: kenobi.freebsd.org: www set sender to bugzilla-noreply@freebsd.org using -f From: bugzilla-noreply@freebsd.org To: haskell@FreeBSD.org Subject: [Bug 246224] lang/ghc: bad distinfo for powerpc64 elfv2 bootstrap Date: Tue, 05 May 2020 21:01:18 +0000 X-Bugzilla-Reason: AssignedTo X-Bugzilla-Type: changed X-Bugzilla-Watch-Reason: None X-Bugzilla-Product: Ports & Packages X-Bugzilla-Component: Individual Port(s) X-Bugzilla-Version: Latest X-Bugzilla-Keywords: X-Bugzilla-Severity: Affects Only Me X-Bugzilla-Who: pkubaj@FreeBSD.org X-Bugzilla-Status: Open X-Bugzilla-Resolution: X-Bugzilla-Priority: --- X-Bugzilla-Assigned-To: haskell@FreeBSD.org X-Bugzilla-Flags: maintainer-feedback? X-Bugzilla-Changed-Fields: Message-ID: In-Reply-To: References: Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable X-Bugzilla-URL: https://bugs.freebsd.org/bugzilla/ Auto-Submitted: auto-generated MIME-Version: 1.0 X-BeenThere: freebsd-haskell@freebsd.org X-Mailman-Version: 2.1.30 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, 05 May 2020 21:01:18 -0000 https://bugs.freebsd.org/bugzilla/show_bug.cgi?id=3D246224 --- Comment #3 from Piotr Kubaj --- I guess the patch was ok, but I probably uploaded the wrong bootstrap. --=20 You are receiving this mail because: You are the assignee for the bug.= From owner-freebsd-haskell@freebsd.org Tue May 5 21:38:51 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 0BAD92C6A9D for ; Tue, 5 May 2020 21:38:51 +0000 (UTC) (envelope-from bugzilla-noreply@freebsd.org) Received: from mailman.nyi.freebsd.org (unknown [127.0.1.3]) by mx1.freebsd.org (Postfix) with ESMTP id 49GtQL6Z8pz4ZjZ for ; Tue, 5 May 2020 21:38:50 +0000 (UTC) (envelope-from bugzilla-noreply@freebsd.org) Received: by mailman.nyi.freebsd.org (Postfix) id E17C62C6A9C; Tue, 5 May 2020 21:38:50 +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 E142A2C6A9A for ; Tue, 5 May 2020 21:38:50 +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) server-signature RSA-PSS (4096 bits) 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 49GtQL5lrhz4ZjX for ; Tue, 5 May 2020 21:38:50 +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) server-signature RSA-PSS (4096 bits)) (Client did not present a certificate) by mxrelay.nyi.freebsd.org (Postfix) with ESMTPS id BBD121C9B0 for ; Tue, 5 May 2020 21:38:50 +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 045LcoOK078719 for ; Tue, 5 May 2020 21:38:50 GMT (envelope-from bugzilla-noreply@freebsd.org) Received: (from www@localhost) by kenobi.freebsd.org (8.15.2/8.15.2/Submit) id 045Lcobj078718 for haskell@FreeBSD.org; Tue, 5 May 2020 21:38:50 GMT (envelope-from bugzilla-noreply@freebsd.org) X-Authentication-Warning: kenobi.freebsd.org: www set sender to bugzilla-noreply@freebsd.org using -f From: bugzilla-noreply@freebsd.org To: haskell@FreeBSD.org Subject: [Bug 246224] lang/ghc: bad distinfo for powerpc64 elfv2 bootstrap Date: Tue, 05 May 2020 21:38:50 +0000 X-Bugzilla-Reason: AssignedTo X-Bugzilla-Type: changed X-Bugzilla-Watch-Reason: None X-Bugzilla-Product: Ports & Packages X-Bugzilla-Component: Individual Port(s) X-Bugzilla-Version: Latest X-Bugzilla-Keywords: X-Bugzilla-Severity: Affects Only Me X-Bugzilla-Who: pkubaj@FreeBSD.org X-Bugzilla-Status: Open X-Bugzilla-Resolution: X-Bugzilla-Priority: --- X-Bugzilla-Assigned-To: haskell@FreeBSD.org X-Bugzilla-Flags: maintainer-feedback? X-Bugzilla-Changed-Fields: Message-ID: In-Reply-To: References: Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable X-Bugzilla-URL: https://bugs.freebsd.org/bugzilla/ Auto-Submitted: auto-generated MIME-Version: 1.0 X-BeenThere: freebsd-haskell@freebsd.org X-Mailman-Version: 2.1.30 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, 05 May 2020 21:38:51 -0000 https://bugs.freebsd.org/bugzilla/show_bug.cgi?id=3D246224 --- Comment #4 from Piotr Kubaj --- I tried compiling lang/ghc with the currently posted bootstrap, it fails at: Linking utils/ghc-cabal/dist/build/tmp/ghc-cabal ... ld: error: /wrkdirs/usr/ports/lang/ghc/work/ghc-8.6.5-boot/lib/ghc-8.6.5/template-hask= ell-2.14.0.0/libHStemplate-haskell-2.14.0.0.a(Syntax.o): SHT_SYMTAB_SHNDX has 65534 entries, but the symbol table associated has 489= 56 cc: error: linker command failed with exit code 1 (use -v to see invocation) `cc' failed in phase `Linker'. (Exit code: 1) But that could be related to some 8.8.3 bug. --=20 You are receiving this mail because: You are the assignee for the bug.= From owner-freebsd-haskell@freebsd.org Wed May 6 00:58:53 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 0EF702DB24F for ; Wed, 6 May 2020 00:58:53 +0000 (UTC) (envelope-from bugzilla-noreply@freebsd.org) Received: from mailman.nyi.freebsd.org (unknown [127.0.1.3]) by mx1.freebsd.org (Postfix) with ESMTP id 49Gys86gfBz3HwR for ; Wed, 6 May 2020 00:58:52 +0000 (UTC) (envelope-from bugzilla-noreply@freebsd.org) Received: by mailman.nyi.freebsd.org (Postfix) id E32762DB24A; Wed, 6 May 2020 00:58:52 +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 E2F0A2DB249 for ; Wed, 6 May 2020 00:58:52 +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) server-signature RSA-PSS (4096 bits) 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 49Gys85p8Xz3HwP for ; Wed, 6 May 2020 00:58:52 +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) server-signature RSA-PSS (4096 bits)) (Client did not present a certificate) by mxrelay.nyi.freebsd.org (Postfix) with ESMTPS id C26BD1EF8F for ; Wed, 6 May 2020 00:58: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 0460wqr3053898 for ; Wed, 6 May 2020 00:58:52 GMT (envelope-from bugzilla-noreply@freebsd.org) Received: (from www@localhost) by kenobi.freebsd.org (8.15.2/8.15.2/Submit) id 0460wqJC053897 for haskell@FreeBSD.org; Wed, 6 May 2020 00:58:52 GMT (envelope-from bugzilla-noreply@freebsd.org) X-Authentication-Warning: kenobi.freebsd.org: www set sender to bugzilla-noreply@freebsd.org using -f From: bugzilla-noreply@freebsd.org To: haskell@FreeBSD.org Subject: [Bug 246224] lang/ghc: bad distinfo for powerpc64 elfv2 bootstrap Date: Wed, 06 May 2020 00:58:52 +0000 X-Bugzilla-Reason: AssignedTo X-Bugzilla-Type: changed X-Bugzilla-Watch-Reason: None X-Bugzilla-Product: Ports & Packages X-Bugzilla-Component: Individual Port(s) X-Bugzilla-Version: Latest X-Bugzilla-Keywords: X-Bugzilla-Severity: Affects Only Me X-Bugzilla-Who: pkubaj@FreeBSD.org X-Bugzilla-Status: Open X-Bugzilla-Resolution: X-Bugzilla-Priority: --- X-Bugzilla-Assigned-To: haskell@FreeBSD.org X-Bugzilla-Flags: maintainer-feedback? X-Bugzilla-Changed-Fields: Message-ID: In-Reply-To: References: Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable X-Bugzilla-URL: https://bugs.freebsd.org/bugzilla/ Auto-Submitted: auto-generated MIME-Version: 1.0 X-BeenThere: freebsd-haskell@freebsd.org X-Mailman-Version: 2.1.30 Precedence: list List-Id: FreeBSD-specific Haskell issues and discussions List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Wed, 06 May 2020 00:58:53 -0000 https://bugs.freebsd.org/bugzilla/show_bug.cgi?id=3D246224 --- Comment #5 from Piotr Kubaj --- I successfully built GHC 8.6.5 with the following patch: Index: distinfo =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D --- distinfo (revision 533932) +++ distinfo (working copy) @@ -25,8 +25,8 @@ SIZE (ghc-8.6.5-boot-armv6-freebsd.tar.xz) =3D 136889664 SHA256 (ghc-8.6.5-boot-armv7-freebsd.tar.xz) =3D ce4bc7fd20bb420963081171e483beb7387f9704323f7c03e36bbf3bf68a00ea SIZE (ghc-8.6.5-boot-armv7-freebsd.tar.xz) =3D 135237856 -SHA256 (ghc-8.6.5-boot-powerpc64-freebsd-elfv2.tar.xz) =3D 58eb128409a69b1b19f92b3c4090b6a023fd22f539b8b8013a7b6bf4b264d916 -SIZE (ghc-8.6.5-boot-powerpc64-freebsd-elfv2.tar.xz) =3D 112469852 +SHA256 (ghc-8.6.5-boot-powerpc64-freebsd-elfv2.tar.xz) =3D 89dfbfab84aef489ca9d0ff6fdf97152cff2412f6a8b9b1e57025b2019908318 +SIZE (ghc-8.6.5-boot-powerpc64-freebsd-elfv2.tar.xz) =3D 113782560 SHA256 (ghc-8.6.3-boot-powerpc64-freebsd-elfv1.tar.xz) =3D fb9bd4bad3a54722b7012c0a531cbdfe71b3b20a0b92cbd52195a526dc5ccde4 SIZE (ghc-8.6.3-boot-powerpc64-freebsd-elfv1.tar.xz) =3D 112652192 SHA256 (hscolour-1.24.4.tar.gz) =3D 243332b082294117f37b2c2c68079fa61af68b36223b3fc07594f245e0e5321d That means the bootstrap is ok, can you commit it? --=20 You are receiving this mail because: You are the assignee for the bug.= From owner-freebsd-haskell@freebsd.org Wed May 6 07:08:17 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 F0DE92E7BF8 for ; Wed, 6 May 2020 07:08:17 +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 49H73P6D7hz4CLB for ; Wed, 6 May 2020 07:08:17 +0000 (UTC) (envelope-from bugzilla-noreply@freebsd.org) Received: by mailman.nyi.freebsd.org (Postfix) id D57532E7BF7; Wed, 6 May 2020 07:08:17 +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 D53C02E7BF6 for ; Wed, 6 May 2020 07:08:17 +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) server-signature RSA-PSS (4096 bits) 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 49H73P5Ndhz4CL9 for ; Wed, 6 May 2020 07:08:17 +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) server-signature RSA-PSS (4096 bits)) (Client did not present a certificate) by mxrelay.nyi.freebsd.org (Postfix) with ESMTPS id B2B9D23707 for ; Wed, 6 May 2020 07:08:17 +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 04678HbN029521 for ; Wed, 6 May 2020 07:08:17 GMT (envelope-from bugzilla-noreply@freebsd.org) Received: (from bugzilla@localhost) by kenobi.freebsd.org (8.15.2/8.15.2/Submit) id 04678HBK029520 for haskell@FreeBSD.org; Wed, 6 May 2020 07:08:17 GMT (envelope-from bugzilla-noreply@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: [Bug 246224] lang/ghc: bad distinfo for powerpc64 elfv2 bootstrap Date: Wed, 06 May 2020 07:08:17 +0000 X-Bugzilla-Reason: AssignedTo X-Bugzilla-Type: changed X-Bugzilla-Watch-Reason: None X-Bugzilla-Product: Ports & Packages X-Bugzilla-Component: Individual Port(s) X-Bugzilla-Version: Latest X-Bugzilla-Keywords: X-Bugzilla-Severity: Affects Only Me X-Bugzilla-Who: commit-hook@freebsd.org X-Bugzilla-Status: Open X-Bugzilla-Resolution: X-Bugzilla-Priority: --- X-Bugzilla-Assigned-To: haskell@FreeBSD.org X-Bugzilla-Flags: maintainer-feedback? X-Bugzilla-Changed-Fields: Message-ID: In-Reply-To: References: Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable X-Bugzilla-URL: https://bugs.freebsd.org/bugzilla/ Auto-Submitted: auto-generated MIME-Version: 1.0 X-BeenThere: freebsd-haskell@freebsd.org X-Mailman-Version: 2.1.30 Precedence: list List-Id: FreeBSD-specific Haskell issues and discussions List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Wed, 06 May 2020 07:08:18 -0000 https://bugs.freebsd.org/bugzilla/show_bug.cgi?id=3D246224 --- Comment #6 from commit-hook@freebsd.org --- A commit references this bug: Author: arrowd Date: Wed May 6 07:08:03 UTC 2020 New revision: 534150 URL: https://svnweb.freebsd.org/changeset/ports/534150 Log: lang/ghc: Correct distinfo entry for ghc-8.6.5-boot-powerpc64-freebsd-elfv2.tar.xz file PR: 246224 Submitted by: pkubaj Changes: head/lang/ghc/distinfo --=20 You are receiving this mail because: You are the assignee for the bug.= From owner-freebsd-haskell@freebsd.org Wed May 6 07:09: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 EDC042E7C70 for ; Wed, 6 May 2020 07:09:59 +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 49H75M65YBz4CN7 for ; Wed, 6 May 2020 07:09:59 +0000 (UTC) (envelope-from bugzilla-noreply@freebsd.org) Received: by mailman.nyi.freebsd.org (Postfix) id CF5B52E7C6F; Wed, 6 May 2020 07:09:59 +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 CF2522E7C6E for ; Wed, 6 May 2020 07:09:59 +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) server-signature RSA-PSS (4096 bits) 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 49H75M5Bf6z4CN5 for ; Wed, 6 May 2020 07:09:59 +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) server-signature RSA-PSS (4096 bits)) (Client did not present a certificate) by mxrelay.nyi.freebsd.org (Postfix) with ESMTPS id ACA322370D for ; Wed, 6 May 2020 07:09:59 +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 04679xqL031474 for ; Wed, 6 May 2020 07:09:59 GMT (envelope-from bugzilla-noreply@freebsd.org) Received: (from www@localhost) by kenobi.freebsd.org (8.15.2/8.15.2/Submit) id 04679xFe031471 for haskell@FreeBSD.org; Wed, 6 May 2020 07:09:59 GMT (envelope-from bugzilla-noreply@freebsd.org) X-Authentication-Warning: kenobi.freebsd.org: www set sender to bugzilla-noreply@freebsd.org using -f From: bugzilla-noreply@freebsd.org To: haskell@FreeBSD.org Subject: [Bug 246224] lang/ghc: bad distinfo for powerpc64 elfv2 bootstrap Date: Wed, 06 May 2020 07:09:59 +0000 X-Bugzilla-Reason: AssignedTo X-Bugzilla-Type: changed X-Bugzilla-Watch-Reason: None X-Bugzilla-Product: Ports & Packages X-Bugzilla-Component: Individual Port(s) X-Bugzilla-Version: Latest X-Bugzilla-Keywords: X-Bugzilla-Severity: Affects Only Me X-Bugzilla-Who: arrowd@FreeBSD.org X-Bugzilla-Status: Closed X-Bugzilla-Resolution: FIXED X-Bugzilla-Priority: --- X-Bugzilla-Assigned-To: haskell@FreeBSD.org X-Bugzilla-Flags: maintainer-feedback? X-Bugzilla-Changed-Fields: bug_status resolution Message-ID: In-Reply-To: References: Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable X-Bugzilla-URL: https://bugs.freebsd.org/bugzilla/ Auto-Submitted: auto-generated MIME-Version: 1.0 X-BeenThere: freebsd-haskell@freebsd.org X-Mailman-Version: 2.1.30 Precedence: list List-Id: FreeBSD-specific Haskell issues and discussions List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Wed, 06 May 2020 07:10:00 -0000 https://bugs.freebsd.org/bugzilla/show_bug.cgi?id=3D246224 Gleb Popov changed: What |Removed |Added ---------------------------------------------------------------------------- Status|Open |Closed Resolution|--- |FIXED --- Comment #7 from Gleb Popov --- Thanks. In future, you can commit such changes yourself (that is, simple and non-x86 related). --=20 You are receiving this mail because: You are the assignee for the bug.= From owner-freebsd-haskell@freebsd.org Wed May 6 12:33:30 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 1E5D22C3A00 for ; Wed, 6 May 2020 12:33:30 +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 49HGGf04jWz4b62 for ; Wed, 6 May 2020 12:33:30 +0000 (UTC) (envelope-from bugzilla-noreply@freebsd.org) Received: by mailman.nyi.freebsd.org (Postfix) id 02A562C39FE; Wed, 6 May 2020 12:33:30 +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 026C32C39FD for ; Wed, 6 May 2020 12:33:30 +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) server-signature RSA-PSS (4096 bits) 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 49HGGd6GV4z4b61 for ; Wed, 6 May 2020 12:33:29 +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) server-signature RSA-PSS (4096 bits)) (Client did not present a certificate) by mxrelay.nyi.freebsd.org (Postfix) with ESMTPS id D29F727657 for ; Wed, 6 May 2020 12:33:29 +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 046CXTU8099292 for ; Wed, 6 May 2020 12:33:29 GMT (envelope-from bugzilla-noreply@freebsd.org) Received: (from www@localhost) by kenobi.freebsd.org (8.15.2/8.15.2/Submit) id 046CXTtu099287 for haskell@FreeBSD.org; Wed, 6 May 2020 12:33:29 GMT (envelope-from bugzilla-noreply@freebsd.org) X-Authentication-Warning: kenobi.freebsd.org: www set sender to bugzilla-noreply@freebsd.org using -f Content-Transfer-Encoding: quoted-printable Content-Type: text/plain; charset="UTF-8" From: bugzilla-noreply@freebsd.org To: haskell@FreeBSD.org Subject: maintainer-feedback requested: [Bug 246254] math/hs-Agda: agda-mode files missing Date: Wed, 06 May 2020 12:33:29 +0000 X-Bugzilla-Type: request X-Bugzilla-Product: Ports & Packages X-Bugzilla-Component: Individual Port(s) X-Bugzilla-Version: Latest X-Bugzilla-Keywords: X-Bugzilla-Severity: Affects Only Me X-Bugzilla-Who: X-Bugzilla-Status: New X-Bugzilla-Resolution: X-Bugzilla-Priority: --- X-Bugzilla-Assigned-To: haskell@FreeBSD.org X-Bugzilla-Flags: maintainer-feedback? Message-ID: In-Reply-To: References: X-Bugzilla-URL: https://bugs.freebsd.org/bugzilla/ Auto-Submitted: auto-generated MIME-Version: 1.0 X-BeenThere: freebsd-haskell@freebsd.org X-Mailman-Version: 2.1.30 Precedence: list List-Id: FreeBSD-specific Haskell issues and discussions List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Wed, 06 May 2020 12:33:30 -0000 Bugzilla Automation has asked freebsd-haskell mailing list for maintainer-feedback: Bug 246254: math/hs-Agda: agda-mode files missing https://bugs.freebsd.org/bugzilla/show_bug.cgi?id=3D246254 --- Description --- The port does not contain the emacs agda-mode files. From owner-freebsd-haskell@freebsd.org Wed May 6 12:33:30 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 B57872C3A27 for ; Wed, 6 May 2020 12:33:30 +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 49HGGf4Njlz4b68 for ; Wed, 6 May 2020 12:33:30 +0000 (UTC) (envelope-from bugzilla-noreply@freebsd.org) Received: by mailman.nyi.freebsd.org (Postfix) id 966492C3A1F; Wed, 6 May 2020 12:33:30 +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 9622B2C3A1E for ; Wed, 6 May 2020 12:33:30 +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) server-signature RSA-PSS (4096 bits) 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 49HGGf3W9Mz4b66 for ; Wed, 6 May 2020 12:33:30 +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) server-signature RSA-PSS (4096 bits)) (Client did not present a certificate) by mxrelay.nyi.freebsd.org (Postfix) with ESMTPS id 73F512765A for ; Wed, 6 May 2020 12:33:30 +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 046CXUEa099563 for ; Wed, 6 May 2020 12:33:30 GMT (envelope-from bugzilla-noreply@freebsd.org) Received: (from www@localhost) by kenobi.freebsd.org (8.15.2/8.15.2/Submit) id 046CXUPQ099558 for haskell@FreeBSD.org; Wed, 6 May 2020 12:33:30 GMT (envelope-from bugzilla-noreply@freebsd.org) X-Authentication-Warning: kenobi.freebsd.org: www set sender to bugzilla-noreply@freebsd.org using -f From: bugzilla-noreply@freebsd.org To: haskell@FreeBSD.org Subject: [Bug 246254] math/hs-Agda: agda-mode files missing Date: Wed, 06 May 2020 12:33:29 +0000 X-Bugzilla-Reason: AssignedTo X-Bugzilla-Type: new X-Bugzilla-Watch-Reason: None X-Bugzilla-Product: Ports & Packages X-Bugzilla-Component: Individual Port(s) X-Bugzilla-Version: Latest X-Bugzilla-Keywords: X-Bugzilla-Severity: Affects Only Me X-Bugzilla-Who: fractran@gmail.com X-Bugzilla-Status: New X-Bugzilla-Resolution: X-Bugzilla-Priority: --- X-Bugzilla-Assigned-To: haskell@FreeBSD.org X-Bugzilla-Flags: maintainer-feedback? X-Bugzilla-Changed-Fields: bug_id short_desc product version rep_platform op_sys bug_status bug_severity priority component assigned_to reporter flagtypes.name Message-ID: Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable X-Bugzilla-URL: https://bugs.freebsd.org/bugzilla/ Auto-Submitted: auto-generated MIME-Version: 1.0 X-BeenThere: freebsd-haskell@freebsd.org X-Mailman-Version: 2.1.30 Precedence: list List-Id: FreeBSD-specific Haskell issues and discussions List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Wed, 06 May 2020 12:33:30 -0000 https://bugs.freebsd.org/bugzilla/show_bug.cgi?id=3D246254 Bug ID: 246254 Summary: math/hs-Agda: agda-mode files missing Product: Ports & Packages Version: Latest Hardware: Any OS: Any Status: New Severity: Affects Only Me Priority: --- Component: Individual Port(s) Assignee: haskell@FreeBSD.org Reporter: fractran@gmail.com Flags: maintainer-feedback?(haskell@FreeBSD.org) Assignee: haskell@FreeBSD.org The port does not contain the emacs agda-mode files. --=20 You are receiving this mail because: You are the assignee for the bug.= From owner-freebsd-haskell@freebsd.org Wed May 6 12:35:00 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 0B1082C3B5C for ; Wed, 6 May 2020 12:35:00 +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 49HGJM6cSyz4bFK for ; Wed, 6 May 2020 12:34:59 +0000 (UTC) (envelope-from bugzilla-noreply@freebsd.org) Received: by mailman.nyi.freebsd.org (Postfix) id E2EB52C3B5B; Wed, 6 May 2020 12:34:59 +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 E2AFC2C3B5A for ; Wed, 6 May 2020 12:34:59 +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) server-signature RSA-PSS (4096 bits) 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 49HGJM5mhFz4bFJ for ; Wed, 6 May 2020 12:34:59 +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) server-signature RSA-PSS (4096 bits)) (Client did not present a certificate) by mxrelay.nyi.freebsd.org (Postfix) with ESMTPS id C186B2765C for ; Wed, 6 May 2020 12:34:59 +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 046CYxjJ050288 for ; Wed, 6 May 2020 12:34:59 GMT (envelope-from bugzilla-noreply@freebsd.org) Received: (from www@localhost) by kenobi.freebsd.org (8.15.2/8.15.2/Submit) id 046CYxtD050284 for haskell@FreeBSD.org; Wed, 6 May 2020 12:34:59 GMT (envelope-from bugzilla-noreply@freebsd.org) X-Authentication-Warning: kenobi.freebsd.org: www set sender to bugzilla-noreply@freebsd.org using -f From: bugzilla-noreply@freebsd.org To: haskell@FreeBSD.org Subject: [Bug 246254] math/hs-Agda: agda-mode files missing Date: Wed, 06 May 2020 12:34:59 +0000 X-Bugzilla-Reason: AssignedTo X-Bugzilla-Type: changed X-Bugzilla-Watch-Reason: None X-Bugzilla-Product: Ports & Packages X-Bugzilla-Component: Individual Port(s) X-Bugzilla-Version: Latest X-Bugzilla-Keywords: X-Bugzilla-Severity: Affects Many People X-Bugzilla-Who: fractran@gmail.com X-Bugzilla-Status: New X-Bugzilla-Resolution: X-Bugzilla-Priority: --- X-Bugzilla-Assigned-To: haskell@FreeBSD.org X-Bugzilla-Flags: maintainer-feedback? X-Bugzilla-Changed-Fields: bug_severity cc Message-ID: In-Reply-To: References: Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable X-Bugzilla-URL: https://bugs.freebsd.org/bugzilla/ Auto-Submitted: auto-generated MIME-Version: 1.0 X-BeenThere: freebsd-haskell@freebsd.org X-Mailman-Version: 2.1.30 Precedence: list List-Id: FreeBSD-specific Haskell issues and discussions List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Wed, 06 May 2020 12:35:00 -0000 https://bugs.freebsd.org/bugzilla/show_bug.cgi?id=3D246254 fractran@gmail.com changed: What |Removed |Added ---------------------------------------------------------------------------- Severity|Affects Only Me |Affects Many People CC| |fractran@gmail.com --=20 You are receiving this mail because: You are the assignee for the bug.= From owner-freebsd-haskell@freebsd.org Wed May 6 15:47:07 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 1BA5F2D8AD3 for ; Wed, 6 May 2020 15:47:07 +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 49HLZ3010Cz3L4P for ; Wed, 6 May 2020 15:47:07 +0000 (UTC) (envelope-from bugzilla-noreply@freebsd.org) Received: by mailman.nyi.freebsd.org (Postfix) id F28CD2D8AD2; Wed, 6 May 2020 15:47:06 +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 F25062D8AD1 for ; Wed, 6 May 2020 15:47:06 +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) server-signature RSA-PSS (4096 bits) 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 49HLZ26C45z3L4M for ; Wed, 6 May 2020 15:47:06 +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) server-signature RSA-PSS (4096 bits)) (Client did not present a certificate) by mxrelay.nyi.freebsd.org (Postfix) with ESMTPS id D04981B7B for ; Wed, 6 May 2020 15:47:06 +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 046Fl6kf064741 for ; Wed, 6 May 2020 15:47:06 GMT (envelope-from bugzilla-noreply@freebsd.org) Received: (from www@localhost) by kenobi.freebsd.org (8.15.2/8.15.2/Submit) id 046Fl6rM064738 for haskell@FreeBSD.org; Wed, 6 May 2020 15:47:06 GMT (envelope-from bugzilla-noreply@freebsd.org) X-Authentication-Warning: kenobi.freebsd.org: www set sender to bugzilla-noreply@freebsd.org using -f From: bugzilla-noreply@freebsd.org To: haskell@FreeBSD.org Subject: [Bug 246254] math/hs-Agda: agda-mode files missing Date: Wed, 06 May 2020 15:47:06 +0000 X-Bugzilla-Reason: AssignedTo X-Bugzilla-Type: changed X-Bugzilla-Watch-Reason: None X-Bugzilla-Product: Ports & Packages X-Bugzilla-Component: Individual Port(s) X-Bugzilla-Version: Latest X-Bugzilla-Keywords: X-Bugzilla-Severity: Affects Many People X-Bugzilla-Who: arrowd@FreeBSD.org X-Bugzilla-Status: Open X-Bugzilla-Resolution: X-Bugzilla-Priority: --- X-Bugzilla-Assigned-To: haskell@FreeBSD.org X-Bugzilla-Flags: maintainer-feedback? X-Bugzilla-Changed-Fields: cc bug_status Message-ID: In-Reply-To: References: Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable X-Bugzilla-URL: https://bugs.freebsd.org/bugzilla/ Auto-Submitted: auto-generated MIME-Version: 1.0 X-BeenThere: freebsd-haskell@freebsd.org X-Mailman-Version: 2.1.30 Precedence: list List-Id: FreeBSD-specific Haskell issues and discussions List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Wed, 06 May 2020 15:47:07 -0000 https://bugs.freebsd.org/bugzilla/show_bug.cgi?id=3D246254 Gleb Popov changed: What |Removed |Added ---------------------------------------------------------------------------- CC| |arrowd@FreeBSD.org Status|New |Open --- Comment #1 from Gleb Popov --- I'm a bit obscured. agda-mode executable doesn't seem to work correctly. Do I need to simply install .el files or fix agda-mode too? --=20 You are receiving this mail because: You are the assignee for the bug.= From owner-freebsd-haskell@freebsd.org Wed May 6 16:33:38 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 C6ED32D9667 for ; Wed, 6 May 2020 16:33:38 +0000 (UTC) (envelope-from bugzilla-noreply@freebsd.org) Received: from mailman.nyi.freebsd.org (unknown [127.0.1.3]) by mx1.freebsd.org (Postfix) with ESMTP id 49HMbk4xFQz3NQr for ; Wed, 6 May 2020 16:33:38 +0000 (UTC) (envelope-from bugzilla-noreply@freebsd.org) Received: by mailman.nyi.freebsd.org (Postfix) id A95EF2D9666; Wed, 6 May 2020 16:33:38 +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 A81492D9664 for ; Wed, 6 May 2020 16:33:38 +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) server-signature RSA-PSS (4096 bits) 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 49HMbk40s1z3NQp for ; Wed, 6 May 2020 16:33:38 +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) server-signature RSA-PSS (4096 bits)) (Client did not present a certificate) by mxrelay.nyi.freebsd.org (Postfix) with ESMTPS id 84E6F24E0 for ; Wed, 6 May 2020 16:33:38 +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 046GXc8U015389 for ; Wed, 6 May 2020 16:33:38 GMT (envelope-from bugzilla-noreply@freebsd.org) Received: (from www@localhost) by kenobi.freebsd.org (8.15.2/8.15.2/Submit) id 046GXcwL015388 for haskell@FreeBSD.org; Wed, 6 May 2020 16:33:38 GMT (envelope-from bugzilla-noreply@freebsd.org) X-Authentication-Warning: kenobi.freebsd.org: www set sender to bugzilla-noreply@freebsd.org using -f From: bugzilla-noreply@freebsd.org To: haskell@FreeBSD.org Subject: [Bug 246254] math/hs-Agda: agda-mode files missing Date: Wed, 06 May 2020 16:33:38 +0000 X-Bugzilla-Reason: AssignedTo X-Bugzilla-Type: changed X-Bugzilla-Watch-Reason: None X-Bugzilla-Product: Ports & Packages X-Bugzilla-Component: Individual Port(s) X-Bugzilla-Version: Latest X-Bugzilla-Keywords: X-Bugzilla-Severity: Affects Many People X-Bugzilla-Who: fractran@gmail.com X-Bugzilla-Status: Open X-Bugzilla-Resolution: X-Bugzilla-Priority: --- X-Bugzilla-Assigned-To: haskell@FreeBSD.org X-Bugzilla-Flags: maintainer-feedback? X-Bugzilla-Changed-Fields: Message-ID: In-Reply-To: References: Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable X-Bugzilla-URL: https://bugs.freebsd.org/bugzilla/ Auto-Submitted: auto-generated MIME-Version: 1.0 X-BeenThere: freebsd-haskell@freebsd.org X-Mailman-Version: 2.1.30 Precedence: list List-Id: FreeBSD-specific Haskell issues and discussions List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Wed, 06 May 2020 16:33:38 -0000 https://bugs.freebsd.org/bugzilla/show_bug.cgi?id=3D246254 --- Comment #2 from fractran@gmail.com --- (In reply to Gleb Popov from comment #1) Unfortunately yes, agda-mode needs to be fixed too. Currently 'agda-mode locate' provides a path for the agda2.el file in the ports' temporary work directory which is correct until cleaning. --=20 You are receiving this mail because: You are the assignee for the bug.= From owner-freebsd-haskell@freebsd.org Wed May 6 18:33:37 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 2E68C2DC364 for ; Wed, 6 May 2020 18:33:37 +0000 (UTC) (envelope-from bugzilla-noreply@freebsd.org) Received: from mailman.nyi.freebsd.org (unknown [127.0.1.3]) by mx1.freebsd.org (Postfix) with ESMTP id 49HQG90WTSz41vC for ; Wed, 6 May 2020 18:33:37 +0000 (UTC) (envelope-from bugzilla-noreply@freebsd.org) Received: by mailman.nyi.freebsd.org (Postfix) id 0FE1C2DC363; Wed, 6 May 2020 18:33:37 +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 0FA7B2DC362 for ; Wed, 6 May 2020 18:33:37 +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) server-signature RSA-PSS (4096 bits) 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 49HQG86fyNz41v9 for ; Wed, 6 May 2020 18:33:36 +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) server-signature RSA-PSS (4096 bits)) (Client did not present a certificate) by mxrelay.nyi.freebsd.org (Postfix) with ESMTPS id E03193E2D for ; Wed, 6 May 2020 18:33:36 +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 046IXaDD027033 for ; Wed, 6 May 2020 18:33:36 GMT (envelope-from bugzilla-noreply@freebsd.org) Received: (from www@localhost) by kenobi.freebsd.org (8.15.2/8.15.2/Submit) id 046IXaRT027032 for haskell@FreeBSD.org; Wed, 6 May 2020 18:33:36 GMT (envelope-from bugzilla-noreply@freebsd.org) X-Authentication-Warning: kenobi.freebsd.org: www set sender to bugzilla-noreply@freebsd.org using -f From: bugzilla-noreply@freebsd.org To: haskell@FreeBSD.org Subject: [Bug 246254] math/hs-Agda: agda-mode files missing Date: Wed, 06 May 2020 18:33:37 +0000 X-Bugzilla-Reason: AssignedTo X-Bugzilla-Type: changed X-Bugzilla-Watch-Reason: None X-Bugzilla-Product: Ports & Packages X-Bugzilla-Component: Individual Port(s) X-Bugzilla-Version: Latest X-Bugzilla-Keywords: X-Bugzilla-Severity: Affects Many People X-Bugzilla-Who: arrowd@FreeBSD.org X-Bugzilla-Status: Open X-Bugzilla-Resolution: X-Bugzilla-Priority: --- X-Bugzilla-Assigned-To: haskell@FreeBSD.org X-Bugzilla-Flags: maintainer-feedback? X-Bugzilla-Changed-Fields: Message-ID: In-Reply-To: References: Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable X-Bugzilla-URL: https://bugs.freebsd.org/bugzilla/ Auto-Submitted: auto-generated MIME-Version: 1.0 X-BeenThere: freebsd-haskell@freebsd.org X-Mailman-Version: 2.1.30 Precedence: list List-Id: FreeBSD-specific Haskell issues and discussions List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Wed, 06 May 2020 18:33:37 -0000 https://bugs.freebsd.org/bugzilla/show_bug.cgi?id=3D246254 --- Comment #3 from Gleb Popov --- I have fixed the path agda-mode outputs and also installed .el files. The "agda-mode compile" produces .elc files, should I install them too? --=20 You are receiving this mail because: You are the assignee for the bug.= From owner-freebsd-haskell@freebsd.org Wed May 6 19:11: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 E68282DD350 for ; Wed, 6 May 2020 19:11:01 +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 49HR5K5gGvz444w for ; Wed, 6 May 2020 19:11:01 +0000 (UTC) (envelope-from bugzilla-noreply@freebsd.org) Received: by mailman.nyi.freebsd.org (Postfix) id C0A6A2DD34F; Wed, 6 May 2020 19:11: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 C06D52DD34E for ; Wed, 6 May 2020 19:11:01 +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) server-signature RSA-PSS (4096 bits) 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 49HR5K4ldYz444v for ; Wed, 6 May 2020 19:11:01 +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) server-signature RSA-PSS (4096 bits)) (Client did not present a certificate) by mxrelay.nyi.freebsd.org (Postfix) with ESMTPS id 9E8E24496 for ; Wed, 6 May 2020 19:11:01 +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 046JB1wN014218 for ; Wed, 6 May 2020 19:11:01 GMT (envelope-from bugzilla-noreply@freebsd.org) Received: (from www@localhost) by kenobi.freebsd.org (8.15.2/8.15.2/Submit) id 046JB1F8014217 for haskell@FreeBSD.org; Wed, 6 May 2020 19:11:01 GMT (envelope-from bugzilla-noreply@freebsd.org) X-Authentication-Warning: kenobi.freebsd.org: www set sender to bugzilla-noreply@freebsd.org using -f From: bugzilla-noreply@freebsd.org To: haskell@FreeBSD.org Subject: [Bug 246254] math/hs-Agda: agda-mode files missing Date: Wed, 06 May 2020 19:11:01 +0000 X-Bugzilla-Reason: AssignedTo X-Bugzilla-Type: changed X-Bugzilla-Watch-Reason: None X-Bugzilla-Product: Ports & Packages X-Bugzilla-Component: Individual Port(s) X-Bugzilla-Version: Latest X-Bugzilla-Keywords: X-Bugzilla-Severity: Affects Many People X-Bugzilla-Who: fractran@gmail.com X-Bugzilla-Status: Open X-Bugzilla-Resolution: X-Bugzilla-Priority: --- X-Bugzilla-Assigned-To: haskell@FreeBSD.org X-Bugzilla-Flags: maintainer-feedback? X-Bugzilla-Changed-Fields: Message-ID: In-Reply-To: References: Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable X-Bugzilla-URL: https://bugs.freebsd.org/bugzilla/ Auto-Submitted: auto-generated MIME-Version: 1.0 X-BeenThere: freebsd-haskell@freebsd.org X-Mailman-Version: 2.1.30 Precedence: list List-Id: FreeBSD-specific Haskell issues and discussions List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Wed, 06 May 2020 19:11:02 -0000 https://bugs.freebsd.org/bugzilla/show_bug.cgi?id=3D246254 --- Comment #4 from fractran@gmail.com --- (In reply to Gleb Popov from comment #3) Thank you for your fast reply! After the installation I need to run "agda-mode setup" anyway so I don't mi= nd compiling the scripts afterwards with "agda-mode compile". But I have little experience with ports and I don't know whether it is comm= on practice to include them or not. --=20 You are receiving this mail because: You are the assignee for the bug.= From owner-freebsd-haskell@freebsd.org Wed May 6 19:16:56 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 1DF082DD62D for ; Wed, 6 May 2020 19:16:56 +0000 (UTC) (envelope-from bugzilla-noreply@freebsd.org) Received: from mailman.nyi.freebsd.org (unknown [127.0.1.3]) by mx1.freebsd.org (Postfix) with ESMTP id 49HRD80051z44V5 for ; Wed, 6 May 2020 19:16:56 +0000 (UTC) (envelope-from bugzilla-noreply@freebsd.org) Received: by mailman.nyi.freebsd.org (Postfix) id F1FD02DD62C; Wed, 6 May 2020 19:16:55 +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 F1C452DD62B for ; Wed, 6 May 2020 19:16:55 +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) server-signature RSA-PSS (4096 bits) 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 49HRD76D6rz44V3 for ; Wed, 6 May 2020 19:16:55 +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) server-signature RSA-PSS (4096 bits)) (Client did not present a certificate) by mxrelay.nyi.freebsd.org (Postfix) with ESMTPS id CF712466C for ; Wed, 6 May 2020 19:16:55 +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 046JGt4f030943 for ; Wed, 6 May 2020 19:16:55 GMT (envelope-from bugzilla-noreply@freebsd.org) Received: (from www@localhost) by kenobi.freebsd.org (8.15.2/8.15.2/Submit) id 046JGt3E030942 for haskell@FreeBSD.org; Wed, 6 May 2020 19:16:55 GMT (envelope-from bugzilla-noreply@freebsd.org) X-Authentication-Warning: kenobi.freebsd.org: www set sender to bugzilla-noreply@freebsd.org using -f From: bugzilla-noreply@freebsd.org To: haskell@FreeBSD.org Subject: [Bug 246254] math/hs-Agda: agda-mode files missing Date: Wed, 06 May 2020 19:16:55 +0000 X-Bugzilla-Reason: AssignedTo X-Bugzilla-Type: changed X-Bugzilla-Watch-Reason: None X-Bugzilla-Product: Ports & Packages X-Bugzilla-Component: Individual Port(s) X-Bugzilla-Version: Latest X-Bugzilla-Keywords: X-Bugzilla-Severity: Affects Many People X-Bugzilla-Who: arrowd@FreeBSD.org X-Bugzilla-Status: Open X-Bugzilla-Resolution: X-Bugzilla-Priority: --- X-Bugzilla-Assigned-To: haskell@FreeBSD.org X-Bugzilla-Flags: maintainer-feedback? X-Bugzilla-Changed-Fields: Message-ID: In-Reply-To: References: Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable X-Bugzilla-URL: https://bugs.freebsd.org/bugzilla/ Auto-Submitted: auto-generated MIME-Version: 1.0 X-BeenThere: freebsd-haskell@freebsd.org X-Mailman-Version: 2.1.30 Precedence: list List-Id: FreeBSD-specific Haskell issues and discussions List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Wed, 06 May 2020 19:16:56 -0000 https://bugs.freebsd.org/bugzilla/show_bug.cgi?id=3D246254 --- Comment #5 from Gleb Popov --- (In reply to fractran from comment #4) If you are going to run this command yourself, it wouldn't work, as it would try to create .elc files in LOCALBASE, which is not writable by a regular u= ser. I guess, I'll have to generate this files during built and install them too. I'll commit a fix for this shortly. --=20 You are receiving this mail because: You are the assignee for the bug.= From owner-freebsd-haskell@freebsd.org Wed May 6 20:31:31 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 D14D62DF161 for ; Wed, 6 May 2020 20:31:31 +0000 (UTC) (envelope-from bugzilla-noreply@freebsd.org) Received: from mailman.nyi.freebsd.org (unknown [127.0.1.3]) by mx1.freebsd.org (Postfix) with ESMTP id 49HStC5FJ0z493w for ; Wed, 6 May 2020 20:31:31 +0000 (UTC) (envelope-from bugzilla-noreply@freebsd.org) Received: by mailman.nyi.freebsd.org (Postfix) id B3DC42DF15F; Wed, 6 May 2020 20:31:31 +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 B39002DF15E for ; Wed, 6 May 2020 20:31:31 +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) server-signature RSA-PSS (4096 bits) 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 49HStC4QJJz493v for ; Wed, 6 May 2020 20:31:31 +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) server-signature RSA-PSS (4096 bits)) (Client did not present a certificate) by mxrelay.nyi.freebsd.org (Postfix) with ESMTPS id 92BDB5517 for ; Wed, 6 May 2020 20:31:31 +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 046KVV5s077312 for ; Wed, 6 May 2020 20:31:31 GMT (envelope-from bugzilla-noreply@freebsd.org) Received: (from bugzilla@localhost) by kenobi.freebsd.org (8.15.2/8.15.2/Submit) id 046KVVAZ077310 for haskell@FreeBSD.org; Wed, 6 May 2020 20:31:31 GMT (envelope-from bugzilla-noreply@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: [Bug 246254] math/hs-Agda: agda-mode files missing Date: Wed, 06 May 2020 20:31:31 +0000 X-Bugzilla-Reason: AssignedTo X-Bugzilla-Type: changed X-Bugzilla-Watch-Reason: None X-Bugzilla-Product: Ports & Packages X-Bugzilla-Component: Individual Port(s) X-Bugzilla-Version: Latest X-Bugzilla-Keywords: X-Bugzilla-Severity: Affects Many People X-Bugzilla-Who: commit-hook@freebsd.org X-Bugzilla-Status: Open X-Bugzilla-Resolution: X-Bugzilla-Priority: --- X-Bugzilla-Assigned-To: haskell@FreeBSD.org X-Bugzilla-Flags: maintainer-feedback? X-Bugzilla-Changed-Fields: Message-ID: In-Reply-To: References: Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable X-Bugzilla-URL: https://bugs.freebsd.org/bugzilla/ Auto-Submitted: auto-generated MIME-Version: 1.0 X-BeenThere: freebsd-haskell@freebsd.org X-Mailman-Version: 2.1.30 Precedence: list List-Id: FreeBSD-specific Haskell issues and discussions List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Wed, 06 May 2020 20:31:31 -0000 https://bugs.freebsd.org/bugzilla/show_bug.cgi?id=3D246254 --- Comment #6 from commit-hook@freebsd.org --- A commit references this bug: Author: arrowd Date: Wed May 6 20:31:29 UTC 2020 New revision: 534200 URL: https://svnweb.freebsd.org/changeset/ports/534200 Log: math/hs-Agda: Install emacs mode files. PR: 246254 Changes: head/math/hs-Agda/Makefile head/math/hs-Agda/pkg-plist --=20 You are receiving this mail because: You are the assignee for the bug.= From owner-freebsd-haskell@freebsd.org Wed May 6 20:32:14 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 7677F2DF224 for ; Wed, 6 May 2020 20:32:14 +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 49HSv22X7hz49HS for ; Wed, 6 May 2020 20:32:14 +0000 (UTC) (envelope-from bugzilla-noreply@freebsd.org) Received: by mailman.nyi.freebsd.org (Postfix) id 56B722DF223; Wed, 6 May 2020 20:32:14 +0000 (UTC) Delivered-To: haskell@mailman.nyi.freebsd.org Received: from mx1.freebsd.org (mx1.freebsd.org [IPv6:2610:1c1:1:606c::19:1]) by mailman.nyi.freebsd.org (Postfix) with ESMTP id 567C02DF222 for ; Wed, 6 May 2020 20:32:14 +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) server-signature RSA-PSS (4096 bits) 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 49HSv21jVkz49HR for ; Wed, 6 May 2020 20:32:14 +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) server-signature RSA-PSS (4096 bits)) (Client did not present a certificate) by mxrelay.nyi.freebsd.org (Postfix) with ESMTPS id 362EC5559 for ; Wed, 6 May 2020 20:32:14 +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 046KWEYF082168 for ; Wed, 6 May 2020 20:32:14 GMT (envelope-from bugzilla-noreply@freebsd.org) Received: (from www@localhost) by kenobi.freebsd.org (8.15.2/8.15.2/Submit) id 046KWEek082167 for haskell@FreeBSD.org; Wed, 6 May 2020 20:32:14 GMT (envelope-from bugzilla-noreply@freebsd.org) X-Authentication-Warning: kenobi.freebsd.org: www set sender to bugzilla-noreply@freebsd.org using -f From: bugzilla-noreply@freebsd.org To: haskell@FreeBSD.org Subject: [Bug 246254] math/hs-Agda: agda-mode files missing Date: Wed, 06 May 2020 20:32:14 +0000 X-Bugzilla-Reason: AssignedTo X-Bugzilla-Type: changed X-Bugzilla-Watch-Reason: None X-Bugzilla-Product: Ports & Packages X-Bugzilla-Component: Individual Port(s) X-Bugzilla-Version: Latest X-Bugzilla-Keywords: X-Bugzilla-Severity: Affects Many People X-Bugzilla-Who: arrowd@FreeBSD.org X-Bugzilla-Status: Closed X-Bugzilla-Resolution: FIXED X-Bugzilla-Priority: --- X-Bugzilla-Assigned-To: haskell@FreeBSD.org X-Bugzilla-Flags: maintainer-feedback? X-Bugzilla-Changed-Fields: resolution bug_status Message-ID: In-Reply-To: References: Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable X-Bugzilla-URL: https://bugs.freebsd.org/bugzilla/ Auto-Submitted: auto-generated MIME-Version: 1.0 X-BeenThere: freebsd-haskell@freebsd.org X-Mailman-Version: 2.1.30 Precedence: list List-Id: FreeBSD-specific Haskell issues and discussions List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Wed, 06 May 2020 20:32:14 -0000 https://bugs.freebsd.org/bugzilla/show_bug.cgi?id=3D246254 Gleb Popov changed: What |Removed |Added ---------------------------------------------------------------------------- Resolution|--- |FIXED Status|Open |Closed --- Comment #7 from Gleb Popov --- Should be fixed now. Bug me again, if it doesn't work for you. --=20 You are receiving this mail because: You are the assignee for the bug.= From owner-freebsd-haskell@freebsd.org Thu May 7 03:48:30 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 3F1172EB651 for ; Thu, 7 May 2020 03:48:30 +0000 (UTC) (envelope-from pkg-fallout@FreeBSD.org) Received: from mailman.nyi.freebsd.org (mailman.nyi.freebsd.org [IPv6:2610:1c1:1:606c::50:13]) by mx1.freebsd.org (Postfix) with ESMTP id 49HfZQ19Lzz4lDW for ; Thu, 7 May 2020 03:48:30 +0000 (UTC) (envelope-from pkg-fallout@FreeBSD.org) Received: by mailman.nyi.freebsd.org (Postfix) id 27D382EB64C; Thu, 7 May 2020 03:48:30 +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 278082EB64A; Thu, 7 May 2020 03:48:30 +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) server-signature RSA-PSS (4096 bits) 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 49HfZQ0k2Qz4lDT; Thu, 7 May 2020 03:48:30 +0000 (UTC) (envelope-from pkg-fallout@FreeBSD.org) Received: from package19.nyi.freebsd.org (package19.nyi.freebsd.org [IPv6:2610:1c1:1:6082::16:f5]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) server-signature RSA-PSS (4096 bits)) (Client did not present a certificate) by mxrelay.nyi.freebsd.org (Postfix) with ESMTPS id 11DDFA8BF; Thu, 7 May 2020 03:48:30 +0000 (UTC) (envelope-from pkg-fallout@FreeBSD.org) Received: from package19.nyi.freebsd.org (localhost [127.0.0.1]) by package19.nyi.freebsd.org (8.15.2/8.15.2) with ESMTP id 0473mTZ1026003; Thu, 7 May 2020 03:48:29 GMT (envelope-from pkg-fallout@FreeBSD.org) Received: (from root@localhost) by package19.nyi.freebsd.org (8.15.2/8.15.2/Submit) id 0473mTbn025999; Thu, 7 May 2020 03:48:29 GMT (envelope-from pkg-fallout@FreeBSD.org) Date: Thu, 7 May 2020 03:48:29 GMT From: pkg-fallout@FreeBSD.org Message-Id: <202005070348.0473mTbn025999@package19.nyi.freebsd.org> To: haskell@FreeBSD.org Subject: [exp - 121amd64-default-build-as-user][lang/purescript] Failed for hs-purescript-0.13.3 in patch Cc: pkg-fallout@FreeBSD.org X-BeenThere: freebsd-haskell@freebsd.org X-Mailman-Version: 2.1.30 Precedence: list List-Id: FreeBSD-specific Haskell issues and discussions List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Thu, 07 May 2020 03:48:30 -0000 You are receiving this mail as a port that you maintain is failing to build on the FreeBSD package build server. Please investigate the failure and submit a PR to fix build. Maintainer: haskell@FreeBSD.org Last committer: arrowd@FreeBSD.org Ident: $FreeBSD: head/lang/purescript/Makefile 512797 2019-09-25 17:04:10Z arrowd $ Log URL: http://package19.nyi.freebsd.org/data/121amd64-default-build-as-user/533996/logs/hs-purescript-0.13.3.log Build URL: http://package19.nyi.freebsd.org/build.html?mastername=121amd64-default-build-as-user&build=533996 Log: =>> Building lang/purescript build started at Thu May 7 03:48:15 UTC 2020 port directory: /usr/ports/lang/purescript package name: hs-purescript-0.13.3 building for: FreeBSD 121amd64-default-build-as-user-job-02 12.1-RELEASE-p4 FreeBSD 12.1-RELEASE-p4 amd64 maintained by: haskell@FreeBSD.org Makefile ident: $FreeBSD: head/lang/purescript/Makefile 512797 2019-09-25 17:04:10Z arrowd $ Poudriere version: 3.2.8-5-gc81843e5 Host OSVERSION: 1300089 Jail OSVERSION: 1201000 Job Id: 02 ---Begin Environment--- SHELL=/bin/csh OSVERSION=1201000 UNAME_v=FreeBSD 12.1-RELEASE-p4 UNAME_r=12.1-RELEASE-p4 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=/poudriere/data/.m/121amd64-default-build-as-user/ref POUDRIERE_BUILD_TYPE=bulk PACKAGE_BUILDING=yes SAVED_TERM= GID=0 UID=0 PWD=/poudriere/data/.m/121amd64-default-build-as-user/ref/.p/pool P_PORTS_FEATURES=FLAVORS SELECTED_OPTIONS MASTERNAME=121amd64-default-build-as-user SCRIPTPREFIX=/usr/local/share/poudriere OLDPWD=/poudriere/data/.m/121amd64-default-build-as-user/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/lang/purescript/work XDG_CONFIG_HOME=/wrkdirs/usr/ports/lang/purescript/work HOME=/wrkdirs/usr/ports/lang/purescript/work TMPDIR="/tmp" SHELL=/bin/sh CONFIG_SHELL=/bin/sh LANG=en_US.UTF-8 LC_ALL=en_US.UTF-8 --End CONFIGURE_ENV-- --MAKE_ENV-- PATH=/wrkdirs/usr/ports/lang/purescript/work/purescript-0.13.3/dist-newstyle/build/x86_64-freebsd/ghc-8.6.5/happy-1.19.9/build/happy/:/wrkdirs/usr/ports/lang/purescript/work/.bin:/sbin:/bin:/usr/sbin:/usr/bin:/usr/local/sbin:/usr/local/bin:/root/bin XDG_DATA_HOME=/wrkdirs/usr/ports/lang/purescript/work XDG_CONFIG_HOME=/wrkdirs/usr/ports/lang/purescript/work HOME=/wrkdirs/usr/ports/lang/purescript/work TMPDIR="/tmp" 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="ins tall -m 444" --End MAKE_ENV-- --PLIST_SUB-- OSREL=12.1 PREFIX=%D LOCALBASE=/usr/local RESETPREFIX=/usr/local LIB32DIR=lib DOCSDIR="share/doc/purescript" EXAMPLESDIR="share/examples/purescript" DATADIR="share/purescript" WWWDIR="www/purescript" ETCDIR="etc/purescript" --End PLIST_SUB-- --SUB_LIST-- PREFIX=/usr/local LOCALBASE=/usr/local DATADIR=/usr/local/share/purescript DOCSDIR=/usr/local/share/doc/purescript EXAMPLESDIR=/usr/local/share/examples/purescript WWWDIR=/usr/local/www/purescript ETCDIR=/usr/local/etc/purescript --End SUB_LIST-- ---Begin make.conf--- USE_PACKAGE_DEPENDS=yes BATCH=yes WRKDIRPREFIX=/wrkdirs PORTSDIR=/usr/ports PACKAGES=/packages DISTDIR=/distfiles FORCE_PACKAGE=yes PACKAGE_BUILDING=yes PACKAGE_BUILDING_FLAVORS=yes #### /usr/local/etc/poudriere.d/make.conf #### # 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.1 (tags/RELEASE_801/final 366581) (based on LLVM 8.0.1) Target: x86_64-unknown-freebsd12.1 Thread model: posix InstalledDir: /usr/bin _ALTCCVERSION_921dbbb2=none _CXXINTERNAL_acaad9ca=FreeBSD clang version 8.0.1 (tags/RELEASE_801/final 366581) (based on LLVM 8.0.1) Target: x86_64-unknown-freebsd12.1 Thread model: posix InstalledDir: /usr/bin "/usr/bin/ld" "--eh-frame-hdr" "-dynamic-linker" "/libexec/ld-elf.so.1" "--hash-style=both" "--enable-new-dtags" "-o" "a.out" "/usr/lib/crt1.o" "/usr/lib/crti.o" "/usr/lib/crtbegin.o" "-L/usr/lib" "/dev/null" "-lc++" "-lm" "-lgcc" "--as-needed" "-lgcc_s" "--no-as-needed" "-lc" "-lgcc" "--as-needed" "-lgcc_s" "--no-as-needed" "/usr/lib/crtend.o" "/usr/lib/crtn.o" CC_OUTPUT_921dbbb2_58173849=yes CC_OUTPUT_921dbbb2_9bdba57c=yes CC_OUTPUT_921dbbb2_6a4fe7f5=yes CC_OUTPUT_921dbbb2_6bcac02b=yes CC_OUTPUT_921dbbb2_67d20829=yes CC_OUTPUT_921dbbb2_bfa62e83=yes CC_OUTPUT_921dbbb2_f0b4d593=yes CC_OUTPUT_921dbbb2_308abb44=yes CC_OUTPUT_921dbbb2_f00456e5=yes CC_OUTPUT_921dbbb2_65ad290d=yes CC_OUTPUT_921dbbb2_f2776b26=yes CC_OUTPUT_921dbbb2_b2657cc3=yes CC_OUTPUT_921dbbb2_380987f7=yes CC_OUTPUT_921dbbb2_160933ec=yes CC_OUTPUT_921dbbb2_fb62803b=yes _OBJC_CCVERSION_921dbbb2=FreeBSD clang version 8.0.1 (tags/RELEASE_801/final 366581) (based on LLVM 8.0.1) Target: x86_64-unknown-freebsd12.1 Thread model: posix InstalledDir: /usr/bin _OBJC_ALTCCVERSION_921dbbb2=none ARCH=amd64 OPSYS=FreeBSD _OSRELEASE=12.1-RELEASE-p4 OSREL=12.1 OSVERSION=1201000 PYTHONBASE=/usr/local HAVE_COMPAT_IA32_KERN=YES CONFIGURE_MAX_CMD_LEN=524288 HAVE_PORTS_ENV=1 #### Misc Poudriere #### DISABLE_MAKE_JOBS=poudriere ---End make.conf--- --Resource limits-- cpu time (seconds, -t) unlimited file size (512-blocks, -f) unlimited data seg size (kbytes, -d) 33554432 stack size (kbytes, -s) 524288 core file size (512-blocks, -c) unlimited max memory size (kbytes, -m) unlimited locked memory (kbytes, -l) unlimited max user processes (-u) 89999 open files (-n) 1024 virtual mem size (kbytes, -v) unlimited swap limit (kbytes, -w) unlimited socket buffer size (bytes, -b) unlimited pseudo-terminals (-p) unlimited kqueues (-k) unlimited umtx shared locks (-o) unlimited --End resource limits-- =================================================== ===> License BSD3CLAUSE accepted by the user =========================================================================== =================================================== ===> hs-purescript-0.13.3 depends on file: /usr/local/sbin/pkg - not found ===> Installing existing package /packages/All/pkg-1.14.4.txz [121amd64-default-build-as-user-job-02] Installing pkg-1.14.4... [121amd64-default-build-as-user-job-02] Extracting pkg-1.14.4: .......... done ===> hs-purescript-0.13.3 depends on file: /usr/local/sbin/pkg - found ===> Returning to build of hs-purescript-0.13.3 =========================================================================== =================================================== =========================================================================== =================================================== ===> License BSD3CLAUSE accepted by the user ===> Fetching all distfiles required by hs-purescript-0.13.3 for building =========================================================================== =================================================== ===> License BSD3CLAUSE accepted by the user ===> Fetching all distfiles required by hs-purescript-0.13.3 for building => SHA256 Checksum OK for cabal/purescript-0.13.3.tar.gz. => SHA256 Checksum OK for cabal/Glob-0.9.3/Glob-0.9.3.tar.gz. => SHA256 Checksum OK for cabal/SHA-1.6.4.4/SHA-1.6.4.4.tar.gz. => SHA256 Checksum OK for cabal/aeson-1.4.4.0/aeson-1.4.4.0.tar.gz. => SHA256 Checksum OK for cabal/aeson-better-errors-0.9.1.0/aeson-better-errors-0.9.1.0.tar.gz. => SHA256 Checksum OK for cabal/aeson-pretty-0.8.7/aeson-pretty-0.8.7.tar.gz. => SHA256 Checksum OK for cabal/alex-3.2.4/alex-3.2.4.tar.gz. => SHA256 Checksum OK for cabal/ansi-terminal-0.8.2/ansi-terminal-0.8.2.tar.gz. => SHA256 Checksum OK for cabal/ansi-wl-pprint-0.6.8.2/ansi-wl-pprint-0.6.8.2.tar.gz. => SHA256 Checksum OK for cabal/ansi-wl-pprint-0.6.8.2/revision/2.cabal. => SHA256 Checksum OK for cabal/appar-0.1.8/appar-0.1.8.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.2/attoparsec-0.13.2.2.tar.gz. => SHA256 Checksum OK for cabal/attoparsec-0.13.2.2/revision/3.cabal. => SHA256 Checksum OK for cabal/auto-update-0.1.6/auto-update-0.1.6.tar.gz. => SHA256 Checksum OK for cabal/base-compat-0.10.5/base-compat-0.10.5.tar.gz. => SHA256 Checksum OK for cabal/base-orphans-0.8.1/base-orphans-0.8.1.tar.gz. => SHA256 Checksum OK for cabal/base64-bytestring-1.0.0.2/base64-bytestring-1.0.0.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.1/blaze-html-0.9.1.1.tar.gz. => SHA256 Checksum OK for cabal/blaze-markup-0.8.2.2/blaze-markup-0.8.2.2.tar.gz. => SHA256 Checksum OK for cabal/blaze-markup-0.8.2.2/revision/1.cabal. => SHA256 Checksum OK for cabal/bower-json-1.0.0.1/bower-json-1.0.0.1.tar.gz. => SHA256 Checksum OK for cabal/boxes-0.1.5/boxes-0.1.5.tar.gz. => SHA256 Checksum OK for cabal/bsb-http-chunked-0.0.0.4/bsb-http-chunked-0.0.0.4.tar.gz. => SHA256 Checksum OK for cabal/byteorder-1.0.4/byteorder-1.0.4.tar.gz. => SHA256 Checksum OK for cabal/bytestring-builder-0.10.8.2.0/bytestring-builder-0.10.8.2.0.tar.gz. => SHA256 Checksum OK for cabal/case-insensitive-1.2.1.0/case-insensitive-1.2.1.0.tar.gz. => SHA256 Checksum OK for cabal/cheapskate-0.1.1.1/cheapskate-0.1.1.1.tar.gz. => SHA256 Checksum OK for cabal/cheapskate-0.1.1.1/revision/1.cabal. => SHA256 Checksum OK for cabal/clock-0.7.2/clock-0.7.2.tar.gz. => SHA256 Checksum OK for cabal/colour-2.3.5/colour-2.3.5.tar.gz. => SHA256 Checksum OK for cabal/conduit-1.3.1.1/conduit-1.3.1.1.tar.gz. => SHA256 Checksum OK for cabal/conduit-extra-1.3.4/conduit-extra-1.3.4.tar.gz. => SHA256 Checksum OK for cabal/constraints-0.11/constraints-0.11.tar.gz. => SHA256 Checksum OK for cabal/css-text-0.1.3.0/css-text-0.1.3.0.tar.gz. => SHA256 Checksum OK for cabal/data-default-0.7.1.1/data-default-0.7.1.1.tar.gz. => SHA256 Checksum OK for cabal/data-default-class-0.1.2.0/data-default-class-0.1.2.0.tar.gz. => SHA256 Checksum OK for cabal/data-default-instances-containers-0.0.1/data-default-instances-containers-0.0.1.tar.gz. => SHA256 Checksum OK for cabal/data-default-instances-dlist-0.0.1/data-default-instances-dlist-0.0.1.tar.gz. => SHA256 Checksum OK for cabal/th-abstraction-0.3.1.0/th-abstraction-0.3.1.0.tar.gz. => SHA256 Checksum OK for cabal/time-compat-1.9.2.2/time-compat-1.9.2.2.tar.gz. => SHA256 Checksum OK for cabal/time-compat-1.9.2.2/revision/1.cabal. => SHA256 Checksum OK for cabal/time-manager-0.0.0/time-manager-0.0.0.tar.gz. => SHA256 Checksum OK for cabal/transformers-base-0.4.5.2/transformers-base-0.4.5.2.tar.gz. => SHA256 Checksum OK for cabal/transformers-compat-0.6.5/transformers-compat-0.6.5.tar.gz. => SHA256 Checksum OK for cabal/typed-process-0.2.6.0/typed-process-0.2.6.0.tar.gz. => SHA256 Checksum OK for cabal/uniplate-1.6.12/uniplate-1.6.12.tar.gz. => SHA256 Checksum OK for cabal/uniplate-1.6.12/revision/1.cabal. => SHA256 Checksum OK for cabal/unix-compat-0.5.2/unix-compat-0.5.2.tar.gz. => SHA256 Checksum OK for cabal/unix-time-0.4.7/unix-time-0.4.7.tar.gz. => SHA256 Checksum OK for cabal/unliftio-core-0.1.2.0/unliftio-core-0.1.2.0.tar.gz. => SHA256 Checksum OK for cabal/unliftio-core-0.1.2.0/revision/2.cabal. => SHA256 Checksum OK for cabal/unordered-containers-0.2.10.0/unordered-containers-0.2.10.0.tar.gz. => SHA256 Checksum OK for cabal/unordered-containers-0.2.10.0/revision/1.cabal. => SHA256 Checksum OK for cabal/utf8-string-1.0.1.1/utf8-string-1.0.1.1.tar.gz. => SHA256 Checksum OK for cabal/utf8-string-1.0.1.1/revision/3.cabal. => SHA256 Checksum OK for cabal/uuid-types-1.0.3/uuid-types-1.0.3.tar.gz. => SHA256 Checksum OK for cabal/uuid-types-1.0.3/revision/2.cabal. => SHA256 Checksum OK for cabal/vault-0.3.1.3/vault-0.3.1.3.tar.gz. => SHA256 Checksum OK for cabal/vector-0.12.0.3/vector-0.12.0.3.tar.gz. => SHA256 Checksum OK for cabal/vector-0.12.0.3/revision/2.cabal. => SHA256 Checksum OK for cabal/vector-algorithms-0.8.0.1/vector-algorithms-0.8.0.1.tar.gz. => SHA256 Checksum OK for cabal/vector-algorithms-0.8.0.1/revision/2.cabal. => SHA256 Checksum OK for cabal/void-0.7.3/void-0.7.3.tar.gz. => SHA256 Checksum OK for cabal/wai-3.2.2.1/wai-3.2.2.1.tar.gz. => SHA256 Checksum OK for cabal/wai-websockets-3.0.1.2/wai-websockets-3.0.1.2.tar.gz. => SHA256 Checksum OK for cabal/warp-3.3.0/warp-3.3.0.tar.gz. => SHA256 Checksum OK for cabal/websockets-0.12.5.3/websockets-0.12.5.3.tar.gz. => SHA256 Checksum OK for cabal/word8-0.1.3/word8-0.1.3.tar.gz. => SHA256 Checksum OK for cabal/xss-sanitize-0.3.6/xss-sanitize-0.3.6.tar.gz. => SHA256 Checksum OK for cabal/zlib-0.6.2/zlib-0.6.2.tar.gz. cd /wrkdirs/usr/ports/lang/purescript/work && mv Glob-0.9.3 /wrkdirs/usr/ports/lang/purescript/work/purescript-0.13.3/ cd /wrkdirs/usr/ports/lang/purescript/work && mv SHA-1.6.4.4 /wrkdirs/usr/ports/lang/purescript/work/purescript-0.13.3/ cd /wrkdirs/usr/ports/lang/purescript/work && mv aeson-1.4.4.0 /wrkdirs/usr/ports/lang/purescript/work/purescript-0.13.3/ cd /wrkdirs/usr/ports/lang/purescript/work && mv aeson-better-errors-0.9.1.0 /wrkdirs/usr/ports/lang/purescript/work/purescript-0.13.3/ cd /wrkdirs/usr/ports/lang/purescript/work && mv aeson-pretty-0.8.7 /wrkdirs/usr/ports/lang/purescript/work/purescript-0.13.3/ cd /wrkdirs/usr/ports/lang/purescript/work && mv alex-3.2.4 /wrkdirs/usr/ports/lang/purescript/work/purescript-0.13.3/ cd /wrkdirs/usr/ports/lang/purescript/work && mv ansi-terminal-0.8.2 /wrkdirs/usr/ports/lang/purescript/work/purescript-0.13.3/ cp /portdistfiles/cabal/ansi-wl-pprint-0.6.8.2/revision/2.cabal `find /wrkdirs/usr/ports/lang/purescript/work/ansi-wl-pprint-0.6.8.2 -name '*.cabal' -depth 1` cd /wrkdirs/usr/ports/lang/purescript/work && mv ansi-wl-pprint-0.6.8.2 /wrkdirs/usr/ports/lang/purescript/work/purescript-0.13.3/ cd /wrkdirs/usr/ports/lang/purescript/work && mv appar-0.1.8 /wrkdirs/usr/ports/lang/purescript/work/purescript-0.13.3/ cd /wrkdirs/usr/ports/lang/purescript/work && mv async-2.2.2 /wrkdirs/usr/ports/lang/purescript/work/purescript-0.13.3/ cp /portdistfiles/cabal/attoparsec-0.13.2.2/revision/3.cabal `find /wrkdirs/usr/ports/lang/purescript/work/attoparsec-0.13.2.2 -name '*.cabal' -depth 1` cd /wrkdirs/usr/ports/lang/purescript/work && mv attoparsec-0.13.2.2 /wrkdirs/usr/ports/lang/purescript/work/purescript-0.13.3/ cd /wrkdirs/usr/ports/lang/purescript/work && mv auto-update-0.1.6 /wrkdirs/usr/ports/lang/purescript/work/purescript-0.13.3/ cd /wrkdirs/usr/ports/lang/purescript/work && mv base-compat-0.10.5 /wrkdirs/usr/ports/lang/purescript/work/purescript-0.13.3/ cd /wrkdirs/usr/ports/lang/purescript/work && mv base-orphans-0.8.1 /wrkdirs/usr/ports/lang/purescript/work/purescript-0.13.3/ cd /wrkdirs/usr/ports/lang/purescript/work && mv base64-bytestring-1.0.0.2 /wrkdirs/usr/ports/lang/purescript/work/purescript-0.13.3/ cd /wrkdirs/usr/ports/lang/purescript/work && mv blaze-builder-0.4.1.0 /wrkdirs/usr/ports/lang/purescript/work/purescript-0.13.3/ cd /wrkdirs/usr/ports/lang/purescript/work && mv blaze-html-0.9.1.1 /wrkdirs/usr/ports/lang/purescript/work/purescript-0.13.3/ cp /portdistfiles/cabal/blaze-markup-0.8.2.2/revision/1.cabal `find /wrkdirs/usr/ports/lang/purescript/work/blaze-markup-0.8.2.2 -name '*.cabal' -depth 1` cd /wrkdirs/usr/ports/lang/purescript/work && mv blaze-markup-0.8.2.2 /wrkdirs/usr/ports/lang/purescript/work/purescript-0.13.3/ cd /wrkdirs/usr/ports/lang/purescript/work && mv bower-json-1.0.0.1 /wrkdirs/usr/ports/lang/purescript/work/purescript-0.13.3/ cd /wrkdirs/usr/ports/lang/purescript/work && mv boxes-0.1.5 /wrkdirs/usr/ports/lang/purescript/work/purescript-0.13.3/ cd /wrkdirs/usr/ports/lang/purescript/work && mv bsb-http-chunked-0.0.0.4 /wrkdirs/usr/ports/lang/purescript/work/purescript-0.13.3/ cd /wrkdirs/usr/ports/lang/purescript/work && mv byteorder-1.0.4 /wrkdirs/usr/ports/lang/purescript/work/purescript-0.13.3/ cd /wrkdirs/usr/ports/lang/purescript/work && mv bytestring-builder-0.10.8.2.0 /wrkdirs/usr/ports/lang/purescript/work/purescript-0.13.3/ cd /wrkdirs/usr/ports/lang/purescript/work && mv case-insensitive-1.2.1.0 /wrkdirs/usr/ports/lang/purescript/work/purescript-0.13.3/ cp /portdistfiles/cabal/cheapskate-0.1.1.1/revision/1.cabal `find /wrkdirs/usr/ports/lang/purescript/work/cheapskate-0.1.1.1 -name '*.cabal' -depth 1` cd /wrkdirs/usr/ports/lang/purescript/work && mv cheapskate-0.1.1.1 /wrkdirs/usr/ports/lang/purescript/work/purescript-0.13.3/ cd /wrkdirs/usr/ports/lang/purescript/work && mv clock-0.7.2 /wrkdirs/usr/ports/lang/purescript/work/purescript-0.13.3/ cd /wrkdirs/usr/ports/lang/purescript/work && mv colour-2.3.5 /wrkdirs/usr/ports/lang/purescript/work/purescript-0.13.3/ cd /wrkdirs/usr/ports/lang/purescript/work && mv conduit-1.3.1.1 /wrkdirs/usr/ports/lang/purescript/work/purescript-0.13.3/ cd /wrkdirs/usr/ports/lang/purescript/work && mv conduit-extra-1.3.4 /wrkdirs/usr/ports/lang/purescript/work/purescript-0.13.3/ cd /wrkdirs/usr/ports/lang/purescript/work && mv constraints-0.11 /wrkdirs/usr/ports/lang/purescript/work/purescript-0.13.3/ cd /wrkdirs/usr/ports/lang/purescript/work && mv css-text-0.1.3.0 /wrkdirs/usr/ports/lang/purescript/work/purescript-0.13.3/ cd /wrkdirs/usr/ports/lang/purescript/work && mv data-default-0.7.1.1 /wrkdirs/usr/ports/lang/purescript/work/purescript-0.13.3/ cd /wrkdirs/usr/ports/lang/purescript/work && mv data-default-class-0.1.2.0 /wrkdirs/usr/ports/lang/purescript/work/purescript-0.13.3/ cd /wrkdirs/usr/ports/lang/purescript/work && mv data-default-instances-containers-0.0.1 /wrkdirs/usr/ports/lang/purescript/work/purescript-0.13.3/ cd /wrkdirs/usr/ports/lang/purescript/work && mv data-default-instances-dlist-0.0.1 /wrkdirs/usr/ports/lang/purescript/work/purescript-0.13.3/ cd /wrkdirs/usr/ports/lang/purescript/work && mv data-default-instances-old-locale-0.0.1 /wrkdirs/usr/ports/lang/purescript/work/purescript-0.13.3/ cd /wrkdirs/usr/ports/lang/purescript/work && mv data-ordlist-0.4.7.0 /wrkdirs/usr/ports/lang/purescript/work/purescript-0.13.3/ cd /wrkdirs/usr/ports/lang/purescript/work && mv dlist-0.8.0.7 /wrkdirs/usr/ports/lang/purescript/work/purescript-0.13.3/ cd /wrkdirs/usr/ports/lang/purescript/work && mv easy-file-0.2.2 /wrkdirs/usr/ports/lang/purescript/work/purescript-0.13.3/ cp /portdistfiles/cabal/edit-distance-0.2.2.1/revision/1.cabal `find /wrkdirs/usr/ports/lang/purescript/work/edit-distance-0.2.2.1 -name '*.cabal' -depth 1` cd /wrkdirs/usr/ports/lang/purescript/work && mv edit-distance-0.2.2.1 /wrkdirs/usr/ports/lang/purescript/work/purescript-0.13.3/ cp /portdistfiles/cabal/entropy-0.4.1.4/revision/1.cabal `find /wrkdirs/usr/ports/lang/purescript/work/entropy-0.4.1.4 -name '*.cabal' -depth 1` cd /wrkdirs/usr/ports/lang/purescript/work && mv entropy-0.4.1.4 /wrkdirs/usr/ports/lang/purescript/work/purescript-0.13.3/ cd /wrkdirs/usr/ports/lang/purescript/work && mv exceptions-0.10.2 /wrkdirs/usr/ports/lang/purescript/work/purescript-0.13.3/ cd /wrkdirs/usr/ports/lang/purescript/work && mv fast-logger-2.4.16 /wrkdirs/usr/ports/lang/purescript/work/purescript-0.13.3/ cd /wrkdirs/usr/ports/lang/purescript/work && mv file-embed-0.0.11 /wrkdirs/usr/ports/lang/purescript/work/purescript-0.13.3/ cp /portdistfiles/cabal/fsnotify-0.3.0.1/revision/1.cabal `find /wrkdirs/usr/ports/lang/purescript/work/fsnotify-0.3.0.1 -name '*.cabal' -depth 1` cd /wrkdirs/usr/ports/lang/purescript/work && mv fsnotify-0.3.0.1 /wrkdirs/usr/ports/lang/purescript/work/purescript-0.13.3/ cd /wrkdirs/usr/ports/lang/purescript/work && mv gitrev-1.3.1 /wrkdirs/usr/ports/lang/purescript/work/purescript-0.13.3/ cd /wrkdirs/usr/ports/lang/purescript/work && mv happy-1.19.9 /wrkdirs/usr/ports/lang/purescript/work/purescript-0.13.3/ cp /portdistfiles/cabal/hashable-1.2.7.0/revision/1.cabal `find /wrkdirs/usr/ports/lang/purescript/work/hashable-1.2.7.0 -name '*.cabal' -depth 1` cd /wrkdirs/usr/ports/lang/purescript/work && mv hashable-1.2.7.0 /wrkdirs/usr/ports/lang/purescript/work/purescript-0.13.3/ cd /wrkdirs/usr/ports/lang/purescript/work && mv hsc2hs-0.68.4 /wrkdirs/usr/ports/lang/purescript/work/purescript-0.13.3/ cd /wrkdirs/usr/ports/lang/purescript/work && mv http-date-0.0.8 /wrkdirs/usr/ports/lang/purescript/work/purescript-0.13.3/ cd /wrkdirs/usr/ports/lang/purescript/work && mv http-types-0.12.3 /wrkdirs/usr/ports/lang/purescript/work/purescript-0.13.3/ cd /wrkdirs/usr/ports/lang/purescript/work && mv http2-2.0.3 /wrkdirs/usr/ports/lang/purescript/work/purescript-0.13.3/ cp /portdistfiles/cabal/integer-logarithms-1.0.3/revision/1.cabal `find /wrkdirs/usr/ports/lang/purescript/work/integer-logarithms-1.0.3 -name '*.cabal' -depth 1` cd /wrkdirs/usr/ports/lang/purescript/work && mv integer-logarithms-1.0.3 /wrkdirs/usr/ports/lang/purescript/work/purescript-0.13.3/ cd /wrkdirs/usr/ports/lang/purescript/work && mv iproute-1.7.7 /wrkdirs/usr/ports/lang/purescript/work/purescript-0.13.3/ cd /wrkdirs/usr/ports/lang/purescript/work && mv language-javascript-0.6.0.13 /wrkdirs/usr/ports/lang/purescript/work/purescript-0.13.3/ cd /wrkdirs/usr/ports/lang/purescript/work && mv lifted-async-0.10.0.4 /wrkdirs/usr/ports/lang/purescript/work/purescript-0.13.3/ cd /wrkdirs/usr/ports/lang/purescript/work && mv lifted-base-0.2.3.12 /wrkdirs/usr/ports/lang/purescript/work/purescript-0.13.3/ cd /wrkdirs/usr/ports/lang/purescript/work && mv microlens-0.4.10 /wrkdirs/usr/ports/lang/purescript/work/purescript-0.13.3/ cd /wrkdirs/usr/ports/lang/purescript/work && mv microlens-ghc-0.4.10 /wrkdirs/usr/ports/lang/purescript/work/purescript-0.13.3/ cd /wrkdirs/usr/ports/lang/purescript/work && mv microlens-mtl-0.1.11.1 /wrkdirs/usr/ports/lang/purescript/work/purescript-0.13.3/ cp /portdistfiles/cabal/microlens-platform-0.3.11/revision/1.cabal `find /wrkdirs/usr/ports/lang/purescript/work/microlens-platform-0.3.11 -name '*.cabal' -depth 1` cd /wrkdirs/usr/ports/lang/purescript/work && mv microlens-platform-0.3.11 /wrkdirs/usr/ports/lang/purescript/work/purescript-0.13.3/ cp /portdistfiles/cabal/microlens-th-0.4.2.3/revision/1.cabal `find /wrkdirs/usr/ports/lang/purescript/work/microlens-th-0.4.2.3 -name '*.cabal' -depth 1` cd /wrkdirs/usr/ports/lang/purescript/work && mv microlens-th-0.4.2.3 /wrkdirs/usr/ports/lang/purescript/work/purescript-0.13.3/ cd /wrkdirs/usr/ports/lang/purescript/work && mv monad-control-1.0.2.3 /wrkdirs/usr/ports/lang/purescript/work/purescript-0.13.3/ cd /wrkdirs/usr/ports/lang/purescript/work && mv monad-logger-0.3.30 /wrkdirs/usr/ports/lang/purescript/work/purescript-0.13.3/ cd /wrkdirs/usr/ports/lang/purescript/work && mv monad-loops-0.4.3 /wrkdirs/usr/ports/lang/purescript/work/purescript-0.13.3/ cd /wrkdirs/usr/ports/lang/purescript/work && mv mono-traversable-1.0.11.0 /wrkdirs/usr/ports/lang/purescript/work/purescript-0.13.3/ cd /wrkdirs/usr/ports/lang/purescript/work && mv mtl-compat-0.2.2 /wrkdirs/usr/ports/lang/purescript/work/purescript-0.13.3/ cd /wrkdirs/usr/ports/lang/purescript/work && mv network-3.0.1.1 /wrkdirs/usr/ports/lang/purescript/work/purescript-0.13.3/ cd /wrkdirs/usr/ports/lang/purescript/work && mv network-byte-order-0.1.1.0 /wrkdirs/usr/ports/lang/purescript/work/purescript-0.13.3/ cp /portdistfiles/cabal/network-uri-2.6.1.0/revision/1.cabal `find /wrkdirs/usr/ports/lang/purescript/work/network-uri-2.6.1.0 -name '*.cabal' -depth 1` cd /wrkdirs/usr/ports/lang/purescript/work && mv network-uri-2.6.1.0 /wrkdirs/usr/ports/lang/purescript/work/purescript-0.13.3/ cp /portdistfiles/cabal/old-locale-1.0.0.7/revision/2.cabal `find /wrkdirs/usr/ports/lang/purescript/work/old-locale-1.0.0.7 -name '*.cabal' -depth 1` cd /wrkdirs/usr/ports/lang/purescript/work && mv old-locale-1.0.0.7 /wrkdirs/usr/ports/lang/purescript/work/purescript-0.13.3/ cp /portdistfiles/cabal/old-time-1.1.0.3/revision/2.cabal `find /wrkdirs/usr/ports/lang/purescript/work/old-time-1.1.0.3 -name '*.cabal' -depth 1` cd /wrkdirs/usr/ports/lang/purescript/work && mv old-time-1.1.0.3 /wrkdirs/usr/ports/lang/purescript/work/purescript-0.13.3/ cp /portdistfiles/cabal/optparse-applicative-0.14.3.0/revision/2.cabal `find /wrkdirs/usr/ports/lang/purescript/work/optparse-applicative-0.14.3.0 -name '*.cabal' -depth 1` cd /wrkdirs/usr/ports/lang/purescript/work && mv optparse-applicative-0.14.3.0 /wrkdirs/usr/ports/lang/purescript/work/purescript-0.13.3/ cd /wrkdirs/usr/ports/lang/purescript/work && mv parallel-3.2.2.0 /wrkdirs/usr/ports/lang/purescript/work/purescript-0.13.3/ cd /wrkdirs/usr/ports/lang/purescript/work && mv pattern-arrows-0.0.2 /wrkdirs/usr/ports/lang/purescript/work/purescript-0.13.3/ cd /wrkdirs/usr/ports/lang/purescript/work && mv primitive-0.7.0.0 /wrkdirs/usr/ports/lang/purescript/work/purescript-0.13.3/ cd /wrkdirs/usr/ports/lang/purescript/work && mv protolude-0.2.3 /wrkdirs/usr/ports/lang/purescript/work/purescript-0.13.3/ cd /wrkdirs/usr/ports/lang/purescript/work && mv psqueues-0.2.7.2 /wrkdirs/usr/ports/lang/purescript/work/purescript-0.13.3/ cp /portdistfiles/cabal/random-1.1/revision/1.cabal `find /wrkdirs/usr/ports/lang/purescript/work/random-1.1 -name '*.cabal' -depth 1` cd /wrkdirs/usr/ports/lang/purescript/work && mv random-1.1 /wrkdirs/usr/ports/lang/purescript/work/purescript-0.13.3/ cp /portdistfiles/cabal/regex-base-0.93.2/revision/1.cabal `find /wrkdirs/usr/ports/lang/purescript/work/regex-base-0.93.2 -name '*.cabal' -depth 1` cd /wrkdirs/usr/ports/lang/purescript/work && mv regex-base-0.93.2 /wrkdirs/usr/ports/lang/purescript/work/purescript-0.13.3/ cd /wrkdirs/usr/ports/lang/purescript/work && mv regex-tdfa-1.2.3.2 /wrkdirs/usr/ports/lang/purescript/work/purescript-0.13.3/ cd /wrkdirs/usr/ports/lang/purescript/work && mv resourcet-1.2.2 /wrkdirs/usr/ports/lang/purescript/work/purescript-0.13.3/ cd /wrkdirs/usr/ports/lang/purescript/work && mv safe-0.3.17 /wrkdirs/usr/ports/lang/purescript/work/purescript-0.13.3/ cd /wrkdirs/usr/ports/lang/purescript/work && mv scientific-0.3.6.2 /wrkdirs/usr/ports/lang/purescript/work/purescript-0.13.3/ cp /portdistfiles/cabal/semigroups-0.18.5/revision/1.cabal `find /wrkdirs/usr/ports/lang/purescript/work/semigroups-0.18.5 -name '*.cabal' -depth 1` cd /wrkdirs/usr/ports/lang/purescript/work && mv semigroups-0.18.5 /wrkdirs/usr/ports/lang/purescript/work/purescript-0.13.3/ cp /portdistfiles/cabal/simple-sendfile-0.2.28/revision/2.cabal `find /wrkdirs/usr/ports/lang/purescript/work/simple-sendfile-0.2.28 -name '*.cabal' -depth 1` cd /wrkdirs/usr/ports/lang/purescript/work && mv simple-sendfile-0.2.28 /wrkdirs/usr/ports/lang/purescript/work/purescript-0.13.3/ cp /portdistfiles/cabal/sourcemap-0.1.6/revision/1.cabal `find /wrkdirs/usr/ports/lang/purescript/work/sourcemap-0.1.6 -name '*.cabal' -depth 1` cd /wrkdirs/usr/ports/lang/purescript/work && mv sourcemap-0.1.6 /wrkdirs/usr/ports/lang/purescript/work/purescript-0.13.3/ cp /portdistfiles/cabal/split-0.2.3.3/revision/1.cabal `find /wrkdirs/usr/ports/lang/purescript/work/split-0.2.3.3 -name '*.cabal' -depth 1` cd /wrkdirs/usr/ports/lang/purescript/work && mv split-0.2.3.3 /wrkdirs/usr/ports/lang/purescript/work/purescript-0.13.3/ cp /portdistfiles/cabal/stm-chans-3.0.0.4/revision/1.cabal `find /wrkdirs/usr/ports/lang/purescript/work/stm-chans-3.0.0.4 -name '*.cabal' -depth 1` cd /wrkdirs/usr/ports/lang/purescript/work && mv stm-chans-3.0.0.4 /wrkdirs/usr/ports/lang/purescript/work/purescript-0.13.3/ cd /wrkdirs/usr/ports/lang/purescript/work && mv streaming-commons-0.2.1.1 /wrkdirs/usr/ports/lang/purescript/work/purescript-0.13.3/ cp /portdistfiles/cabal/stringsearch-0.3.6.6/revision/1.cabal `find /wrkdirs/usr/ports/lang/purescript/work/stringsearch-0.3.6.6 -name '*.cabal' -depth 1` cd /wrkdirs/usr/ports/lang/purescript/work && mv stringsearch-0.3.6.6 /wrkdirs/usr/ports/lang/purescript/work/purescript-0.13.3/ cd /wrkdirs/usr/ports/lang/purescript/work && mv syb-0.7.1 /wrkdirs/usr/ports/lang/purescript/work/purescript-0.13.3/ cp /portdistfiles/cabal/tagged-0.8.6/revision/1.cabal `find /wrkdirs/usr/ports/lang/purescript/work/tagged-0.8.6 -name '*.cabal' -depth 1` cd /wrkdirs/usr/ports/lang/purescript/work && mv tagged-0.8.6 /wrkdirs/usr/ports/lang/purescript/work/purescript-0.13.3/ cd /wrkdirs/usr/ports/lang/purescript/work && mv tagsoup-0.14.8 /wrkdirs/usr/ports/lang/purescript/work/purescript-0.13.3/ cd /wrkdirs/usr/ports/lang/purescript/work && mv th-abstraction-0.3.1.0 /wrkdirs/usr/ports/lang/purescript/work/purescript-0.13.3/ cp /portdistfiles/cabal/time-compat-1.9.2.2/revision/1.cabal `find /wrkdirs/usr/ports/lang/purescript/work/time-compat-1.9.2.2 -name '*.cabal' -depth 1` cd /wrkdirs/usr/ports/lang/purescript/work && mv time-compat-1.9.2.2 /wrkdirs/usr/ports/lang/purescript/work/purescript-0.13.3/ cd /wrkdirs/usr/ports/lang/purescript/work && mv time-manager-0.0.0 /wrkdirs/usr/ports/lang/purescript/work/purescript-0.13.3/ cd /wrkdirs/usr/ports/lang/purescript/work && mv transformers-base-0.4.5.2 /wrkdirs/usr/ports/lang/purescript/work/purescript-0.13.3/ cd /wrkdirs/usr/ports/lang/purescript/work && mv transformers-compat-0.6.5 /wrkdirs/usr/ports/lang/purescript/work/purescript-0.13.3/ cd /wrkdirs/usr/ports/lang/purescript/work && mv typed-process-0.2.6.0 /wrkdirs/usr/ports/lang/purescript/work/purescript-0.13.3/ cp /portdistfiles/cabal/uniplate-1.6.12/revision/1.cabal `find /wrkdirs/usr/ports/lang/purescript/work/uniplate-1.6.12 -name '*.cabal' -depth 1` cd /wrkdirs/usr/ports/lang/purescript/work && mv uniplate-1.6.12 /wrkdirs/usr/ports/lang/purescript/work/purescript-0.13.3/ cd /wrkdirs/usr/ports/lang/purescript/work && mv unix-compat-0.5.2 /wrkdirs/usr/ports/lang/purescript/work/purescript-0.13.3/ cd /wrkdirs/usr/ports/lang/purescript/work && mv unix-time-0.4.7 /wrkdirs/usr/ports/lang/purescript/work/purescript-0.13.3/ cp /portdistfiles/cabal/unliftio-core-0.1.2.0/revision/2.cabal `find /wrkdirs/usr/ports/lang/purescript/work/unliftio-core-0.1.2.0 -name '*.cabal' -depth 1` cd /wrkdirs/usr/ports/lang/purescript/work && mv unliftio-core-0.1.2.0 /wrkdirs/usr/ports/lang/purescript/work/purescript-0.13.3/ cp /portdistfiles/cabal/unordered-containers-0.2.10.0/revision/1.cabal `find /wrkdirs/usr/ports/lang/purescript/work/unordered-containers-0.2.10.0 -name '*.cabal' -depth 1` cd /wrkdirs/usr/ports/lang/purescript/work && mv unordered-containers-0.2.10.0 /wrkdirs/usr/ports/lang/purescript/work/purescript-0.13.3/ cp /portdistfiles/cabal/utf8-string-1.0.1.1/revision/3.cabal `find /wrkdirs/usr/ports/lang/purescript/work/utf8-string-1.0.1.1 -name '*.cabal' -depth 1` cd /wrkdirs/usr/ports/lang/purescript/work && mv utf8-string-1.0.1.1 /wrkdirs/usr/ports/lang/purescript/work/purescript-0.13.3/ cp /portdistfiles/cabal/uuid-types-1.0.3/revision/2.cabal `find /wrkdirs/usr/ports/lang/purescript/work/uuid-types-1.0.3 -name '*.cabal' -depth 1` cd /wrkdirs/usr/ports/lang/purescript/work && mv uuid-types-1.0.3 /wrkdirs/usr/ports/lang/purescript/work/purescript-0.13.3/ cd /wrkdirs/usr/ports/lang/purescript/work && mv vault-0.3.1.3 /wrkdirs/usr/ports/lang/purescript/work/purescript-0.13.3/ cp /portdistfiles/cabal/vector-0.12.0.3/revision/2.cabal `find /wrkdirs/usr/ports/lang/purescript/work/vector-0.12.0.3 -name '*.cabal' -depth 1` cd /wrkdirs/usr/ports/lang/purescript/work && mv vector-0.12.0.3 /wrkdirs/usr/ports/lang/purescript/work/purescript-0.13.3/ cp /portdistfiles/cabal/vector-algorithms-0.8.0.1/revision/2.cabal `find /wrkdirs/usr/ports/lang/purescript/work/vector-algorithms-0.8.0.1 -name '*.cabal' -depth 1` cd /wrkdirs/usr/ports/lang/purescript/work && mv vector-algorithms-0.8.0.1 /wrkdirs/usr/ports/lang/purescript/work/purescript-0.13.3/ cd /wrkdirs/usr/ports/lang/purescript/work && mv void-0.7.3 /wrkdirs/usr/ports/lang/purescript/work/purescript-0.13.3/ cd /wrkdirs/usr/ports/lang/purescript/work && mv wai-3.2.2.1 /wrkdirs/usr/ports/lang/purescript/work/purescript-0.13.3/ cd /wrkdirs/usr/ports/lang/purescript/work && mv wai-websockets-3.0.1.2 /wrkdirs/usr/ports/lang/purescript/work/purescript-0.13.3/ cd /wrkdirs/usr/ports/lang/purescript/work && mv warp-3.3.0 /wrkdirs/usr/ports/lang/purescript/work/purescript-0.13.3/ cd /wrkdirs/usr/ports/lang/purescript/work && mv websockets-0.12.5.3 /wrkdirs/usr/ports/lang/purescript/work/purescript-0.13.3/ cd /wrkdirs/usr/ports/lang/purescript/work && mv word8-0.1.3 /wrkdirs/usr/ports/lang/purescript/work/purescript-0.13.3/ cd /wrkdirs/usr/ports/lang/purescript/work && mv xss-sanitize-0.3.6 /wrkdirs/usr/ports/lang/purescript/work/purescript-0.13.3/ cd /wrkdirs/usr/ports/lang/purescript/work && mv zlib-0.6.2 /wrkdirs/usr/ports/lang/purescript/work/purescript-0.13.3/ mkdir -p /wrkdirs/usr/ports/lang/purescript/work/cabal-home/.cabal touch /wrkdirs/usr/ports/lang/purescript/work/cabal-home/.cabal/config =========================================================================== =================================================== =========================================================================== =================================================== ===> Patching for hs-purescript-0.13.3 ===> Applying FreeBSD patches for hs-purescript-0.13.3 6 out of 13 hunks failed--saving rejects to purescript.cabal.rej ====> FAILED Applying FreeBSD patch patch-purescript.cabal ===> Cleanly applied FreeBSD patch(es) patch-src_Language_PureScript_CST_Parser.y patch-src_Language_PureScript_CST_Utils.hs patch-src_Language_PureScript_Docs_Types.hs patch-src_Language_PureScript_Names.hs patch-src_Language_PureScript_Publish.hs ===> FAILED to apply cleanly FreeBSD patch(es) patch-purescript.cabal ==> SOME PATCHES FAILED TO APPLY CLEANLY. ==> Look for FAILED messages above. *** Error code 1 Stop. make: stopped in /usr/ports/lang/purescript From owner-freebsd-haskell@freebsd.org Thu May 7 22:48:37 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 660192E7E1B for ; Thu, 7 May 2020 22:48:37 +0000 (UTC) (envelope-from pkg-fallout@FreeBSD.org) Received: from mailman.nyi.freebsd.org (mailman.nyi.freebsd.org [IPv6:2610:1c1:1:606c::50:13]) by mx1.freebsd.org (Postfix) with ESMTP id 49J7sx2M29z3MyH for ; Thu, 7 May 2020 22:48:37 +0000 (UTC) (envelope-from pkg-fallout@FreeBSD.org) Received: by mailman.nyi.freebsd.org (Postfix) id 509BE2E7E19; Thu, 7 May 2020 22:48:37 +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 504442E7E18; Thu, 7 May 2020 22:48:37 +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) server-signature RSA-PSS (4096 bits) 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 49J7sx1wcTz3MyG; Thu, 7 May 2020 22:48:37 +0000 (UTC) (envelope-from pkg-fallout@FreeBSD.org) Received: from beefy10.nyi.freebsd.org (beefy10.nyi.freebsd.org [IPv6:2610:1c1:1:6080::16:ed]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) server-signature RSA-PSS (4096 bits)) (Client did not present a certificate) by mxrelay.nyi.freebsd.org (Postfix) with ESMTPS id 3CFC020796; Thu, 7 May 2020 22:48:37 +0000 (UTC) (envelope-from pkg-fallout@FreeBSD.org) Received: from beefy10.nyi.freebsd.org (localhost [127.0.0.1]) by beefy10.nyi.freebsd.org (8.15.2/8.15.2) with ESMTP id 047MmbHq050416; Thu, 7 May 2020 22:48:37 GMT (envelope-from pkg-fallout@FreeBSD.org) Received: (from root@localhost) by beefy10.nyi.freebsd.org (8.15.2/8.15.2/Submit) id 047MmbfM050415; Thu, 7 May 2020 22:48:37 GMT (envelope-from pkg-fallout@FreeBSD.org) Date: Thu, 7 May 2020 22:48:37 GMT From: pkg-fallout@FreeBSD.org Message-Id: <202005072248.047MmbfM050415@beefy10.nyi.freebsd.org> To: haskell@FreeBSD.org Subject: [package - 113i386-default][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.30 Precedence: list List-Id: FreeBSD-specific Haskell issues and discussions List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Thu, 07 May 2020 22:48:37 -0000 You are receiving this mail as a port that you maintain is failing to build on the FreeBSD package build server. Please investigate the failure and submit a PR to fix build. Maintainer: haskell@FreeBSD.org Last committer: arrowd@FreeBSD.org Ident: $FreeBSD: head/math/hs-Agda/Makefile 534200 2020-05-06 20:31:28Z arrowd $ Log URL: http://beefy10.nyi.freebsd.org/data/113i386-default/534218/logs/hs-Agda-2.6.1_1.log Build URL: http://beefy10.nyi.freebsd.org/build.html?mastername=113i386-default&build=534218 Log: =>> Building math/hs-Agda build started at Thu May 7 21:53:55 UTC 2020 port directory: /usr/ports/math/hs-Agda package name: hs-Agda-2.6.1_1 building for: FreeBSD 113i386-default-job-10 11.3-RELEASE-p8 FreeBSD 11.3-RELEASE-p8 i386 maintained by: haskell@FreeBSD.org Makefile ident: $FreeBSD: head/math/hs-Agda/Makefile 534200 2020-05-06 20:31:28Z arrowd $ Poudriere version: 3.2.8-5-gc81843e5 Host OSVERSION: 1300089 Jail OSVERSION: 1103000 Job Id: 10 ---Begin Environment--- SHELL=/bin/csh UNAME_p=i386 UNAME_m=i386 OSVERSION=1103000 UNAME_v=FreeBSD 11.3-RELEASE-p8 UNAME_r=11.3-RELEASE-p8 BLOCKSIZE=K MAIL=/var/mail/root STATUS=1 HOME=/root PATH=/sbin:/bin:/usr/sbin:/usr/bin:/usr/local/sbin:/usr/local/bin:/root/bin LOCALBASE=/usr/local USER=root LIBEXECPREFIX=/usr/local/libexec/poudriere POUDRIERE_VERSION=3.2.8-5-gc81843e5 MASTERMNT=/usr/local/poudriere/data/.m/113i386-default/ref POUDRIERE_BUILD_TYPE=bulk PACKAGE_BUILDING=yes SAVED_TERM= PWD=/usr/local/poudriere/data/.m/113i386-default/ref/.p/pool P_PORTS_FEATURES=FLAVORS SELECTED_OPTIONS MASTERNAME=113i386-default SCRIPTPREFIX=/usr/local/share/poudriere OLDPWD=/usr/local/poudriere/data/.m/113i386-default/ref/.p SCRIPTPATH=/usr/local/share/poudriere/bulk.sh POUDRIEREPATH=/usr/local/bin/poudriere ---End Environment--- ---Begin Poudriere Port Flags/Env--- PORT_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-p8 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.4.txz [113i386-default-job-10] Installing pkg-1.14.4... [113i386-default-job-10] Extracting pkg-1.14.4: .......... 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. [141 of 369] Compiling Agda.Syntax.Internal.Pattern ( src/full/Agda/Syntax/Internal/Pattern.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/Pattern.o ) [142 of 369] Compiling Agda.Syntax.Abstract.Views ( src/full/Agda/Syntax/Abstract/Views.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/Views.o ) [143 of 369] Compiling Agda.Syntax.Abstract.PatternSynonyms ( src/full/Agda/Syntax/Abstract/PatternSynonyms.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/PatternSynonyms.o ) [144 of 369] Compiling Agda.Syntax.Abstract.Pattern ( src/full/Agda/Syntax/Abstract/Pattern.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/Pattern.o ) [145 of 369] Compiling Agda.Utils.TypeLevel ( src/full/Agda/Utils/TypeLevel.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/Utils/TypeLevel.o ) [146 of 369] Compiling Agda.Utils.TypeLits ( src/full/Agda/Utils/TypeLits.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/Utils/TypeLits.o ) [147 of 369] Compiling Agda.Utils.Update ( src/full/Agda/Utils/Update.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/Utils/Update.o ) [148 of 369] Compiling Agda.Syntax.Concrete.Definitions ( src/full/Agda/Syntax/Concrete/Definitions.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/Definitions.o ) [149 of 369] Compiling Agda.Utils.VarSet ( src/full/Agda/Utils/VarSet.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/Utils/VarSet.o ) [150 of 369] Compiling Agda.Utils.Warshall ( src/full/Agda/Utils/Warshall.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/Utils/Warshall.o ) [151 of 369] Compiling Agda.Utils.WithDefault ( src/full/Agda/Utils/WithDefault.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/Utils/WithDefault.o ) [152 of 369] Compiling Agda.Utils.Zipper ( src/full/Agda/Utils/Zipper.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/Utils/Zipper.o ) [153 of 369] Compiling Paths_Agda ( /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/autogen/Paths_Agda.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/Paths_Agda.o ) [154 of 369] Compiling Agda.Version ( src/full/Agda/Version.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/Version.o ) [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 ) 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