diff options
author | Kristóf Marussy <kristof@marussy.com> | 2021-10-11 01:13:32 +0200 |
---|---|---|
committer | Kristóf Marussy <kristof@marussy.com> | 2021-10-31 19:26:10 +0100 |
commit | 1d7f4031d614ae16b53de5a84312a71346da0c9c (patch) | |
tree | 961eedc36eca26af61baa862e5cf4b9d1b04de79 /language-web/build.gradle | |
parent | feat(web): experiment with Lezer parser (diff) | |
download | refinery-1d7f4031d614ae16b53de5a84312a71346da0c9c.tar.gz refinery-1d7f4031d614ae16b53de5a84312a71346da0c9c.tar.zst refinery-1d7f4031d614ae16b53de5a84312a71346da0c9c.zip |
chore(web): remove CodeMirror 5 MWE2 integration
CodeMirror 6 uses a hand-writter Lezer parser instead of the stream
parser generated by Xtext for CodeMirror 5.
Diffstat (limited to 'language-web/build.gradle')
-rw-r--r-- | language-web/build.gradle | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/language-web/build.gradle b/language-web/build.gradle index 1f1457d6..f2b9b43f 100644 --- a/language-web/build.gradle +++ b/language-web/build.gradle | |||
@@ -51,12 +51,12 @@ def generateLezerGrammar = tasks.register('generateLezerGrammar', RunNpmYarn) { | |||
51 | 51 | ||
52 | def assembleFrontend = tasks.named('assembleFrontend') | 52 | def assembleFrontend = tasks.named('assembleFrontend') |
53 | assembleFrontend.configure { | 53 | assembleFrontend.configure { |
54 | dependsOn generateXtextLanguage | ||
55 | dependsOn generateLezerGrammar | 54 | dependsOn generateLezerGrammar |
56 | inputs.dir 'src/main/css' | 55 | inputs.dir 'src/main/css' |
57 | inputs.dir 'src/main/html' | 56 | inputs.dir 'src/main/html' |
58 | inputs.dir 'src/main/js' | 57 | inputs.dir 'src/main/js' |
59 | inputs.dir "${buildDir}/generated/sources/xtext/js" | 58 | inputs.file "${buildDir}/generated/sources/lezer/problem.ts" |
59 | inputs.file "${buildDir}/generated/sources/lezer/problem.terms.ts" | ||
60 | inputs.files('package.json', 'yarn.lock', 'webpack.config.js') | 60 | inputs.files('package.json', 'yarn.lock', 'webpack.config.js') |
61 | outputs.dir productionResources | 61 | outputs.dir productionResources |
62 | } | 62 | } |
@@ -135,7 +135,7 @@ def jettyRun = tasks.register('jettyRun', JavaExec) { | |||
135 | 135 | ||
136 | tasks.register('webpackServe', RunNpmYarn) { | 136 | tasks.register('webpackServe', RunNpmYarn) { |
137 | dependsOn installFrontend | 137 | dependsOn installFrontend |
138 | dependsOn generateXtextLanguage | 138 | dependsOn generateLezerGrammar |
139 | outputs.dir "${webpackOutputDir}/development" | 139 | outputs.dir "${webpackOutputDir}/development" |
140 | script = 'run serve' | 140 | script = 'run serve' |
141 | group = 'run' | 141 | group = 'run' |