svadev AT lists.siebelschool.illinois.edu
Subject: Svadev mailing list
List archive
- From: Santosh Nagarakatte <santoshn AT cis.upenn.edu>
- To: svadev AT cs.uiuc.edu
- Subject: [svadev] Make lit and Debug mode
- Date: Mon, 12 Dec 2011 15:31:00 -0500
- List-archive: <http://lists.cs.uiuc.edu/pipermail/svadev>
- List-id: <svadev.cs.uiuc.edu>
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?
Thanks,
Santosh
--
Santosh G Nagarakatte,
PhD Student,
Computer and Information Science Department
University of Pennsylvania,
Philadelphia-19104
http://www.cis.upenn.edu/~santoshn
- [svadev] Make lit and Debug mode, Santosh Nagarakatte, 12/12/2011
- Re: [svadev] Make lit and Debug mode, Matthew Wala, 12/12/2011
- Re: [svadev] Make lit and Debug mode, Santosh Nagarakatte, 12/12/2011
- Re: [svadev] Make lit and Debug mode, Will Dietz, 12/12/2011
- Re: [svadev] Make lit and Debug mode, Santosh Nagarakatte, 12/12/2011
- Re: [svadev] Make lit and Debug mode, Will Dietz, 12/12/2011
- Re: [svadev] Make lit and Debug mode, Santosh Nagarakatte, 12/12/2011
- Re: [svadev] Make lit and Debug mode, Matthew Wala, 12/12/2011
Archive powered by MHonArc 2.6.16.