Floating Point Issue

[hyunsukimsokcho]

Ubuntu version에 따라 소수점이 다르게 계산 (*.out 비교) => Bingo baseline 결과가 다름

libdai/bingo를 빌드할 때, libgmp-dev와 libstdc++ 라이브러리 버전의 차이가 있어서 생기는 이슈로 추정. (아래 표 참조)

Ubuntu ver.	18.04	20.04
libgmp-dev	6.1.2	6.2.0
libstdc++	6.0.25	6.0.28

[hyunsukimsokcho]

TODO

• apt 버전 확인
• 지원하지 않을 시, 직접 소스를 받아서 빌드 및 링크

[hyunsukimsokcho]

libstdc++ 의 6.0.25를 받아서 LD_LIBRARY_PATH 환경변수를 통해 링크하는 방식으로 해결.