Skip to Content.
Sympa Menu

svadev - Re: [svadev] SAFECode Mainline Ready for Development

svadev AT lists.siebelschool.illinois.edu

Subject: Svadev mailing list

List archive

Re: [svadev] SAFECode Mainline Ready for Development


Chronological Thread 
  • From: "Martin Richtarsky" <ps1 AT martinien.de>
  • To: "svadev AT cs.uiuc.edu" <svadev AT cs.uiuc.edu>
  • Subject: Re: [svadev] SAFECode Mainline Ready for Development
  • Date: Mon, 17 Sep 2012 23:09:40 +0200
  • Importance: Normal
  • List-archive: <http://lists.cs.uiuc.edu/pipermail/svadev/>
  • List-id: <svadev.cs.uiuc.edu>

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.


Best regards,
Martin





Archive powered by MHonArc 2.6.16.

Top of Page