digama0 / mmj2

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

Cannot compile following INSTALL.md instructions #68

Open benjub opened 1 year ago

benjub commented 1 year ago

On Debian, I followed the instructions from INSTALL.md up to

$ compile/posix_compile
find: ‘../lib’: Aucun fichier ou dossier de ce type
javac: directory not found: ../classes
Usage: javac <options> <source files>
use -help for a list of possible options

Looking at compile/posix_compile, there is indeed the line

cd src && javac $(find . ../lib -name "*.java") -d ../classes && \

but no corresponding directories. So, first, I think that before that line one should add

mkdir classes

and since the directory ../lib does not exist, probably another directory is meant ? With mkdir classes added, I get:

$ compile/posix_compile
find: ‘../lib’: Aucun fichier ou dossier de ce type
./test/java/mmj/pa/MacroManagerTest.java:3: error: package org.junit does not exist
import org.junit.Test;
                ^
./test/java/mmj/pa/MacroManagerTest.java:7: error: package org.junit does not exist
import static org.junit.Assert.assertNotNull;
                       ^
./test/java/mmj/pa/MacroManagerTest.java:7: error: static import only from classes and interfaces
import static org.junit.Assert.assertNotNull;
^
./test/java/mmj/pa/MacroManagerTest.java:11: error: cannot find symbol
    @Test
     ^
  symbol:   class Test
  location: class MacroManagerTest
./test/java/mmj/pa/MacroManagerTest.java:14: error: cannot find symbol
        assertNotNull(factory.getEngineByName("js"));
        ^
  symbol:   method assertNotNull(ScriptEngine)
  location: class MacroManagerTest
5 errors