Where did you find those build instructions? I have to admit it's a bit out of my depth, and I haven't touched this in a while. I usually use an ant build, in the build.xml file. You may be able to find the commands you need there.
On Mon, Mar 23, 2020 at 5:05 AM Benoit <[email protected]> wrote: > Not sure I did it correctly, but I still get the same error: > > benoit@ordi:~/Documents/_metamath/git$ git clone --depth 1 > --no-single-branch https://github.com/digama0/mmj2.git > Cloning into 'mmj2'... > remote: Enumerating objects: 5002, done. > remote: Counting objects: 100% (5002/5002), done. > remote: Compressing objects: 100% (2971/2971), done. > remote: Total 5002 (delta 2357), reused 4459 (delta 1948), pack-reused 0 > Receiving objects: 100% (5002/5002), 16.03 MiB | 8.07 MiB/s, done. > Resolving deltas: 100% (2357/2357), done. > benoit@ordi:~/Documents/_metamath/git$ cd mmj2 > benoit@ordi:~/Documents/_metamath/git/mmj2 (master)$ git submodule > -edfb0c57d5619bc7444364451a6d6201457136e7 lib/JSON-java/org/json > benoit@ordi:~/Documents/_metamath/git/mmj2 (master)$ echo > "Manifest-Version: 1.0" >MANIFEST.MF > benoit@ordi:~/Documents/_metamath/git/mmj2 (master)$ echo "Main-Class: > mmj.util.BatchMMJ2" >>MANIFEST.MF > benoit@ordi:~/Documents/_metamath/git/mmj2 (master)$ cd src > benoit@ordi:~/Documents/_metamath/git/mmj2/src (master)$ javac `find . > ../lib -name *.java` -d ../classes > ./mmj/pa/PaConstants.java:121: error: package org.json does not exist > import org.json.JSONArray; > ^ > > -- > You received this message because you are subscribed to the Google Groups > "Metamath" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to [email protected]. > To view this discussion on the web visit > https://groups.google.com/d/msgid/metamath/ee1100b6-720b-480a-bbe7-8014bd949c49%40googlegroups.com > <https://groups.google.com/d/msgid/metamath/ee1100b6-720b-480a-bbe7-8014bd949c49%40googlegroups.com?utm_medium=email&utm_source=footer> > . > -- You received this message because you are subscribed to the Google Groups "Metamath" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/metamath/CAFXXJSuy6-0SsuuMf5bmBD8FYFpGBac%3DKqg%3DzH1qJwj9dJJqPA%40mail.gmail.com.
