search

idris-lang / Idris2

A purely functional programming language with first class types
https://idris-lang.org/
Other
2.52k stars 373 forks source link

Compiling with local chez scheme #2160

Open mikeshulman opened 2 years ago

mikeshulman commented 2 years ago

I expect this is a problem with an easy fix, but I don't understand enough about chez scheme configuration to figure it out myself. So my apologies for bothering you all with it.

I don't have administrator privileges on my workstation, so I compiled and installed chez scheme in my home directory with 

./configure --threads --installprefix=~/chezscheme
export PATH=$PATH:~/chezscheme/bin

When I then try to compile Idris 2 with

make bootstrap SCHEME=scheme

it manages to compile a fair amount, but eventually dies with

cannot find compatible /scheme.boot in search path
  "~/chezscheme/lib/csv%v/%m"

As far as I can tell from the chez scheme documentation, that is the correct search path, and the directories ~/chezscheme/lib/csv9.5.6/a6le/ and ~/chezscheme/lib/csv9.5.6/ta6le/ do contain scheme.boot files. I have tried setting SCHEMEHEAPDIRS explicitly but it doesn't seem to help. What do I need to do?

gallais commented 2 years ago

May be worth asking on the chezscheme repo too: I don't know that we specifically go looking for these so it could very well be an upstream issue.