add symbols file for Macaulay2Web

Macaulay2 · Sep 12, 2024 · 1f8b46b · 1f8b46b
1 parent 954e44c
commit 1f8b46b
Show file tree

Hide file tree

Showing 2 changed files with 10 additions and 0 deletions.
diff --git a/M2/Macaulay2/editors/Macaulay2Web/M2-symbols.ts.in b/M2/Macaulay2/editors/Macaulay2Web/M2-symbols.ts.in
@@ -0,0 +1 @@
+export default [@M2SYMBOLS@];
diff --git a/M2/Macaulay2/editors/make-M2-symbols.m2 b/M2/Macaulay2/editors/make-M2-symbols.m2
@@ -151,6 +151,11 @@ symbolsForTextMate = template -> (
     output = replace("@M2CONSTANTS@", demark("|", CONSTANTS), output);
     output)
 
+symbolsForMacaulay2Web = template -> (
+    output := replace("@M2BANNER@",   banner,               template);
+    output = replace("@M2SYMBOLS@",   demark(",", format \ SYMBOLS), output);
+    output)
+
 -------------------------------------------------------------------------------
 -- Generate syntax files from templates in the same directory
 
@@ -187,6 +192,10 @@ generateGrammar("highlightjs/macaulay2.js", symbolsForHighlightJS)
 
 generateGrammar("textmate/macaulay2.tmLanguage.json", symbolsForTextMate)
 
+-- Macaulay2Web: Write M2-symbols.ts
+generateGrammar("Macaulay2Web/M2-symbols.ts", symbolsForMacaulay2Web)
+
+
 -- Local Variables:
 -- compile-command: "make -C $M2BUILDDIR/Macaulay2/emacs M2-symbols "
 -- End: