bluespec and c++ now compile, but synthesis is looking for some constraints files which I can't seem to locate