Bug#749679: gmsh: Multiple and conflicting definitions of function CClinkern_flipper_flip

2014-05-28 Thread Christophe Geuzaine
On 29 May 2014, at 04:24, Michael Tautschnig wrote: > Package: gmsh > Version: 2.8.4+dfsg-1 > Usertags: goto-cc > > During a rebuild of all Debian packages in a clean sid chroot (using > cowbuilder > and pbuilder) the build failed with the following error. Please note that we > use our researc

Bug#749679: gmsh: Multiple and conflicting definitions of function CClinkern_flipper_flip

2014-05-28 Thread Michael Tautschnig
Package: gmsh Version: 2.8.4+dfsg-1 Usertags: goto-cc During a rebuild of all Debian packages in a clean sid chroot (using cowbuilder and pbuilder) the build failed with the following error. Please note that we use our research compiler tool-chain (using tools from the cbmc package), which permits