Set profile on command line

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()))