-
-
Notifications
You must be signed in to change notification settings - Fork 371
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
Remove support for ~/.config makefile inclusion #3295
Conversation
Jenkins Console Log Machine informationNo LSB modules are available. Distributor ID: Ubuntu Description: Ubuntu 20.04.3 LTS Release: 20.04 Codename: focalCPU: G++: Clang: |
How come you want to remove this functionality? I have used this a few times to set things from my home dir as I am not allowed on my cluster to edit the cmdstan install dir. So how can users set stan makefile matters in the future from a user writable directory (meaning their home)? I do have to use the cmdstan installed into the system for compliance reasons. |
Hi @wds15 - Some explanation was given in stan-dev/math#3088, but in short there are 3 main reasons:
If you are in a situation, as you describe, where the HOME folder behavior is desirable, you should ask the system administrators to add a -include $(HOME)/.config/stan/make.local to the global installation's |
I see. Thanks for the explanation and the workaround to get the old behaviour. Could the workaround be added to the example make/local which is distributed possibly? If not enabled, then at least in a commented out variant? I consider it standard behaviour that programs respect config files residing it in users home directories...but you are right in that this specific option was not documented and I took it from the source. |
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.
lgtm!
Submission Checklist
./runTests.py src/test/unit
make cpplint
Summary
Counterpart to stan-dev/math#3090
Intended Effect
How to Verify
Side Effects
Documentation
Copyright and Licensing
Please list the copyright holder for the work you are submitting (this will be you or your assignee, such as a university or company):
By submitting this pull request, the copyright holder is agreeing to license the submitted work under the following licenses: