qepcad
qepcad copied to clipboard
Quantifier Elimination by Partial Cylindrical Algebraic Decomposition
Not sure whether you overlooked that back in 2021 the upstream took qepcad on GitHub and did few updates, see https://github.com/chriswestbrown/qepcad/commit/185cd845bbd8b4ccb79958b101dc0fd68fe5352e and further issues and PRs in that repo. Also,...
With the patch from my PR, all tests pass: ``` ---> Testing qepcad Executing: cd "/opt/local/var/macports/build/_opt_PPCRosettaPorts_math_qepcad/qepcad/work/build" && ctest test Test project /opt/local/var/macports/build/_opt_PPCRosettaPorts_math_qepcad/qepcad/work/build Start 1: test_problem1 1/8 Test #1: test_problem1 .......................
GCC builds it fine, Clang fails: ``` /opt/local/var/macports/build/_Users_runner_work_macports-ports_macports-ports_ports_math_qepcad/qepcad/work/qepcad-f52ae3279df59217336f09535a87083003ca40ad/saclib/src/AFUPHIBRI.c:56:2: error: implicit declaration of function 'FPCATCH' is invalid in C99 [-Werror,-Wimplicit-function-declaration] FPCATCH(); ^ 1 error generated. make[2]: *** [CMakeFiles/saclib.dir/saclib/src/AFUPHIBRI.c.o] Error 1 ```...
``` In file included from /opt/local/var/macports/build/_opt_PPCRosettaPorts_math_qepcad/qepcad/work/qepcad-f52ae3279df59217336f09535a87083003ca40ad/saclib/include/saclib.h:11, from /opt/local/var/macports/build/_opt_PPCRosettaPorts_math_qepcad/qepcad/work/qepcad-f52ae3279df59217336f09535a87083003ca40ad/saclib/src/AADV.c:13: /opt/local/var/macports/build/_opt_PPCRosettaPorts_math_qepcad/qepcad/work/qepcad-f52ae3279df59217336f09535a87083003ca40ad/saclib/include/hfloats.h:23:10: fatal error: ieee754.h: No such file or directory 23 | #include | ^~~~~~~~~~~ compilation terminated. ```