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

Python shebang in scripts (pyg2hpppy) maybe not good? #5397

Closed
christianparpart opened this issue Jul 9, 2021 · 1 comment
Closed

Python shebang in scripts (pyg2hpppy) maybe not good? #5397

christianparpart opened this issue Jul 9, 2021 · 1 comment

Comments

@christianparpart
Copy link

https://github.com/Z3Prover/z3/blob/master/scripts/pyg2hpp.py#L1

Hi, while updating z3 on my local machine i realized it's breaking at that script, because I do not have /usr/bin/python but /usr/bin/python2 and /usr/bin/python3.

Since this project is cmake based, it could be actually auto-detected and then this script is using what cmake found (or reconfigured) as path instead of hardcoding python as executable.

My system is an Ubuntu 21.04 (latest updates as of writing this post).
NikolajBjorner added a commit that referenced this issue Jul 10, 2021
@NikolajBjorner
try without #!/bin/env python #5397
3488556
@NikolajBjorner
Copy link
Contributor

I am commenting these lines out. The various builds work without them.

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
@christianparpart @NikolajBjorner