-
-
Notifications
You must be signed in to change notification settings - Fork 528
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
Merge build/make/deps into build/make/Makefile.in #29098
Comments
comment:1
pushing these forward to 9.2 |
New commits:
|
Commit: |
Author: Matthias Koeppe |
This comment has been minimized.
This comment has been minimized.
Reviewer: Dima Pasechnik |
comment:7
lgtm |
comment:8
Thanks! |
comment:9
Merge conflict |
New commits:
|
comment:11
ok, an automatic rebase did the job. |
comment:12
It was probably a merge conflict against Volker's development branch (which has not been pushed so far) |
comment:13
Merge conflict |
Dependencies: #28000 |
New commits:
|
Branch pushed to git repo; I updated commit sha1 and set ticket back to needs_review. This was a forced push. New commits:
|
comment:18
Rebased on top of the conflicting ticket |
Changed branch from u/mkoeppe/build/merge_build_make_deps_into_build_make_makefile_in to |
The split between these two files seems arbitrary, and after many changes to the build system, the naming of the file
deps
is no longer meaningful. We merge the two files.Depends on #28000
CC: @dimpase @embray @jhpalmieri @orlitzky
Component: build
Author: Matthias Koeppe
Branch/Commit:
e1a9413
Reviewer: Dima Pasechnik
Issue created by migration from https://trac.sagemath.org/ticket/29098
The text was updated successfully, but these errors were encountered: