Skip to content
Snippets Groups Projects
Commit 03783972 authored by Yuri Victorovich's avatar Yuri Victorovich
Browse files

math/eprover: Add PORTSCOUT line

parent a2ba9ca0
No related branches found
No related tags found
No related merge requests found
......@@ -34,6 +34,8 @@ ALL_TARGET= all man
BINARY_ALIAS= make=${GMAKE} \
gcc=${CC}
PORTSCOUT= limit:^.*[0-9]\.[0-9].* # prevent versions like git-export-2012-06-29
post-install:
# strip binaries
.for f in checkproof e_axfilter e_deduction_server e_ltb_runner e_stratpar eground \
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment