[Dune-devel] SOCIS 2014: build system issue

Christoph GrĂ¼ninger christoph.grueninger at iws.uni-stuttgart.de
Thu Jul 10 15:23:32 CEST 2014


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




More information about the Dune-devel mailing list