Page MenuHomeFreeBSD

math/cvc4: improve post-patch target
ClosedPublic

Authored by fernape on Tue, Aug 6, 3:39 PM.

Details

Summary
  • Bump PORTREVISION
  • Unbreak lang/maude and lang/solidity
Test Plan

All three build fine in {11.2,12.0}{amd64,i386}

Diff Detail

Repository
rP FreeBSD ports repository
Lint
Automatic diff as part of commit; lint not applicable.
Unit
Automatic diff as part of commit; unit tests not applicable.

Event Timeline

fernape created this revision.Tue, Aug 6, 3:39 PM
fernape retitled this revision from math/cvc4: improve post-patch target * Bump PORTREVISION * Unbreak lang/maude and lang/solidity to math/cvc4: improve post-patch target.Tue, Aug 6, 4:04 PM
fernape edited the summary of this revision. (Show Details)
jbeich accepted this revision.Tue, Aug 6, 4:56 PM
This revision is now accepted and ready to land.Tue, Aug 6, 4:56 PM
This revision was automatically updated to reflect the committed changes.