New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

M3C does not run on M1 MacBooks #59

Open

VishalPatel43 opened this issue Oct 11, 2023 · 1 comment

VishalPatel43 commented Oct 11, 2023

Java 17 and Maven 3.9.5
There is issue while installing the automatalib --> mvn clean install

Screenshot 2023-10-11 at 13 31 54

Screenshot 2023-10-11 at 13 32 02

mtf90 mentioned this issue

Build Problem LearnLib/learnlib#94

Closed

mtf90 changed the title ~~Installation Problem~~ M3C does not run on M1 MacBooks

Member

mtf90 commented Oct 11, 2023

As per LearnLib/learnlib#94

This appears to be a problem with ADDLib which is used internally by the M3C model checker and currently does not support the M1 architecture. I'll relay the information to the developers and see what they have to say.

The corresponding feature request can be found under https://gitlab.com/scce/add-lib/-/issues/125

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment