svadev AT lists.siebelschool.illinois.edu
Subject: Svadev mailing list
List archive
- From: "Sean McBride" <sean AT rogue-research.com>
- To: "John Criswell" <criswell AT illinois.edu>
- Cc: svadev AT cs.uiuc.edu
- Subject: Re: [svadev] where is lgdtoa?
- Date: Tue, 20 Dec 2011 17:41:33 -0500
- List-archive: <http://lists.cs.uiuc.edu/pipermail/svadev>
- List-id: <svadev.cs.uiuc.edu>
- Organization: Rogue Research Inc.
On Tue, 20 Dec 2011 16:09:39 -0600, John Criswell said:
>I haven't updated the source tarballs on the web site in awhile. Since
>I originally created them, mainline SAFECode has progressed to adding
>memory safety checks for calls to the C library; this necessitated
>adding a new library (libgdtoa) to the link command line.
>
>The web site documents are following mainline SAFECode in the Subversion
>repository. The old source tarballs do not have libgdtoa, and so you
>can omit it from the link command-line.
>
>I'll try to update the tarballs when I get back from vacation in
>January. In the meantime, I recommend getting the new code from SVN.
John,
Thanks for the fast reply. I'll try building from source.
I think I was mislead by the downloads page:
<http://llvm.cs.illinois.edu/downloads.html>
which has a section titled "SAFECODE FOR LLVM 3.0". As clang 3 just came
out, I assumed this was very recent. I didn't notice the word "snapshots" in
there... :)
Cheers,
--
____________________________________________________________
Sean McBride, B. Eng
sean AT rogue-research.com
Rogue Research www.rogue-research.com
Mac Software Developer Montréal, Québec, Canada
- [svadev] where is lgdtoa?, Sean McBride, 12/20/2011
- Re: [svadev] where is lgdtoa?, John Criswell, 12/20/2011
- Re: [svadev] where is lgdtoa?, Sean McBride, 12/20/2011
- Re: [svadev] where is lgdtoa?, Sean McBride, 12/21/2011
- Re: [svadev] where is lgdtoa?, John Criswell, 12/21/2011
- Re: [svadev] where is lgdtoa?, Sean McBride, 12/21/2011
- Re: [svadev] where is lgdtoa?, John Criswell, 12/21/2011
- Re: [svadev] where is lgdtoa?, Sean McBride, 12/21/2011
- Re: [svadev] where is lgdtoa?, John Criswell, 12/21/2011
- Re: [svadev] where is lgdtoa?, Sean McBride, 12/21/2011
- Re: [svadev] where is lgdtoa?, Sean McBride, 12/21/2011
- Re: [svadev] where is lgdtoa?, Sean McBride, 12/21/2011
- Re: [svadev] where is lgdtoa?, John Criswell, 12/21/2011
- Re: [svadev] where is lgdtoa?, Sean McBride, 12/21/2011
- Re: [svadev] where is lgdtoa?, John Criswell, 12/21/2011
- Re: [svadev] where is lgdtoa?, John Criswell, 12/20/2011
Archive powered by MHonArc 2.6.16.