gnatinspect, gnatcoll-db2ada: drop gnatcoll- prefix from pname

This commit is contained in:
sternenseemann 2022-11-14 13:06:33 +01:00
parent 35b623b82b
commit 14e0c0dba2

View file

@ -50,7 +50,11 @@ let
in
stdenv.mkDerivation rec {
pname = "gnatcoll-${component}";
# executables don't adhere to the string gnatcoll-* scheme
pname =
if onlyExecutable
then builtins.replaceStrings [ "_" ] [ "-" ] component
else "gnatcoll-${component}";
version = "23.0.0";
src = fetchFromGitHub {