> > Sorry for being late with this issue... > > No problem :) > > > Are you still facing the problem? If you are did you start with a fresh > > tarball file and a fresh directory? If not could you try that. If the > > compilation still fails, could you send me the Makefile.config file that > > is generated by configure. > > Nope, it was easy to get it to work after solving the problem with the > "/build" directory. Here is the build script we are using: > <https://github.com/weinholt/scheme-docker/blob/bigloo/bigloo/4.x/Dockerfile> Good. Let me know if you have any other problems.
Thanks for all your efforts. -- Manuel