File yosys-use-system-cxxopts.patch of Package yosys
diff -up yosys-0.55/kernel/driver.cc.aaaa yosys-0.55/kernel/driver.cc --- yosys-0.55/kernel/driver.cc.aaaa 2025-07-07 11:26:04.000000000 +0200 +++ yosys-0.55/kernel/driver.cc 2025-07-09 00:34:35.333778856 +0200 @@ -21,7 +21,8 @@ #include "kernel/hashlib.h" #include "libs/sha1/sha1.h" #define CXXOPTS_VECTOR_DELIMITER '\0' -#include "libs/cxxopts/include/cxxopts.hpp" +#include <cxxopts.hpp> + #include <iostream> #ifdef YOSYS_ENABLE_READLINE