diff options
Diffstat (limited to 'src/main/java/org/shedlang/compiler/ShedCompiler.java')
| -rw-r--r-- | src/main/java/org/shedlang/compiler/ShedCompiler.java | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/src/main/java/org/shedlang/compiler/ShedCompiler.java b/src/main/java/org/shedlang/compiler/ShedCompiler.java index 177f6fd5..1f04c0fa 100644 --- a/src/main/java/org/shedlang/compiler/ShedCompiler.java +++ b/src/main/java/org/shedlang/compiler/ShedCompiler.java @@ -31,7 +31,11 @@ import static org.shedlang.compiler.parser.Tokeniser.tokenise; import static org.shedlang.compiler.typechecker.NamespaceDependencyLineariser.orderNamespaces; public class ShedCompiler { - public void compile(Path projectRoot, Backend backend) throws IOException, InterruptedException { + public void compile( + Path projectRoot, + Backend backend, + String profileName + ) throws IOException, InterruptedException { var config = ProjectConfig.read(projectRoot); var sourceRoot = projectRoot.resolve("src"); @@ -73,6 +77,7 @@ public class ShedCompiler { backend.compile( config, + profileName, namespaces, typeInfos, new TargetDir(config.targetDir().resolve(backend.targetName())) |
