Svadev mailing list

[Jason Newton <nevion AT gmail.com>]

On Tue, Apr 3, 2012 at 12:51 PM, John Criswell 
<criswell AT illinois.edu>
 wrote:
> On 4/3/12 2:42 PM, Jason Newton wrote:
>>
>> Hi All,
>> This email got blackhole'd yesterday, my test email a few minutes ago
>> worked however.
>>
>> make[4]: *** No rule to make target
>>
>> `/home/jason/tmp/safecode/build/projects/poolalloc/Release+Asserts/lib/LLVMDataStructure.a',
>> needed by
>> `/home/jason/tmp/safecode/build/projects/safecode/Release+Asserts/lib/libLLVMDataStructure.a'.
>>  Stop.
>>
>> I imagine this is a make issue, I'm using 3.82 on opensuse 12.1 x86_64
>
>
> Did you compile poolalloc first per the directions?  If so, did you compile
> it as a Release+Asserts build?
>

Sorry, I did not follow the installation procedure from safecode, I
assumed it built normally after looking over llvm's build page and how
subprojects are built as part of the build infrastructure.  This was
the issue and my mistake for not RTFMing the right manual.

>
>>
>> Btw is there any effort to sync back up with 3.1?  C++ support in 3.0
>> is kinda lacking and can't really digest boost.  They removed the
>> UnwindInst and changed the exception mehcanism but the rest may not be
>> so bad..
>
>
> Not at the moment.  At Illinois, we don't really have anyone who is free to
> do an update, nor have we seen a pressing need internally yet.

This is a bit concerning.  Perhaps I'm reacting a bit too early but
I've seen many of these academic originating useful projects fall by
the wayside.  Perhaps there should be an effort for inclusion into
llvm mainline so this useful work doesn't.  Again apologies if I'm
overreacting but I wish to voice my concern on this, I've seen it
happen with projects like tcng, openmosix, lti-lib just to name a few.

> Is working with LLVM 3.0 problematic for any other SAFECode/SoftBound users
> out there?
>
>
llvm 3.0 means you cannot use boost c++ libraries which alone sucks...
 boost 1.49.0  btw.  It seems its all rvalue reference stuff that
breaks it.  These errors went away in llvm/clang svn.  No real c++11
support on 3.0.

>>
>> ps.  Interesting this grew out of DOD / AFRL / NSF funding :-).
>
>
> Just out of curiosity, why do you think it's interesting?  These are fairly
> standard funding agencies for CS research.

This is such a nice tool.  It's not too often one comes across an
academic research based project that is practically usable.  This is
government funding being used correctly.

Finally a challenger/alternative to valgrind.

Best Regards,
Jason

>
> -- John T.
>>
>>
>> _______________________________________________
>> svadev mailing list
>> svadev AT cs.uiuc.edu
>> http://lists.cs.uiuc.edu/mailman/listinfo/svadev
>
>