From d2fc79255cd1ca5ca8ba2ef93e4ca0da71818215 Mon Sep 17 00:00:00 2001 From: vsevolod 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(+) 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