Package Details: idris2-lsp-git 0.5.1-2

Git Clone URL: (read-only, click to copy)
Package Base: idris2-lsp-git
Description: [WIP] Idris 2 language server
Upstream URL:
Licenses: BSD-3
Conflicts: idris2-lsp
Provides: idris2-lsp
Submitter: MrcJkb
Maintainer: MrcJkb
Last Packager: MrcJkb
Votes: 0
Popularity: 0.000000
First Submitted: 2022-01-05 21:20 (UTC)
Last Updated: 2022-01-20 22:50 (UTC)

Latest Comments

totycro commented on 2023-05-18 10:02 (UTC)

I currently get this when trying to install:

==> Starting build()...
branch 'idris2-0.5.1' set up to track 'origin/idris2-0.5.1'.
Switched to a new branch 'idris2-0.5.1'
idris2 --build lsp.ipkg
 1/68: Building Language.JSON.Interfaces (src/Language/JSON/Interfaces.idr)
 2/68: Building Language.LSP.Message.Derive (src/Language/LSP/Message/Derive.idr)
Error: Module Libraries.Utils.Hex not found

 15 | import Data.String
 16 | import Data.String.Extra
 17 | import Data.String.Parser
 18 | import Data.Vect
 19 | import Libraries.Utils.Hex

make: *** [Makefile:11: build] Error 1
==> ERROR: A failure occurred in build().
 -> error making: idris2-lsp-git-exit status 4
 -> Failed to install the following packages. Manual intervention is required:
idris2-lsp-git - exit status 4

I've this version of idris2 installed, also from AUR: version 0.6.0-9a2ad66b7 . Does this package require idris2 in version 0.5?

MrcJkb commented on 2022-01-23 20:34 (UTC)

Thanks for the patch @phijor!

phijor commented on 2022-01-19 14:21 (UTC)

Thank you for packaging the Idris language server!

There seems to be an issue where running makepkg --repackage will compile the project from scratch instead of using the already existing artifacts. Would you mind including this patch that fixes it?