summaryrefslogtreecommitdiff
path: root/web/latexspider/awkmake
diff options
context:
space:
mode:
authorNorbert Preining <norbert@preining.info>2019-09-02 13:46:59 +0900
committerNorbert Preining <norbert@preining.info>2019-09-02 13:46:59 +0900
commite0c6872cf40896c7be36b11dcc744620f10adf1d (patch)
tree60335e10d2f4354b0674ec22d7b53f0f8abee672 /web/latexspider/awkmake
Initial commit
Diffstat (limited to 'web/latexspider/awkmake')
-rw-r--r--web/latexspider/awkmake5
1 files changed, 5 insertions, 0 deletions
diff --git a/web/latexspider/awkmake b/web/latexspider/awkmake
new file mode 100644
index 0000000000..02cc270328
--- /dev/null
+++ b/web/latexspider/awkmake
@@ -0,0 +1,5 @@
+/bin/make -f ../master/WebMakefile CPUTYPE=`cputype`\
+ THETANGLE=awktangle THEWEAVE=awkweave SPIDER=awk.spider \
+SPIDERCHANGEFILE=../master/spider.ltx WEAVECHANGEFILE=../master/weave.ltx \
+TANGLECHANGEFILE=../master/tangle.ltx \
+CFLAGS='-O1 -DC_FLOATING_POINT -DLaTeX' LaTeX=1 $*