Skip to Content.
Sympa Menu

svadev - Re: [svadev] Problems with SAFECode Builds

svadev AT lists.siebelschool.illinois.edu

Subject: Svadev mailing list

List archive

Re: [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: Re: [svadev] Problems with SAFECode Builds
  • Date: Thu, 20 Oct 2011 15:48:32 -0500
  • List-archive: <http://lists.cs.uiuc.edu/pipermail/svadev>
  • List-id: <svadev.cs.uiuc.edu>
  • Organization: University of Illinois

On 10/19/11 5:27 PM, John Criswell wrote:
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.

I've finished fixing the compilation issues with SAFECode and the release_30 branch of LLVM. If you run into problems building or using SAFECode, please email the list.

Regards,

-- John T.





Archive powered by MHonArc 2.6.16.

Top of Page