Add Spoofax dependencies

metaborg · Jul 18, 2024 · 047dc73 · 047dc73
1 parent aae98ff
commit 047dc73
Show file tree

Hide file tree

Showing 5 changed files with 19 additions and 0 deletions.
diff --git 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
@@ -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
@@ -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
@@ -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
@@ -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