Merge bscpkgs into jungle #189

Manually merged
rarias merged 1013 commits from merge-bscpkgs into master 2025-10-07 16:12:34 +02:00
Showing only changes of commit 7c5345f4bc - Show all commits

View File

@@ -7,6 +7,11 @@
, texlive
}:
let
# TODO: We can select only which elements we need from fig by using:
# echo [ $(grep -o '@[^ @]*@' garlic/report.tex | sed 's/@//g') ]
# and them importing as valid nix lang.
# By now, we require all plots
figJSON = writeText "fig.json" (builtins.toJSON fig);
in
stdenv.mkDerivation {