Re: [isabelle] Building just "AFP slow" entries



On Thu, 19 Nov 2015, Lars Hupel wrote:

is it at all possible to run just the AFP entries tagged "slow"? If I
use "isabelle build" with the flags "-d $AFP -g slow" it also builds
"HOL-Proofs".

HOL-Proofs is also tagged as "slow". Options -x and -X allow to exclude sessions from the selection, e.g. like this:

  isabelle build -d '$AFP' -n -v -g slow -x HOL-Proofs

In more complex situations, Isabelle/Scala may be used to specify session build jobs under program control.


	Makarius





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