Force compilation to exclude dual ABI

markaduol / UROP

Using symbolic execution to identify semantic inconsistencies between implementations of the same function declaration across different repository revisions.

0 stars 1 forks source link

Force compilation to exclude dual ABI #5

Closed andreamattavelli closed 7 years ago

andreamattavelli commented 7 years ago

You simply need to enforce: CXXFLAGS="-D_GLIBCXX_USE_CXX11_ABI=0"

markaduol commented 7 years ago

Done

andreamattavelli commented 7 years ago

Great, thanks!