Subject: Re: [bug#40045] [PATCH] gnu: Add libgccjit.

From: Ludovic Courtès <[email-masked]>
Date: Mon, 16 Mar 2020 14:07:57 +0100

Hi!

"LaFreniere, Joseph" <[email-masked]> skribis:

>>>From 8b08b302f6bf601f5c95513a56b7b0b54b0dc95c Mon Sep 17 00:00:00 2001
> From: Joseph LaFreniere <[email-masked]>
> Date: Wed, 11 Mar 2020 21:48:59 -0500
> Subject: [PATCH] gnu: Add libgccjit.
>
> * gnu/packages/gcc.scm (libgccjit): New variable.

LGTM!  I added a copyright line for you and pushed.

BTW, it seems that we can remove all the libraries under lib/ except
libgccjit.so itself (i.e., libgomp, libitm, etc.).  Could you give it a
try?

Thanks,
Ludo’.