Hugs' build system

[Malcolm Wallace]

Sven Panne <sven.panne at aedion.de> wrote:

> > This is just a matter of which options you give to 'tailor', the
> > conversion utility.
> 
> It would be very nice if you could do that conversion for the Hugs
> repository.

I have been trying all day today to persuade either tailor or cvs2darcs
to do the conversion, and failed miserably.  I believe there is some
kind of character-encoding problem causing tailor to misinterpret the
contents of the CVS repo, leading to only 16 patches of history, instead
of 2393.  Meanwhile cvs2darcs gives me a completely empty darcs repo
(after a very long time, and lots of warning messages).

Does the Hugs CVS repo contain any strange encoding in commit messages?
Neither ASCII nor UTF-8 seems to be accepted, whereas Latin-1 is
accepted but gives incorrect results.

Regards,
    Malcolm