isabelle build -b HOL-AFP
Building HOL-AFP ...
Warning - Unable to increase stack - interrupting thread
HOL-AFP FAILED
(see also /home/julian/.isabelle/Isabelle2016-1/heaps/polyml-5.6_x86_64-linux/log/HOL-AFP)
***    Function: BNF_LFP_Rec_Sugar.primrec :
***       BNF_LFP_Rec_Sugar.rec_option list ->
***         (binding * typ option * mixfix) list ->
***           Specification.multi_specs ->
***             local_theory ->
***               (term list * thm list * thm list list) * local_theory
***    Argument: false : bool
***    Reason:
***       Can't unify BNF_LFP_Rec_Sugar.rec_option list (*In Basis*) with
***          bool (*In Basis*) (Different type constructors)
*** ML error (line 221 of "~/coding/afp-devel/thys/Deriving/Equality_Generator/equality_generator.ML"):
*** Type error in function application.
***    Function: BNF_LFP_Rec_Sugar.primrec false [] :
***       Specification.multi_specs ->
***         local_theory ->
***           (term list * thm list * thm list list) * local_theory
***    Argument: bindings : (binding * typ option * mixfix) list
***    Reason: Can't unify binding to Attrib.binding * term (Incompatible types)
*** ML error (line 221 of "~/coding/afp-devel/thys/Deriving/Equality_Generator/equality_generator.ML"):
*** Type error in function application.
***    Function: BNF_LFP_Rec_Sugar.primrec false [] bindings :
***       local_theory -> (term list * thm list * thm list list) * local_theory
***    Argument: (map (fn t => ((...), ...)) eqs) :
***       (((binding * 'a list) * term) * 'b list * 'c list) list
***    Reason:
***       Can't unify local_theory = Context.Proof.context with
***          (((binding * 'a list) * term) * 'b list * 'c list) list
***             (*In Basis*)
***          (Different type constructors)
*** ML error (line 220 of "~/coding/afp-devel/thys/Deriving/Equality_Generator/equality_generator.ML"):
*** Type error in function application.
***    Function: |> : Proof.context * (Proof.context -> 'a) -> 'a
***    Argument: (lthy, ... ... [...] bindings (map (fn ...) eqs)) :
***       Proof.context *
***       ((term list * thm list * thm list list) * local_theory)
***    Reason:
***       Can't unify Proof.context -> 'a to
***          (term list * thm list * thm list list) * local_theory
***          (Incompatible types)
*** At command "ML_file" (line 95 of "~/coding/afp-devel/thys/Deriving/Equality_Generator/Equality_Generator.thy")
Unfinished session(s): HOL-AFP
0:16:52 elapsed time, 0:43:07 cpu time, factor 2.55