Bug#819985: gap-dev: unusable headers (missing config.h)

2016-04-12 Thread Bill Allombert
severity 819985 important thanks On Mon, Apr 04, 2016 at 05:11:01PM +0200, Julien Cristau wrote: > Package: gap-dev > Version: 4r7p9-1 > Severity: serious > > $ echo '#include ' | cpp > # 1 "" > # 1 "" > # 1 "" > # 1 "/usr/include/stdc-predef.h" 1 3 4 > # 1 "" 2 > # 1 "" > # 1 "/usr/include/gap/s

Bug#819985: gap-dev: unusable headers (missing config.h)o

2016-04-05 Thread Bill Allombert
On Mon, Apr 04, 2016 at 05:11:01PM +0200, Julien Cristau wrote: > Package: gap-dev > Version: 4r7p9-1 > Severity: serious > > $ echo '#include ' | cpp > # 1 "" > # 1 "" > # 1 "" > # 1 "/usr/include/stdc-predef.h" 1 3 4 > # 1 "" 2 > # 1 "" > # 1 "/usr/include/gap/system.h" 1 3 4 > In file included

Bug#819985: gap-dev: unusable headers (missing config.h)

2016-04-04 Thread Julien Cristau
On Mon, Apr 4, 2016 at 21:13:30 +0200, Bill Allombert wrote: > On Mon, Apr 04, 2016 at 06:07:30PM +0200, Julien Cristau wrote: > > On Mon, Apr 4, 2016 at 17:55:40 +0200, Bill Allombert wrote: > > > > > On Mon, Apr 04, 2016 at 05:11:01PM +0200, Julien Cristau wrote: > > > > Package: gap-dev > >

Bug#819985: gap-dev: unusable headers (missing config.h)

2016-04-04 Thread Bill Allombert
On Mon, Apr 04, 2016 at 06:07:30PM +0200, Julien Cristau wrote: > On Mon, Apr 4, 2016 at 17:55:40 +0200, Bill Allombert wrote: > > > On Mon, Apr 04, 2016 at 05:11:01PM +0200, Julien Cristau wrote: > > > Package: gap-dev > > > Version: 4r7p9-1 > > > Severity: serious > > > > > > $ echo '#include

Bug#819985: gap-dev: unusable headers (missing config.h)

2016-04-04 Thread Julien Cristau
On Mon, Apr 4, 2016 at 17:55:40 +0200, Bill Allombert wrote: > On Mon, Apr 04, 2016 at 05:11:01PM +0200, Julien Cristau wrote: > > Package: gap-dev > > Version: 4r7p9-1 > > Severity: serious > > > > $ echo '#include ' | cpp > > # 1 "" > > # 1 "" > > # 1 "" > > # 1 "/usr/include/stdc-predef.h" 1

Bug#819985: gap-dev: unusable headers (missing config.h)

2016-04-04 Thread Bill Allombert
On Mon, Apr 04, 2016 at 05:11:01PM +0200, Julien Cristau wrote: > Package: gap-dev > Version: 4r7p9-1 > Severity: serious > > $ echo '#include ' | cpp > # 1 "" > # 1 "" > # 1 "" > # 1 "/usr/include/stdc-predef.h" 1 3 4 > # 1 "" 2 > # 1 "" > # 1 "/usr/include/gap/system.h" 1 3 4 > In file included

Bug#819985: gap-dev: unusable headers (missing config.h)

2016-04-04 Thread Julien Cristau
Package: gap-dev Version: 4r7p9-1 Severity: serious $ echo '#include ' | cpp # 1 "" # 1 "" # 1 "" # 1 "/usr/include/stdc-predef.h" 1 3 4 # 1 "" 2 # 1 "" # 1 "/usr/include/gap/system.h" 1 3 4 In file included from :1:0: /usr/include/gap/system.h:29:20: fatal error: config.h: No such file or direc