From owner-svn-ports-head@FreeBSD.ORG  Mon Oct  7 10:37:52 2013
Return-Path: <owner-svn-ports-head@FreeBSD.ORG>
Delivered-To: svn-ports-head@freebsd.org
Received: from mx1.freebsd.org (mx1.freebsd.org
 [IPv6:2001:1900:2254:206a::19:1])
 (using TLSv1 with cipher ADH-AES256-SHA (256/256 bits))
 (No client certificate requested)
 by hub.freebsd.org (Postfix) with ESMTP id D4A6A7E4;
 Mon,  7 Oct 2013 10:37:52 +0000 (UTC)
 (envelope-from vsevolod@FreeBSD.org)
Received: from svn.freebsd.org (svn.freebsd.org
 [IPv6:2001:1900:2254:2068::e6a:0])
 (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits))
 (No client certificate requested)
 by mx1.freebsd.org (Postfix) with ESMTPS id C2E55260C;
 Mon,  7 Oct 2013 10:37:52 +0000 (UTC)
Received: from svn.freebsd.org ([127.0.1.70])
 by svn.freebsd.org (8.14.7/8.14.7) with ESMTP id r97Abqjx030363;
 Mon, 7 Oct 2013 10:37:52 GMT (envelope-from vsevolod@svn.freebsd.org)
Received: (from vsevolod@localhost)
 by svn.freebsd.org (8.14.7/8.14.5/Submit) id r97AbqM6030361;
 Mon, 7 Oct 2013 10:37:52 GMT (envelope-from vsevolod@svn.freebsd.org)
Message-Id: <201310071037.r97AbqM6030361@svn.freebsd.org>
From: Vsevolod Stakhov <vsevolod@FreeBSD.org>
Date: Mon, 7 Oct 2013 10:37:52 +0000 (UTC)
To: ports-committers@freebsd.org, svn-ports-all@freebsd.org,
 svn-ports-head@freebsd.org
Subject: svn commit: r329680 - head/math
X-SVN-Group: ports-head
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit
X-BeenThere: svn-ports-head@freebsd.org
X-Mailman-Version: 2.1.14
Precedence: list
List-Id: SVN commit messages for the ports tree for head
 <svn-ports-head.freebsd.org>
List-Unsubscribe: <http://lists.freebsd.org/mailman/options/svn-ports-head>,
 <mailto:svn-ports-head-request@freebsd.org?subject=unsubscribe>
List-Archive: <http://lists.freebsd.org/pipermail/svn-ports-head>
List-Post: <mailto:svn-ports-head@freebsd.org>
List-Help: <mailto:svn-ports-head-request@freebsd.org?subject=help>
List-Subscribe: <http://lists.freebsd.org/mailman/listinfo/svn-ports-head>,
 <mailto:svn-ports-head-request@freebsd.org?subject=subscribe>
X-List-Received-Date: Mon, 07 Oct 2013 10:37:52 -0000

Author: vsevolod
Date: Mon Oct  7 10:37:52 2013
New Revision: 329680
URL: http://svnweb.freebsd.org/changeset/ports/329680

Log:
  Connect math/clasp and math/minisat to the build.
  
  Reported by:	linimon

Modified:
  head/math/Makefile

Modified: head/math/Makefile
==============================================================================
--- head/math/Makefile	Mon Oct  7 10:37:08 2013	(r329679)
+++ head/math/Makefile	Mon Oct  7 10:37:52 2013	(r329680)
@@ -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