Svadev mailing list

[John Criswell <criswell AT illinois.edu>]

On 12/20/11 4:00 PM, Sean McBride wrote:
> Hi all,
>
> I'm just trying SAFECode for the first time.  Please be gentle. :)
>
> The Users Guide here:
> <http://llvm.cs.illinois.edu/docs/UsersGuide.html>
>
> says I should add -lgdtoa.  But I can't find this lib, where is it?  I'm 
> using the binaries from here:
> <http://llvm.cs.illinois.edu/releases/sc.mac.tar.gz>
>
> I can still build a toy app without it, and things seem to work.  Is it just 
> out of date docs?

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 T.

> Thanks,
>
> --
> ____________________________________________________________
> Sean McBride, B. Eng                 
> sean AT rogue-research.com
> Rogue Research                        www.rogue-research.com
> Mac Software Developer              Montréal, Québec, Canada
>
>
>
> _______________________________________________
> svadev mailing list
> svadev AT cs.uiuc.edu
> http://lists.cs.uiuc.edu/mailman/listinfo/svadev