svadev AT lists.siebelschool.illinois.edu
Subject: Svadev mailing list
List archive
- From: John Criswell <criswell AT illinois.edu>
- To: Martin Richtarsky <ps1 AT martinien.de>
- Cc: "svadev AT cs.uiuc.edu" <svadev AT cs.uiuc.edu>
- Subject: Re: [svadev] SAFECode Mainline Ready for Development
- Date: Mon, 17 Sep 2012 17:16:09 -0500
- List-archive: <http://lists.cs.uiuc.edu/pipermail/svadev/>
- List-id: <svadev.cs.uiuc.edu>
- Organization: University of Illinois
On 9/17/12 4:09 PM, Martin Richtarsky wrote:
John Criswell schrieb:
Dear All,
I'm writing to let everyone know that SAFECode mainline (which works
with LLVM mainline) is now ready for development. All SAFECode
developers should submit new patches and commits to mainline SAFECode;
we're freezing the release_30 branch of SAFECode.
I'm getting a linker error when building current LLVM trunk together with
SAFECode trunk. Anyone has seen this before?
llvm[4]: Linking Release+Asserts Shared Library libclang.so
/usr/lib64/gcc/x86_64-suse-linux/4.3/../../../../x86_64-suse-linux/bin/ld:
anonymous version tag cannot be combined with other version tags
collect2: ld returned 1 exit status
make[4]: ***
[/local/mar_/buildsafecode/projects/safecode/Release+Asserts/lib/libclang.so]
Error 1
I have already tried with latest binutils but this didn't help.
I did an svn up on LLVM mainline (revision 164055) and rebuilt LLVM and SAFECode in Release+Asserts mode with no problem.
In addition to your GCC and LD versions, can you send the configure command line that you used to configure LLVM and SAFECode?
-- John T.
Best regards,
Martin
_______________________________________________
svadev mailing list
svadev AT cs.uiuc.edu
http://lists.cs.uiuc.edu/mailman/listinfo/svadev
- [svadev] SAFECode Mainline Ready for Development, John Criswell, 09/17/2012
- Re: [svadev] SAFECode Mainline Ready for Development, Martin Richtarsky, 09/17/2012
- Re: [svadev] SAFECode Mainline Ready for Development, John Criswell, 09/17/2012
- Re: [svadev] SAFECode Mainline Ready for Development, Martin Richtarsky, 09/17/2012
- Re: [svadev] SAFECode Mainline Ready for Development, John Criswell, 09/18/2012
- Re: [svadev] SAFECode Mainline Ready for Development, Ott Tinn, 09/25/2012
- Re: [svadev] SAFECode Mainline Ready for Development, John Criswell, 09/18/2012
- Re: [svadev] SAFECode Mainline Ready for Development, Martin Richtarsky, 09/17/2012
- Re: [svadev] SAFECode Mainline Ready for Development, John Criswell, 09/17/2012
- Re: [svadev] SAFECode Mainline Ready for Development, Martin Richtarsky, 09/17/2012
- Re: [svadev] SAFECode Mainline Ready for Development, John Criswell, 09/17/2012
- Re: [svadev] SAFECode Mainline Ready for Development, Baozeng, 09/21/2012
- Re: [svadev] SAFECode Mainline Ready for Development, John Criswell, 09/22/2012
- Re: [svadev] SAFECode Mainline Ready for Development, John Criswell, 09/22/2012
- Re: [svadev] SAFECode Mainline Ready for Development, Baozeng, 09/23/2012
- Re: [svadev] SAFECode Mainline Ready for Development, Baozeng, 09/24/2012
- Re: [svadev] SAFECode Mainline Ready for Development, John Criswell, 09/24/2012
- Re: [svadev] SAFECode Mainline Ready for Development, Baozeng, 09/24/2012
- Re: [svadev] SAFECode Mainline Ready for Development, John Criswell, 09/25/2012
- Re: [svadev] SAFECode Mainline Ready for Development, Baozeng, 09/24/2012
- Re: [svadev] SAFECode Mainline Ready for Development, John Criswell, 09/24/2012
- Re: [svadev] SAFECode Mainline Ready for Development, Baozeng, 09/24/2012
- Re: [svadev] SAFECode Mainline Ready for Development, Baozeng, 09/23/2012
- Re: [svadev] SAFECode Mainline Ready for Development, Martin Richtarsky, 09/17/2012
Archive powered by MHonArc 2.6.16.