Merge pull request #173471 from trofi/workaround-fno-common-for-yap

yap: add -fcommon workaround
This commit is contained in:
Sergei Trofimovich 2022-05-19 07:17:36 +00:00 committed by GitHub
commit b8b36a3fba
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -13,7 +13,11 @@ stdenv.mkDerivation rec {
configureFlags = [ "--enable-tabling=yes" ]; configureFlags = [ "--enable-tabling=yes" ];
NIX_CFLAGS_COMPILE = "-fpermissive"; # -fcommon: workaround build failure on -fno-common toolchains like upstream
# gcc-10. Otherwise build fails as:
# ld: libYap.a(pl-dtoa.o):/build/yap-6.3.3/H/pl-yap.h:230: multiple definition of `ATOM_';
# libYap.a(pl-buffer.o):/build/yap-6.3.3/H/pl-yap.h:230: first defined here
NIX_CFLAGS_COMPILE = "-fpermissive -fcommon";
meta = { meta = {
homepage = "http://www.dcc.fc.up.pt/~vsc/Yap/"; homepage = "http://www.dcc.fc.up.pt/~vsc/Yap/";