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.
