Date: Wed, 19 Feb 2014 11:22:02 +0000 (UTC) From: Emanuel Haupt <ehaupt@FreeBSD.org> To: ports-committers@freebsd.org, svn-ports-all@freebsd.org, svn-ports-head@freebsd.org Subject: svn commit: r345067 - in head/devel/smv: . files Message-ID: <201402191122.s1JBM2Rl097476@svn.freebsd.org>
next in thread | raw e-mail | index | archive | help
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 <bsd.port.mk> 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
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?201402191122.s1JBM2Rl097476>