Stream: Mirror: Isabelle Development Mailing List

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


view this post on Zulip Email Gateway (Oct 17 2023 at 11:19):

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

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: Mar 04 2024 at 10:08 UTC