You have to have the .java files on your computer, inside the org/json directory. "git submodule" should put the files in the right place.
On Mon, Mar 23, 2020 at 4:44 AM Benoit <[email protected]> wrote: > I think it is used as a submodule, meaning that it gets compiled from >> source together with the rest of mmj2 and bundled into mmj2.jar. It is not >> an external jar file. >> > > So how do I make javac "understand" that it should use org.json ? I get > the error: > > ./mmj/pa/PaConstants.java:121: error: package org.json does not exist > import org.json.JSONArray; > ^ > when I type the command: $ javac `find . ../lib -name *.java` -d ../classes > > Aren't there .deb downloads for earlier versions of the JDK? >> > > There probably are. My skills in this domain are limited, but I will try > that. > > Benoît > > -- > 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/27d50942-7058-46d9-bf9a-7350a2b6d960%40googlegroups.com > <https://groups.google.com/d/msgid/metamath/27d50942-7058-46d9-bf9a-7350a2b6d960%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/CAFXXJSs2SJ5nWphsoR0nZ-jcsBtwc2EvBM1WPUH%2B1BLyzLaWog%40mail.gmail.com.
