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

Some targets in the Makefile do not work any more #3035

Closed
JJ opened this issue Sep 27, 2019 · 2 comments
Closed

Some targets in the Makefile do not work any more #3035

JJ opened this issue Sep 27, 2019 · 2 comments
Assignees

Comments

@JJ
Copy link
Contributor

JJ commented Sep 27, 2019

The problem

As a matter of fact, Makefile has been growing by accretion quite some time and this might or might not be totally related to #2983, but come from way before. It's quite clear from #3034 and #2998 that in many cases, maybe in most, Makefile is no longer current.
Check out #1057 too.

Suggestions

Decide what to do about it, up to and including eliminating it and using Sake instead. And, of course, including it in the big spin-off that we should be doing.

@JJ JJ added build labels Sep 27, 2019
coke added a commit that referenced this issue Jul 24, 2020
Hides some of the issues mentioned in #3035
@coke coke self-assigned this Feb 3, 2023
@coke
Copy link
Collaborator

coke commented Feb 3, 2023

All the make targets relating to the build should be removed (build of site now handled in doc-website). Once that's done, any remaining items can be addressed one at a time.

coke added a commit that referenced this issue Feb 3, 2023
@coke
Copy link
Collaborator

coke commented Feb 3, 2023

Done, only remaining Makefile targets are test related.

@coke coke closed this as completed Feb 3, 2023
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

No branches or pull requests

2 participants