math/eprover: Add PORTSCOUT line

freebsd · Jul 24, 2023 · 0378397 · 0378397
1 parent a2ba9ca
commit 0378397
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/math/eprover/Makefile b/math/eprover/Makefile
@@ -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 \