Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] PolyML for x86-Darwin?


view this post on Zulip Email Gateway (Aug 17 2022 at 14:15):

From: Brendan Mahony <Brendan.Mahony@dsto.defence.gov.au>
Subject says it all.

Does anyone know of any moves to get PolyML going for the new
IntelMacs?


Dr Brendan Mahony
Information Networks Division ph +61 8 8259 6046
Defence Science and Technology Organisation fx +61 8 8259 5589
Edinburgh, South Australia Brendan.Mahony@dsto.defence.gov.au

Important: This document remains the property of the Australian
Government Department of Defence and is subject to the jurisdiction
of the Crimes Act section 70. If you have received this document in
error, you are requested to contact the sender and delete the document.

view this post on Zulip Email Gateway (Aug 17 2022 at 14:15):

From: nipkow@in.tum.de

Does anyone know of any moves to get PolyML going for the new
IntelMacs?

David Matthews had a first go last week and discovered that the port is not
immediate. Unfortunately he doesn't have access to an Intel Mac (we had one
on loan at TUM and gave him an account for a few days) and hence that is
currently on hold. Maybe somebody has one sitting around he could give
David access to?

Tobias


Last updated: May 03 2024 at 04:19 UTC