SRI-CSL/libpoly

Why are libpicpoly.a libpicpolyxx.a not installed?

Closed this issue · 5 comments

ianamason commented

Is there any reason why I don't get my PIC archives when I build them and do a

make install
nafur commented

I'd be in favor of changing this as well. (Right now, we do the following in cvc5: https://github.com/cvc5/cvc5/blob/master/cmake/FindPoly.cmake#L92)

dddejan commented

Oh there is no reason. Feel free to add it.

ianamason commented

Hope this helps @nafur

  • 👍1
ahmed-irfan commented

@ianamason Can we close this? I think this is fixed...

ianamason commented

We can!