[Dune-devel] SOCIS 2014: build system issue

[Christoph Grüninger]

Hi Marco,
you see the calls done by make in the output, right?

> Therefore I suppose that there is some wrong flags in the makefile produced by dune.

Then you can compare the calls from make and your manual calls.

Bye
Christoph

-- 
GDB does hate your application, expresses its contempt through the
design of its command-line interface.   -- Tom Tromey, FOSDEM 2014