Skip to content

Add include paths to src_info, update stanc3 argument handling#518

Merged
WardBrian merged 3 commits intodevelopfrom
src-info-includes
Jan 24, 2022
Merged

Add include paths to src_info, update stanc3 argument handling#518
WardBrian merged 3 commits intodevelopfrom
src-info-includes

Conversation

@WardBrian
Copy link
Copy Markdown
Member

Submission Checklist

  • Run unit tests
  • Declare copyright holder and open-source license: see below

Summary

Closes #516 by adding include paths if they exist.

Updates compiler_opts to reflect that allow_undefined and include_paths are being replaced by allow-undefined and include-paths respectively. We emit a warning and use the non-deprecated versions.

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):
Simons Foundation

By submitting this pull request, the copyright holder is agreeing to license the submitted work under the following licenses:

Copy link
Copy Markdown
Member

@mitzimorris mitzimorris left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

lgtm!

@WardBrian WardBrian merged commit a40b6a1 into develop Jan 24, 2022
@WardBrian WardBrian deleted the src-info-includes branch January 24, 2022 14:14
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

Successfully merging this pull request may close these issues.

src_info() need to use the include_paths

2 participants