I have a Mac Pro, and I just use “isabelle build -a”. If I know that my changes affect specific AFP entries, I run them manually. A full test takes a couple of hours, and it is a pain. Maybe I could use multithreading more (the machine supports 12 cores).
Larry > On 6 Oct 2016, at 13:05, Makarius <makar...@sketis.net> wrote: > > Larry, can you describe your own build/test process? > > > I have just used the new Jenkins testboard for the first time, and was a > bit disappointed by the very long runtimes: about 1.5h each for Isabelle > and AFP. > > Mira set out to deliver Isabelle tests "In 10min!" (Bavarians need to > think of the famous Stoiber speech here). > > > I am doing manual Isabelle tests on my own machin in approx. 30min, > which is already a bit painful. 20min is OK, 10min would be delightful. > > At some point I need to convene with David Matthews again, to see if and > how we manage another jump forward in general performance. _______________________________________________ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev