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

install --strip causing problems on Mac #93

Open
caballa opened this issue Sep 21, 2023 · 1 comment
Open

install --strip causing problems on Mac #93

caballa opened this issue Sep 21, 2023 · 1 comment

Comments

@caballa
Copy link

caballa commented Sep 21, 2023

The command option --strip doesn't seem to be recognized on Mac (my version is Ventura 13.2.1).
I think install on Mac does not like --.

I think the only place where it's used is here https://github.com/antoinemine/apron/blob/master/Makefile.config.model#L185

I replaced it with -s but then I get this error:

/Library/Developer/CommandLineTools/usr/bin/strip: error: symbols referenced by indirect symbol table entries that can't be stripped in: /Users/jorge/Repos/apron-mine/install-release/lib/libapron.so
___gmpfr_mpfr_get_sj
___gmpfr_out_str
___gmpn_perfect_square_p
___gmpq_add
___gmpq_canonicalize
___gmpq_clear
___gmpq_cmp
___gmpq_cmp_si
___gmpq_div
___gmpq_div_2exp
....

Note that install -s calls strip.

I've found this issue with a similar problem and it seems that we should call strip -u on dynamic libraries.

I believe the issue is that bare strip is too aggressive for a dylib. strip -u seems to work. I'm not sure if -r should also be added. I might suggest adding -u to any dylib crate.

Unfortunately, I don't know how to tell install command to pass the option -u to strip.

@antoinemine
Copy link
Owner

PR #97 may be related to (and possibly a fix for) this problem.

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

No branches or pull requests

2 participants