diff options
Diffstat (limited to 'language/src')
-rw-r--r-- | language/src/main/java/tools/refinery/language/GenerateProblem.mwe2 | 14 |
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 | |||
3 | import org.eclipse.xtext.xtext.generator.* | 3 | import org.eclipse.xtext.xtext.generator.* |
4 | import org.eclipse.xtext.xtext.generator.model.project.* | 4 | import org.eclipse.xtext.xtext.generator.model.project.* |
5 | 5 | ||
6 | import tools.refinery.language.mwe2.* | ||
7 | |||
8 | var rootPath = ".." | 6 | var rootPath = ".." |
9 | 7 | ||
10 | Workflow { | 8 | Workflow { |
@@ -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 | } |