Stream: Mirror: Isabelle Development Mailing List

Topic: [isabelle-dev] NEWS: Update of GHC stack with full suppor...

Email Gateway (Oct 17 2023 at 11:19):

From: Makarius <makarius@sketis.net>
* System *

• Update to GHC stack 2.13.1 with support for all platforms, including
  Apple Silicon.

This refers to Isabelle/c44171d372a1 and Isabelle/a611bbfeb9cd: all platforms
are now properly supported. At least that is the intention: GHC stack and
stackage is generally not as robust as it likes to be.

I did manage to build Isabelle/Naproche on arm64-linux for the first time. I
also managed to run our Haskell codegen tests from session
HOL-Codegenerator_Test, but that depends on subtle side-conditions on the
xcode/cc installation that I could not pin down in all details.

Makarius

isabelle-dev mailing list
isabelle-dev@in.tum.de
https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev

Last updated: Apr 27 2024 at 16:16 UTC