Add vcddiff to Travis #1600
Closed
Add vcddiff to Travis #1600
Labels
Comments
Original Redmine Comment Might want to put a binary somewhere as this almost never changes. |
Original Redmine Comment Ideally I would have created a PPA for this (I found one, but it doesn't work for some reason). However, I've never done that before and the instructions were quite complicated. Instead, I found that adding a script that pulls, compiles and installs vcddiff takes 1 second in Travis. So it's unclear if we'd really even save any time by using apt instead. |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Author Name: Todd Strader (@toddstrader)
Original Redmine Issue: 1600 from https://www.veripool.org
Original Assignee: Todd Strader (@toddstrader)
A number of tests are not running because this is missing.
The text was updated successfully, but these errors were encountered: