diff options
| author | Michael Williamson <mike@zwobble.org> | 2024-03-20 19:55:12 +0000 |
|---|---|---|
| committer | Michael Williamson <mike@zwobble.org> | 2024-03-20 19:55:12 +0000 |
| commit | 8875e6fb9b190f3db252aaaed54f4763c24906ab (patch) | |
| tree | 2c5d26788aa34057e3660d1b8b1047f9ad66d00f /src/main/java/org/shedlang/compiler/cli | |
| parent | 278deb5d24dc3a9d5ec2175c018c5b2eb91807da (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.java | 6 |
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); |
