Skip to Content.
Sympa Menu

svadev - [svadev] Problems with SAFECode Builds

svadev AT lists.siebelschool.illinois.edu

Subject: Svadev mailing list

List archive

[svadev] Problems with SAFECode Builds


Chronological Thread 
  • From: John Criswell <criswell AT illinois.edu>
  • To: "svadev AT cs.uiuc.edu" <svadev AT cs.uiuc.edu>
  • Subject: [svadev] Problems with SAFECode Builds
  • Date: Wed, 19 Oct 2011 17:27:16 -0500
  • List-archive: <http://lists.cs.uiuc.edu/pipermail/svadev>
  • List-id: <svadev.cs.uiuc.edu>
  • Organization: University of Illinois

Dear All,

I haven't updated my mainline LLVM tree recently, but I suspect that the mainline poolalloc and SAFECode will not build with mainline LLVM. This is because there's been recent commits to refactor the "projects" support that allows poolalloc and SAFECode to reuse LLVM's Makefiles. I have not tested whether these commits break the build, but there is a chance that they do.

Fortunately, we're intending SAFECode to work with LLVM 3.0 at present, so I am in the process of updating the SAFECode documentation and verifying that compiling with the release_30 branch of LLVM actually works. I've already hit one snag (poolalloc does not compile with assertions disabled), so SAFECode builds from SVN might not work at present.

I'm working on the problem and hope to have it resolved soon. I'll post again when I have it working.

Regards,

-- John T.







Archive powered by MHonArc 2.6.16.

Top of Page