[bug#51896] [PATCH] gnu: Add coq-semantics.

[zimoun]

Re,

On Tue, 16 Nov 2021 at 19:07, Julien Lepiller <julien@lepiller.eu> wrote:

> >+         (replace 'install
> >+           (lambda* (#:key outputs #:allow-other-keys)
> >+             (invoke "make"
> >+                     (string-append "COQLIB=" (assoc-ref outputs "out")
> >+                                    "/lib/coq/")
> >+                     "install"))))))
>
> Would it make sense to have it in #:make-flags?

I did the same way as other packages.  That's fine to correct all the
others, WDYT?


Cheers,
simon