-
Notifications
You must be signed in to change notification settings - Fork 60
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
Cannot find -lhp on Ubuntu or other distributions #176
Comments
Hey--thanks for the report. I ran into this but haven't had a chance to find out what changed to cause it. But yes, basically the static library for
instead of |
Thanks! The suggested work-around did it. It's working well 👍 |
OK so it turns out that the static library is not being packaged in a way that dune (I think as of v2?) can pick it up. rvantonder/hack_parallel#14 will fix this. |
Thanks for the heads up. Good to hear that a fix may be coming 👍 |
Should be fixed now when building from source, via 46bdbcf. |
Unfortunately, I now get this:
I will file another issue. |
Describe the bug
Possibly pilot error, but failing to complete "Build from source" instructions.
Reproducing
Assuming an appropriate Ubuntu 19.10 installation:
Observe error output ending in:
See attached output below for more details.
Expected behavior
The make step completing without error.
Additional context
Output from make step should be attached.
make-output.txt
For the version of opam installed via apt:
After some searching I'm guessing that
-lhp
refers to hack_parallel. Does that seem right?I also tried installation on an Arch-derivative distribution with similar results.
The text was updated successfully, but these errors were encountered: