-
Notifications
You must be signed in to change notification settings - Fork 99
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
deprecate / remove DOWNLOAD_CODES #814
Comments
I think we should just remove it, it has no real purpose anymore. |
We should make sure that downloadable codes have a 'download' target in Makefile (which downloads the code), that is used only if the source directory is not yet present. |
(this may already be the case but we should check it) |
agree |
This issue has been automatically marked as stale because it has not had recent activity. It will be closed in 28 days if no further activity occurs. Thank you for your contributions. |
todo, (1) remove DOWNLOAD_CODES (always assume ==1) and check (2) download is not done if corresponding src is available, (3) clean leaves download in placand , distclean removes it. for the following codes:
|
This issue has been automatically marked as stale because it has not had recent activity. It will be closed in 28 days if no further activity occurs. Thank you for your contributions. |
bonsai2 makefile looks iffy, needs testing |
yes - we need to implement that (by removing DOWNLOAD_CODES references?).
Originally posted by @rieder in #805 (comment)
The text was updated successfully, but these errors were encountered: