[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [creduce-bugs] can't build
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.
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.