Clean up compile targets, remove old commands (#116)

* Refresh compilation targets according to the latest juvix * Remove compilation `--runtime` option as it doesn't exist in the current Juvix * Clear non-existing Juvix dev commands
anoma · Jun 19, 2023 · 2a15f2e · 2a15f2e
1 parent c88f432
commit 2a15f2e
Show file tree

Hide file tree

Showing 2 changed files with 6 additions and 31 deletions.
diff --git a/package.json b/package.json
@@ -992,26 +992,15 @@
           "default": "",
           "enum": [
             "native",
-            "c",
-            "wasm",
-            "html",
-            "vampir"
+            "wasm32-wasi",
+            "geb",
+            "vampir",
+            "core",
+            "asm"
           ],
           "scope": "machine-overridable",
           "description": "Compilation backend"
         },
-        "juvix-mode.compilationRuntime": {
-          "type": "string",
-          "default": "",
-          "enum": [
-            "",
-            "standalone",
-            "wasi-standalone",
-            "wasi-libc"
-          ],
-          "scope": "machine-overridable",
-          "description": "Runtime used for compilation"
-        },
         "juvix-mode.compilationOutputFile": {
           "type": "string",
           "scope": "machine-overridable"
@@ -2857,16 +2846,10 @@
             "InternalPretty": "$juvix dev internal pretty $filename",
             "InternalArity": "$juvix dev internal arity $filename",
             "InternalTypecheck": "$juvix dev internal typecheck $filename",
-            "InternalCoreEval": "$juvix dev internal core-eval $filename",
-            "InternalCoreEvalShowDeBruijn": "$juvix dev internal core-eval --show-de-brujin $filename",
-            "InternalCoreEvalTransformsLifting": "$juvix dev internal core-eval --transforms lifting $filename",
-            "InternalCoreEvalTransformsMoveApps": "$juvix dev internal core-eval --transforms move-apps $filename",
-            "InternalCoreEvalTransformsRemoveTypeArgs": "$juvix dev internal core-eval --transforms remove-type-args $filename",
-            "InternalCoreEvalTransformsRemoveTopEtaExpand": "$juvix dev internal core-eval --transforms top-eta-expand $filename",
             "CoreEval": "$juvix dev core eval $filename",
             "CoreRead": "$juvix dev core read $filename",
-            "AsmRun": "$juvix dev asm run $filename",
             "GebEval": "$juvix dev geb eval $filename",
+            "AsmRun": "$juvix dev asm run $filename",
             "AsmValidate": "$juvix dev asm validate $filename",
             "AsmCompile": "$juvix dev asm compile $filename",
             "RuntimeCompile": "$juvix dev runtime compile $filename",

diff --git a/src/config.ts b/src/config.ts
@@ -184,9 +184,6 @@ export class JuvixConfig {
   readonly compilationTarget = new VsCodeSetting(
     'juvix-mode.compilationTarget'
   );
-  readonly compilationRuntime = new VsCodeSetting(
-    'juvix-mode.compilationRuntime'
-  );
   readonly compilationOutput = new VsCodeSetting(
     'juvix-mode.compilationOutput'
   );
@@ -199,16 +196,11 @@ export class JuvixConfig {
 
   public getCompilationFlags(): string {
     const target = this.compilationTarget.get();
-    const runtime = this.compilationRuntime.get();
     const flags = [];
     if (target) {
       flags.push('--target');
       flags.push(target);
     }
-    if (runtime) {
-      flags.push('--runtime');
-      flags.push(runtime);
-    }
     const outputFile = this.compilationOutput.get();
     if (outputFile) {
       flags.push('--output');