On Mon, Apr 04, 2016 at 05:11:01PM +0200, Julien Cristau wrote: > Package: gap-dev > Version: 4r7p9-1 > Severity: serious > > $ echo '#include <gap/system.h>' | cpp > # 1 "<stdin>" > # 1 "<built-in>" > # 1 "<command-line>" > # 1 "/usr/include/stdc-predef.h" 1 3 4 > # 1 "<command-line>" 2 > # 1 "<stdin>" > # 1 "/usr/include/gap/system.h" 1 3 4 > In file included from <stdin>:1:0: > /usr/include/gap/system.h:29:20: fatal error: config.h: No such file or > directory > compilation terminated. > > config.h seems to be shipped in /usr/include/x86_64-linux-gnu/gap, but > #include "config.h" > doesn't work...
Maybe the best fix is to add a file /usr/include/gap/config.h with #include <gap/config.h> or #include <gap/config-arch.h> (and in this case rename /usr/include/x86_64-linux-gnu/gap/config.h to /usr/include/x86_64-linux-gnu/gap/config-arch.h ) Cheers, -- Bill. <ballo...@debian.org> Imagine a large red swirl here.
