Bootstrapped Idris2 fails to resolve paths when IDRIS2_PREFIX is manually set

[scarf005]

Summary

# ...logs
/home/scarf/repo/Idris2/bootstrap-build/bin/idris2 --build idris2.ipkg
Uncaught error: EmptyFC:Failed to resolve the dependencies for idris2app:
  required network any but no matching version is installed

make[1]: *** [Makefile:67: /home/scarf/repo/Idris2/build/exec/idris2] Error 1
make[1]: Leaving directory '/home/scarf/repo/Idris2'
make: *** [Makefile:249: bootstrap] Error 2

Idris2 bootstrapped from source (commit 23694c7) with custom environment variables cannot resolve dependency paths.

environment

environment variables (followed from official docs)

IDRIS2_PREFIX: /home/scarf/.local/share/idris2
PACK_DIR: /home/scarf/.local/share/pack
PATH: /home/scarf/.idris2/bin /home/scarf/.pack/bin # ...

scheme version: 9.5.9 (built from source with threads enabled)
OS: Kubuntu 23.04 x86_64
Shell: fish 3.6.0

$ SCHEME=scheme ./bootstrap-build/bin/idris2 --paths
+ Working Directory      :: "/home/scarf/repo/Idris2"
+ Source Directory       :: Nothing
+ Build Directory        :: "build"
+ Local Depend Directory :: "depends"
+ Output Directory       :: "build/exec"
+ Installation Prefix    :: "/home/scarf/.local/share/idris2"
+ Extra Directories      :: ["."]
+ Package Directories    :: []
+ CG Library Directories :: ["/home/scarf/.local/share/idris2/idris2-0.6.0/lib", "/home/scarf/repo/Idris2"]
+ Data Directories       :: ["/home/scarf/.local/share/idris2/idris2-0.6.0/support"]

build log

build.3.log

[CodingCellist]

PATH: /home/scarf/.local/share/idris2 /home/scarf/.local/share/pack # ...

Might it be that PATH should point to [...]/bin for both of those? I.e.

/home/scarf/.local/share/idris2/bin
/home/scarf/.local/share/pack/bin

? : )

[CodingCellist]

Latest main seems to bootstrap fine when using a similar directory structure for me (using make bootstrap, not using pack). Could this be a pack issue rather than an Idris2 issue?

[scarf005]

Might it be that PATH should point to [...]/bin for both of those? I.e.

...oh, must've mistyped, thanks for finding out. it doesn't seem to work after changing PATH, tho.

Could this be a pack issue rather than an Idris2 issue?

I'm bootstrapping idris2 from source

build.2.log

[scarf005]

was finally able to build by explicitly setting IDRIS2_DATA and IDRIS2_PACKAGE_PATH.
as @stefan-hoeck suggested, i believe this is due to my IDRIS2_PREFIX env var explicitly est to $XDG_DATA_HOME/idris2(that is,/home/scarf/.local/share`).

IDRIS2_DATA=./bootstrap-build/idris2-0.6.0/support  IDRIS2_PACKAGE_PATH=./bootstrap-build/idris2-0.6.0/ ./bootstrap-build/bin/idris2 --verbose --build idris2.ipkg

[stefan-hoeck]

As noted on discord, I have experienced this before. In my case, setting IDRIS2_PREFIX was an issue during bootstrapping. If you are using pack, please only set the PACK_DIR variable. Pack should take care of everything else.

[CodingCellist]

@scarf005 are we good to close this in that case? : )

[scarf005]

Well it's a major bug in bootstrap process so i doubt we should. I'm planning to open a PR (when i get some time)

[CodingCellist]

Sorry for the slow reply, I was triple-checking, because that's a bizarre error! Thanks for catching that!

1. Set IDRIS2_PREFIX => FAIL
2. Set PREFIX => PASS
3. Set IDRIS2_PREFIX and PREFIX => FAIL 👀

I believe I've fixed it, although I'm not fluent enough in Make to understand why. I'll push in a mo : )

[gallais]

Thanks for the bug report & the investigation!