summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorstuebinm2023-04-28 17:00:42 +0200
committerstuebinm2023-04-28 17:00:42 +0200
commit19144f12772063b1c6f00ad186dabbf53ea25985 (patch)
tree65b5de17a1fadfdcda49ad2cffcc6e6660eabdb2
parent68ac088c2969fb543aae747468702771f2d6a7e9 (diff)
isabelle-fhsenv: add libraries for F# code genHEADmaster
Diffstat (limited to '')
-rw-r--r--isabelle-nix-fhsenv/default.nix2
1 files changed, 2 insertions, 0 deletions
diff --git a/isabelle-nix-fhsenv/default.nix b/isabelle-nix-fhsenv/default.nix
index a6fabc7..2ea78a2 100644
--- a/isabelle-nix-fhsenv/default.nix
+++ b/isabelle-nix-fhsenv/default.nix
@@ -41,6 +41,8 @@ let
xorg.libXScrnSaver xorg.libXcomposite xorg.libXcursor xorg.libXdamage
xorg.libXext xorg.libXfixes xorg.libXi xorg.libXrandr xorg.libXrender
xorg.libXtst xorg.libxcb xorg.xcbutilkeysyms zlib
+ # for the dotnet component (icu is optional; without it set DOTNET_SYSTEM_GLOBALIZATION_INVARIANT=1)
+ openssl icu
];
runScript = isabelle;
};