svadev AT lists.siebelschool.illinois.edu
Subject: Svadev mailing list
List archive
- From: Matthew Wala <wala1 AT illinois.edu>
- To: geremy condra <debatem1 AT gmail.com>
- Cc: svadev AT cs.uiuc.edu
- Subject: Re: [svadev] problems installing safecode
- Date: Mon, 3 Oct 2011 13:19:42 -0500
- List-archive: <http://lists.cs.uiuc.edu/pipermail/svadev>
- List-id: <svadev.cs.uiuc.edu>
On Sun, Oct 2, 2011 at 3:29 PM, geremy condra
<debatem1 AT gmail.com>
wrote:
> On Sun, Oct 2, 2011 at 1:07 PM, geremy condra
> <debatem1 AT gmail.com>
> wrote:
>> On Sun, Oct 2, 2011 at 12:54 PM, Matthew Wala
>> <wala1 AT illinois.edu>
>> wrote:
>>>
>>> The libraries to link in should actually be -lsc_dbg_rt
>>> -lpoolalloc_bitmap -lgdtoa -lstdc++.
>>> I've added that to the svn documentation but apparently it's not on the
>>> website.
>>>
>>> Matt
>>>
>>
>> Thanks for your help, but unfortunately while this eliminates the
>> undefined reference errors in libsc_dbg_rt.so it doesn't seem to do
>> anything for the test application.
>>
>> As a note, simply executing a `make` instead of a `make tools-only`
>> seems to drop a small handful of the errors. Here's what I have now:
>>
>> user@machine:/tmp$
>> clang -g -fmemsafety -o test test.c -lsc_dbg_rt
>> -lpoolalloc_bitmap -lgdtoa -lstdc++
>> /tmp/test-AYWkSt.o: In function `foo':
>> /tmp/test.c:5: undefined reference to `pool_register_stack_debug'
>> /tmp/test.c:5: undefined reference to `pool_register_stack_debug'
>> /tmp/test.c:5: undefined reference to `fastlscheck_debug'
>> /tmp/test.c:5: undefined reference to `fastlscheck_debug'
>> /tmp/test.c:5: undefined reference to `fastlscheck_debug'
>> /tmp/test.c:5: undefined reference to `fastlscheck_debug'
>> /tmp/test.c:6: undefined reference to `fastlscheck_debug'
>> /tmp/test-AYWkSt.o:/tmp/test.c:6: more undefined references to
>> `fastlscheck_debug' follow
>> /tmp/test-AYWkSt.o: In function `foo':
>> /tmp/test.c:6: undefined reference to `pool_unregister_stack_debug'
>> /tmp/test.c:6: undefined reference to `pool_unregister_stack_debug'
>> /tmp/test-AYWkSt.o: In function `main':
>> /tmp/test.c:12: undefined reference to `poolargvregister'
>> /tmp/test.c:12: undefined reference to `pool_register_stack_debug'
>> /tmp/test.c:12: undefined reference to `pool_register_stack_debug'
>> /tmp/test.c:12: undefined reference to `pool_register_stack_debug'
>> /tmp/test.c:12: undefined reference to `pool_register_stack_debug'
>> /tmp/test.c:12: undefined reference to `pool_register_stack_debug'
>> /tmp/test-AYWkSt.o:/tmp/test.c:12: more undefined references to
>> `pool_register_stack_debug' follow
>> /tmp/test-AYWkSt.o: In function `main':
>> /tmp/test.c:12: undefined reference to `fastlscheck_debug'
>> /tmp/test.c:12: undefined reference to `fastlscheck_debug'
>> /tmp/test.c:12: undefined reference to `fastlscheck_debug'
>> /tmp/test.c:12: undefined reference to `fastlscheck_debug'
>> /tmp/test.c:12: undefined reference to `fastlscheck_debug'
>> /tmp/test-AYWkSt.o:/tmp/test.c:12: more undefined references to
>> `fastlscheck_debug' follow
>> /tmp/test-AYWkSt.o: In function `main':
>> /tmp/test.c:17: undefined reference to `pool_register_debug'
>> /tmp/test.c:17: undefined reference to `fastlscheck_debug'
>> /tmp/test.c:17: undefined reference to `fastlscheck_debug'
>> /tmp/test.c:17: undefined reference to `fastlscheck_debug'
>> /tmp/test.c:16: undefined reference to `fastlscheck_debug'
>> /tmp/test.c:16: undefined reference to `fastlscheck_debug'
>> /tmp/test-AYWkSt.o:/tmp/test.c:20: more undefined references to
>> `fastlscheck_debug' follow
>> /usr/local/lib/libsc_dbg_rt.so: undefined reference to `__poolalloc_init'
>
> Hmm, I missed this last one. This seems to be in poolalloc.so, but
> linking that gives me lots and lots of issues.
>
> Geremy Condra
>
What happens when you try to compile the file with the static version
of the libraries as parameters (eg, /usr/local/lib/libsc_dbg_rt.a
instead of -lsc_dbg_rt)?
Matt
- [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.