diff options
Diffstat (limited to 'sci-mathematics/eprover/eprover-3.0.03.ebuild')
-rw-r--r-- | sci-mathematics/eprover/eprover-3.0.03.ebuild | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/sci-mathematics/eprover/eprover-3.0.03.ebuild b/sci-mathematics/eprover/eprover-3.0.03.ebuild index ef6b9196aa7d..d503a85c9f4d 100644 --- a/sci-mathematics/eprover/eprover-3.0.03.ebuild +++ b/sci-mathematics/eprover/eprover-3.0.03.ebuild @@ -29,6 +29,8 @@ BDEPEND=" sys-apps/help2man " +PATCHES=( "${FILESDIR}/${PN}-3.0.03-unistd.patch" ) + src_prepare() { default |