Packaging for macOS

[pauleve]

No description provided.

[aurelien-naldi]

OSX packages would indeed be nice, we can start to evaluate how hard they would be.

The following packages are cross-platform (pure python or java code):

• colomoto
• colomoto_jupyter
• ginsim
• ginsim-python
• pypint

These packages are built from source and I expect they can build on OSX as well

• clingo
• pydot
• maboss

The last ones are based on binary packages where an OSX version exists:

• pint
• its
• mole
• nusmv

Remains nusmv-arctl, which might be tricky.
@ptgm have you tried it on OSX?

Among the requested tools, BoolSim has OSX binaries, (Py)BoolNet would be noarch packages.

[pauleve]

Potassco/clingo is already available for macOS

Here is the current status for our macOS packages:

• its
• nusmv
• pydot
• mole
• pint

[thomas-sturm]

conda install colomoto::pyeda does not find the package on my M1 MacBook. It seems to me that you are providing osx-64 (Intel) but not osx-arm64 ("Apple silicon"). Since pyeda via pip works fine on the ARM, it might be easy to add osx-arm64. Could you give it a try?

[pauleve]

There seems to be issues with compiling pyeda on latest macOS setups, see cjdrake/pyeda#186
I have no M1 hardware to test, so any help to make the package working again is very welcome :-)