joshuanianji/idris-2-docker

Base image missing the Idris2 api package

Closed this issue · 3 comments

kamweti commented

To Reproduce

install: install-idris2 install-support install-libs

https://github.com/idris-lang/Idris2/blob/main/Makefile#L188

  • building a library such as idris2-python against the base image fails with
required idris2 any but no matching version is installed
  • the missing dependency is
depends = idris

https://github.com/madman-bob/idris2-python/blob/main/idris2-python.ipkg#L5

  • this bug can be resolved by installing the api package
make install-api

Expected behavior

base image should explicitly install api package

joshuanianji commented

Thanks for the detailed issue! I'll add the make install-api command to the base image in a new PR and test if it builds the idris2-python package

joshuanianji commented

Hey @kamweti, merged a PR that should fix it. Can you check that ghcr.io/joshuanianji/idris-2-docker/base:latest works for you?

kamweti commented

looks good, thanks!

closing the issue now.

  • ❤️1