install stack if not present

mit-plv / riscv-semantics

A formal semantics of the RISC-V ISA in Haskell

BSD 3-Clause "New" or "Revised" License

155 stars 16 forks source link

Closed jameyhicks closed 6 years ago

jameyhicks commented 6 years ago

This change modifies install.sh so that it will install stack if not already installed.