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

Re: [creduce-dev] multifile creduce

Got it, thanks. But I think Johan indicated that we should take Moritz's patch instead! That patch has the advantage of not modifying the C-Reduce core at all.

It does need to be squashed though.


On 10/20/15 10:57 PM, Yang Chen wrote:
On 2015-10-20 13:48, John Regehr wrote:
We can definitely find a clang to run -- we already find clang-format
for example.

But Yang I do not see any clang invocations in here, am I missing


I referred to the patch sent by Jonas, where we have something like this:

+sub init_include_path() {
+    my $append = 0;
+    my @opts = ();
+    open INF, "clang -E -v - </dev/null 2>&1 |" or die;

- Yang