Skip to Content.
Sympa Menu

svadev - [svadev] Make lit and Debug mode

svadev AT lists.siebelschool.illinois.edu

Subject: Svadev mailing list

List archive

[svadev] Make lit and Debug mode


Chronological Thread 
  • 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




Archive powered by MHonArc 2.6.16.

Top of Page