diff options
Diffstat (limited to 'language')
-rw-r--r-- | language/src/main/java/org/eclipse/viatra/solver/language/GenerateProblem.mwe2 | 3 |
1 files changed, 3 insertions, 0 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 ca3e2665..9b0bcd41 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 | |||
@@ -53,6 +53,9 @@ Workflow { | |||
53 | webSupport = ProblemWebIntegrationFragment { | 53 | webSupport = ProblemWebIntegrationFragment { |
54 | highlightingPath = "js/mode-problem.js" | 54 | highlightingPath = "js/mode-problem.js" |
55 | generateHtmlExample = false | 55 | generateHtmlExample = false |
56 | generateJettyLauncher = false | ||
57 | generateServlet = false | ||
58 | generateWebXml = false | ||
56 | } | 59 | } |
57 | } | 60 | } |
58 | } | 61 | } |