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.

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

Provide Linux/MacOS support. #21

Closed
VictosVertex opened this issue Dec 16, 2024 · 0 comments · Fixed by #23
Closed

Provide Linux/MacOS support. #21

VictosVertex opened this issue Dec 16, 2024 · 0 comments · Fixed by #23

Comments

@VictosVertex
Copy link
Collaborator

VictosVertex commented Dec 16, 2024

The current clingo-language.so is compiled for windows, thus it doesn't work on either Linux or MacOS.

As of now I don't know what's better:

  1. compile the files for each target and include them in the git repo directly
  2. create github actions to compile all targets and create a script that downloads the correct one based on the user's system
  3. let the user compile the file

My current thoughts:

  1. Is easier, but usually binaries are not included in git. Here I initially made an exception since the grammar shouldn't change all that frequently.
  2. is the usual and cleaner way, I think, but requires somewhat more setup and a script or manual downloads by the user.
  3. I don't really like the user experience of this. but maybe that's just me.

I tend towards removing the current .so and instead following 2.

@VictosVertex VictosVertex changed the title Provide Linux support. Provide Linux/MacOS support. Dec 16, 2024
@VictosVertex VictosVertex linked a pull request Dec 16, 2024 that will close this issue
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging a pull request may close this issue.

1 participant