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... Cheers, Julien -- System Information: Debian Release: stretch/sid APT prefers testing APT policy: (900, 'testing'), (500, 'testing-updates'), (500, 'stable-updates'), (500, 'unstable'), (500, 'stable'), (1, 'experimental') Architecture: amd64 (x86_64) Foreign Architectures: i386 Kernel: Linux 4.3.0-1-amd64 (SMP w/4 CPU cores) Locale: LANG=en_US.utf8, LC_CTYPE=fr_FR.UTF-8 (charmap=UTF-8) Shell: /bin/sh linked to /bin/dash Init: systemd (via /run/systemd/system) Versions of packages gap-dev depends on: ii gap-core 4r7p9-1 ii gcc 4:5.3.1-1 ii libgmp-dev 2:6.1.0+dfsg-2 gap-dev recommends no packages. gap-dev suggests no packages. -- no debconf information
