Skip to content

agda, nixos/tests/agda: LLVM error on aarch64-linux #111738

Closed
Closed
agda, nixos/tests/agda: LLVM error on aarch64-linux#111738
Labels
0.kind: bugSomething is broken6.topic: agdaA dependently typed programming language / interactive theorem prover6.topic: cross-compilationBuilding packages on a different platform than they will be used on6.topic: haskellGeneral-purpose, statically typed, purely functional programming language
@turion

Description

@turion
turion
opened on Feb 3, 2021

Describe the bug

The test nixos/tests/agda.nix fails on aarch64-linux because it doesn't find LLVM:

Calling: /nix/store/jg9bfvlpmgwrmnzw2ny78lcz6gigqqqh-ghc-8.10.3-with-packages/bin/ghc -O -o /tmp/HelloWorld -Werror -i/tmp -main-is MAlonzo.Code.HelloWorld /tmp/MAlonzo/Code/HelloWorld.hs --make -fwarn-incomplete-patterns -fno-warn-overlapping-patterns
[  1 of 130] Compiling MAlonzo.RTE      ( MAlonzo/RTE.hs, MAlonzo/RTE.o )
Compilation error:

<no location info>: error:
    Warning: Couldn't figure out LLVM version!
             Make sure you have installed LLVM 9

<no location info>: error:
    Warning: Couldn't figure out LLVM version!
             Make sure you have installed LLVM 9
ghc: could not execute: opt

Note that Agda itself works fine, but the subsequent call to ghc doesn't succeed.

The correct resolution is probably to make sure that on aarch64-linux, the GHC called by Agda has an additional dependency on LLVM. (We could also make LLVM available on the test machine, but I think it's likely that Agda is actually broken on aarch64-linux in general, not just in the test.)

Notify maintainers

@alexarice @neosimsim

Metadata

Metadata

Assignees

No one assigned

    Labels

    0.kind: bugSomething is broken6.topic: agdaA dependently typed programming language / interactive theorem prover6.topic: cross-compilationBuilding packages on a different platform than they will be used on6.topic: haskellGeneral-purpose, statically typed, purely functional programming language

    Fields

    No fields configured for issues without a type.

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions