add default nix build target

This commit is contained in:
2025-11-17 21:37:19 +01:00
parent 76cf70ec0c
commit c881b53ac6

View File

@@ -32,25 +32,33 @@
inherit buildInputs; inherit buildInputs;
shellHook = envSetup; shellHook = envSetup;
}; };
} // (with pkgs; { } // (
packages.documentation = build "documentation.pdf"; with pkgs;
packages.theses = stdenv.mkDerivation { let
name = name + "-theses"; merge = buildInputs: name: stdenv.mkDerivation {
dontUnpack = true; inherit name buildInputs;
buildInputs = builtins.map (v: build v) [ dontUnpack = true;
"bp_cs.pdf" "bp_en.pdf" installPhase = ''
"dp_cs.pdf" "dp_en.pdf" mkdir $out
"prj_cs.pdf" "prj_en.pdf" for input in $buildInputs
"sp_cs.pdf" "sp_en.pdf" do
]; cp -R $input/. $out
installPhase = '' done
mkdir $out '';
for input in $buildInputs };
do documentation = build "documentation.pdf";
cp -R $input/. $out theses = merge (builtins.map (v: build v) [
done "bp_cs.pdf" "bp_en.pdf"
''; "dp_cs.pdf" "dp_en.pdf"
}; "prj_cs.pdf" "prj_en.pdf"
}) "sp_cs.pdf" "sp_en.pdf"
]) (name + "-" + "theses");
in
{
packages.documentation = documentation;
packages.theses = theses;
packages.default = merge [documentation theses] name;
}
)
); );
} }