[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.

- 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