Re: [isabelle] Calling Isabelle tools without exiting
> That is particularly slow, because the full Scala compiler needs to make
> a cold start.
Right. I don't know whether I have mentioned this before or not, but
<https://github.com/martylamb/nailgun> is a prime candidate to avoid
> * Isolate general tool functionality and move that to the
> Isabelle/Pure.jar (after the usual process of "change elimination" to
> trim it down to the very core).
Possibly. Feel free to have a look at "$AFP_BASE/tools" for what is
> * Maintain an external tool-specific jar (e.g. via "isabelle scalac")
> and add the result to the Isabelle classpath in the etc/settings of the
> tool component directory. The Bash function "classpath" does that
> properly; the only problem is to build the jar on the spot. Maybe the
> build process is better done offline.
I just tried doing that out of curiosity, but it seems that "$JAVA_HOME"
is not set in "etc/settings"; consequently, "isabelle_scala scalac"
fails. I'm not yet sure whether I'm doing something wrong there.
This archive was generated by a fusion of
Pipermail (Mailman edition) and