depending on how the library is distributed, you would need to update the makefile and/or mkenv.mk. Some libraries may have other dependancies, okapilib probably depends on the PROS API so it most likely won’t work (it could be probably be ported and rebuilt). Here’s an old topic about eigen, have not tried this recently so don’t know if it still has the issue discussed.