aboutsummaryrefslogtreecommitdiff
path: root/src/main/java/org/shedlang/compiler/cli
diff options
context:
space:
mode:
authorMichael Williamson <mike@zwobble.org>2024-03-20 19:55:12 +0000
committerMichael Williamson <mike@zwobble.org>2024-03-20 19:55:12 +0000
commit8875e6fb9b190f3db252aaaed54f4763c24906ab (patch)
tree2c5d26788aa34057e3660d1b8b1047f9ad66d00f /src/main/java/org/shedlang/compiler/cli
parent278deb5d24dc3a9d5ec2175c018c5b2eb91807da (diff)
Set profile on command line
Diffstat (limited to 'src/main/java/org/shedlang/compiler/cli')
-rw-r--r--src/main/java/org/shedlang/compiler/cli/ShedCli.java6
1 files changed, 5 insertions, 1 deletions
diff --git a/src/main/java/org/shedlang/compiler/cli/ShedCli.java b/src/main/java/org/shedlang/compiler/cli/ShedCli.java
index ef643c75..5d7baf63 100644
--- a/src/main/java/org/shedlang/compiler/cli/ShedCli.java
+++ b/src/main/java/org/shedlang/compiler/cli/ShedCli.java
@@ -29,7 +29,9 @@ public class ShedCli {
switch (args.<Command>get("command")) {
case COMPILE -> {
- compiler.compile(sourcePath, Backends.backendForTarget(args.getString("target")));
+ var backend = Backends.backendForTarget(args.getString("target"));
+ var profile = args.getString("profile");
+ compiler.compile(sourcePath, backend, profile);
}
}
}
@@ -44,6 +46,8 @@ public class ShedCli {
compileSubParser.setDefault("command", Command.COMPILE);
compileSubParser.addArgument("source").required(true);
compileSubParser.addArgument("--target").choices(Backends.targetNames()).required(true);
+ // TODO: support profiles properly (define profile, allow GC as an option)
+ compileSubParser.addArgument("--profile").setDefault("mark-and-sweep").required(false);
try {
return parser.parseArgs(args);