Details
Details
Diff Detail
Diff Detail
- Repository
- rP FreeBSD ports repository
- Lint
No Lint Coverage - Unit
No Test Coverage - Build Status
Buildable 12849 Build 13113: arc lint + arc unit
Event Timeline
math/eprover/Makefile | ||
---|---|---|
34 | ^ this could use a line-break |
Comment Actions
I see the following error
cp: DOC/man/e_deduction_server.1: No such file or directory *** Error code 1 (ignored)
Comment Actions
This error was fixed later, and doesn't break the build.
So we need to patch it, or just wait for the next release?
Comment Actions
If you can back port the fix without much effort I would go for it. Otherwise it can wait.
head/math/eprover/Makefile | ||
---|---|---|
23–24 ↗ | (On Diff #35477) | Is this really needed ? Wouldn't USES=desthack work ? |
head/math/eprover/Makefile | ||
---|---|---|
23–24 ↗ | (On Diff #35477) | It breaks with USES=desthack:
|