diff options
| author | cheneym2 <acheney@nvidia.com> | 2024-04-16 22:02:45 -0400 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-04-16 19:02:45 -0700 |
| commit | 67313584d6879d68db53ced3108c2370bed5e8c1 (patch) | |
| tree | 202f64210053d12a8ca2c6a2a22b000c020443eb /docs/repro.md | |
| parent | 282da4ac94d60d3244f4d72085e66fb82cf5abd8 (diff) | |
Fix Slang documentation typos (#3961)
Diffstat (limited to 'docs/repro.md')
| -rw-r--r-- | docs/repro.md | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/docs/repro.md b/docs/repro.md index 7a032df07..54ad8b978 100644 --- a/docs/repro.md +++ b/docs/repro.md @@ -38,7 +38,7 @@ When a repro is loaded, before files are loaded from the repro itself, they will Now you might want to change the compilation options. Using -load-repro it will compile with the options as given. It is not possible to change those options as part of -load-repro. If you want to change the compilation options (and files), you can use -extract-repro, and look at the manifest which will list a command line that will typically repeat the compilation. Now you can just attach the repro as a file system, and set the command line options as appropriate, based on the command line listed in the manifest. Note! If there is a fairly complex directory hierarchy, it may be necessary to specify the input sources paths *as if* they are held on the original files system. You can see how these map in the manifest. -Note that currently is is disabled to access any new source files - they will be determined as `not found`. This behaviour could be changed such that the regular file system was used, or the ISlangFilesystem set on the API is used as a fallback. +Note that currently it is disabled to access any new source files - they will be determined as `not found`. This behaviour could be changed such that the regular file system was used, or the ISlangFilesystem set on the API is used as a fallback. There currently isn't a mechanism to alter the options of a repro from the command line (other than altering the contents of the source). The reason for this is because of how command lines are processed currently in Slang. A future update could enable specifying a repro and then altering the command line options used. It can be achieved through the API though. Once the repro is loaded via the `spLoadRepro` function, options can be changed as normal. The two major places where option alteration may have surprising behavior are... |