svn commit: r345067 - in head/devel/smv: . files
Emanuel Haupt
ehaupt at FreeBSD.org
Wed Feb 19 11:22:03 UTC 2014
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 at 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
More information about the svn-ports-all
mailing list