diff --git a/.github/workflows/metis.sh b/.github/workflows/metis.sh index 78b72613..d8159b67 100755 --- a/.github/workflows/metis.sh +++ b/.github/workflows/metis.sh @@ -7,6 +7,8 @@ tar -xvzf "${METIS}.tar.gz" rm -f "${METIS}.tar.gz" cd "${METIS}" || exit sed -i.bak -e 's/IDXTYPEWIDTH 32/IDXTYPEWIDTH 64/g' include/metis.h +sed -i '1s/^/#if defined(__linux__) \&\& defined(__x86_64__)\n__asm__(".symver log,log@GLIBC_2.2.5");\n#endif\n/' GKlib/gk_proto.h +sed -i '1s/^/#if defined(__linux__) \&\& defined(__x86_64__)\n__asm__(".symver pow,pow@GLIBC_2.2.5");\n#endif\n/' libmetis/metislib.h make config make