Skip to content

Add als executable as dependency of test-suite#43

Draft
juliapath wants to merge 1 commit intoagda:masterfrom
juliapath:test-build-tool-depends
Draft

Add als executable as dependency of test-suite#43
juliapath wants to merge 1 commit intoagda:masterfrom
juliapath:test-build-tool-depends

Conversation

@juliapath
Copy link
Copy Markdown
Contributor

I want to fix #33, so that this just works under nix, ideally without requiring any special treatment on the nix side. There are currently two problems stopping the package from building (without providing specific configuration):

  • network-simple being pinned to 0.4.2
  • The test suite not finding the als executable

This addresses the second one by making cabal add the als executable to PATH when running cabal test.

To be honest, I don't know how thiss interacts with other workflows, so I'm waiting to see if the GitHub Actions go through and for your comment. :)

@juliapath juliapath force-pushed the test-build-tool-depends branch from 6df6462 to afc0c14 Compare February 27, 2026 17:50
@juliapath juliapath marked this pull request as draft February 28, 2026 00:54
This will make it available via PATH, when running cabal test,
so that we do not need to manually point the test suiet at the
executable with the --als-path test option.
@juliapath juliapath force-pushed the test-build-tool-depends branch from afc0c14 to f8f04a6 Compare March 2, 2026 23:11
@banacorn
Copy link
Copy Markdown
Member

banacorn commented Apr 5, 2026

Thanks, this looks useful.

I don’t expect this to interfere with our current workflows in any major way. Our CI is still Stack-based, so this change is mainly relevant for cabal test / Nix-style builds rather than the existing CI path.

So yes, I think this is worth pursuing.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

agda-language-server broken on nixpkgs

2 participants