[MetaPRL Users] Problem with filter_magic.ml

Aditya Kanade kanade at seas.upenn.edu
Thu May 22 13:30:43 PDT 2008


Hi,
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?
Thanks,
Aditya.


More information about the MetaPRL-Users mailing list