svadev AT lists.siebelschool.illinois.edu

Subject: Svadev mailing list

List archive

[svadev] where is lgdtoa?

From: "Sean McBride" <sean AT rogue-research.com>
To: <svadev AT cs.uiuc.edu>
Subject: [svadev] where is lgdtoa?
Date: Tue, 20 Dec 2011 17:00:29 -0500
List-archive: <http://lists.cs.uiuc.edu/pipermail/svadev>
List-id: <svadev.cs.uiuc.edu>
Organization: Rogue Research Inc.

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?

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] where is lgdtoa?, Sean McBride, 12/20/2011
- Re: [svadev] where is lgdtoa?, John Criswell, 12/20/2011
  - Re: [svadev] where is lgdtoa?, Sean McBride, 12/20/2011
  - Re: [svadev] where is lgdtoa?, Sean McBride, 12/21/2011
    - Re: [svadev] where is lgdtoa?, John Criswell, 12/21/2011
      - Re: [svadev] where is lgdtoa?, Sean McBride, 12/21/2011
        
        Re: [svadev] where is lgdtoa?, John Criswell, 12/21/2011
        
        Re: [svadev] where is lgdtoa?, Sean McBride, 12/21/2011
        
        Re: [svadev] where is lgdtoa?, John Criswell, 12/21/2011
        Re: [svadev] where is lgdtoa?, Sean McBride, 12/21/2011
        
        Re: [svadev] where is lgdtoa?, Sean McBride, 12/21/2011