potassco / clingcon

⛓️ Extension of clingo to handle constraints over integers
https://potassco.org/
MIT License
25 stars 4 forks source link

Build fails on macOS aarch64 using Apple Clang: catch.hpp: error: unrecognized instruction mnemonic, did you mean: bit, cnt, hint, ins, not? #99

Closed barracuda156 closed 9 months ago

barracuda156 commented 1 year ago
In file included from /opt/local/var/macports/build/_opt_bblocal_var_buildworker_ports_build_ports_math_clingcon/clingcon/work/clingcon-5.2.0/libclingcon/tests/main.cc:26:
/opt/local/var/macports/build/_opt_bblocal_var_buildworker_ports_build_ports_math_clingcon/clingcon/work/clingcon-5.2.0/libclingcon/tests/catch.hpp:8205:13: error: unrecognized instruction mnemonic, did you mean: bit, cnt, hint, ins, not?
            CATCH_BREAK_INTO_DEBUGGER();
            ^
/opt/local/var/macports/build/_opt_bblocal_var_buildworker_ports_build_ports_math_clingcon/clingcon/work/clingcon-5.2.0/libclingcon/tests/catch.hpp:7916:83: note: expanded from macro 'CATCH_BREAK_INTO_DEBUGGER'
        #define CATCH_BREAK_INTO_DEBUGGER() []{ if( Catch::isDebuggerActive() ) { CATCH_TRAP(); } }()
                                                                                  ^
/opt/local/var/macports/build/_opt_bblocal_var_buildworker_ports_build_ports_math_clingcon/clingcon/work/clingcon-5.2.0/libclingcon/tests/catch.hpp:7881:34: note: expanded from macro 'CATCH_TRAP'
    #define CATCH_TRAP() __asm__("int $3\n" : : ) /* NOLINT */
                                 ^
<inline asm>:1:2: note: instantiated into assembly here
        int $3
        ^
1 error generated.
make[2]: *** [libclingcon/tests/CMakeFiles/test_clingcon.dir/main.cc.o] Error 1

Complete log: https://build.macports.org/builders/ports-11_arm64-builder/builds/79019

barracuda156 commented 1 year ago

Perhaps related: https://github.com/CoatiSoftware/Sourcetrail/issues/1185

barracuda156 commented 1 year ago

PR with the fix (plus PPC fix): https://github.com/potassco/clingcon/pull/100