search

hdl / conda-eda

Conda recipes for FPGA EDA tools for simulation, synthesis, place and route and bitstream generation.
https://anaconda.org/LiteX-Hub
Apache License 2.0
95 stars 26 forks source link

xls package is broken #353

Closed proppy closed 1 year ago

proppy commented 1 year ago

https://github.com/hdl/conda-eda/actions/runs/5944971903/job/16123228091

proppy commented 1 year ago

seems to be related to some of the assumption z3 makes about the c++ toolchain:

2023-08-22T23:37:23.0766098Z 23:37:23 | external/z3/src/qe/qe_vartest.h:26:38: error: no template named 'unary_function' in namespace 'std'; did you mean '__unary_function'?
2023-08-22T23:37:23.0767473Z 23:37:23 | class is_variable_proc : public std::unary_function<expr*,bool> {
2023-08-22T23:37:23.0767977Z 23:37:23 |                                 ~~~~~^
2023-08-22T23:37:23.0768714Z 23:37:23 | external/llvm_toolchain_llvm/bin/../include/c++/v1/__functional/unary_function.h:46:1: note: '__unary_function' declared here
2023-08-22T23:37:23.0769282Z 23:37:23 | using __unary_function = __unary_function_keep_layout_base<_Arg, _Result>;
2023-08-22T23:37:23.0769709Z 23:37:23 | ^
2023-08-22T23:37:23.0770069Z 23:37:23 | 1 error generated.
proppy commented 1 year ago

related to https://github.com/Z3Prover/z3/pull/1880

proppy commented 1 year ago

fixed with #356