Agda doesn't build

DoneSubmitted by Pronaip.
Details
3 participants
  • Andreas Enge
  • Ludovic Courtès
  • Pronaip
Owner
unassigned
Severity
normal
P
P
Pronaip wrote on 7 Apr 2019 04:05
(name . bug-guix@gnu.org)(address . bug-guix@gnu.org)
qyAnMO1ZrPdU1zCWi5NXj-vONFvm0-PjcH6FSwHzwWSMG0nExh1TZTOrmIgeGLYquhtxb97iUBZd7nIXc1ICahiAMj-b2STFZy94l8RPBWw=@protonmail.com
Partial build log below. Ran right after a guix pull && guix package -u.

starting phase `set-SOURCE-DATE-EPOCH'phase `set-SOURCE-DATE-EPOCH' succeeded after 0.0 secondsstarting phase `set-paths'environment variable `PATH' set to `/gnu/store/564215v4ma3jqxai20hf1ymcrn60nm44-ghc-8.4.3/bin:/gnu/store/xn6qx2p58rcswdy7ffv098dqagvabgnp-cpphs-1.20.8/bin:/gnu/store............Configuring Agda-2.5.4.1...Warning: This package indirectly depends on multiple versions of the same package. This is very likely to cause a compile failure. package network-uri (network-uri-2.6.1.0-AstEwZoXrlUJQq4VkxaVo9) requires parsec-3.1.13.0 package regex-tdfa (regex-tdfa-1.2.3.1-4XsUntSXxH4A4zhCaXNDfb) requires parsec-3.1.13.0-Hto2wUzKFiH7SbmR1p2aoH package uri-encode (uri-encode-1.5.0.5-1EgYr8HkM9wD6gdpghyroU) requires text-1.2.3.0 package parsec (parsec-3.1.13.0-Hto2wUzKFiH7SbmR1p2aoH) requires text-1.2.3.0 package parsec (parsec-3.1.13.0) requires text-1.2.3.0 package Agda (Agda-2.5.4.1) requires text-1.2.3.0 package hashable (hashable-1.2.7.0-E92h8KGCxs9nEzqMyfi2y) requires text-1.2.3.0-AuQn1iHCodxHdm3cybaJfm package blaze-markup (blaze-markup-0.8.2.1-G01IErgxGnm2gnQBZJnf22) requires text-1.2.3.0-AuQn1iHCodxHdm3cybaJfm package blaze-html (blaze-html-0.9.1.1-GAgExUjjwqJ3ccn0WMIpSn) requires text-1.2.3.0-AuQn1iHCodxHdm3cybaJfm package blaze-builder (blaze-builder-0.4.1.0-Bxpj8zQZx6hE2zSu9Go0jT) requires text-1.2.3.0-AuQn1iHCodxHdm3cybaJfmphase `configure' succeeded after 3.2 seconds......[ 63 of 338] Compiling Agda.Utils.FileName ( src/full/Agda/Utils/FileName.hs, dist/build/Agda/Utils/FileName.o )
src/full/Agda/Utils/FileName.hs:42:28: error: • No instance for (Hashable Text) arising from the 'deriving' clause of a data type declaration Possible fix: use a standalone 'deriving instance' declaration, so you can specify the instance context yourself There are instances for similar types: instance Hashable text-1.2.3.0:Data.Text.Internal.Text -- Defined in ‘hashable-1.2.7.0:Data.Hashable.Class’ instance Hashable text-1.2.3.0:Data.Text.Internal.Lazy.Text -- Defined in ‘hashable-1.2.7.0:Data.Hashable.Class’ • When deriving the instance for (Hashable AbsolutePath) |42 | deriving (Eq, Ord, Data, Hashable) | ^^^^^^^^Backtrace: 4 (primitive-load "/gnu/store/j0nza4gsz3fkcxz2g85jp47063p…")In ice-9/eval.scm: 191:35 3 (_ _)In srfi/srfi-1.scm: 863:16 2 (every1 #<procedure 7c2020 at /gnu/store/79jn1m4ax1zr5…> …)In /gnu/store/79jn1m4ax1zr5hlf3q7aalnb4vhx17ac-module-import/guix/build/gnu-build-system.scm: 799:28 1 (_ _)In /gnu/store/79jn1m4ax1zr5hlf3q7aalnb4vhx17ac-module-import/guix/build/utils.scm: 616:6 0 (invoke _ . _)
/gnu/store/79jn1m4ax1zr5hlf3q7aalnb4vhx17ac-module-import/guix/build/utils.scm:616:6: In procedure invoke:Throw to key `srfi-34' with args `(#<condition &invoke-error [program: "runhaskell" arguments: ("Setup.hs" "build") exit-status: 1 term-signal: #f stop-signal: #f] 56d440>)'.
L
L
Ludovic Courtès wrote on 7 Apr 2019 18:28
(name . Pronaip)(address . pronaip@protonmail.com)(address . 35178@debbugs.gnu.org)
87imvplqz0.fsf@gnu.org
Hello,
Pronaip <pronaip@protonmail.com> skribis:

[...]
Toggle quote (18 lines)> [ 63 of 338] Compiling Agda.Utils.FileName ( src/full/Agda/Utils/FileName.hs, dist/build/Agda/Utils/FileName.o )>> src/full/Agda/Utils/FileName.hs:42:28: error:> • No instance for (Hashable Text)> arising from the 'deriving' clause of a data type declaration> Possible fix:> use a standalone 'deriving instance' declaration,> so you can specify the instance context yourself> There are instances for similar types:> instance Hashable text-1.2.3.0:Data.Text.Internal.Text> -- Defined in ‘hashable-1.2.7.0:Data.Hashable.Class’> instance Hashable text-1.2.3.0:Data.Text.Internal.Lazy.Text> -- Defined in ‘hashable-1.2.7.0:Data.Hashable.Class’> • When deriving the instance for (Hashable AbsolutePath)> |> 42 | deriving (Eq, Ord, Data, Hashable)> | ^^^^^^^^
That looks a lot like https://issues.guix.info/issue/34227.
Could check whether it systematically fails to build?
Thank you,Ludo’.
P
P
Pronaip wrote on 9 Apr 2019 04:59
(name . Ludovic Courtès)(address . ludo@gnu.org)(name . 35178@debbugs.gnu.org)(address . 35178@debbugs.gnu.org)
vlcZxDGShbBzXBeVuNgKqGBrtrB6QIoMQdIEeD5WGNkmipygdQLB3tpJMAt0d9WUJ767RPNdgUhBZCtFwwFER_UPav-0Mfgia3V2u2a6yro=@protonmail.com
‐‐‐‐‐‐‐ Original Message ‐‐‐‐‐‐‐On Sunday, April 7, 2019 6:28 PM, Ludovic Courtès <ludo@gnu.org> wrote:
Toggle quote (5 lines)> Could check whether it systematically fails to build?>> Thank you,> Ludo’.
I've tried it a few times, it always gives the same result. The --rounds thing stops after the first failed build, so maybe I'm doing something wrong?
L
L
Ludovic Courtès wrote on 9 Apr 2019 12:58
(name . Pronaip)(address . pronaip@protonmail.com)(name . 35178@debbugs.gnu.org)(address . 35178@debbugs.gnu.org)
875zrnh2dh.fsf@gnu.org
Pronaip <pronaip@protonmail.com> skribis:
Toggle quote (9 lines)> ‐‐‐‐‐‐‐ Original Message ‐‐‐‐‐‐‐> On Sunday, April 7, 2019 6:28 PM, Ludovic Courtès <ludo@gnu.org> wrote:>> Could check whether it systematically fails to build?>>>> Thank you,>> Ludo’.>> I've tried it a few times, it always gives the same result. The --rounds thing stops after the first failed build, so maybe I'm doing something wrong?
‘--rounds’ will try several times only as long as building succeeds.
So in this case, you can simply run “guix build agda” several times.
Let us know how it goes.
Thanks,Ludo’.
P
P
Pronaip wrote on 25 May 2019 23:58
(name . Ludovic Courtès)(address . ludo@gnu.org)(name . 35178\@debbugs.gnu.org)(address . 35178@debbugs.gnu.org)
sC9UOmM5fv7TDJLBz83pS1mSZlUutm2ZLot6MMVl929VyBY2cBj-1URQV4i84y4LYeUNYMOeHR33wEBlzHSepFya8Ts-KSYuVT3y2obEpsQ=@protonmail.com
Oh I forgot to update this. The build seems to work fine now for some reason.

Sent with ProtonMail Secure Email.
‐‐‐‐‐‐‐ Original Message ‐‐‐‐‐‐‐On Tuesday, April 9, 2019 12:58 PM, Ludovic Courtès <ludo@gnu.org> wrote:
Toggle quote (19 lines)> Pronaip pronaip@protonmail.com skribis:>> > ‐‐‐‐‐‐‐ Original Message ‐‐‐‐‐‐‐> > On Sunday, April 7, 2019 6:28 PM, Ludovic Courtès ludo@gnu.org wrote:> >> > > Could check whether it systematically fails to build?> > > Thank you,> > > Ludo’.> >> > I've tried it a few times, it always gives the same result. The --rounds thing stops after the first failed build, so maybe I'm doing something wrong?>> ‘--rounds’ will try several times only as long as building succeeds.>> So in this case, you can simply run “guix build agda” several times.>> Let us know how it goes.>> Thanks,> Ludo’.
L
L
Ludovic Courtès wrote on 26 May 2019 21:56
control message for bug #35178
(address . control@debbugs.gnu.org)
87v9xxkn17.fsf@gnu.org
tags 35178 fixedclose 35178 quit
A
A
Andreas Enge wrote on 27 May 2019 08:10
Re: bug#35178: Agda doesn't build
(name . Pronaip)(address . pronaip@protonmail.com)
20190527061000.GA2293@jurong
So closing this bug. Thanks,
Andreas
Closed
?
Your comment

This issue is archived.

To comment on this conversation send email to 35178@debbugs.gnu.org