diff options
| author | stuebinm | 2023-04-28 17:00:42 +0200 |
|---|---|---|
| committer | stuebinm | 2023-04-28 17:00:42 +0200 |
| commit | 19144f12772063b1c6f00ad186dabbf53ea25985 (patch) | |
| tree | 65b5de17a1fadfdcda49ad2cffcc6e6660eabdb2 | |
| parent | 68ac088c2969fb543aae747468702771f2d6a7e9 (diff) | |
| -rw-r--r-- | isabelle-nix-fhsenv/default.nix | 2 |
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; }; |