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

Ocaml Janestreet Packages: fix installation path of stub dlls. #34931

Closed
wants to merge 1 commit into from

Conversation

FlorentBecker
Copy link
Contributor

Motivation for this change

The install phase of Jane Street's ocaml packages puts any .so libs in site-lib/stublibs, while findlib (?) looks for them in site-lib/$name. This moves the .so where they should be.

Things done
  • Tested using sandboxing (nix.useSandbox on NixOS, or option build-use-sandbox in nix.conf on non-NixOS)
  • Built on platform(s)
    • NixOS
    • macOS
    • other Linux distributions
  • Tested via one or more NixOS test(s) if existing and applicable for the change (look inside nixos/tests)
  • Tested compilation of all pkgs that depend on this change using nix-shell -p nox --run "nox-review wip"
  • Tested execution of all binary files (usually in ./result/bin/)
  • Fits CONTRIBUTING.md.

@vbgl
Copy link
Contributor

vbgl commented Feb 13, 2018

Can you please show an example of something that is broken, so as to better understand the issue you are addressing?

@FlorentBecker
Copy link
Contributor Author

core was not usable in utop, because it failed to load libstubbase.so (from base) and libstubexpect_collect.so (from expect_ppx)

@vbgl
Copy link
Contributor

vbgl commented Feb 14, 2018

I’m not sure that the issue comes from where the libraries are installed. See #34981 for an other approach.

@FlorentBecker
Copy link
Contributor Author

Agreed, #34981 is probably better. lambdaterm and nocrypto move their stubslibs, I don't know if it's useful.

@vbgl
Copy link
Contributor

vbgl commented Mar 16, 2018

I finally understood that the hook that I proposed in #34981 does not belong to utop but rather to findlib. See #37161.

@timokau
Copy link
Member

timokau commented Dec 29, 2018

Does this mean that this PR is obsolete?

@ryantm ryantm closed this Feb 23, 2019
@ryantm
Copy link
Member

ryantm commented Feb 23, 2019

Closing because PR appears to be obsolete.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

5 participants