search

digama0 / mmj2

mmj2 GUI Proof Assistant for the Metamath project
GNU General Public License v2.0
72 stars 24 forks source link

Fix compilation process and allow arbitrary install locations #73

Open creator1creeper1 opened 8 months ago

creator1creeper1 commented 8 months ago

I wanted to install mmj2 on my computer and I had to make these changes in order to make the compilation work. First of all, I had to update all the class lists, and second of all, I needed to allow arbitrary install locations in the install scripts.

digama0 commented 8 months ago

This seems fine to me, but as you can probably tell these batch files have not been used in years and I cannot maintain them as is. Do the existing build processes (using either Ant or Maven) not work for you?

creator1creeper1 commented 8 months ago

I simply followed the INSTALL.md guide and that only mentioned the batch file.