1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
|
TMPDIR := $(shell mktemp -d)
HLJSDIR = $(TMPDIR)/highlight.js
all: $(HLJSDIR)/extra/highlightjs-macaulay2
cd $(HLJSDIR) && npm install && node ./tools/build.js -t cdn
check: $(HLJSDIR)/extra/highlightjs-macaulay2
cd $(HLJSDIR) && npm install && node ./tools/build.js -t node && \
ONLY_EXTRA=true npm run test-markup
$(HLJSDIR)/extra/highlightjs-macaulay2: $(HLJSDIR)
ln -s $(CURDIR) $@
$(HLJSDIR):
cd $(TMPDIR) && git clone --depth 1 \
https://github.com/highlightjs/highlight.js
update:
M2 --script generate-grammar/generate-grammar.m2
clean:
rm -f $(HLJSDIR)/extra/highlightjs-macaulay2
.PHONY: all check clean update
|
