From: Mike Furr <furr@cs...> - 2007-10-29 19:42:42
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.