aboutsummaryrefslogtreecommitdiffstats
path: root/language
diff options
context:
space:
mode:
authorLibravatar Kristóf Marussy <marussy@mit.bme.hu>2021-06-29 11:37:14 +0200
committerLibravatar Kristóf Marussy <marussy@mit.bme.hu>2021-06-29 11:37:14 +0200
commit272c7c5dd04feb54806b92d88dc1a5029cddc397 (patch)
treedecf6950c10782d124c5a3b6055a09d52f9e5791 /language
parentFix derived state computer idempotency (diff)
downloadrefinery-272c7c5dd04feb54806b92d88dc1a5029cddc397.tar.gz
refinery-272c7c5dd04feb54806b92d88dc1a5029cddc397.tar.zst
refinery-272c7c5dd04feb54806b92d88dc1a5029cddc397.zip
Webpack build for frontend
Diffstat (limited to 'language')
-rw-r--r--language/src/main/java/org/eclipse/viatra/solver/language/GenerateProblem.mwe26
1 files changed, 5 insertions, 1 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 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 {
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 } 26 }
26 mavenLayout = true 27 mavenLayout = true
27 } 28 }
@@ -47,7 +48,10 @@ Workflow {
47 junitSupport = { 48 junitSupport = {
48 junitVersion = "5" 49 junitVersion = "5"
49 } 50 }
50 webSupport = ProblemWebIntegrationFragment {} 51 webSupport = ProblemWebIntegrationFragment {
52 highlightingPath = "mode-problem.js"
53 generateHtmlExample = false
54 }
51 } 55 }
52 } 56 }
53} 57}