24 lines
411 B
Markdown
24 lines
411 B
Markdown
# Benchmark specifications
|
|
|
|
Run `make` to compile the specifications:
|
|
|
|
``` bash
|
|
./make
|
|
```
|
|
|
|
Run the scripts `regen-figs` if you want to re-generate the figures and tables:
|
|
|
|
``` bash
|
|
./regen-figs
|
|
```
|
|
|
|
Install latex packages:
|
|
|
|
``` bash
|
|
sudo apt-get install texlive-full
|
|
```
|
|
or
|
|
|
|
``` bash
|
|
sudo apt-get install texlive-latex-base texlive-latex-extra texlive-fonts-extra texlive-fonts-recommended texlive-science
|
|
```
|