#136: Don't rebuild external libraries so often --------------------------+------------------------------------------------- Reporter: eschnett | Owner: Type: enhancement | Status: review Priority: minor | Milestone: Component: Cactus | Version: Resolution: | Keywords: --------------------------+-------------------------------------------------
Comment (by bmundim):
No, it isn't. I have committed it on r19. The same applies to the other ET external libraries. I haven't done so to the external libraries exclusive to Cactus.
We left this ticket open because my solution is just a work around. People want something more sophisticated. Meanwhile this patch allows you to just use Cactus to install libraries where you want.