[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [creduce-dev] Close to New C-Reduce Release

To: John Regehr <regehr@cs.utah.edu>
Subject: Re: [creduce-dev] Close to New C-Reduce Release
From: Markus Trippelsdorf <markus@trippelsdorf.de>
Date: Tue, 22 Sep 2015 21:54:53 +0200
Cc: creduce-dev@flux.utah.edu
Dkim-signature: v=1; a=rsa-sha256; c=simple; d=mail.ud10.udmedia.de; h= date:from:to:cc:subject:message-id:references:mime-version :content-type:in-reply-to; s=beta; bh=I2LuDfREki2+a0rwopvIihIGal 9xd+6yr/otN+9ACTg=; b=sT3GWWqmLPRtuKXXkuNRVmavB6qZxYoo+U4AJFgls/ aJ0A+KdH1aDvxbDRSkxiGJKmf/+JgZv5TqSa5MZYmYRVYcp5yXc3bsFrZQZSiwr8 qF9iDxj4EkzCs0YyUgXt5zCxvKFrL1xkw6Zgv9I28IBbrVnzR+OEn2TR+YmUMRFU M=
In-reply-to: <5601ADAE.6000107@cs.utah.edu>
List-archive: </listarchives/creduce-dev>
List-help: <mailto:creduce-dev-request@flux.utah.edu?subject=help>
List-id: C-Reduce Development Mailing List <creduce-dev.flux.utah.edu>
List-post: <mailto:creduce-dev@flux.utah.edu>
List-subscribe: <http://www.flux.utah.edu/mailman/listinfo/creduce-dev>, <mailto:creduce-dev-request@flux.utah.edu?subject=subscribe>
List-unsubscribe: <http://www.flux.utah.edu/mailman/options/creduce-dev>, <mailto:creduce-dev-request@flux.utah.edu?subject=unsubscribe>
References: <m1oagvtw6v.fsf@cs.utah.edu> <e26f3ed480f667da73c68d2867fa9be5@cs.utah.edu> <56019DA2.9000600@cs.utah.edu> <m137y6p9lp.fsf@cs.utah.edu> <5601A558.5080709@cs.utah.edu> <m1y4fyntkc.fsf@cs.utah.edu> <5601AD05.1040507@cs.utah.edu> <5601ADAE.6000107@cs.utah.edu>

On 2015.09.22 at 21:36 +0200, John Regehr wrote:
> More detail below.  Unless I've made some mistake, I'm running super 
> vanilla software here.

This issue happens when LLVM was build with clang.
"llvm-config --cxxflags" will then contain flags that gcc doesn't
understand. Looks like an Ubuntu bug to me.

-- 
Markus

References:
- [creduce-dev] Close to New C-Reduce Release
  - From: Eric Eide <eeide@cs.utah.edu>
- Re: [creduce-dev] Close to New C-Reduce Release
  - From: Yang Chen <chenyang@cs.utah.edu>
- Re: [creduce-dev] Close to New C-Reduce Release
  - From: John Regehr <regehr@cs.utah.edu>
- Re: [creduce-dev] Close to New C-Reduce Release
  - From: Eric Eide <eeide@cs.utah.edu>
- Re: [creduce-dev] Close to New C-Reduce Release
  - From: John Regehr <regehr@cs.utah.edu>
- Re: [creduce-dev] Close to New C-Reduce Release
  - From: Eric Eide <eeide@cs.utah.edu>
- Re: [creduce-dev] Close to New C-Reduce Release
  - From: John Regehr <regehr@cs.utah.edu>
- Re: [creduce-dev] Close to New C-Reduce Release
  - From: John Regehr <regehr@cs.utah.edu>

Prev by Date: Re: [creduce-dev] Close to New C-Reduce Release
Next by Date: Re: [creduce-dev] Close to New C-Reduce Release
Previous by thread: Re: [creduce-dev] Close to New C-Reduce Release
Next by thread: Re: [creduce-dev] Close to New C-Reduce Release
Index(es):
- Date
- Thread