Re: [Ocaml-reins-devel] possible installation bug

[Mike F. <fu...@cs...>]

Ashish Agarwal wrote:
> Hi. I kept getting "Unbound module Reins" error, until I manually copied 
> reins.cmi to the installation directory. It was not copied there by 
> "omake install". Is this a bug in the installation script?

Yeah, the install target is broken in a couple of ways that have all 
been fixed in the svn version.  I'm planning on making another release 
in about 2-3 weeks time with several improvements and a few more data 
structures (the author of Baire emailed me with some of his earlier 
work, so some of that will be included too).

Thanks for the message.

Cheers,
-m