Re: Packaging Coq

[Ludovic Courtès]

Mark H Weaver <address@hidden> skribis:

> Sounds reasonable to me, although it should be 'build-targets' since
> there is often more than one.  Ditto for 'install-targets' and
> 'check-targets' (or 'test-targets') if we don't already have them.

I think it’s quite infrequent, so I would not bother.

BTW, using #:make-flags to specify a target may not work well because
the ‘install’ phase also honors #:make-flags.

Thanks,
Ludo’.