>
> 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.

Reply via email to