[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[bug#47619] [PATCH] add pt-scotch-shared/scotch-shared
From: |
Ludovic Courtès |
Subject: |
[bug#47619] [PATCH] add pt-scotch-shared/scotch-shared |
Date: |
Thu, 08 Apr 2021 09:21:45 +0200 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/27.2 (gnu/linux) |
Hello,
Franck Pérignon <Franck.Perignon@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’.