Svadev mailing list

[Santosh Nagarakatte <santoshn AT cis.upenn.edu>]

I just have a Debug+Asserts build.

Santosh

On 12/12/2011 04:25 PM, Matthew Wala wrote:
> 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