search

ariadne-cps / ariadne

C++ framework for rigorous computation on cyber-physical systems
http://www.ariadne-cps.org
GNU General Public License v3.0
28 stars 9 forks source link

Python import issues under gcc12 #760

Closed lgeretti closed 1 year ago

lgeretti commented 1 year ago

There are two issues with Release builds on gcc, either macos or Ubuntu.

On macos:

ImportError: dlopen(/usr/local/lib/python3.11/site-packages/pyariadne.so, 0x0002): symbol not found in flat namespace '__ZN7AriadnelsINS_5FloatIJNS_15DoublePrecisionEEEEEERSoS4_RKNS_13PythonLiteralINS_13ApproximationIT_EEEE'

On Ubuntu:

/usr/local/lib/python3.10/dist-packages/pyariadne.so: undefined symbol: _ZN7AriadnelsINS_5FloatIJNS_17MultiplePrecisionEEEEEERSoS4_RKNS_13PythonLiteralINS_13ApproximationIT_EEEE