Skip to content

Fix bug when installing with a system compiler (and without coreutils)#54

Merged
gerdstolpmann merged 1 commit intoocaml:masterfrom
AltGr:fix-install-syscomp
Sep 24, 2022
Merged

Fix bug when installing with a system compiler (and without coreutils)#54
gerdstolpmann merged 1 commit intoocaml:masterfrom
AltGr:fix-install-syscomp

Conversation

@AltGr
Copy link
Copy Markdown
Member

@AltGr AltGr commented Jul 11, 2022

@AltGr AltGr changed the title Fix bug when installing with a system compiler Fix bug when installing with a system compiler (and without coreutils) Jul 11, 2022
@AltGr
Copy link
Copy Markdown
Member Author

AltGr commented Jul 11, 2022

After some digging, @dra27 finally got the reason why this seemed to only fail on OCamlPro's Docker image and not the other ones: differences in how coreutils' install handles the error compared to the one from Busybox.

@AltGr
Copy link
Copy Markdown
Member Author

AltGr commented Jul 11, 2022

I forgot to mention that this was a regression in 1.9.5

$(INSTALLDIR) "$(DESTDIR)$(prefix)$(OCAML_SITELIB)/$(NAME)"
$(INSTALLDIR) "$(DESTDIR)$(prefix)$(OCAMLFIND_BIN)"
$(INSTALLDIR) "$(DESTDIR)$(prefix)$(OCAML_CORE_STDLIB)"
test $(INSTALL_TOPFIND) -eq 0 || $(INSTALLDIR) "$(DESTDIR)$(prefix)$(OCAML_CORE_STDLIB)"
Copy link
Copy Markdown
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

It might be a different bug that can still occure for people who install ocamlfind without opam.

With and without coreutils, install -d will set the permissions to 755. So if the user wanted to keep the permission of their installation directory the same, installing ocamlfind will change it without notice.

Copy link
Copy Markdown
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I think that's worth opening in a separate issue. I'm not sure whether it should be install -d, test -d || install -d, or whether mkdir -p will do 🤷‍♂️

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

Successfully merging this pull request may close these issues.

4 participants