Skip to content

ghc-bignum-1.1 bump on 9.0 branch breaks agda build.

<command line>: libHSghc-bignum-1.0-ghc9.0.1.so: cannot open shared object file: No such file or directory
cabal: Failed to build Agda-2.6.1.3 (which is required by test-Agda-1.0). Se

If I try and build Agda with the latest bindist from the 9.0 branch then I get an error like this:

ghc-pkg list tells me:

[nix-shell:~/head.hackage]$ ghc/bin/ghc-pkg list
/nix/store/49mhbl1883nbi5lcaxpvl69d6y5p4l9b-ghc-9.0.1/lib/ghc-9.0.1/package.conf.d
    Cabal-3.4.0.0
    array-0.5.4.0
    base-4.15.0.0
    binary-0.8.8.0
    bytestring-0.10.12.1
    containers-0.6.4.1
    deepseq-1.4.5.0
    directory-1.3.6.1
    exceptions-0.10.4
    filepath-1.4.2.1
    ghc-9.0.1
    ghc-bignum-1.1
    ghc-boot-9.0.1
    ghc-boot-th-9.0.1
    ghc-compact-0.1.0.0
    ghc-heap-9.0.1
    ghc-prim-0.7.0
    ghci-9.0.1
    haskeline-0.8.1.0
    hpc-0.6.1.0
    integer-gmp-1.1
    libiserv-9.0.1
    mtl-2.2.2
    parsec-3.1.14.0
    pretty-1.1.3.6
    process-1.6.11.0
    rts-1.0.2
    stm-2.5.0.0
    template-haskell-2.17.0.0
    terminfo-0.4.1.4
    text-1.2.4.1
    time-1.9.3
    transformers-0.5.6.2
    unix-2.7.2.2
    xhtml-3000.2.2.1

Perhaps the issue is that the branch stil has RELEASE=YES set?

@wz1000

To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information