Ciao is a modern Prolog implementation that builds up from a logic-based simple kernel designed to be portable, extensible, and modular.
GNU Lesser General Public License v3.0
268
stars
20
forks
source link
github action to compile in Apple M1 #55
Open
jfmc opened 2 years ago
Ciao supports M1 but we do not generate prebuilt binaries in GitHub-hosted runners because there didn't have. It seems to be in their roadmap:
https://github.com/github/roadmap/issues/528