From 6c54cad85757ab707757d01bea2af64a997ac579 Mon Sep 17 00:00:00 2001 From: Vsevolod Stakhov Date: Mon, 7 Oct 2013 10:37:52 +0000 Subject: Connect math/clasp and math/minisat to the build. Reported by: linimon --- math/Makefile | 2 ++ 1 file changed, 2 insertions(+) (limited to 'math') diff --git a/math/Makefile b/math/Makefile index 346e0b05433c..132feef00b1c 100644 --- a/math/Makefile +++ b/math/Makefile @@ -82,6 +82,7 @@ SUBDIR += chaco SUBDIR += chryzodus SUBDIR += clarence + SUBDIR += clasp SUBDIR += clipper SUBDIR += cln SUBDIR += cloog @@ -250,6 +251,7 @@ SUBDIR += metis-edf SUBDIR += metis4 SUBDIR += mingw32-libgmp + SUBDIR += minisat SUBDIR += miracl SUBDIR += moo SUBDIR += mpc -- cgit v1.2.3