0002328: compilation fails on i386 with gcc-7

(0006459)
signoles (manager)
2017-09-08 13:37

Thanks for reporting this bug. It is related to the jemalloc library which is not used anymore by E-ACSL. We will check that there is no other issue under debian unstable and gcc-7 before the next release.

(0006462)
yakobowski (manager)
2017-09-15 10:30

I get the impression from https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=874273 [^] and https://bugs.launchpad.net/ubuntu/+source/glibc/+bug/1714514 [^] that you fixed the problem yourself, excellent :-) I will let Julien comment on why this -C was used.

(0006463)
treinen (reporter)
2017-09-15 11:15

In fact it has been solved by Mehdi. BTW, you can see the result of the build attempts of the debian package by our autobuilders on

https://buildd.debian.org/status/package.php?p=frama-c [^]

as you can see, it has successfully build on all release architectures (these are the ones on a white ground)

(0006464)
yakobowski (manager)
2017-09-15 13:31

Great! If you are interested in having a build for all architectures, you can use the configure option --disable-eacsl (for the architectures where the compilation of jemalloc fails).

Issue History
Date Modified	Username	Field	Change
2017-09-08 13:29	treinen	New Issue
2017-09-08 13:29	treinen	Status	new => assigned
2017-09-08 13:29	treinen	Assigned To	=> signoles
2017-09-08 13:31	signoles	Assigned To	signoles => kvorobyov
2017-09-08 13:37	signoles	Note Added: 0006459
2017-09-08 13:38	signoles	Status	assigned => acknowledged
2017-09-08 13:39	signoles	Target Version	=> Frama-C 16 Sulfur
2017-09-11 08:49	virgile	Note Added: 0006461
2017-09-11 09:11	virgile	Note Deleted: 0006461
2017-09-15 10:30	yakobowski	Note Added: 0006462
2017-09-15 11:15	treinen	Note Added: 0006463
2017-09-15 13:31	yakobowski	Note Added: 0006464
2017-10-24 17:41	signoles	Status	acknowledged => resolved
2017-10-24 17:41	signoles	Resolution	open => fixed
2017-12-06 09:09	signoles	Fixed in Version	=> Frama-C 16 Sulfur
2017-12-06 09:10	signoles	Status	resolved => closed

Notes
(0006459) signoles (manager) 2017-09-08 13:37	Thanks for reporting this bug. It is related to the jemalloc library which is not used anymore by E-ACSL. We will check that there is no other issue under debian unstable and gcc-7 before the next release.

(0006462) yakobowski (manager) 2017-09-15 10:30	I get the impression from https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=874273 [^] and https://bugs.launchpad.net/ubuntu/+source/glibc/+bug/1714514 [^] that you fixed the problem yourself, excellent :-) I will let Julien comment on why this -C was used.

(0006463) treinen (reporter) 2017-09-15 11:15	In fact it has been solved by Mehdi. BTW, you can see the result of the build attempts of the debian package by our autobuilders on https://buildd.debian.org/status/package.php?p=frama-c [^] as you can see, it has successfully build on all release architectures (these are the ones on a white ground)

(0006464) yakobowski (manager) 2017-09-15 13:31	Great! If you are interested in having a build for all architectures, you can use the configure option --disable-eacsl (for the architectures where the compilation of jemalloc fails).

Relationships