Paulo> Oh yes, indeed it runs from the build directory. It seems `make
Paulo> install` is broken then. :-/
I just tried "make install" and running the installed C-Reduce files just now,
and I didn't have any difficulty.
(This was with LLVM 3.3 release, but I doubt that makes much difference. If
clang_delta compiles, I don't know of a reason why C-Reduce wouldn't work once
installed.)
I checked the "pass_clang_binsrch" module, and I think it finds the installed
clang_delta binary in the expected way. The logic for distinguishing installed
programs from development copies is a bit ad hoc, but as far as I know, it
works OK.
If you can give me more information about how "make install" or the installed
programs fail for you, I would be happy to investigate!
Thanks ---
Eric.
--
-------------------------------------------------------------------------------
Eric Eide <[email protected]> . University of Utah School of Computing
http://www.cs.utah.edu/~eeide/ . +1 (801) 585-5512 voice, +1 (801) 581-5843 FAX
