On 07/18/2014 12:30 PM, chenyang wrote:
On 2014-07-18 11:33, John Regehr wrote:A minor issue in the INSTALL file: I think only 3.4.2 failed (I successfully built creduce with llvm 3.4.1 and 3.4.0 binary. )Interesting-- can you edit it a bit to say this?Yes. I will double-check when I get home and then update the file. - Yang
I updated the INSTALL file with a tiny change: replaced 3.4 with 3.4.2.My memory was wrong. I didn't build creduce with the 3.4 and 3.4.1 binaries on Ubuntu 14.04, because there are no such official binaries. I built 3.4 and 3.4.1 own my own.
On the other hand, I double-checked that creduce works fine with the official 3.4 and 3.4.1 versions for Ubuntu 12.04.
- Yang