From 272c7c5dd04feb54806b92d88dc1a5029cddc397 Mon Sep 17 00:00:00 2001 From: Kristóf Marussy Date: Tue, 29 Jun 2021 11:37:14 +0200 Subject: Webpack build for frontend --- .../java/org/eclipse/viatra/solver/language/GenerateProblem.mwe2 | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) (limited to 'language') 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 da5e95a4..6f265bd5 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,6 +22,7 @@ Workflow { web = { enabled = true name = "language-web" + assets = "../language-web/src/main/js-gen" } mavenLayout = true } @@ -47,7 +48,10 @@ Workflow { junitSupport = { junitVersion = "5" } - webSupport = ProblemWebIntegrationFragment {} + webSupport = ProblemWebIntegrationFragment { + highlightingPath = "mode-problem.js" + generateHtmlExample = false + } } } } -- cgit v1.2.3-54-g00ecf