#44543: Submission: cvc4, an automated theorem prover for SMT problems -------------------------+-------------------------------- Reporter: mdeters@… | Owner: macports-tickets@… Type: submission | Status: new Priority: Normal | Milestone: Component: ports | Version: 2.3.1 Resolution: | Keywords: Port: cvc4 | -------------------------+-------------------------------- Comment (by mdeters@…): Replying to [comment:2 mdeters@…]:
Size on disk is also an issue (the largest of our static libs, libcvc4.a, is 648 MB). Is there a good way of dealing with this without using a variant?
One way I can work around this is to override "destroot" and force a "make install-strip" instead of "make install". Is doing so acceptable for MacPorts? I'm attaching an updated Portfile. -- Ticket URL: <https://trac.macports.org/ticket/44543#comment:3> MacPorts <http://www.macports.org/> Ports system for OS X