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

[Julien Lepiller]

Le 16 novembre 2021 13:13:56 GMT-05:00, zimoun <zimon.toutoune@gmail.com> a 
écrit :
>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?

If it works yes, but in a separate patch :)

>
>Cheers,
>simon