From 8875e6fb9b190f3db252aaaed54f4763c24906ab Mon Sep 17 00:00:00 2001 From: Michael Williamson Date: Wed, 20 Mar 2024 19:55:12 +0000 Subject: Set profile on command line --- src/main/java/org/shedlang/compiler/ShedCompiler.java | 7 ++++++- 1 file changed, 6 insertions(+), 1 deletion(-) (limited to 'src/main/java/org/shedlang/compiler/ShedCompiler.java') 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())) -- cgit v1.2.3