svadev AT lists.siebelschool.illinois.edu
Subject: Svadev mailing list
List archive
- 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.
- [svadev] Problems with SAFECode Builds, John Criswell, 10/19/2011
- Re: [svadev] Problems with SAFECode Builds, John Criswell, 10/20/2011
Archive powered by MHonArc 2.6.16.