diff options
author | 2021-06-29 11:37:14 +0200 | |
---|---|---|
committer | 2021-06-29 11:37:14 +0200 | |
commit | 272c7c5dd04feb54806b92d88dc1a5029cddc397 (patch) | |
tree | decf6950c10782d124c5a3b6055a09d52f9e5791 /language/src | |
parent | Fix derived state computer idempotency (diff) | |
download | refinery-272c7c5dd04feb54806b92d88dc1a5029cddc397.tar.gz refinery-272c7c5dd04feb54806b92d88dc1a5029cddc397.tar.zst refinery-272c7c5dd04feb54806b92d88dc1a5029cddc397.zip |
Webpack build for frontend
Diffstat (limited to 'language/src')
-rw-r--r-- | language/src/main/java/org/eclipse/viatra/solver/language/GenerateProblem.mwe2 | 6 |
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 | } |