On 09/04/2019 12:09, Lawrence Paulson wrote: > Thanks. What about a single entry? > > isabelle build -d '$AFP' Groebner_Bases > *** Undefined Isabelle environment variable: "AFP" > >> On 9 Apr 2019, at 10:59, Makarius <makar...@sketis.net> wrote: >> >> # almost all of Isabelle + AFP together >> isabelle build -d '$AFP' -a -X very_slow >> >> # only AFP + its requirements >> isabelle build -D '$AFP'
You still need a proper "init_components" for AFP, in order to see the $AFP variable. Of course, you should be able to omit that and refer to the AFP/thys directory directly, wherever that is. (I use this scenario often after a rsync of Isabelle + AFP to some fast test machine, e.g. lxcisa0.) Makarius _______________________________________________ isabelle-dev mailing list isabelle-...@in.tum.de https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev