aboutsummaryrefslogtreecommitdiffstats
path: root/language/src/main
diff options
context:
space:
mode:
Diffstat (limited to 'language/src/main')
-rw-r--r--language/src/main/java/tools/refinery/language/GenerateProblem.mwe214
1 files changed, 0 insertions, 14 deletions
diff --git a/language/src/main/java/tools/refinery/language/GenerateProblem.mwe2 b/language/src/main/java/tools/refinery/language/GenerateProblem.mwe2
index 1b177c94..79eb79a7 100644
--- a/language/src/main/java/tools/refinery/language/GenerateProblem.mwe2
+++ b/language/src/main/java/tools/refinery/language/GenerateProblem.mwe2
@@ -3,8 +3,6 @@ module tools.refinery.language.GenerateProblem
3import org.eclipse.xtext.xtext.generator.* 3import org.eclipse.xtext.xtext.generator.*
4import org.eclipse.xtext.xtext.generator.model.project.* 4import org.eclipse.xtext.xtext.generator.model.project.*
5 5
6import tools.refinery.language.mwe2.*
7
8var rootPath = ".." 6var rootPath = ".."
9 7
10Workflow { 8Workflow {
@@ -20,11 +18,6 @@ Workflow {
20 genericIde = { 18 genericIde = {
21 name = "language-ide" 19 name = "language-ide"
22 } 20 }
23 web = {
24 enabled = true
25 name = "language-web"
26 assets = "../language-web/build/generated/sources/xtext"
27 }
28 mavenLayout = true 21 mavenLayout = true
29 } 22 }
30 code = { 23 code = {
@@ -53,13 +46,6 @@ Workflow {
53 skipXbaseTestingPackage = true 46 skipXbaseTestingPackage = true
54 junitVersion = "5" 47 junitVersion = "5"
55 } 48 }
56 webSupport = ProblemWebIntegrationFragment {
57 highlightingPath = "js/mode-problem.js"
58 generateHtmlExample = false
59 generateJettyLauncher = false
60 generateServlet = false
61 generateWebXml = false
62 }
63 } 49 }
64 } 50 }
65} 51}