aboutsummaryrefslogtreecommitdiff
path: root/math/Makefile
diff options
context:
space:
mode:
authorYuri Victorovich <yuri@FreeBSD.org>2017-11-19 21:59:32 +0000
committerYuri Victorovich <yuri@FreeBSD.org>2017-11-19 21:59:32 +0000
commit91d97411aeff915c05ac6684a55d7679a8145ee0 (patch)
tree1da8c7554cc6e8791d3dec68aba87c041d179f7b /math/Makefile
parentad276c7647e1e35619b8e0ff8a48aa23622f044a (diff)
downloadports-91d97411aeff915c05ac6684a55d7679a8145ee0.tar.gz
ports-91d97411aeff915c05ac6684a55d7679a8145ee0.zip
Notes
Diffstat (limited to 'math/Makefile')
-rw-r--r--math/Makefile1
1 files changed, 1 insertions, 0 deletions
diff --git a/math/Makefile b/math/Makefile
index dd434cc0d188..dbef4a96dac8 100644
--- a/math/Makefile
+++ b/math/Makefile
@@ -166,6 +166,7 @@
SUBDIR += emc2
SUBDIR += ent
SUBDIR += entropy
+ SUBDIR += eprover
SUBDIR += ess
SUBDIR += eukleides
SUBDIR += eval