[isabelle-dev] Build problem

Jasmin Christian Blanchette jasmin.blanchette at gmail.com
Thu May 23 14:30:20 CEST 2013


Hi all,

With the latest repository version (510709f8881d), I can't manage to build anything; e.g.

    $ ./bin/isabelle build -c Pure
    Running Pure ...
    java.lang.NoSuchMethodError: scala.Symbol$.apply(Ljava/lang/String;)Lscala/Symbol;
    0:00:03 elapsed time, 0:00:04 cpu time

    $ ./bin/isabelle build -a
    java.lang.NullPointerException
    0:00:09 elapsed time, 0:00:14 cpu time, factor 1.55

I can't remember having done anything strange with my system except pulling some changes from the main repository.

Cheers,

Jasmin



More information about the isabelle-dev mailing list