mirror of
https://github.com/overleaf/overleaf.git
synced 2024-12-26 08:51:38 +00:00
67e7621633
[cm6] Add support for bibtex GitOrigin-RevId: 28bc8e47c53df1612c1e30cf690e893b0bbf500c
69 lines
1.8 KiB
JavaScript
69 lines
1.8 KiB
JavaScript
const { buildParserFile } = require('@lezer/generator')
|
|
const { writeFileSync, readFileSync } = require('fs')
|
|
const path = require('path')
|
|
|
|
const grammars = [
|
|
{
|
|
grammarPath: path.resolve(
|
|
__dirname,
|
|
'../../frontend/js/features/source-editor/lezer-latex/latex.grammar'
|
|
),
|
|
parserOutputPath: path.resolve(
|
|
__dirname,
|
|
'../../frontend/js/features/source-editor/lezer-latex/latex.mjs'
|
|
),
|
|
termsOutputPath: path.resolve(
|
|
__dirname,
|
|
'../../frontend/js/features/source-editor/lezer-latex/latex.terms.mjs'
|
|
),
|
|
},
|
|
{
|
|
grammarPath: path.resolve(
|
|
__dirname,
|
|
'../../frontend/js/features/source-editor/lezer-bibtex/bibtex.grammar'
|
|
),
|
|
parserOutputPath: path.resolve(
|
|
__dirname,
|
|
'../../frontend/js/features/source-editor/lezer-bibtex/bibtex.mjs'
|
|
),
|
|
termsOutputPath: path.resolve(
|
|
__dirname,
|
|
'../../frontend/js/features/source-editor/lezer-bibtex/bibtex.terms.mjs'
|
|
),
|
|
},
|
|
]
|
|
|
|
function compile(grammar) {
|
|
const { grammarPath, termsOutputPath, parserOutputPath } = grammar
|
|
const moduleStyle = 'es'
|
|
console.info(`Compiling ${grammarPath}`)
|
|
|
|
const grammarText = readFileSync(grammarPath, 'utf8')
|
|
console.info(`Loaded grammar from ${grammarPath}`)
|
|
|
|
const { parser, terms } = buildParserFile(grammarText, {
|
|
fileName: grammarPath,
|
|
moduleStyle,
|
|
})
|
|
console.info(`Built parser`)
|
|
|
|
writeFileSync(parserOutputPath, parser)
|
|
console.info(`Wrote parser to ${parserOutputPath}`)
|
|
|
|
writeFileSync(termsOutputPath, terms)
|
|
console.info(`Wrote terms to ${termsOutputPath}`)
|
|
|
|
console.info('Done!')
|
|
}
|
|
|
|
module.exports = { compile, grammars }
|
|
|
|
if (require.main === module) {
|
|
try {
|
|
grammars.forEach(compile)
|
|
process.exit(0)
|
|
} catch (err) {
|
|
console.error(err)
|
|
process.exit(1)
|
|
}
|
|
}
|