Skip to content

Conversation

jsmolic
Copy link
Contributor

@jsmolic jsmolic commented Oct 17, 2020

Before the change ./configure refers to 'ar' tool.
After the change it picks x86_64-pc-linux-gnu-ar. This helps
user to select 'ar' implementation.

Bug: https://bugs.gentoo.org/723144

Copy link
Contributor

@xavierleroy xavierleroy left a comment

Choose a reason for hiding this comment

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

I'm afraid this is breaking the build for most users. What do you think?

@@ -22,7 +22,7 @@ host='auto'
gmp='auto'
perf='no'

ar='ar'
ar="${AR}"
Copy link
Contributor

Choose a reason for hiding this comment

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

Sorry, but we need a reasonable default value here! The AR variable is empty in my default build environment...

Copy link
Contributor Author

Choose a reason for hiding this comment

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

Sure, no problem, I've added a check to set ar='ar' if AR variable is empty

Before the change ./configure refers to 'ar' tool.
After the change it picks x86_64-pc-linux-gnu-ar. This helps
user to select 'ar' implementation.
@antoinemine
Copy link
Collaborator

Seems OK to with (with Xavier's patch, I also don't have AR defined, and I'm on Gentoo !).

@antoinemine antoinemine merged commit 6193d6d into ocaml:master Nov 9, 2020
@jsmolic
Copy link
Contributor Author

jsmolic commented Nov 9, 2020

Thanks @antoinemine

@jsmolic jsmolic deleted the ar branch November 9, 2020 13:16
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.

3 participants