Package Details: idris2-lsp-git latest-3

Git Clone URL: https://aur.archlinux.org/idris2-lsp-git.git (read-only, click to copy)
Package Base: idris2-lsp-git
Description: Language Server for Idris2
Upstream URL: https://github.com/idris-community/idris2-lsp
Licenses: custom:BSD
Conflicts: idris2-lsp
Provides: idris2-lsp
Submitter: MrcJkb
Maintainer: MithicSpirit
Last Packager: MithicSpirit
Votes: 1
Popularity: 0.001072
First Submitted: 2022-01-05 21:20 (UTC)
Last Updated: 2024-03-10 03:13 (UTC)

Dependencies (4)

Required by (0)

Sources (2)

Latest Comments

MrcJkb commented on 2023-06-05 15:57 (UTC)

@totycro sorry for the late reply.

There is a 0.6.0 version of idris-2-lsp, but unfortunately, I no longer use Arch and cannot test an upgrade.

I'd be more than happy to accept a patch to the PKGBUILD, or to add another maintainer to this package.

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

Data.URI:19:1--19:27
 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().
    Aborting...
 -> 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?