diff options
| author | Yuri Victorovich <yuri@FreeBSD.org> | 2023-07-24 01:59:31 -0700 |
|---|---|---|
| committer | Yuri Victorovich <yuri@FreeBSD.org> | 2023-07-24 01:59:31 -0700 |
| commit | 03783972b57ad13db9ba7be6d3c51e649474ea1c (patch) | |
| tree | 92d70fea62905754127c90c840bc4a51aa39ff54 | |
| parent | math/py-deap: Update 1.4.0 → 1.4.1 (diff) | |
math/eprover: Add PORTSCOUT line
| -rw-r--r-- | math/eprover/Makefile | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/math/eprover/Makefile b/math/eprover/Makefile index aa472ab3b7ef..d9be294abe9b 100644 --- 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 \ |