From owner-svn-ports-head@FreeBSD.ORG Wed Feb 19 11:22:02 2014 Return-Path: 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 ESMTPS id E5903D32; Wed, 19 Feb 2014 11:22:02 +0000 (UTC) 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 C72C01A0B; Wed, 19 Feb 2014 11:22:02 +0000 (UTC) Received: from svn.freebsd.org ([127.0.1.70]) by svn.freebsd.org (8.14.8/8.14.8) with ESMTP id s1JBM2rE097480; Wed, 19 Feb 2014 11:22:02 GMT (envelope-from ehaupt@svn.freebsd.org) Received: (from ehaupt@localhost) by svn.freebsd.org (8.14.8/8.14.8/Submit) id s1JBM2Rl097476; Wed, 19 Feb 2014 11:22:02 GMT (envelope-from ehaupt@svn.freebsd.org) Message-Id: <201402191122.s1JBM2Rl097476@svn.freebsd.org> From: Emanuel Haupt Date: Wed, 19 Feb 2014 11:22:02 +0000 (UTC) To: ports-committers@freebsd.org, svn-ports-all@freebsd.org, svn-ports-head@freebsd.org Subject: svn commit: r345067 - in head/devel/smv: . 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.17 Precedence: list List-Id: SVN commit messages for the ports tree for head List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Wed, 19 Feb 2014 11:22:03 -0000 Author: ehaupt Date: Wed Feb 19 11:22:01 2014 New Revision: 345067 URL: http://svnweb.freebsd.org/changeset/ports/345067 QAT: https://qat.redports.org/buildarchive/r345067/ Log: Support staging Added: head/devel/smv/files/patch-makefile (contents, props changed) Modified: head/devel/smv/Makefile head/devel/smv/pkg-plist Modified: head/devel/smv/Makefile ============================================================================== --- head/devel/smv/Makefile Wed Feb 19 10:56:44 2014 (r345066) +++ head/devel/smv/Makefile Wed Feb 19 11:22:01 2014 (r345067) @@ -10,37 +10,38 @@ DISTNAME= ${PORTNAME}.r${PORTVERSION} MAINTAINER= ports@FreeBSD.org COMMENT= Symbolic Model Verifier System for checking finite state systems +USE_GCC= yes WRKSRC= ${WRKDIR}/${PORTNAME} ALL_TARGET= ${PORTNAME} MAKEFILE= makefile MAKE_JOBS_UNSAFE= yes -MAN1= smv.1 +PORTEXAMPLES= * +PORTDOCS= NEW README smvmanual.ps + +OPTIONS_DEFINE= DOCS EXAMPLES -NO_STAGE= yes do-install: - ${INSTALL_PROGRAM} ${WRKSRC}/smv ${PREFIX}/bin - ${MKDIR} ${DATADIR} - ${INSTALL_DATA} ${WRKSRC}/smv-mode.el ${DATADIR} - ${INSTALL_MAN} ${WRKSRC}/smv.1 ${PREFIX}/man/man1 -.if !defined(NOPORTDOCS) - ${MKDIR} ${DOCSDIR} - ${INSTALL_MAN} ${WRKSRC}/NEW ${DOCSDIR} - ${INSTALL_MAN} ${WRKSRC}/README ${DOCSDIR} - ${INSTALL_MAN} ${WRKSRC}/doc/smvmanual.ps ${DOCSDIR} - ${MKDIR} ${EXAMPLESDIR} - ${INSTALL_MAN} ${WRKSRC}/examples/counter.smv ${EXAMPLESDIR} - ${INSTALL_MAN} ${WRKSRC}/examples/dme1.smv ${EXAMPLESDIR} - ${INSTALL_MAN} ${WRKSRC}/examples/dme2.smv ${EXAMPLESDIR} - ${INSTALL_MAN} ${WRKSRC}/examples/featuring.smv ${EXAMPLESDIR} - ${INSTALL_MAN} ${WRKSRC}/examples/gigamax.smv ${EXAMPLESDIR} - ${INSTALL_MAN} ${WRKSRC}/examples/mutex.smv ${EXAMPLESDIR} - ${INSTALL_MAN} ${WRKSRC}/examples/mutex1.smv ${EXAMPLESDIR} - ${INSTALL_MAN} ${WRKSRC}/examples/periodic.smv ${EXAMPLESDIR} - ${INSTALL_MAN} ${WRKSRC}/examples/ring.smv ${EXAMPLESDIR} - ${INSTALL_MAN} ${WRKSRC}/examples/semaphore.smv ${EXAMPLESDIR} - ${INSTALL_MAN} ${WRKSRC}/examples/short.smv ${EXAMPLESDIR} - ${INSTALL_MAN} ${WRKSRC}/examples/syncarb5.smv ${EXAMPLESDIR} -.endif + ${INSTALL_PROGRAM} ${WRKSRC}/smv ${STAGEDIR}${PREFIX}/bin + ${MKDIR} ${STAGEDIR}${DATADIR} + ${INSTALL_DATA} ${WRKSRC}/smv-mode.el ${STAGEDIR}${DATADIR} + ${INSTALL_MAN} ${WRKSRC}/smv.1 ${STAGEDIR}${PREFIX}/man/man1 + ${MKDIR} ${STAGEDIR}${DOCSDIR} + ${INSTALL_MAN} ${WRKSRC}/NEW ${STAGEDIR}${DOCSDIR} + ${INSTALL_MAN} ${WRKSRC}/README ${STAGEDIR}${DOCSDIR} + ${INSTALL_MAN} ${WRKSRC}/doc/smvmanual.ps ${STAGEDIR}${DOCSDIR} + ${MKDIR} ${STAGEDIR}${EXAMPLESDIR} + ${INSTALL_MAN} ${WRKSRC}/examples/counter.smv ${STAGEDIR}${EXAMPLESDIR} + ${INSTALL_MAN} ${WRKSRC}/examples/dme1.smv ${STAGEDIR}${EXAMPLESDIR} + ${INSTALL_MAN} ${WRKSRC}/examples/dme2.smv ${STAGEDIR}${EXAMPLESDIR} + ${INSTALL_MAN} ${WRKSRC}/examples/featuring.smv ${STAGEDIR}${EXAMPLESDIR} + ${INSTALL_MAN} ${WRKSRC}/examples/gigamax.smv ${STAGEDIR}${EXAMPLESDIR} + ${INSTALL_MAN} ${WRKSRC}/examples/mutex.smv ${STAGEDIR}${EXAMPLESDIR} + ${INSTALL_MAN} ${WRKSRC}/examples/mutex1.smv ${STAGEDIR}${EXAMPLESDIR} + ${INSTALL_MAN} ${WRKSRC}/examples/periodic.smv ${STAGEDIR}${EXAMPLESDIR} + ${INSTALL_MAN} ${WRKSRC}/examples/ring.smv ${STAGEDIR}${EXAMPLESDIR} + ${INSTALL_MAN} ${WRKSRC}/examples/semaphore.smv ${STAGEDIR}${EXAMPLESDIR} + ${INSTALL_MAN} ${WRKSRC}/examples/short.smv ${STAGEDIR}${EXAMPLESDIR} + ${INSTALL_MAN} ${WRKSRC}/examples/syncarb5.smv ${STAGEDIR}${EXAMPLESDIR} .include Added: head/devel/smv/files/patch-makefile ============================================================================== --- /dev/null 00:00:00 1970 (empty, because file is newly added) +++ head/devel/smv/files/patch-makefile Wed Feb 19 11:22:01 2014 (r345067) @@ -0,0 +1,17 @@ +--- makefile.orig 2014-02-19 11:28:02.790529666 +0100 ++++ makefile 2014-02-19 11:28:28.407549409 +0100 +@@ -17,12 +17,12 @@ + OPTFLAGS = -g + #DFLAGS = -DBETTERHASH -DSMV_SIGNALS -DOTHER_SIMP -DSERGEYDEBUG + DFLAGS = -DBETTERHASH -DSMV_SIGNALS -DOTHER_SIMP +-CFLAGS = $(OPTFLAGS) -I. $(DFLAGS) $(REORDER) $(TIMING) $(VERFLAG) ++CFLAGS += $(OPTFLAGS) -I. $(DFLAGS) $(REORDER) $(TIMING) $(VERFLAG) + LIB = -lm $(MACHLIB) + OBJ = grammar.o input.o init.o main.o assoc.o bdd.o hash.o node.o storage.o \ + string.o symbols.o + EXEC = smv +-CC = gcc ++CC ?= gcc + M4 = m4 + #M4 = gm4 + Modified: head/devel/smv/pkg-plist ============================================================================== --- head/devel/smv/pkg-plist Wed Feb 19 10:56:44 2014 (r345066) +++ head/devel/smv/pkg-plist Wed Feb 19 11:22:01 2014 (r345067) @@ -1,20 +1,4 @@ bin/smv share/smv/smv-mode.el -%%PORTDOCS%%%%DOCSDIR%%/NEW -%%PORTDOCS%%%%DOCSDIR%%/README -%%PORTDOCS%%%%DOCSDIR%%/smvmanual.ps -%%PORTDOCS%%%%EXAMPLESDIR%%/counter.smv -%%PORTDOCS%%%%EXAMPLESDIR%%/dme1.smv -%%PORTDOCS%%%%EXAMPLESDIR%%/dme2.smv -%%PORTDOCS%%%%EXAMPLESDIR%%/featuring.smv -%%PORTDOCS%%%%EXAMPLESDIR%%/gigamax.smv -%%PORTDOCS%%%%EXAMPLESDIR%%/mutex.smv -%%PORTDOCS%%%%EXAMPLESDIR%%/mutex1.smv -%%PORTDOCS%%%%EXAMPLESDIR%%/periodic.smv -%%PORTDOCS%%%%EXAMPLESDIR%%/ring.smv -%%PORTDOCS%%%%EXAMPLESDIR%%/semaphore.smv -%%PORTDOCS%%%%EXAMPLESDIR%%/short.smv -%%PORTDOCS%%%%EXAMPLESDIR%%/syncarb5.smv -%%PORTDOCS%%@dirrm %%DOCSDIR%% -%%PORTDOCS%%@dirrm %%EXAMPLESDIR%% +man/man1/smv.1.gz @dirrm share/smv