Page MenuHomeFreeBSD
Differential D21170

math/cvc4: improve post-patch target
ClosedPublic
Actions

Authored by fernape on Aug 6 2019, 3:39 PM.
Tags
None
Referenced Files
Unknown Object (File)
Mar 4 2024, 10:32 PM
Unknown Object (File)
Mar 4 2024, 10:32 PM
Unknown Object (File)
Mar 4 2024, 10:32 PM
Unknown Object (File)
Mar 4 2024, 10:21 PM
Unknown Object (File)
Feb 19 2024, 10:08 PM
Unknown Object (File)
Feb 10 2024, 9:36 PM
Unknown Object (File)
Jan 2 2024, 12:18 AM
Unknown Object (File)
Nov 3 2023, 7:24 AM
View All 28 Files
Subscribers
mat

Details

Reviewers
jbeich
Commits
rP508264: math/cvc4: simplify post-patch
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
Lint Not Applicable
Unit
Tests Not Applicable

Event Timeline

fernape created this revision.Aug 6 2019, 3:39 PM
Herald added a subscriber: mat. · View Herald TranscriptAug 6 2019, 3:39 PM
Harbormaster completed remote builds in B25705: Diff 60508.Aug 6 2019, 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.Aug 6 2019, 4:04 PM
fernape edited the summary of this revision. (Show Details)
jbeich accepted this revision.Aug 6 2019, 4:56 PM
This revision is now accepted and ready to land.Aug 6 2019, 4:56 PM
Closed by commit rP508264: math/cvc4: simplify post-patch (authored by fernape). · Explain WhyAug 6 2019, 5:36 PM
This revision was automatically updated to reflect the committed changes.
fernape added a commit: rP508264: math/cvc4: simplify post-patch.

Revision Contents
Changeset List

PathSize
head/
lang/
maude/
2 lines
solidity/
2 lines
math/
cvc4/
4 lines

Diff 60512

View Options

head/lang/maude/Makefile

Loading...
View Options

head/lang/solidity/Makefile

Loading...
View Options

head/math/cvc4/Makefile

Loading...