Svadev mailing list

[Matthew Wala <wala1 AT illinois.edu>]

On Mon, Dec 12, 2011 at 2:31 PM, Santosh Nagarakatte
<santoshn AT cis.upenn.edu>
 wrote:
> Hi all,
>
> I have Debug+Asserts build of llvm-3.0 and safecode from the trunk
> with revision 146398.
>
> However the litmus tests in safecode/test/  files always use the
> Release+Asserts build of clang.
>
> I am trying to run the litmus test with
> make ENABLE_OPTIMIZED=0 lit
>
> I see that it uses the BUILDMODE variable to determine the build type
> in the makefile at safecode/test/. However I was not able to figure
> out where the BUILDMODE was set.
>
> How do I make the litmus tests to use the Debug+Asserts build of SafeCode?


BuildMode is set by llvm's Makefile.rules.
I've encountered a similar issue before. I think it was due to the
fact that I had multiple builds of different type in the same object
tree (I don't know if that's supported or not. If it is, then the
behavior you're encountering is a SAFECode bug.) Are you sure that
your object trees have only been used to build Debug+Asserts versions
of llvm and SAFECode?

Matt

>
> Thanks,
> Santosh
>
> --
> Santosh G Nagarakatte,
> PhD Student,
> Computer and Information Science Department
> University of Pennsylvania,
> Philadelphia-19104
> http://www.cis.upenn.edu/~santoshn
> _______________________________________________
> svadev mailing list
> svadev AT cs.uiuc.edu
> http://lists.cs.uiuc.edu/mailman/listinfo/svadev