Skip to content
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

Multiple files on the command line of the ampersand compiler #1196

Closed
hanjoosten opened this issue Jul 29, 2021 · 1 comment · Fixed by #1197
Closed

Multiple files on the command line of the ampersand compiler #1196

hanjoosten opened this issue Jul 29, 2021 · 1 comment · Fixed by #1197
Assignees

Comments

@hanjoosten
Copy link
Member

@stefjoosten requested me to investigate the possibility to have multiple root files when calling the ampersand generator. The required behaviour shoud be as if the extra files were INCLUDEd in the first one.

@stefjoosten , could you elaborate on the use-case for this request?

@hanjoosten hanjoosten self-assigned this Jul 29, 2021
hanjoosten added a commit that referenced this issue Jul 29, 2021
@stefjoosten
Copy link
Contributor

Why this change?

Sometimes, a computer calls Ampersand to compile a script from an unknown source. An example is RAP, which compiles scripts made by students. If we want to include an extra population in such a script, we cannot change that script. An elegant way would be to allow multiple files on the command line of the Ampersand compiler. That is the use case that motivates this issue.

@stefjoosten stefjoosten changed the title Multiple Root files Multiple files on the command line of the ampersand compiler Jul 30, 2021
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 a pull request may close this issue.

2 participants