Hi, it seems this function has suffered extinction in 5.0 - even before the onslaught of massive global warming?
This would seem to quite significantly limit the flexibility of the make system, as now a multi-directory source has to strictly mirror the module and functor application structure. Worse, it makes it very hard if not impossible to use external (non-basis) sources without physically copying them to my source tree. Well, I guess there is still a way, first run make in the remote directory, dump an image, then re-run in my own directory loading that image - but it is laborious.
Is there a reason why it had to go?
Ian Zimmerman wrote:
Hi, it seems this function has suffered extinction in 5.0 - even before the onslaught of massive global warming?
Makarius> Maybe OS.FileSys.chDir will do the job.
Indeed, thank you :)
PolyML.cd has been deprecated for some time now in favour of OS.FileSys.chDir and there has been a message to that effect whenever PolyML.cd was used. At one time there was no way to change the current directory so I added PolyML.cd to do it but since the Basis Library has been supported it's better to use the portable function.
David.