From 047dc73ccfa8a2a3129bff0df47adcb1a078ae4d Mon Sep 17 00:00:00 2001 From: "Daniel A. A. Pelsmaeker" Date: Thu, 18 Jul 2024 17:12:50 +0200 Subject: [PATCH] Add Spoofax dependencies --- depman/gradle/libs.versions.toml | 4 ++++ depman/platform-latest/build.gradle.kts | 4 ++++ depman/platform-snapshot/build.gradle.kts | 4 ++++ depman/platform/build.gradle.kts | 4 ++++ example/java-example/build.gradle.kts | 3 +++ 5 files changed, 19 insertions(+) diff --git a/depman/gradle/libs.versions.toml b/depman/gradle/libs.versions.toml index 25865d0..26c51fe 100644 --- a/depman/gradle/libs.versions.toml +++ b/depman/gradle/libs.versions.toml @@ -254,6 +254,9 @@ spoofax3-tooling-eclipsebundle = { module = "org.metaborg:tooling.e spoofax3-transform-pie = { module = "org.metaborg:transform.pie", version.ref = "spoofax3" } +# Dynsem (https://github.com/metaborg/dynsem) +spoofax2-dynsem-lang = { module = "org.metaborg:dynsem", version.ref = "spoofax2" } + # ESV (https://github.com/metaborg/esv) esv-lang = { module = "org.metaborg.devenv:org.metaborg.meta.lang.esv", version.ref = "esv" } spoofax2-esv-lang = { module = "org.metaborg:org.metaborg.meta.lang.esv", version.ref = "spoofax2" } # Use Spoofax 2 language for bootstrapping @@ -289,6 +292,7 @@ nabl2-runtime = { module = "org.metaborg.devenv:or nabl2-shared = { module = "org.metaborg.devenv:org.metaborg.meta.nabl2.shared", version.ref = "nabl" } nabl2-solver = { module = "org.metaborg.devenv:nabl2.solver", version.ref = "nabl" } nabl2-terms = { module = "org.metaborg.devenv:nabl2.terms", version.ref = "nabl" } +spoofax2-nabl2-extdynsem = { module = "org.metaborg:org.metaborg.meta.nabl2.ext.dynsem", version.ref = "spoofax2" } statix-generator = { module = "org.metaborg.devenv:statix.generator", version.ref = "nabl" } statix-lang = { module = "org.metaborg.devenv:statix.lang", version.ref = "nabl" } statix-runtime = { module = "org.metaborg.devenv:statix.runtime", version.ref = "nabl" } diff --git a/depman/platform-latest/build.gradle.kts b/depman/platform-latest/build.gradle.kts index e541dde..b2f3fea 100644 --- a/depman/platform-latest/build.gradle.kts +++ b/depman/platform-latest/build.gradle.kts @@ -130,6 +130,9 @@ dependencies { api(libs.spoofax3.tooling.eclipsebundle) { version { require("latest.release") } } api(libs.spoofax3.transform.pie) { version { require("latest.release") } } + // Dynsem (https://github.com/metaborg/dynsem) + api(libs.spoofax2.dynsem.lang) { version { require("latest.release") } } + // ESV (https://github.com/metaborg/esv) api(libs.esv.lang) { version { require("latest.release") } } api(libs.spoofax2.esv.lang) { version { require("latest.release") } } @@ -165,6 +168,7 @@ dependencies { api(libs.nabl2.shared) { version { require("latest.release") } } api(libs.nabl2.solver) { version { require("latest.release") } } api(libs.nabl2.terms) { version { require("latest.release") } } + api(libs.spoofax2.nabl2.extdynsem) { version { require("latest.release") } } api(libs.statix.generator) { version { require("latest.release") } } api(libs.statix.lang) { version { require("latest.release") } } api(libs.statix.runtime) { version { require("latest.release") } } diff --git a/depman/platform-snapshot/build.gradle.kts b/depman/platform-snapshot/build.gradle.kts index 053f6cb..e829660 100644 --- a/depman/platform-snapshot/build.gradle.kts +++ b/depman/platform-snapshot/build.gradle.kts @@ -130,6 +130,9 @@ dependencies { api(libs.spoofax3.tooling.eclipsebundle) { version { require("latest.integration") } } api(libs.spoofax3.transform.pie) { version { require("latest.integration") } } + // Dynsem (https://github.com/metaborg/dynsem) + api(libs.spoofax2.dynsem.lang) { version { require("latest.integration") } } + // ESV (https://github.com/metaborg/esv) api(libs.esv.lang) { version { require("latest.integration") } } api(libs.spoofax2.esv.lang) { version { require("latest.integration") } } @@ -165,6 +168,7 @@ dependencies { api(libs.nabl2.shared) { version { require("latest.integration") } } api(libs.nabl2.solver) { version { require("latest.integration") } } api(libs.nabl2.terms) { version { require("latest.integration") } } + api(libs.spoofax2.nabl2.extdynsem) { version { require("latest.integration") } } api(libs.statix.generator) { version { require("latest.integration") } } api(libs.statix.lang) { version { require("latest.integration") } } api(libs.statix.runtime) { version { require("latest.integration") } } diff --git a/depman/platform/build.gradle.kts b/depman/platform/build.gradle.kts index 5b232de..eaeb364 100644 --- a/depman/platform/build.gradle.kts +++ b/depman/platform/build.gradle.kts @@ -130,6 +130,9 @@ dependencies { api(libs.spoofax3.tooling.eclipsebundle) api(libs.spoofax3.transform.pie) + // Dynsem (https://github.com/metaborg/dynsem) + api(libs.spoofax2.dynsem.lang) + // ESV (https://github.com/metaborg/esv) api(libs.esv.lang) api(libs.spoofax2.esv.lang) @@ -165,6 +168,7 @@ dependencies { api(libs.nabl2.shared) api(libs.nabl2.solver) api(libs.nabl2.terms) + api(libs.spoofax2.nabl2.extdynsem) api(libs.statix.generator) api(libs.statix.lang) api(libs.statix.runtime) diff --git a/example/java-example/build.gradle.kts b/example/java-example/build.gradle.kts index c42b4f7..997bb13 100644 --- a/example/java-example/build.gradle.kts +++ b/example/java-example/build.gradle.kts @@ -153,6 +153,8 @@ dependencies { api(libs.spoofax3.transform.pie) + // Dynsem (https://github.com/metaborg/dynsem) +// api(libs.spoofax2.dynsem.lang) // TODO: spoofax-language component // ESV (https://github.com/metaborg/esv) // api(libs.esv.lang) // TODO: spoofax-language component @@ -189,6 +191,7 @@ dependencies { // api(libs.nabl2.shared) // TODO: spoofax-language component api(libs.nabl2.solver) api(libs.nabl2.terms) + api(libs.spoofax2.nabl2.extdynsem) api(libs.statix.generator) // api(libs.statix.lang) // TODO: spoofax-language component // api(libs.statix.runtime) // TODO: spoofax-language component