"Paulo" == Paulo Matos <[email protected]> writes:
Paulo> * Creduce has quite a few dependencies, making it quite an
Paulo> annoying process to install on my machine at work. Are there
Paulo> any 64bit static binaries out there?
We do not currently provide such binaries, no.
I'll mention that several of the dependencies listed in the current "INSTALL"
file are not compile-time library dependencies; rather, they run-time Perl
library or external binary dependencies (astyle, clang-format, delta, indent).
What I mean to say is, making a completely "statically linked" C-Reduce package
--- one where you wouldn't have to install anything at all --- isn't just a
matter of providing a a statically linked binary of `clang_delta'. Other
problems would need to be solved as well.
Paulo> * Is the latest Creduce compatible with LLVM 3.3 stable?
Yes, but see the "INSTALL" file for advice that can speed up C-Reduce.
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
