mirror of
https://github.com/luau-lang/luau.git
synced 2024-11-16 06:45:44 +08:00
44 lines
942 B
Markdown
44 lines
942 B
Markdown
|
# HATRA 21 position paper
|
||
|
|
|
||
|
|
A position paper on Luau for [Human Aspects of Types and Reasoning Assistants](https://2021.splashcon.org/home/hatra-2021) (HATRA) 2021.
|
||
|
|
|
||
|
|
## Installing latexmk
|
||
|
|
|
||
|
|
First install basictex
|
||
|
|
```
|
||
|
|
sudo brew install basictex
|
||
|
|
```
|
||
|
|
|
||
|
|
Then install the dependencies for the paper (sigh, by hand):
|
||
|
|
|
||
|
|
```
|
||
|
|
sudo tlmgr update --all
|
||
|
|
sudo tlmgr install acmart
|
||
|
|
sudo tlmgr install iftex
|
||
|
|
sudo tlmgr install xstring
|
||
|
|
sudo tlmgr install environ
|
||
|
|
sudo tlmgr install totpages
|
||
|
|
sudo tlmgr install trimspaces
|
||
|
|
sudo tlmgr install manyfoot
|
||
|
|
sudo tlmgr install ncctools
|
||
|
|
sudo tlmgr install comment
|
||
|
|
sudo tlmgr install balance
|
||
|
|
sudo tlmgr install preprint
|
||
|
|
sudo tlmgr install libertine
|
||
|
|
sudo tlmgr install inconsolata
|
||
|
|
sudo tlmgr install newtx
|
||
|
|
sudo tlmgr install latexmk
|
||
|
|
```
|
||
|
|
|
||
|
|
## Building the paper
|
||
|
|
|
||
|
|
To build the paper:
|
||
|
|
```
|
||
|
|
latexmk --pdf hatra21
|
||
|
|
```
|
||
|
|
|
||
|
|
To run latexmk in watching mode (where it rebuilds the PDF on each change):
|
||
|
|
```
|
||
|
|
latexmk --pdf --pvc hatra21
|
||
|
|
```
|