Glen Ditchfield

Builds and a.out should find krun in $PATH

2

I built c-semantics on a computer running Ubuntu 18.04 and found some problems with file paths. I followed INSTALL.md. In step 3 "Install K" I ran into some difficulties building...