# 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
```