diff options
| author | Yuri Victorovich <yuri@FreeBSD.org> | 2019-08-25 01:00:02 +0000 |
|---|---|---|
| committer | Yuri Victorovich <yuri@FreeBSD.org> | 2019-08-25 01:00:02 +0000 |
| commit | 2b4952ddfd9e062dee26ecafc4dc51ebf6f8ed8a (patch) | |
| tree | 5592124053e23b7b2dcfb13429564aa069b155fc /math/Makefile | |
| parent | 1b513959926d6f8cf3ca19ffe87e48638e072a03 (diff) | |
| download | ports-2b4952ddfd9e062dee26ecafc4dc51ebf6f8ed8a.tar.gz ports-2b4952ddfd9e062dee26ecafc4dc51ebf6f8ed8a.zip | |
Notes
Diffstat (limited to 'math/Makefile')
| -rw-r--r-- | math/Makefile | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/math/Makefile b/math/Makefile index 00fbf9828b9b..73f714f72df4 100644 --- a/math/Makefile +++ b/math/Makefile @@ -150,6 +150,7 @@ SUBDIR += blis SUBDIR += blitz++ SUBDIR += blocksolve95 + SUBDIR += bonmin SUBDIR += boolector SUBDIR += bsdnt SUBDIR += btor2tools |