#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@…): Thanks for the comments. I have corrected the Portfile, but first a question. If I build static libraries, the installation size goes up dramatically. We had complaints from users that the (mpkg) installers were large (~125MB) so I added +no_static and now they are ~6MB. 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? -- Ticket URL: <https://trac.macports.org/ticket/44543#comment:2> MacPorts <http://www.macports.org/> Ports system for OS X