-
Notifications
You must be signed in to change notification settings - Fork 33
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
Improve README.maintainer.md to also explain how to build a custom (new) version of a JLL #615
Comments
looks good |
Ah, no, not quite right. One has to run the And run with |
Updated according to @thofma's helpful comments, thank you |
Started adding this in PR #667. But now I thought about it and wonder if we can't also make this (overriding I mention the possibility for a script just because in order to build Singular in a way that makes it possible to use the result as replacement in the JLL may require to use |
Requested by @fieker
I think this would amount to something roughly like this (??)
UPDATED based on comments by @thofma
The text was updated successfully, but these errors were encountered: