From 67313584d6879d68db53ced3108c2370bed5e8c1 Mon Sep 17 00:00:00 2001 From: cheneym2 Date: Tue, 16 Apr 2024 22:02:45 -0400 Subject: Fix Slang documentation typos (#3961) --- docs/repro.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'docs/repro.md') 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... -- cgit v1.2.3