[MetaPRL Users] Problem with filter_magic.ml

[Aleksey Nogin]

On 22.05.2008 13:30, Aditya Kanade wrote:

> I am trying to install MetaPRL. When I tried to build it for
> MetaPRL-SVN-2007.05.06, I get the following error:
> 
> *** ERROR: The FILTER_MD5 digest recorder in the
> filter/base/filter_magic.ml file
> ---        does not match the computed one!
> ---        The filter/base/filter_magic.ml file needs to be updated.
> 
> I tried other sources viz. MetaPRL-SVN-2006.06.04 and
> MetaPRL-SVN-2006.04.23 but I get the same error.
> Can you please help me solve this?

It's probably best not to try to deal with old SVN versions - just take 
any of them and run "svn up" to catch up with the latest HEAD revision.

Hopefully this works. If not, please let me know what version of omake 
(run "omake --version") and ocaml (run "ocamlc -version") you are using.

Aleksey