sync

2011-03-07 22:27:24 +00:00 · 2011-03-07 22:27:24 +00:00 · 9ee10efdd1
commit 9ee10efdd1
parent 2c96b38d8c
1 changed files with 2 additions and 1 deletions
--- a/math/Makefile
+++ b/math/Makefile
@ -1,4 +1,4 @@
-# $OpenBSD: Makefile,v 1.102 2010/12/27 21:14:13 benoit Exp $
+# $OpenBSD: Makefile,v 1.103 2011/03/07 22:27:24 jasper Exp $
 #

     SUBDIR =
@ -85,6 +85,7 @@
     SUBDIR += p5-Statistics-Descriptive
     SUBDIR += pari
     SUBDIR += plplot
+     SUBDIR += prover9
     SUBDIR += py-Numeric
     SUBDIR += py-gnuplot
     SUBDIR += py-numpy