svadev AT lists.siebelschool.illinois.edu

Subject: Svadev mailing list

List archive

Re: [svadev] SAFECode Mainline Ready for Development

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: Tue, 18 Sep 2012 00:29:04 +0200
Importance: Normal
List-archive: <http://lists.cs.uiuc.edu/pipermail/svadev/>
List-id: <svadev.cs.uiuc.edu>

John Criswell wrote:
> 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?

The command was

../llvmtrunk/configure --with-llvmsrc=/local/mar_/llvmtrunk
--with-llvmobj=/local/mar_/buildsafecode/ --enable-optimized

llvmtrunk contains LLVM, clang, compiler-rt and SAFECode, poolalloc in the
directories shown in the install guide. I ran the command from the object
dir where I afterwards ran make tools-only etc.

Best regards,
Martin

[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/17/2012
    - Re: [svadev] SAFECode Mainline Ready for Development, Martin Richtarsky, 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