Re: [isabelle] libisabelle: Small Scala library to communicate with Isabelle



> Started at Wed Feb 11 13:18:40 CET 2015 (polyml-5.5.2_x86-linux on ProBook)
> ISABELLE_BUILD_OPTIONS=""
> 
> ML_PLATFORM="x86-linux"
> ML_HOME="/usr/local/Isabelle2014/contrib/polyml-5.5.2-1/x86-linux"
> ML_SYSTEM="polyml-5.5.2"
> ML_OPTIONS="-H 500"
> 
> *** Duplicate session "RAW" (line 3 of "src/Pure/ROOT") (line 3 of
> "/usr/local/Isabelle2014/src/Pure/ROOT")
> Finished at Wed Feb 11 13:18:45 CET 2015
> 0:00:05 elapsed time, 0:00:04 cpu time

This looks like a problem with your Isabelle installation. Can you build
anything at all? That is, if you go to some different folder (let's say,
$HOME) and invoke:

$ISABELLE_HOME/bin/isabelle build -bv HOL

> Renaming "RAW" in "pide-core/src/main/scala/Tools/build.scala" renaming
> is no way out; so what can I do ?

When building 'Hello_PIDE', none of the code in that repository is
actually being executed. What's more, everything in 'pide-core' is
basically copied verbatim from the official Isabelle distribution, so
changes in there shouldn't ever be necessary.

Cheers
Lars

Attachment: smime.p7s
Description: S/MIME Cryptographic Signature



This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.