pointyhat and kernel settings

[Sergey Matveychuk]

Timothy Bourke wrote:
> I maintain a port (math/isabelle) that requires a non-default kernel
> parameter (kern.maxdsiz >= 896M).
> 
> Currently, if the parameter value is unsuitable the port prints out an
> explanatory message and exits. This causes a build error on pointyhat.
> 
> Is there a way of specifying kernel parameters to pointyhat?
> Or, should I just set IGNORE?
> 
> Thank you,

I think you should to discuss this with kris, who run pointyhat builds.

-- 
Dixi.
Sem.