Makefile · c04340115fd62200e7f1b9341e31acd7e45540a0 · Tej Chajed / iris · GitLab

Find file Blame History Permalink

simplify our build instructions to just "make" · c0434011
Ralf Jung authored Feb 12, 2016
```
thanks to Christian Doczkal <doczkal@ps.uni-saarland.de> for the Makefile snippet!
```
c0434011