search

LearnLib / automatalib

A free, open-source Java library for modeling automata, graphs, and transition systems
http://automatalib.net
Apache License 2.0
92 stars 34 forks source link

M3C does not run on M1 MacBooks #59

Open VishalPatel43 opened 1 year ago

VishalPatel43 commented 1 year ago

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 commented 1 year ago

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