From 19144f12772063b1c6f00ad186dabbf53ea25985 Mon Sep 17 00:00:00 2001
From: stuebinm
Date: Fri, 28 Apr 2023 17:00:42 +0200
Subject: isabelle-fhsenv: add libraries for F# code gen

---
 isabelle-nix-fhsenv/default.nix | 2 ++
 1 file changed, 2 insertions(+)

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;
   };
-- 
cgit v1.2.3