Hi Ian,
thanks for the kind words.
It also appears that the optimizing compiler is not packaged with these source distributions, so I guess it's not surprising that it would fail to compile.
Correct. A lot of the issues you mention are related to the fact that we are currently at the same time moving from svn to git, moving all the repositories and the continuous integration system to new servers, and same time moving our servers to a new building --very brave! As a result we are not generating daily releases during the move and fixes are thus not being reflected. This move should be over soon however and things should get back to normal.
- Is there public (read-only) access to the source repository?
Not currently, but we will set it up shortly for the new git repo.
- Have there been recent changes in trunk that may address
compilation issues for experimental features?
Yes, we are always working on the system and there are always fixes (and bugs of course ;-)). In particular we have just fixed the CHR bug related to mutables that you pointed out.
- In the case of (2 and not 1), would someone be kindly enough to cut
a new source package based from the latest revision?
Will do as soon as we can...
- Would you like me to provide more detailed info about the errors?
Please do send them: they are most helpful.
Thanks again for all your feedback!
--Manuel H
On Wed, Jan 16, 2013 at 12:07 PM, <ciao(a)clip.dia.fi.upm.es> wrote:
- Is there public (read-only) access to the source repository?
Not currently, but we will set it up shortly for the new git repo.
Any updates on the new git repo or otherwise providing access to CiaoPP?
Thanks,
-- Ian Tegebo