=> Building devel/splint build started at Sun Mar 12 21:27:42 PDT 2017 port directory: /usr/ports/devel/splint building for: DragonFly pkgbox64.dragonflybsd.org 4.7-DEVELOPMENT DragonFly v4.7.0.1380.gb4315f-DEVELOPMENT #0: Fri Mar 3 17:20:21 PST 2017 root@pkgbox64.dragonflybsd.org:/usr/obj/usr/src/sys/X86_64_GENERIC x86_64 maintained by: lwhsu@FreeBSD.org ident warning: no id keywords in /build/boomdata/data/.m/Release48-default/ref/../09//usr/ports/devel/splint/Makefile Makefile ident: Poudriere version: 3.1-pre Host OSVERSION: 400713 Jail OSVERSION: 400713 ---Begin Environment--- STATUS=1 SAVED_TERM=screen MASTERMNT=/build/boomdata/data/.m/Release48-default/ref PATH=/usr/local/libexec/poudriere:/sbin:/bin:/usr/sbin:/usr/bin:/usr/pkg/bin:/usr/pkg/sbin:/usr/games:/usr/local/sbin:/usr/local/bin:/usr/pkg/xorg/bin:/usr/X11R6/bin:/root/bin:/sbin:/usr/sbin POUDRIERE_BUILD_TYPE=bulk PKGNAME=splint-3.1.2 OLDPWD=/root/boom PWD=/build/boomdata/data/.m/Release48-default/ref/.p/pool MASTERNAME=Release48-default TERM=cons25 USER=root HOME=/root POUDRIERE_VERSION=3.1-pre LOCALBASE=/usr/local PACKAGE_BUILDING=yes ---End Environment--- ---Begin OPTIONS List--- ---End OPTIONS List--- --CONFIGURE_ARGS-- --prefix=/usr/local ${_LATE_CONFIGURE_ARGS} --End CONFIGURE_ARGS-- --CONFIGURE_ENV-- MAKE=gmake XDG_DATA_HOME=/wrkdirs/devel/splint XDG_CONFIG_HOME=/wrkdirs/devel/splint HOME=/wrkdirs/devel/splint TMPDIR="/tmp" SHELL=/bin/sh CONFIG_SHELL=/bin/sh CCVER=gcc50 CONFIG_SITE=/usr/ports/Templates/config.site lt_cv_sys_max_cmd_len=262144 --End CONFIGURE_ENV-- --MAKE_ENV-- XDG_DATA_HOME=/wrkdirs/devel/splint XDG_CONFIG_HOME=/wrkdirs/devel/splint HOME=/wrkdirs/devel/splint TMPDIR="/tmp" NO_PIE=yes MK_DEBUG_FILES=no MK_KERNEL_SYMBOLS=no SHELL=/bin/sh NO_LINT=YES CCVER=gcc50 PREFIX=/usr/local LOCALBASE=/usr/local LIBDIR="/usr/lib" NOPROFILE=1 CC="cc" CFLAGS="-pipe -O2 -fno-strict-aliasing" CPP="cpp" CPPFLAGS="" LDFLAGS="" LIBS="" CXX="c++" CXXFLAGS=" -pipe -O2 -fno-strict-aliasing" MANPREFIX="/usr/local" BSD_INSTALL_PROGRAM="install -s -m 555" BSD_INSTALL_LIB="install -s -m 444" BSD_INSTALL_SCRIPT="install -m 555" BSD_INSTALL_DATA="install -m 0644" BSD_INSTALL_MAN="install -m 444" --End MAKE_ENV-- --PLIST_SUB-- OSREL=4.7 PREFIX=%D LOCALBASE=/usr/local RESETPREFIX=/usr/local PORTDOCS="" PORTEXAMPLES="" LIB32DIR=lib PROFILE="@comment " DOCSDIR="share/doc/splint" EXAMPLESDIR="share/examples/splint" DATADIR="share/splint" WWWDIR="www/splint" ETCDIR="etc/splint" --End PLIST_SUB-- --SUB_LIST-- PREFIX=/usr/local LOCALBASE=/usr/local DATADIR=/usr/local/share/splint DOCSDIR=/usr/local/share/doc/splint EXAMPLESDIR=/usr/local/share/examples/splint WWWDIR=/usr/local/www/splint ETCDIR=/usr/local/etc/splint --End SUB_LIST-- ---Begin make.conf--- NO_BACKUP=yes USE_PACKAGE_DEPENDS=yes PKG_CREATE_VERBOSE=yes BATCH=yes WRKDIRPREFIX=/wrkdirs PORT_DBDIR=/options PORTSDIR=/usr/ports PACKAGES=/packages DISTDIR=/distfiles MAKE_JOBS_NUMBER=5 ---End make.conf--- =================================================== =========================================================================== =================================================== ===> splint-3.1.2 depends on file: /usr/local/sbin/pkg - not found ===> Installing existing package /packages/All/pkg-1.9.4_1.txz Installing pkg-1.9.4_1... Extracting pkg-1.9.4_1: .......... done ===> splint-3.1.2 depends on file: /usr/local/sbin/pkg - found ===> Returning to build of splint-3.1.2 =========================================================================== =================================================== =========================================================================== =================================================== ===> Fetching all distfiles required by splint-3.1.2 for building =========================================================================== =================================================== ===> Fetching all distfiles required by splint-3.1.2 for building => SHA256 Checksum OK for splint-3.1.2.src.tgz. =========================================================================== =================================================== =========================================================================== =================================================== ===> Fetching all distfiles required by splint-3.1.2 for building ===> Extracting for splint-3.1.2 => SHA256 Checksum OK for splint-3.1.2.src.tgz. =========================================================================== =================================================== =========================================================================== =================================================== ===> Patching for splint-3.1.2 ===> Applying ports patches for splint-3.1.2 /usr/bin/find /wrkdirs/devel/splint/splint-3.1.2 -name Makefile.in | /usr/bin/xargs /usr/bin/sed -i.bak -e '/^pkgdatadir =/s|=.*|=/usr/local/share/splint|' =========================================================================== =================================================== ===> splint-3.1.2 depends on executable: gmake - not found ===> Installing existing package /packages/All/gmake-4.2.1_1.txz Installing gmake-4.2.1_1... `-- Installing indexinfo-0.2.6... `-- Extracting indexinfo-0.2.6: .... done `-- Installing gettext-runtime-0.19.8.1_1... `-- Extracting gettext-runtime-0.19.8.1_1: .......... done Extracting gmake-4.2.1_1: .......... done ===> splint-3.1.2 depends on executable: gmake - found ===> Returning to build of splint-3.1.2 =========================================================================== =================================================== =========================================================================== =================================================== ===> Configuring for splint-3.1.2 configure: loading site script /usr/ports/Templates/config.site checking build system type... x86_64-portbld-dragonfly4.7 checking host system type... x86_64-portbld-dragonfly4.7 checking target system type... x86_64-portbld-dragonfly4.7 checking for a BSD-compatible install... /usr/bin/install -c checking whether build environment is sane... yes checking for gawk... (cached) /usr/bin/awk checking whether gmake sets $(MAKE)... yes checking for gcc... cc checking for C compiler default output file name... a.out checking whether the C compiler works... yes checking whether we are cross compiling... no checking for suffix of executables... checking for suffix of object files... o checking whether we are using the GNU C compiler... yes checking whether cc accepts -g... yes checking for cc option to accept ANSI C... none needed checking for style of include used by gmake... GNU checking dependency style of cc... gcc3 checking how to run the C preprocessor... cpp checking for flex... flex checking for yywrap in -lfl... yes checking lex output file root... lex.yy checking whether yytext is a pointer... yes checking for a BSD-compatible install... /usr/bin/install -c checking whether gmake sets $(MAKE)... (cached) yes checking whether ln -s works... yes checking for bison... no checking for grep... grep checking for diff... diff checking for cat... cat checking for rm... rm checking for mv... mv checking for cp... cp checking for sed... (cached) /usr/bin/sed checking whether we need _ALL_SOURCE to expose mode_t... no checking whether to include support for LCL files... yes configure: creating ./config.status config.status: creating Makefile config.status: creating imports/Makefile config.status: creating lib/Makefile config.status: creating src/Makefile config.status: creating test/Makefile config.status: creating doc/Makefile config.status: creating bin/Makefile config.status: creating config.h config.status: executing depfiles commands =========================================================================== =================================================== ===> Building for splint-3.1.2 gmake[1]: Entering directory '/wrkdirs/devel/splint/splint-3.1.2' gmake all-recursive gmake[2]: Entering directory '/wrkdirs/devel/splint/splint-3.1.2' Making all in src gmake[3]: Entering directory '/wrkdirs/devel/splint/splint-3.1.2/src' grep "FLG_" flags.def > Headers/flag_codes.gen gmake gmake[4]: Entering directory '/wrkdirs/devel/splint/splint-3.1.2/src' Compiling cgrammar.c... Compiling cscanner.c... Compiling mtscanner.c... Compiling mtgrammar.c... Compiling llgrammar.c... Compiling signature.c... Compiling cppmain.c... Compiling cpplib.c... Compiling cppexp.c... Compiling cpphash.c... Compiling cpperror.c... Compiling context.c... Compiling uentry.c... Compiling cprim.c... Compiling macrocache.c... Compiling qual.c... Compiling qtype.c... Compiling stateClause.c... Compiling stateClauseList.c... Compiling ctype.c... Compiling cvar.c... Compiling clabstract.c... Compiling idDecl.c... Compiling clause.c... Compiling globalsClause.c... Compiling modifiesClause.c... Compiling warnClause.c... Compiling functionClause.c... Compiling functionClauseList.c... Compiling metaStateConstraint.c... Compiling metaStateConstraintList.c... Compiling metaStateExpression.c... Compiling metaStateSpecifier.c... Compiling functionConstraint.c... Compiling pointers.c... Compiling cscannerHelp.c... Compiling structNames.c... Compiling transferChecks.c... Compiling varKinds.c... Compiling nameChecks.c... Compiling exprData.c... Compiling cstring.c... Compiling fileloc.c... Compiling message.c... Compiling inputStream.c... Compiling fileTable.c... Compiling cstringTable.c... Compiling valueTable.c... Compiling stateValue.c... Compiling llerror.c... Compiling messageLog.c... Compiling flagMarker.c... Compiling aliasTable.c... Compiling ynm.c... Compiling sRefTable.c... Compiling genericTable.c... Compiling ekind.c... Compiling usymtab.c... Compiling multiVal.c... Compiling lltok.c... Compiling sRef.c... Compiling lcllib.c... Compiling randomNumbers.c... Compiling fileLib.c... Compiling globals.c... Compiling flags.c... Compiling general.c... Compiling osd.c... Compiling reader.c... Compiling mtreader.c... Compiling clauseStack.c... Compiling filelocStack.c... Compiling cstringList.c... Compiling cstringSList.c... Compiling sRefSetList.c... Compiling ctypeList.c... Compiling enumNameList.c... Compiling enumNameSList.c... Compiling exprNodeList.c... Compiling exprNodeSList.c... Compiling uentryList.c... Compiling fileIdList.c... Compiling filelocList.c... Compiling qualList.c... Compiling sRefList.c... Compiling flagMarkerList.c... Compiling idDeclList.c... Compiling flagSpec.c... Compiling globSet.c... Compiling intSet.c... Compiling typeIdSet.c... Compiling guardSet.c... Compiling usymIdSet.c... Compiling sRefSet.c... Compiling stateInfo.c... Compiling stateCombinationTable.c... Compiling metaStateTable.c... Compiling metaStateInfo.c... Compiling annotationTable.c... Compiling annotationInfo.c... Compiling mttok.c... Compiling mtDeclarationNode.c... Compiling mtDeclarationPieces.c... Compiling mtDeclarationPiece.c... Compiling mtContextNode.c... Compiling mtValuesNode.c... Compiling mtDefaultsNode.c... Compiling mtAnnotationsNode.c... Compiling mtMergeNode.c... Compiling mtAnnotationList.c... Compiling mtAnnotationDecl.c... Compiling mtTransferClauseList.c... Compiling mtTransferClause.c... Compiling mtTransferAction.c... Compiling mtLoseReferenceList.c... Compiling mtLoseReference.c... Compiling mtDefaultsDeclList.c... Compiling mtDefaultsDecl.c... Compiling mtMergeItem.c... Compiling mtMergeClause.c... Compiling mtMergeClauseList.c... Compiling exprNode.c... Compiling exprChecks.c... Compiling llmain.c... Compiling help.c... Compiling rcfiles.c... Compiling constraintList.c... Compiling constraintResolve.c... Compiling constraintGeneration.c... Compiling constraintTerm.c... Compiling constraintExprData.c... Compiling constraintExpr.c... Compiling constraint.c... Compiling loopHeuristics.c... Compiling lsymbolSet.c... Compiling sigNodeSet.c... Compiling lslOpSet.c... Compiling sortSet.c... Compiling initDeclNodeList.c... Compiling sortList.c... Compiling declaratorInvNodeList.c... Compiling interfaceNodeList.c... Compiling sortSetList.c... Compiling declaratorNodeList.c... Compiling letDeclNodeList.c... Compiling stDeclNodeList.c... Compiling storeRefNodeList.c... Compiling lslOpList.c... Compiling lsymbolList.c... Compiling termNodeList.c... Compiling ltokenList.c... Compiling traitRefNodeList.c... Compiling pairNodeList.c... Compiling typeNameNodeList.c... Compiling fcnNodeList.c... Compiling paramNodeList.c... Compiling programNodeList.c... Compiling varDeclarationNodeList.c... Compiling varNodeList.c... Compiling quantifierNodeList.c... Compiling replaceNodeList.c... Compiling importNodeList.c... Compiling tokentable.c... Compiling scan.c... Compiling scanline.c... Compiling lslparse.c... Compiling lh.c... Compiling checking.c... Compiling lclctypes.c... Compiling imports.c... Compiling lslinit.c... Compiling syntable.c... Compiling usymtab_interface.c... Compiling abstract.c... Compiling ltoken.c... Compiling lclscanline.c... Compiling lclsyntable.c... Compiling lcltokentable.c... Compiling sort.c... Compiling symtable.c... Compiling lclinit.c... Compiling shift.c... Compiling lclscan.c... Compiling lsymbol.c... Compiling mapping.c... cc -pipe -O2 -fno-strict-aliasing -o splint cgrammar.o cscanner.o mtscanner.o mtgrammar.o llgrammar.o signature.o cppmain.o cpplib.o cppexp.o cpphash.o cpperror.o context.o uentry.o cprim.o macrocache.o qual.o qtype.o stateClause.o stateClauseList.o ctype.o cvar.o clabstract.o idDecl.o clause.o globalsClause.o modifiesClause.o warnClause.o functionClause.o functionClauseList.o metaStateConstraint.o metaStateConstraintList.o metaStateExpression.o metaStateSpecifier.o functionConstraint.o pointers.o cscannerHelp.o structNames.o transferChecks.o varKinds.o nameChecks.o exprData.o cstring.o fileloc.o message.o inputStream.o fileTable.o cstringTable.o valueTable.o stateValue.o llerror.o messageLog.o flagMarker.o aliasTable.o ynm.o sRefTable.o genericTable.o ekind.o usymtab.o multiVal.o lltok.o sRef.o lcllib.o randomNumbers.o fileLib.o globals.o flags.o general.o osd.o reader.o mtreader.o clauseStack.o filelocStack.o cstringList.o cstringSList.o sRefSetList.o ctypeList.o enumNameList.o enumNameSList.o exprNodeList.o exprNodeSList.o uentryList.o fileIdList.o filelocList.o qualList.o sRefList.o flagMarkerList.o idDeclList.o flagSpec.o globSet.o intSet.o typeIdSet.o guardSet.o usymIdSet.o sRefSet.o stateInfo.o stateCombinationTable.o metaStateTable.o metaStateInfo.o annotationTable.o annotationInfo.o mttok.o mtDeclarationNode.o mtDeclarationPieces.o mtDeclarationPiece.o mtContextNode.o mtValuesNode.o mtDefaultsNode.o mtAnnotationsNode.o mtMergeNode.o mtAnnotationList.o mtAnnotationDecl.o mtTransferClauseList.o mtTransferClause.o mtTransferAction.o mtLoseReferenceList.o mtLoseReference.o mtDefaultsDeclList.o mtDefaultsDecl.o mtMergeItem.o mtMergeClause.o mtMergeClauseList.o exprNode.o exprChecks.o llmain.o help.o rcfiles.o constraintList.o constraintResolve.o constraintGeneration.o constraintTerm.o constraintExprData.o constraintExpr.o constraint.o loopHeuristics.o lsymbolSet.o sigNodeSet.o lslOpSet.o sortSet.o initDeclNodeList.o sortList.o declaratorInvNodeList.o interfaceNodeList.o sortSetList.o declaratorNodeList.o letDeclNodeList.o stDeclNodeList.o storeRefNodeList.o lslOpList.o lsymbolList.o termNodeList.o ltokenList.o traitRefNodeList.o pairNodeList.o typeNameNodeList.o fcnNodeList.o paramNodeList.o programNodeList.o varDeclarationNodeList.o varNodeList.o quantifierNodeList.o replaceNodeList.o importNodeList.o tokentable.o scan.o scanline.o lslparse.o lh.o checking.o lclctypes.o imports.o lslinit.o syntable.o usymtab_interface.o abstract.o ltoken.o lclscanline.o lclsyntable.o lcltokentable.o sort.o symtable.o lclinit.o shift.o lclscan.o lsymbol.o mapping.o -lfl rm -f ../bin/splint ln -s ../src/splint ../bin/splint gmake all-am gmake[5]: Entering directory '/wrkdirs/devel/splint/splint-3.1.2/src' gmake[5]: Nothing to be done for 'all-am'. gmake[5]: Leaving directory '/wrkdirs/devel/splint/splint-3.1.2/src' gmake[4]: Leaving directory '/wrkdirs/devel/splint/splint-3.1.2/src' cd ../lib; gmake gmake[4]: Entering directory '/wrkdirs/devel/splint/splint-3.1.2/lib' ../src/splint -nof -nolib +impconj standard.h -dump standard Splint 3.1.2 --- 13 Mar 2017 Finished checking --- no warnings ../src/splint -nof -nolib +impconj -DSTRICT standard.h -dump standardstrict Splint 3.1.2 --- 13 Mar 2017 Finished checking --- no warnings ../src/splint -nof -nolib +impconj standard.h posix.h -dump posix Splint 3.1.2 --- 13 Mar 2017 Finished checking --- no warnings ../src/splint -nof -nolib +impconj -DSTRICT standard.h posix.h -dump posixstrict Splint 3.1.2 --- 13 Mar 2017 Finished checking --- no warnings ../src/splint -supcounts -nof -incondefs -nolib +impconj standard.h posix.h unix.h stdio.h stdlib.h -dump unix Splint 3.1.2 --- 13 Mar 2017 Finished checking --- no warnings ../src/splint -supcounts -nof -incondefs -nolib +impconj -DSTRICT standard.h posix.h unix.h stdio.h stdlib.h -dump unixstrict Splint 3.1.2 --- 13 Mar 2017 Finished checking --- no warnings gmake[4]: Leaving directory '/wrkdirs/devel/splint/splint-3.1.2/lib' rm -f ../bin/splint ln -s ../src/splint ../bin/splint gmake all-am gmake[4]: Entering directory '/wrkdirs/devel/splint/splint-3.1.2/src' gmake[4]: Nothing to be done for 'all-am'. gmake[4]: Leaving directory '/wrkdirs/devel/splint/splint-3.1.2/src' gmake[3]: Leaving directory '/wrkdirs/devel/splint/splint-3.1.2/src' Making all in lib gmake[3]: Entering directory '/wrkdirs/devel/splint/splint-3.1.2/lib' ../src/splint -nof -nolib +impconj standard.h -dump standard Splint 3.1.2 --- 13 Mar 2017 Finished checking --- no warnings ../src/splint -nof -nolib +impconj -DSTRICT standard.h -dump standardstrict Splint 3.1.2 --- 13 Mar 2017 Finished checking --- no warnings ../src/splint -nof -nolib +impconj standard.h posix.h -dump posix Splint 3.1.2 --- 13 Mar 2017 Finished checking --- no warnings ../src/splint -nof -nolib +impconj -DSTRICT standard.h posix.h -dump posixstrict Splint 3.1.2 --- 13 Mar 2017 Finished checking --- no warnings ../src/splint -supcounts -nof -incondefs -nolib +impconj standard.h posix.h unix.h stdio.h stdlib.h -dump unix Splint 3.1.2 --- 13 Mar 2017 Finished checking --- no warnings ../src/splint -supcounts -nof -incondefs -nolib +impconj -DSTRICT standard.h posix.h unix.h stdio.h stdlib.h -dump unixstrict Splint 3.1.2 --- 13 Mar 2017 Finished checking --- no warnings gmake[3]: Leaving directory '/wrkdirs/devel/splint/splint-3.1.2/lib' Making all in imports gmake[3]: Entering directory '/wrkdirs/devel/splint/splint-3.1.2/imports' gmake[3]: Nothing to be done for 'all'. gmake[3]: Leaving directory '/wrkdirs/devel/splint/splint-3.1.2/imports' Making all in test gmake[3]: Entering directory '/wrkdirs/devel/splint/splint-3.1.2/test' Testing splint 3.1.2... Version Info: Splint 3.1.2 --- 13 Mar 2017 Maintainer: splint-bug@splint.org Compiled using cc -pipe -O2 -fno-strict-aliasing on DragonFly pkgbox64.dragonflybsd.org 4.7-DEVELOPMENT DragonFly v4.7.0.1380.gb4315f-DEVELOPM ENT #0: Fri Mar 3 17:20:21 PST 2017 root@pkgbox64.dragonflybsd.org:/usr/obj /usr/src/sys/X86_64_GENERIC x86_64 by root Splint 3.1.2 --- 13 Mar 2017 LARCH_PATH = (default = .:/usr/local/share/splint/lib:/wrkdirs/devel/s plint/splint-3.1.2/lib:) --- path used to find larch initialization files and LSL traits LCLIMPORTDIR = --- directory containing lcl standard library files (import with < ... >) include path = (set by environment variable CPATH and -I flags) --- path used to find #include'd files systemdirs = /usr/include/:/usr/lib/:/usr/local/include/:/usr/local/lib/ (set by -systemdirs or environment variable CPATH) --- if file is found on this path, it is treated as a system file for error reporting Tests: Checking help... Checking abstptr... Checking abstract... Checking alias... Checking alttypes... Checking ansireserved... Checking argorder... Checking args... Checking arraydims... Checking arrayinit... Checking arraylit... Checking blocks... Checking break... Checking cases... Checking cast... Checking chararraylit... Checking charlit... Checking clauses... Checking commentchar... Checking compdestroy... Checking compoundliterals... Checking compoundstmt... Checking condifomit... Checking constannot... Checking controldepth... Checking csyntax... Checking czechnames... Checking czechoslovaknames... Checking deadparam... Checking decl... Checking divzero... Checking enum... Checking enumtag... Checking exports... Checking external... Checking fields... Checking flags... Checking forbody... Checking format... Checking freearray... Checking funcpointer... Checking functionmacro... Checking glob... Checking globals... Checking impabstract... Checking info... Checking init... Checking innerarray... Checking inparam... Checking internal... Checking iter... Checking keep... Checking libs... Checking linked... Checking lintcomments... Checking list... Checking longint... Checking loopexec... Checking looptesteffect... Checking macros... Checking macrosef... Checking malloc... Checking merge... Checking mergenull... Checking modifies... Checking modtest... Checking moduncon... Checking mongoincludes... Checking mystrncat... Checking noeffect... Checking null... Checking nullret... Checking nullassign... Checking numabstract... Checking observer... Checking oldstyle... Checking outglob... Checking outparam... Checking parentype... Checking postnotnull... Checking preds... Checking prefixes... Checking printflike... Checking rc... Checking refcounts... Checking release... Checking repexpose... Checking returned... Checking russian... Checking sharing... Checking shifts... Checking sizesigns... Checking slovaknames... Checking specclauses... Checking special... Checking stack... Checking staticarray... Checking strings... Checking stringliteral... Checking structassign... Checking typequals... Checking typeof... Checking ud... Checking ulstypes... Checking union... Checking unioninit... Checking unnamedsu... Checking unreachable... Checking unsignedcompare... Checking unused... Checking ullint... Checking utypes... 6,9c6,9 < utypes.c: (in function f) < utypes.c:26:8: Variable src_bytes declared but not used < < Finished checking --- 2 code warnings, as expected --- > /usr/include/sys/types.h:192:26: Parse Error: > Suspect missing struct or union keyword: __clock_t : > u_int32_t. (For help on parse errors, see splint -help parseerrors.) > *** Cannot continue. *** FAIL *** Checking void... Checking widestrings... Checking metastate... Checking mergestate... Checking tainted... Checking fileio... Checking simplebufferConstraintTests... Checking moreBufferTests... Checking moreBufferTests2... Checking globalbufferannotation... Checking maxset... Checking strchr... Checking sizeoftest... Checking for... Checking manual... Checking tests2.2... Checking tests2.4... Checking tests2.5... Checking db1... Checking db2... Checking db3... gmake[3]: Leaving directory '/wrkdirs/devel/splint/splint-3.1.2/test' Making all in doc gmake[3]: Entering directory '/wrkdirs/devel/splint/splint-3.1.2/doc' gmake[3]: Nothing to be done for 'all'. gmake[3]: Leaving directory '/wrkdirs/devel/splint/splint-3.1.2/doc' gmake[3]: Entering directory '/wrkdirs/devel/splint/splint-3.1.2' gmake[3]: Nothing to be done for 'all-am'. gmake[3]: Leaving directory '/wrkdirs/devel/splint/splint-3.1.2' gmake[2]: Leaving directory '/wrkdirs/devel/splint/splint-3.1.2' gmake[1]: Leaving directory '/wrkdirs/devel/splint/splint-3.1.2' =========================================================================== =================================================== =========================================================================== =================================================== ===> Staging for splint-3.1.2 ===> Generating temporary packing list gmake[1]: Entering directory '/wrkdirs/devel/splint/splint-3.1.2' Making install in src gmake[2]: Entering directory '/wrkdirs/devel/splint/splint-3.1.2/src' gmake[3]: Entering directory '/wrkdirs/devel/splint/splint-3.1.2/src' /bin/sh ../config/mkinstalldirs /wrkdirs/devel/splint/stage/usr/local/bin install -s -m 555 splint /wrkdirs/devel/splint/stage/usr/local/bin/splint gmake[3]: Nothing to be done for 'install-data-am'. gmake[3]: Leaving directory '/wrkdirs/devel/splint/splint-3.1.2/src' gmake[2]: Leaving directory '/wrkdirs/devel/splint/splint-3.1.2/src' Making install in lib gmake[2]: Entering directory '/wrkdirs/devel/splint/splint-3.1.2/lib' ../src/splint -nof -nolib +impconj standard.h -dump standard Splint 3.1.2 --- 13 Mar 2017 Finished checking --- no warnings ../src/splint -nof -nolib +impconj -DSTRICT standard.h -dump standardstrict Splint 3.1.2 --- 13 Mar 2017 Finished checking --- no warnings ../src/splint -nof -nolib +impconj standard.h posix.h -dump posix Splint 3.1.2 --- 13 Mar 2017 Finished checking --- no warnings ../src/splint -nof -nolib +impconj -DSTRICT standard.h posix.h -dump posixstrict Splint 3.1.2 --- 13 Mar 2017 Finished checking --- no warnings ../src/splint -supcounts -nof -incondefs -nolib +impconj standard.h posix.h unix.h stdio.h stdlib.h -dump unix Splint 3.1.2 --- 13 Mar 2017 Finished checking --- no warnings ../src/splint -supcounts -nof -incondefs -nolib +impconj -DSTRICT standard.h posix.h unix.h stdio.h stdlib.h -dump unixstrict Splint 3.1.2 --- 13 Mar 2017 Finished checking --- no warnings gmake[3]: Entering directory '/wrkdirs/devel/splint/splint-3.1.2/lib' gmake[3]: Nothing to be done for 'install-exec-am'. ../src/splint -nof -nolib +impconj standard.h -dump standard Splint 3.1.2 --- 13 Mar 2017 Finished checking --- no warnings ../src/splint -nof -nolib +impconj -DSTRICT standard.h -dump standardstrict Splint 3.1.2 --- 13 Mar 2017 Finished checking --- no warnings ../src/splint -nof -nolib +impconj standard.h posix.h -dump posix Splint 3.1.2 --- 13 Mar 2017 Finished checking --- no warnings ../src/splint -nof -nolib +impconj -DSTRICT standard.h posix.h -dump posixstrict Splint 3.1.2 --- 13 Mar 2017 Finished checking --- no warnings ../src/splint -supcounts -nof -incondefs -nolib +impconj standard.h posix.h unix.h stdio.h stdlib.h -dump unix Splint 3.1.2 --- 13 Mar 2017 Finished checking --- no warnings ../src/splint -supcounts -nof -incondefs -nolib +impconj -DSTRICT standard.h posix.h unix.h stdio.h stdlib.h -dump unixstrict Splint 3.1.2 --- 13 Mar 2017 Finished checking --- no warnings /bin/sh ../config/mkinstalldirs /wrkdirs/devel/splint/stage/usr/local/share/splint/lib mkdir /wrkdirs/devel/splint/stage/usr/local/share/splint mkdir /wrkdirs/devel/splint/stage/usr/local/share/splint/lib install -m 0644 standard.h /wrkdirs/devel/splint/stage/usr/local/share/splint/lib/standard.h install -m 0644 standard.lcd /wrkdirs/devel/splint/stage/usr/local/share/splint/lib/standard.lcd install -m 0644 standardstrict.lcd /wrkdirs/devel/splint/stage/usr/local/share/splint/lib/standardstrict.lcd install -m 0644 posix.h /wrkdirs/devel/splint/stage/usr/local/share/splint/lib/posix.h install -m 0644 posix.lcd /wrkdirs/devel/splint/stage/usr/local/share/splint/lib/posix.lcd install -m 0644 posixstrict.lcd /wrkdirs/devel/splint/stage/usr/local/share/splint/lib/posixstrict.lcd install -m 0644 unix.h /wrkdirs/devel/splint/stage/usr/local/share/splint/lib/unix.h install -m 0644 unix.lcd /wrkdirs/devel/splint/stage/usr/local/share/splint/lib/unix.lcd install -m 0644 unixstrict.lcd /wrkdirs/devel/splint/stage/usr/local/share/splint/lib/unixstrict.lcd install -m 0644 CTrait.syms /wrkdirs/devel/splint/stage/usr/local/share/splint/lib/CTrait.syms install -m 0644 CTraitGen.lcl /wrkdirs/devel/splint/stage/usr/local/share/splint/lib/CTraitGen.lcl install -m 0644 bool.h /wrkdirs/devel/splint/stage/usr/local/share/splint/lib/bool.h install -m 0644 file.mts /wrkdirs/devel/splint/stage/usr/local/share/splint/lib/file.mts install -m 0644 file.xh /wrkdirs/devel/splint/stage/usr/local/share/splint/lib/file.xh install -m 0644 filerw.mts /wrkdirs/devel/splint/stage/usr/local/share/splint/lib/filerw.mts install -m 0644 filerw.xh /wrkdirs/devel/splint/stage/usr/local/share/splint/lib/filerw.xh install -m 0644 lclinit.lci /wrkdirs/devel/splint/stage/usr/local/share/splint/lib/lclinit.lci install -m 0644 linux.h /wrkdirs/devel/splint/stage/usr/local/share/splint/lib/linux.h install -m 0644 lslinit.lsi /wrkdirs/devel/splint/stage/usr/local/share/splint/lib/lslinit.lsi install -m 0644 tainted.mts /wrkdirs/devel/splint/stage/usr/local/share/splint/lib/tainted.mts install -m 0644 tainted.xh /wrkdirs/devel/splint/stage/usr/local/share/splint/lib/tainted.xh install -m 0644 stdio.h /wrkdirs/devel/splint/stage/usr/local/share/splint/lib/stdio.h install -m 0644 stdlib.h /wrkdirs/devel/splint/stage/usr/local/share/splint/lib/stdlib.h install -m 0644 stdio.h /wrkdirs/devel/splint/stage/usr/local/share/splint/lib/stdio.h install -m 0644 stdlib.h /wrkdirs/devel/splint/stage/usr/local/share/splint/lib/stdlib.h gmake[3]: Leaving directory '/wrkdirs/devel/splint/splint-3.1.2/lib' gmake[2]: Leaving directory '/wrkdirs/devel/splint/splint-3.1.2/lib' Making install in imports gmake[2]: Entering directory '/wrkdirs/devel/splint/splint-3.1.2/imports' gmake[3]: Entering directory '/wrkdirs/devel/splint/splint-3.1.2/imports' gmake[3]: Nothing to be done for 'install-exec-am'. /bin/sh ../config/mkinstalldirs /wrkdirs/devel/splint/stage/usr/local/share/splint/imports mkdir /wrkdirs/devel/splint/stage/usr/local/share/splint/imports install -m 0644 assert.lcl /wrkdirs/devel/splint/stage/usr/local/share/splint/imports/assert.lcl install -m 0644 assert.lcs /wrkdirs/devel/splint/stage/usr/local/share/splint/imports/assert.lcs install -m 0644 ctype.lcl /wrkdirs/devel/splint/stage/usr/local/share/splint/imports/ctype.lcl install -m 0644 ctype.lcs /wrkdirs/devel/splint/stage/usr/local/share/splint/imports/ctype.lcs install -m 0644 errno.lcl /wrkdirs/devel/splint/stage/usr/local/share/splint/imports/errno.lcl install -m 0644 errno.lcs /wrkdirs/devel/splint/stage/usr/local/share/splint/imports/errno.lcs install -m 0644 limits.lcl /wrkdirs/devel/splint/stage/usr/local/share/splint/imports/limits.lcl install -m 0644 limits.lcs /wrkdirs/devel/splint/stage/usr/local/share/splint/imports/limits.lcs install -m 0644 locale.lcl /wrkdirs/devel/splint/stage/usr/local/share/splint/imports/locale.lcl install -m 0644 locale.lcs /wrkdirs/devel/splint/stage/usr/local/share/splint/imports/locale.lcs install -m 0644 math.lcl /wrkdirs/devel/splint/stage/usr/local/share/splint/imports/math.lcl install -m 0644 math.lcs /wrkdirs/devel/splint/stage/usr/local/share/splint/imports/math.lcs install -m 0644 setjmp.lcl /wrkdirs/devel/splint/stage/usr/local/share/splint/imports/setjmp.lcl install -m 0644 setjmp.lcs /wrkdirs/devel/splint/stage/usr/local/share/splint/imports/setjmp.lcs install -m 0644 signal.lcl /wrkdirs/devel/splint/stage/usr/local/share/splint/imports/signal.lcl install -m 0644 signal.lcs /wrkdirs/devel/splint/stage/usr/local/share/splint/imports/signal.lcs install -m 0644 stdarg.lcl /wrkdirs/devel/splint/stage/usr/local/share/splint/imports/stdarg.lcl install -m 0644 stdarg.lcs /wrkdirs/devel/splint/stage/usr/local/share/splint/imports/stdarg.lcs install -m 0644 stdio.lcl /wrkdirs/devel/splint/stage/usr/local/share/splint/imports/stdio.lcl install -m 0644 stdio.lcs /wrkdirs/devel/splint/stage/usr/local/share/splint/imports/stdio.lcs install -m 0644 stdlib.lcl /wrkdirs/devel/splint/stage/usr/local/share/splint/imports/stdlib.lcl install -m 0644 stdlib.lcs /wrkdirs/devel/splint/stage/usr/local/share/splint/imports/stdlib.lcs install -m 0644 string.lcl /wrkdirs/devel/splint/stage/usr/local/share/splint/imports/string.lcl install -m 0644 string.lcs /wrkdirs/devel/splint/stage/usr/local/share/splint/imports/string.lcs install -m 0644 strings.lcl /wrkdirs/devel/splint/stage/usr/local/share/splint/imports/strings.lcl install -m 0644 strings.lcs /wrkdirs/devel/splint/stage/usr/local/share/splint/imports/strings.lcs install -m 0644 time.lcl /wrkdirs/devel/splint/stage/usr/local/share/splint/imports/time.lcl install -m 0644 time.lcs /wrkdirs/devel/splint/stage/usr/local/share/splint/imports/time.lcs gmake[3]: Leaving directory '/wrkdirs/devel/splint/splint-3.1.2/imports' gmake[2]: Leaving directory '/wrkdirs/devel/splint/splint-3.1.2/imports' Making install in test gmake[2]: Entering directory '/wrkdirs/devel/splint/splint-3.1.2/test' gmake[3]: Entering directory '/wrkdirs/devel/splint/splint-3.1.2/test' gmake[3]: Nothing to be done for 'install-exec-am'. gmake[3]: Nothing to be done for 'install-data-am'. gmake[3]: Leaving directory '/wrkdirs/devel/splint/splint-3.1.2/test' gmake[2]: Leaving directory '/wrkdirs/devel/splint/splint-3.1.2/test' Making install in doc gmake[2]: Entering directory '/wrkdirs/devel/splint/splint-3.1.2/doc' gmake[3]: Entering directory '/wrkdirs/devel/splint/splint-3.1.2/doc' gmake[3]: Nothing to be done for 'install-exec-am'. /bin/sh ../config/mkinstalldirs /wrkdirs/devel/splint/stage/usr/local/man/man1 install -m 0644 ./splint.1 /wrkdirs/devel/splint/stage/usr/local/man/man1/splint.1 gmake[3]: Leaving directory '/wrkdirs/devel/splint/splint-3.1.2/doc' gmake[2]: Leaving directory '/wrkdirs/devel/splint/splint-3.1.2/doc' gmake[2]: Entering directory '/wrkdirs/devel/splint/splint-3.1.2' gmake[3]: Entering directory '/wrkdirs/devel/splint/splint-3.1.2' gmake[3]: Nothing to be done for 'install-exec-am'. gmake[3]: Nothing to be done for 'install-data-am'. gmake[3]: Leaving directory '/wrkdirs/devel/splint/splint-3.1.2' gmake[2]: Leaving directory '/wrkdirs/devel/splint/splint-3.1.2' gmake[1]: Leaving directory '/wrkdirs/devel/splint/splint-3.1.2' ====> Compressing man pages (compress-man) =========================================================================== =================================================== ===> Building package for splint-3.1.2 file sizes/checksums [53]: . done packing files [53]: . done packing directories [0]: . done =========================================================================== => Cleaning up wrkdir ===> Cleaning for splint-3.1.2 build of devel/splint ended at Sun Mar 12 21:29:41 PDT 2017 build time: 00:01:59