-
-
Notifications
You must be signed in to change notification settings - Fork 511
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
back up/restore conftest.py #39363
base: develop
Are you sure you want to change the base?
back up/restore conftest.py #39363
Conversation
as autoconf's generated configure clobbers conftest*, we are saving conftest.py from it by making a backup copy and then restoring it after the real configure was run.
@vbraun - please have a look whether this doesn't break anything in your machinery |
@orlitzky - can you have a look? |
CI is failing in building docker images with
No idea what wrapper this is. @kwankyu - do you know? |
I may not be understanding this correctly, but isn't it just referring to the file, newly created by this PR, called "configure_wrapper"? |
Perhaps I've broken |
No idea either.
If something is broken, the standard way is to fix it (after understanding how it went broken), not to remove it. |
Creating configure scripts using Anyhow, my latest attempt shows that it's not the issue. The issue is that the docker does not find https://github.com/sagemath/sage/actions/runs/12916470243/job/36020720010?pr=39363#step:13:517 |
I saw your post on the autoconf list and had been planning to try this. It's worse than you say:
|
|
Are we in one of these situations when our docker-based CI won't work until this PR is merged in |
I have no idea what you are asking... What is "these situations"? I was not following the present issue and have no background understanding. |
By the way, I do not object to changing "make configure" with "./bootstrap" for now if it helps. But removing the existing feature "make configure" as you seem to advocate is another matter. |
basically, running ./configure removes all the files matching to preserve our workflow, we rename configure to real_configure and install |
Probably #39373 , let's see. |
Documentation preview for this PR (built with commit 8290ad7; changes) is ready! 🎉 |
@user202729 - CI passes (modulo unrelated doctest failures on some platforms). Can you give this a positive review? |
I would not have any objections, either, but it is a publicly advertised way to install Sage — it's in the top-level README.md, for example — and so |
This goes without saying, certainly. The thing is that |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
haven't actually reviewed it carefully, just a few minor changes then should be good
@@ -0,0 +1,4 @@ | |||
#! /bin/sh | |||
cp conftest.py bak_conftest.py | |||
./real_configure $@ |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Wouldn't it be safer to change $@
to "$@"
to avoid arguments with spaces being broken up (not sure if it's portable, at least it works in bash)
also does the real_configure
script support running it in a different directory? if yes then it may be a good idea to also support it by changing it to "$(dirname "$0")"/real_configure
docker/Dockerfile
Outdated
@@ -196,7 +196,7 @@ ARG MAKEFLAGS="-j2" | |||
ENV MAKEFLAGS $MAKEFLAGS | |||
ARG SAGE_NUM_THREADS="2" | |||
ENV SAGE_NUM_THREADS $SAGE_NUM_THREADS | |||
RUN make configure | |||
RUN ./bootstrap |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
does make configure
still work? (if yes maybe leave it alone to be conservative, if not maybe we need to fix it)
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
yes, make configure
should still work. However, I don't know how, and trying to figure it out gives me a headache. OK, let's revert this change and see.
This reverts commit 48a81bd.
this will fix #39357
📝 Checklist
⌛ Dependencies