Subject: [bug#47619] [PATCH] add pt-scotch-shared/scotch-shared

From: Ludovic Courtès <[email-masked]>
Date: Thu, 08 Apr 2021 09:21:45 +0200

Hello,

Franck Pérignon <[email-masked]> skribis:

> +(define-public scotch-shared
> +  (package (inherit scotch)
> +    (name "scotch-shared")
> +    (native-inputs
> +     `(("gcc" ,gcc)
> +       ("flex" ,flex)
> +       ("bison" ,bison)))
> +    (arguments
> +     (substitute-keyword-arguments (package-arguments scotch)
> +       ((#:phases scotch-shared-phases)
> +        `(modify-phases ,scotch-shared-phases

Thanks for the packages, Franck!

I was wondering whether we should provide exclusively shared libraries,
as we do for other packages, instead of keeping ‘scotch’ and
‘scotch-shared’.  Thoughts?

(If we do keep both, the naming convention so far is the opposite: ‘foo’
and ‘foo-static’.)

Thanks,
Ludo’.