summaryrefslogtreecommitdiffstats
path: root/math/Makefile
diff options
context:
space:
mode:
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 9d64e64..78dafd9 100644
--- a/math/Makefile
+++ b/math/Makefile
@@ -28,6 +28,7 @@
SUBDIR += cln
SUBDIR += concorde
SUBDIR += convertall
+ SUBDIR += coq
SUBDIR += cxsc
SUBDIR += dcdflib
SUBDIR += diehard
OpenPOWER on IntegriCloud