-
Notifications
You must be signed in to change notification settings - Fork 8
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
Getting PolymakeInterface to work #17
Comments
What do we need for that @sebasguts ? Having it runnable would be indeed a useful addition to the Docker container. |
First off, we install This is supposedly enough to make Second, I have added to https://github.com/gap-system/gap-docker-master packages libpolymake-dev and libxml2, so now PolymakeInterface compiles there. However, the package now segfaults while loading, see e.g. https://travis-ci.org/gap-infra/gap-docker-pkg-tests-master-staging/jobs/497851996 with
so I will now revert those commits to undo these changes. |
Doing that causes runtime error while loading PolymakeInterface: terminate called after throwing an instance of 'std::runtime_error' what(): polymake::Main - weird callable library path /usr/lib/libpolymake.so.3.2 See gap-system/gap-docker#17
@sebasguts Shall we close this issue? This also means that we should delete |
@mohamed-barakat what do you mean by closing this issue - giving up on loading |
I think |
polymakeinterface package is not loadable now:
The text was updated successfully, but these errors were encountered: