diff options
| author | Enrico Tassi | 2021-01-11 21:09:28 +0100 |
|---|---|---|
| committer | Enrico Tassi | 2021-01-12 11:05:28 +0100 |
| commit | d784ac437a3924324f88f1e06e398d326f847ab4 (patch) | |
| tree | 08c667960f76367fbf7cd32f86a3a12a600001bf /Makefile.ide | |
| parent | ffb482f0c18bff2c65dcc9cd2b65bd20b398245d (diff) | |
[osx] macpack all binaries, not just coqide
Diffstat (limited to 'Makefile.ide')
| -rw-r--r-- | Makefile.ide | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/Makefile.ide b/Makefile.ide index 54bf0b6a4e..6e3713c7bf 100644 --- a/Makefile.ide +++ b/Makefile.ide @@ -233,7 +233,6 @@ install-ide-info: .PHONY: $(COQIDEAPP)/Contents $(COQIDEAPP)/Contents: - rm -rdf $@ $(MKDIR) $@ sed -e "s/VERSION/$(VERSION4MACOS)/g" ide/coqide/MacOS/Info.plist.template > $@/Info.plist $(MKDIR) "$@/MacOS" @@ -282,6 +281,10 @@ $(COQIDEAPP)/Contents/Resources/etc: $(COQIDEAPP)/Contents/Resources/lib $(COQIDEAPP)/Contents/Resources/lib: $(COQIDEAPP)/Contents/Resources/immodules $(COQIDEAPP)/Contents/Resources/loaders $(COQIDEAPP)/Contents $(COQIDEINAPP) $(MKDIR) $@ macpack -d ../Resources/lib $(COQIDEINAPP) + for i in $@/../bin/*; \ + do \ + macpack -d ../lib $$i; \ + done for i in $@/../loaders/*.so $@/../immodules/*.{dylib,so}; \ do \ macpack -d ../lib $$i; \ |