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

Unnecessary recompilation when building julia #2162

Closed
mikewl opened this issue May 27, 2017 · 6 comments · Fixed by JuliaLang/julia#28000
Closed

Unnecessary recompilation when building julia #2162

mikewl opened this issue May 27, 2017 · 6 comments · Fixed by JuliaLang/julia#28000

Comments

@mikewl
Copy link

mikewl commented May 27, 2017

  • Your Windows build number: Version 10.0.16199.1000]

  • What you're doing and what's happening: Trying to build Julia in Bash on Windows

  • What's wrong / what should be happening instead: gmp, mpfr and patchelf are requiring dependendices which should not be required.

Currently when building Julia in wsl the above mentioned dependencies seem to want to recompile things that have been provided already. It was mentioned by @vtjnash that this may be a filesystem bug relating to timestamps.

@therealkenc
Copy link
Collaborator

Are you doing the build in DrvFS (/mnt/c/Users/you) or in VolFS (/home/you)? Could be #1939.

@mikewl
Copy link
Author

mikewl commented Jun 2, 2017

probably a dupe of #1939

@tkelman
Copy link

tkelman commented Jun 2, 2017

definitely a duplicate of the originally reported issue in #544, if things work in /home/

@tkelman
Copy link

tkelman commented Jun 2, 2017

has more in common with #2025 since it'star that Julia's build system is relying on to behave like unix with respect to time stamps (or rather we're extracting and building a number of autotools based projects, all of which are going to rely on time stamps), more than cp. but the file system deficiency is the root cause.

@therealkenc
Copy link
Collaborator

/dupe #1939

@ghost
Copy link

ghost commented Oct 5, 2020

Hi! We've identified this issue as a duplicate of another one that already exists in this repository. This specific instance is being closed in favor of tracking the concern over on the referenced thread.

Thanks for your report!

@ghost ghost added the duplicate label Oct 5, 2020
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging a pull request may close this issue.

3 participants