svadev AT lists.siebelschool.illinois.edu
Subject: Svadev mailing list
List archive
- From: geremy condra <debatem1 AT gmail.com>
- To: Matthew Wala <wala1 AT illinois.edu>
- Cc: svadev AT cs.uiuc.edu
- Subject: Re: [svadev] problems installing safecode
- Date: Mon, 3 Oct 2011 13:10:57 -0700
- List-archive: <http://lists.cs.uiuc.edu/pipermail/svadev>
- List-id: <svadev.cs.uiuc.edu>
On Mon, Oct 3, 2011 at 12:06 PM, Matthew Wala
<wala1 AT illinois.edu>
wrote:
<snip>
>
> I guess I wasn't clear. I meant replacing all the SAFECode runtime
> library parameters with the static versions.
>
> So use something like:
>
> clang -g -fmemsafety -o test test.c /usr/local/lib/libsc_dbg_rt.a
> /usr/local/lib/libpoolalloc_bitmap.a /usr/local/lib/libgdtoa.a
> -lstdc++
Ah, sorry, I misunderstood. The great news is that it seems to work,
which I admit has me very excited. It does emit a seemingly endless
stream of errors, but I can work with that. Is there something I'm
missing with getting shared libraries to work, though? If possible it
would be my preferred approach.
> What sort of errors are you getting with the 2.7 version? It uses a
> different tool but you have to link in the same libraries.
It looked like an API change. I'll get you the errors tonight- would
be sooner, but I don't want to mess up this machine now that I have
safecode working on it.
Geremy Condra
- [svadev] problems installing safecode, geremy condra, 10/02/2011
- Re: [svadev] problems installing safecode, Vikram Adve, 10/02/2011
- Re: [svadev] problems installing safecode, John Criswell, 10/02/2011
- Re: [svadev] problems installing safecode, geremy condra, 10/02/2011
- Re: [svadev] problems installing safecode, Matthew Wala, 10/02/2011
- Re: [svadev] problems installing safecode, geremy condra, 10/02/2011
- Re: [svadev] problems installing safecode, geremy condra, 10/02/2011
- Re: [svadev] problems installing safecode, Matthew Wala, 10/03/2011
- Re: [svadev] problems installing safecode, geremy condra, 10/03/2011
- Re: [svadev] problems installing safecode, Matthew Wala, 10/03/2011
- Re: [svadev] problems installing safecode, geremy condra, 10/03/2011
- Re: [svadev] problems installing safecode, Vikram Adve, 10/05/2011
- Re: [svadev] problems installing safecode, geremy condra, 10/05/2011
- Re: [svadev] problems installing safecode, Matthew Wala, 10/06/2011
- Re: [svadev] problems installing safecode, Matthew Wala, 10/03/2011
- Re: [svadev] problems installing safecode, geremy condra, 10/02/2011
- Re: [svadev] problems installing safecode, geremy condra, 10/02/2011
- Re: [svadev] problems installing safecode, Matthew Wala, 10/02/2011
- Re: [svadev] problems installing safecode, geremy condra, 10/02/2011
Archive powered by MHonArc 2.6.16.