diff options
author | 2021-06-29 14:10:18 +0200 | |
---|---|---|
committer | 2021-06-29 14:10:18 +0200 | |
commit | 153953e75fd865ce2506cb0db957734af4ed6cda (patch) | |
tree | 475e78103eff3b7c0e6ce8c8fccaeae4ae66934d /language/src | |
parent | Remove xtext-gen generated files (diff) | |
download | refinery-153953e75fd865ce2506cb0db957734af4ed6cda.tar.gz refinery-153953e75fd865ce2506cb0db957734af4ed6cda.tar.zst refinery-153953e75fd865ce2506cb0db957734af4ed6cda.zip |
Remove Xtext generated Javascript file
Diffstat (limited to 'language/src')
-rw-r--r-- | language/src/main/java/org/eclipse/viatra/solver/language/GenerateProblem.mwe2 | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/language/src/main/java/org/eclipse/viatra/solver/language/GenerateProblem.mwe2 b/language/src/main/java/org/eclipse/viatra/solver/language/GenerateProblem.mwe2 index 6f265bd5..18f70080 100644 --- a/language/src/main/java/org/eclipse/viatra/solver/language/GenerateProblem.mwe2 +++ b/language/src/main/java/org/eclipse/viatra/solver/language/GenerateProblem.mwe2 | |||
@@ -22,7 +22,7 @@ Workflow { | |||
22 | web = { | 22 | web = { |
23 | enabled = true | 23 | enabled = true |
24 | name = "language-web" | 24 | name = "language-web" |
25 | assets = "../language-web/src/main/js-gen" | 25 | assets = "../language-web/build/generated/sources/xtext" |
26 | } | 26 | } |
27 | mavenLayout = true | 27 | mavenLayout = true |
28 | } | 28 | } |
@@ -49,7 +49,7 @@ Workflow { | |||
49 | junitVersion = "5" | 49 | junitVersion = "5" |
50 | } | 50 | } |
51 | webSupport = ProblemWebIntegrationFragment { | 51 | webSupport = ProblemWebIntegrationFragment { |
52 | highlightingPath = "mode-problem.js" | 52 | highlightingPath = "js/mode-problem.js" |
53 | generateHtmlExample = false | 53 | generateHtmlExample = false |
54 | } | 54 | } |
55 | } | 55 | } |