#8 couldn't start Maude Exception

[Zachary Larson]

I'm getting an Exception grape.backend.ProverException: couldn't start Maude

I'm on OS X 10.12
Java Version: 1.8.x
Maude Version: 2.7.1

maude is on my Path. I'm not a Java expert, but I tried fussing with GraPE2Maude.java, Maude.java and rebuild with hard-coded paths to my maude executable. Any pointers?

[Joe Lynch]

For anyone in the future:

1. Download Maude 2.7.1 (not Maude 3) from http://maude.cs.illinois.edu/w/index.php/The_Maude_System
2. Put "maude.linux64" (or "maude.darwin64" for MacOS) and "prelude.maude" directly in the GraPE-0.9.4 directory.
3. Go to "Maude.java"
4. Go to line 49.
5. Change
   maudecmd[0] = "maude";
   to
   maudecmd[0] = "maude.linux64";

e.g. Make that line and the name of the file match (you could try changing the maude file name to simply 'maude' without editing the source code, but I didn't test that).