Skip to content
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

Packaging for macOS #1

Open
pauleve opened this issue Oct 18, 2017 · 2 comments
Open

Packaging for macOS #1

pauleve opened this issue Oct 18, 2017 · 2 comments

Comments

@pauleve
Copy link
Contributor

pauleve commented Oct 18, 2017

No description provided.

@aurelien-naldi
Copy link
Contributor

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
Copy link
Contributor Author

pauleve commented Sep 19, 2018 •
edited

Potassco/clingo is already available for macOS

Here is the current status for our macOS packages:

  • its
  • nusmv
  • pydot
  • mole
  • pint

@pauleve pauleve changed the title Packaging for Mac OS X Packaging for macOS Oct 2, 2018
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@pauleve @aurelien-naldi