-
-
Notifications
You must be signed in to change notification settings - Fork 5.6k
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
The Documenter script doc/make.jl needs Internet connection, which breaks build at server farms #19966
Comments
If anyone wants to build using
|
See #18588 (comment) and #19725. My priority was to be able to build the tarball without Internet access. Do you really need to also generate that tarball without Internet access? I guess we could track UnicodeData.txt in git, it's always sounded a kind of weird to me that we would need this to build docs and yet get it from elsewhere. But it's a bit large, maybe we should compress it first. |
Hi @nalimilan, I don't need to build the tarball without internet. It is fine if Yes, I cloned git repository in the morning (commit 6b1b4f6). Let me show the build options I am using:
The problem I mentioned was at
I can't understand what this is doing, but I have the |
Here is the script that builds julia:
|
I don't have Does it work it you use the tarball included in this SRPM? |
Also, what's the |
If I execute
My
Those sources are dependencies that I want to build with julia instead of use from openSUSE repos. |
Let me try to delete my julia tree and clone again. |
Yeah, seems that I am doing something very wrong :D Sorry... The problem is that the |
And what happens if you don't touch
|
Ah, it only works if I touch |
@nalimilan sorry for the noise! It turns out that the problem was caused because my directory with julia tree already had an old version of the documentation. Hence, for some reason, it was not being built with Thanks! |
No worries, good to know it works for you too. |
Hm, sounds like the makefile rules didn't correctly rebuild the stale docs like they should have then? |
@tkelman no, they didn't. I should have saved the old tree to debug that :( sorry... |
Hi guys!
I am the maintainer of julia in openSUSE. Besides the stable version, I keep building master so that I can track bugs. I do these steps to obtain the code:
make light-source-dist
.All the other dependencies are either already installed in openSUSE or downloaded and added to
srccache
by the RPM script. However, it turns out that since December, 2016 the building is failing with the following error:Notice that the documentation is already built in
doc/_build/html
because oflight-source-dist
. So, I verified that the scriptdoc/make.jl
is being called and the first thing it does itPkg.init()
, which requires internet connection, breaking the build at server farms.Is there a way to circumvent this problem besides deleting and touching
make.jl
?The text was updated successfully, but these errors were encountered: