GNU bug report logs - #47619
[PATCH] add pt-scotch-shared/scotch-shared

Previous Next

Full log

View this message in rfc822 format

From: Ludovic Courtès <ludo <at> gnu.org>
To: Franck Pérignon <Franck.Perignon <at> univ-grenoble-alpes.fr>
Cc: 47619 <at> debbugs.gnu.org, Eric Bavier <bavier <at> member.fsf.org>, Leo Famulari <leo <at> famulari.name>
Subject: [bug#47619] [PATCH] add pt-scotch-shared/scotch-shared
Date: Thu, 08 Apr 2021 09:21:45 +0200

Hello,

Franck Pérignon <Franck.Perignon <at> univ-grenoble-alpes.fr> 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’.

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.