Found an unparsable output from Boogie: Process terminated. Couldn't find a valid ICU package

[pieter-bos]

Hi! I updated from Ubuntu 22.04 -> 22.10, carbon now reports:

carbon found 27 errors in 3.63s:
  [ 0] An internal error occurred. Found an unparsable output from Boogie: Process terminated. Couldn't find a valid ICU package installed on the system. Set the configuration flag System.Globalization.Invariant to true if you want to run with no globalization support. (<no position>)
  [ 1] An internal error occurred. Found an unparsable output from Boogie:    at System.Environment.FailFast(System.String) (<no position>)
  [ 2] An internal error occurred. Found an unparsable output from Boogie:    at System.Globalization.GlobalizationMode.GetGlobalizationInvariantMode() (<no position>)
(... more stack trace)

It appears Ubuntu 22.10 now comes with libicu71:

$ apt list --installed | grep icu
icu-devtools/kinetic,now 71.1-3ubuntu1 amd64 [installed,automatic]
libharfbuzz-icu0/kinetic,now 2.7.4-1ubuntu5 amd64 [installed,automatic]
libicu-dev/kinetic,now 71.1-3ubuntu1 amd64 [installed]
libicu66/now 66.1-2ubuntu2.1 amd64 [installed,local]
libicu71/kinetic,now 71.1-3ubuntu1 amd64 [installed]
libicu71/kinetic,now 71.1-3ubuntu1 i386 [installed,automatic]

.net requires an older version of libicu. That document lists libicu67, but it seems e.g. libicu66 works fine. I'm unsure whether a newer .net (and newer boogie) will grok a newer libicu, I didn't test that.

Anyway, in the short term I'd suggest that carbon passes the environment variable DOTNET_SYSTEM_GLOBALIZATION_INVARIANT=1 to boogie, since I don't think carbon is localized :)