-
Notifications
You must be signed in to change notification settings - Fork 1
/
Makefile
19 lines (17 loc) · 824 Bytes
/
Makefile
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
all:
make -C web2w
sed '194,199s/\(year\|month\|day\|time\)\b/sys_&/g' utex.patch|patch -so tex.w web2w/ctex.w
tie -c tex.ch tex.w constants.ch special.ch paper+origin.ch $(CHF) >/dev/null
ctangle tex tex
gcc -DINIT tex.c -o initex -lm
@./initex 'plain \input paper+origin \dump' >/dev/null && mv plain.fmt TeXformats/
@./initex 'тех \input paper+origin \dump' >/dev/null && mv тех.fmt TeXformats/
gcc -DSTAT tex.c -o virtex -lm
triptex:
@[ $(MAKELEVEL) = 1 ]
make -C web2w
sed '194,199s/\(year\|month\|day\|time\)\b/sys_&/g' utex.patch|patch -so tex.w web2w/ctex.w
tie -c tex.ch tex.w trip/constants.ch $(CHF) >/dev/null
ctangle tex tex
gcc -DINIT -DSTAT tex.c -o trip/triptex -lm
CHF=charset.ch path.ch interrupt.ch arg.ch print.ch preload.ch time.ch log.ch edit.ch name.ch exit.ch input.ch close.ch