sanity checking mismatch

[ianamason]

iam@shaman:~/Repositories/yices2$ wllvm-sanity-checker

We are wllvm version 1.1.3 and we are using clang.

The C compiler /usr/local/llvm-3.5/bin/clang is:

	clang version 3.5.2 (branches/release_35 229013) (llvm/branches/release_35 229009)

The C++ compiler /usr/local/llvm-3.5/bin/clang++ is:

	clang version 3.5.2 (branches/release_35 229013) (llvm/branches/release_35 229009)

The bitcode linker /usr/local/llvm-3.5/bin/llvm-link is:

	LLVM version 3.5.2

The bitcode archiver /usr/local/llvm-3.5/bin/llvm-ar is:

	LLVM version 3.5.2

Not using a bitcode store.

compilers match, archiver and linker do not.

iam@shaman:~/Repositories/yices2$ gsanity-check

Logging output directed to /tmp/gllvm.txt.
Logging level is set to DEBUG.

Happily sitting atop "linux" operating system.

The C compiler /usr/local/llvm-3.5/bin/clang is:

	clang version 3.5.2 (branches/release_35 229013) (llvm/branches/release_35 229009)

The CXX compiler /usr/local/llvm-3.5/bin/clang++ is:

	clang version 3.5.2 (branches/release_35 229013) (llvm/branches/release_35 229009)

The bitcode linker llvm-link is:

	LLVM version 3.8.1

The bitcode archiver llvm-ar is:

	LLVM version 3.8.1

Not using a bitcode store.

[ianamason]

fixed.