This doesn't make any code or user-facing changes, it just adds the minimum changes needed to our dune config to be able to build a version of stanc instrumented for profiling with Landmarks for developers who want to do that sort of thing
Submission Checklist
[x] Run unit tests
Documentation
[ ] If a user-facing facing change was made, the documentation PR is here:
This doesn't make any code or user-facing changes, it just adds the minimum changes needed to our dune config to be able to build a version of stanc instrumented for profiling with Landmarks for developers who want to do that sort of thing
Submission Checklist
Release notes
Copyright and Licensing
By submitting this pull request, the copyright holder is agreeing to license the submitted work under the BSD 3-clause license (https://opensource.org/licenses/BSD-3-Clause)