From owner-svn-ports-head@FreeBSD.ORG  Fri Nov  1 15:53:38 2013
Return-Path: <owner-svn-ports-head@FreeBSD.ORG>
Delivered-To: svn-ports-head@freebsd.org
Received: from mx1.freebsd.org (mx1.freebsd.org [8.8.178.115])
 (using TLSv1 with cipher ADH-AES256-SHA (256/256 bits))
 (No client certificate requested)
 by hub.freebsd.org (Postfix) with ESMTP id 4821EE3D;
 Fri,  1 Nov 2013 15:53:38 +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 32B3325E8;
 Fri,  1 Nov 2013 15:53:38 +0000 (UTC)
Received: from svn.freebsd.org ([127.0.1.70])
 by svn.freebsd.org (8.14.7/8.14.7) with ESMTP id rA1FrcNK046776;
 Fri, 1 Nov 2013 15:53:38 GMT (envelope-from vsevolod@svn.freebsd.org)
Received: (from vsevolod@localhost)
 by svn.freebsd.org (8.14.7/8.14.5/Submit) id rA1FrbM2046774;
 Fri, 1 Nov 2013 15:53:37 GMT (envelope-from vsevolod@svn.freebsd.org)
Message-Id: <201311011553.rA1FrbM2046774@svn.freebsd.org>
From: Vsevolod Stakhov <vsevolod@FreeBSD.org>
Date: Fri, 1 Nov 2013 15:53:37 +0000 (UTC)
To: ports-committers@freebsd.org, svn-ports-all@freebsd.org,
 svn-ports-head@freebsd.org
Subject: svn commit: r332393 - in head/math/clasp: . files
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: Fri, 01 Nov 2013 15:53:38 -0000

Author: vsevolod
Date: Fri Nov  1 15:53:37 2013
New Revision: 332393
URL: http://svnweb.freebsd.org/changeset/ports/332393

Log:
  - Unbreak with clang and new C++ world.
  - Support staging.
  - Strip binary by using INSTALL_PROGRAM instead of INSTALL.

Added:
  head/math/clasp/files/
  head/math/clasp/files/patch-libclasp-clasp-util-platform.h   (contents, props changed)
Modified:
  head/math/clasp/Makefile

Modified: head/math/clasp/Makefile
==============================================================================
--- head/math/clasp/Makefile	Fri Nov  1 15:35:01 2013	(r332392)
+++ head/math/clasp/Makefile	Fri Nov  1 15:53:37 2013	(r332393)
@@ -3,6 +3,7 @@
 
 PORTNAME=	clasp
 PORTVERSION=	2.1.3
+PORTREVISION=	1
 CATEGORIES=	math devel
 MASTER_SITES=	${MASTER_SITE_SOURCEFORGE}
 MASTER_SITE_SUBDIR=	potassco/${PORTNAME}/${PORTVERSION}
@@ -15,8 +16,7 @@ USES=	cmake:outsource
 
 PLIST_FILES=	bin/${PORTNAME}
 
-NO_STAGE=	yes
 do-install:
-	${INSTALL} ${INSTALL_WRKSRC}/bin/${PORTNAME} ${PREFIX}/bin/${PORTNAME}
+	${INSTALL_PROGRAM} ${INSTALL_WRKSRC}/bin/${PORTNAME} ${STAGEDIR}${PREFIX}/bin/${PORTNAME}
 
 .include <bsd.port.mk>

Added: head/math/clasp/files/patch-libclasp-clasp-util-platform.h
==============================================================================
--- /dev/null	00:00:00 1970	(empty, because file is newly added)
+++ head/math/clasp/files/patch-libclasp-clasp-util-platform.h	Fri Nov  1 15:53:37 2013	(r332393)
@@ -0,0 +1,11 @@
+--- libclasp/clasp/util/platform.h.orig	1970-09-03 18:56:56.000000000 +0100
++++ libclasp/clasp/util/platform.h	1970-09-03 19:04:47.000000000 +0100
+@@ -107,7 +107,7 @@
+ template <bool> struct static_assertion;
+ template <>     struct static_assertion<true> {};
+ 
+-#if !defined(__cplusplus) || __cplusplus < 201103L
++#if !defined(__cplusplus) || !defined(static_assert)
+ #define static_assert(x, message) (void)sizeof(static_assertion< (x) >)
+ #endif
+