------------------------------------------------------------------------------- -- Phase: Environment ------------------------------------------------------------------------------- NO_DEPENDS=1 UNAME_r=6.5 UNAME_m=x86_64 UNAME_p=x86_64 UNAME_v=unknown UNAME_s=DragonFly PATH=/sbin:/bin:/usr/sbin:/usr/bin:/usr/local/sbin:/usr/local/bin SSL_NO_VERIFY_PEER=1 LANG=C HOME=/root USER=root TERM=dumb SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: showconfig ------------------------------------------------------------------------------- SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: CONFIGURE_ENV ------------------------------------------------------------------------------- BISON=no MAKE=gmake XDG_DATA_HOME=/construction/devel/splint XDG_CONFIG_HOME=/construction/devel/splint XDG_CACHE_HOME=/construction/devel/splint/.cache HOME=/construction/devel/splint TMPDIR="/tmp" PATH=/construction/devel/splint/.bin:/sbin:/bin:/usr/sbin:/usr/bin:/usr/local/sbin:/usr/local/bin PKG_CONFIG_LIBDIR=/construction/devel/splint/.pkgconfig:/usr/local/libdata/pkgconfig:/usr/local/share/pkgconfig:/usr/libdata/pkgconfig SHELL=/bin/sh CONFIG_SHELL=/bin/sh CCVER=gcc80 CONFIG_SITE=/xports/Templates/config.site lt_cv_sys_max_cmd_len=262144 SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: CONFIGURE_ARGS ------------------------------------------------------------------------------- --prefix=/usr/local ${_LATE_CONFIGURE_ARGS} SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: MAKE_ENV ------------------------------------------------------------------------------- XDG_DATA_HOME=/construction/devel/splint XDG_CONFIG_HOME=/construction/devel/splint XDG_CACHE_HOME=/construction/devel/splint/.cache HOME=/construction/devel/splint TMPDIR="/tmp" PATH=/construction/devel/splint/.bin:/sbin:/bin:/usr/sbin:/usr/bin:/usr/local/sbin:/usr/local/bin PKG_CONFIG_LIBDIR=/construction/devel/splint/.pkgconfig:/usr/local/libdata/pkgconfig:/usr/local/share/pkgconfig:/usr/libdata/pkgconfig MK_DEBUG_FILES=no MK_KERNEL_SYMBOLS=no SHELL=/bin/sh NO_LINT=YES CCVER=gcc80 PREFIX=/usr/local LOCALBASE=/usr/local 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 0644" BSD_INSTALL_SCRIPT="install -m 555" BSD_INSTALL_DATA="install -m 0644" BSD_INSTALL_MAN="install -m 444" SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: MAKE_ARGS ------------------------------------------------------------------------------- DESTDIR=/construction/devel/splint/stage SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: PLIST_SUB ------------------------------------------------------------------------------- OSREL=6.5 PREFIX=%D LOCALBASE=/usr/local RESETPREFIX=/usr/local LIB32DIR=lib PROFILE="@comment " DOCSDIR="share/doc/splint" EXAMPLESDIR="share/examples/splint" DATADIR="share/splint" WWWDIR="www/splint" ETCDIR="etc/splint" SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: 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 SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: /etc/make.conf ------------------------------------------------------------------------------- DPORTS_BUILDER=yes DISABLE_LICENSES=yes DEFAULT_VERSIONS=ssl=openssl FORCE_PACKAGE=yes DEVELOPER=yes DFLY_STING_XFAIL=yes USE_PACKAGE_DEPENDS_ONLY=yes PORTSDIR=/xports PORT_DBDIR=/options PKG_DBDIR=/var/db/pkg PKG_CACHEDIR=/var/cache/pkg PKG_COMPRESSION_FORMAT=.tgz DEVELOPER=1 WITH_CCACHE_BUILD=yes CCACHE_DIR=/ccache UID=0 ARCH=x86_64 OPSYS=DragonFly DFLYVERSION=600503 OSVERSION=9999999 OSREL=6.5 _OSRELEASE=6.5-SYNTH DISTDIR=/distfiles WRKDIRPREFIX=/construction BATCH=yes PACKAGE_BUILDING=yes PKG_CREATE_VERBOSE=yes MAKE_JOBS_NUMBER=13 SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: setup ------------------------------------------------------------------------------- Installing /packages/All/indexinfo-0.3.1.pkg Installing /packages/All/gettext-runtime-0.21.1.pkg Installing /packages/All/gmake-4.3_2.pkg Installing /packages/All/ccache-3.7.12_4.pkg Create compiler links... create symlink for cc create symlink for cc (world) create symlink for c++ create symlink for c++ (world) create symlink for CC create symlink for CC (world) create symlink for gcc create symlink for gcc (world) create symlink for g++ create symlink for g++ (world) ===== Message from ccache-3.7.12_4: -- NOTE: Please read /usr/local/share/doc/ccache/ccache-howto-freebsd.txt for information on using ccache with FreeBSD ports and src. SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: check-sanity ------------------------------------------------------------------------------- SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: pkg-depends ------------------------------------------------------------------------------- ===> splint-3.1.2 depends on file: /usr/local/sbin/pkg - found SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: fetch-depends ------------------------------------------------------------------------------- SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: fetch ------------------------------------------------------------------------------- ===> splint-3.1.2 depends on file: /usr/local/sbin/pkg - found ===> Fetching all distfiles required by splint-3.1.2 for building SUCCEEDED 00:00:01 ------------------------------------------------------------------------------- -- Phase: checksum ------------------------------------------------------------------------------- ===> splint-3.1.2 depends on file: /usr/local/sbin/pkg - found ===> Fetching all distfiles required by splint-3.1.2 for building => SHA256 Checksum OK for splint-3.1.2.src.tgz. SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: extract-depends ------------------------------------------------------------------------------- SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: extract ------------------------------------------------------------------------------- ===> splint-3.1.2 depends on file: /usr/local/sbin/pkg - found ===> 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. Extracted Memory Use: 12.78M SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: patch-depends ------------------------------------------------------------------------------- SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: patch ------------------------------------------------------------------------------- ===> Patching for splint-3.1.2 ===> Applying ports patches for splint-3.1.2 from /xports/devel/splint/files /usr/bin/find /construction/devel/splint/splint-3.1.2 -name Makefile.in | /usr/bin/xargs /usr/bin/env WRKSRC=/construction/devel/splint/splint-3.1.2 REWARNFILE=/construction/devel/splint/reinplace_warnings.txt /bin/sh /xports/Mk/Scripts/sed_checked.sh -e '/^pkgdatadir =/s|=.*|=/usr/local/share/splint|' SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: build-depends ------------------------------------------------------------------------------- ===> splint-3.1.2 depends on package: gmake>=4.3 - found ===> splint-3.1.2 depends on file: /usr/local/bin/ccache - found SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: lib-depends ------------------------------------------------------------------------------- SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: configure ------------------------------------------------------------------------------- ===> splint-3.1.2 depends on package: gmake>=4.3 - found ===> splint-3.1.2 depends on file: /usr/local/bin/ccache - found ===> Configuring for splint-3.1.2 configure: loading site script /xports/Templates/config.site checking build system type... x86_64-portbld-dragonfly6.5 checking host system type... x86_64-portbld-dragonfly6.5 checking target system type... x86_64-portbld-dragonfly6.5 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 SUCCEEDED 00:00:08 ------------------------------------------------------------------------------- -- Phase: build ------------------------------------------------------------------------------- ===> Building for splint-3.1.2 gmake[1]: Entering directory '/construction/devel/splint/splint-3.1.2' gmake all-recursive gmake[2]: Entering directory '/construction/devel/splint/splint-3.1.2' Making all in src gmake[3]: Entering directory '/construction/devel/splint/splint-3.1.2/src' grep "FLG_" flags.def > Headers/flag_codes.gen gmake gmake[4]: Entering directory '/construction/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 '/construction/devel/splint/splint-3.1.2/src' gmake[5]: Nothing to be done for 'all-am'. gmake[5]: Leaving directory '/construction/devel/splint/splint-3.1.2/src' gmake[4]: Leaving directory '/construction/devel/splint/splint-3.1.2/src' cd ../lib; gmake gmake[4]: Entering directory '/construction/devel/splint/splint-3.1.2/lib' ../src/splint -nof -nolib +impconj standard.h -dump standard Splint 3.1.2 --- 29 Jul 2023 Finished checking --- no warnings ../src/splint -nof -nolib +impconj -DSTRICT standard.h -dump standardstrict Splint 3.1.2 --- 29 Jul 2023 Finished checking --- no warnings ../src/splint -nof -nolib +impconj standard.h posix.h -dump posix Splint 3.1.2 --- 29 Jul 2023 Finished checking --- no warnings ../src/splint -nof -nolib +impconj -DSTRICT standard.h posix.h -dump posixstrict Splint 3.1.2 --- 29 Jul 2023 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 --- 29 Jul 2023 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 --- 29 Jul 2023 Finished checking --- no warnings gmake[4]: Leaving directory '/construction/devel/splint/splint-3.1.2/lib' rm -f ../bin/splint ln -s ../src/splint ../bin/splint gmake all-am gmake[4]: Entering directory '/construction/devel/splint/splint-3.1.2/src' gmake[4]: Nothing to be done for 'all-am'. gmake[4]: Leaving directory '/construction/devel/splint/splint-3.1.2/src' gmake[3]: Leaving directory '/construction/devel/splint/splint-3.1.2/src' Making all in lib gmake[3]: Entering directory '/construction/devel/splint/splint-3.1.2/lib' ../src/splint -nof -nolib +impconj standard.h -dump standard Splint 3.1.2 --- 29 Jul 2023 Finished checking --- no warnings ../src/splint -nof -nolib +impconj -DSTRICT standard.h -dump standardstrict Splint 3.1.2 --- 29 Jul 2023 Finished checking --- no warnings ../src/splint -nof -nolib +impconj standard.h posix.h -dump posix Splint 3.1.2 --- 29 Jul 2023 Finished checking --- no warnings ../src/splint -nof -nolib +impconj -DSTRICT standard.h posix.h -dump posixstrict Splint 3.1.2 --- 29 Jul 2023 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 --- 29 Jul 2023 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 --- 29 Jul 2023 Finished checking --- no warnings gmake[3]: Leaving directory '/construction/devel/splint/splint-3.1.2/lib' Making all in imports gmake[3]: Entering directory '/construction/devel/splint/splint-3.1.2/imports' gmake[3]: Nothing to be done for 'all'. gmake[3]: Leaving directory '/construction/devel/splint/splint-3.1.2/imports' Making all in test gmake[3]: Entering directory '/construction/devel/splint/splint-3.1.2/test' Testing splint 3.1.2... Version Info: Splint 3.1.2 --- 29 Jul 2023 Maintainer: splint-bug@splint.org Compiled using cc -pipe -O2 -fno-strict-aliasing on DragonFly sting.dragonflybsd.org 6.5 unknown x86_64 by root Splint 3.1.2 --- 29 Jul 2023 LARCH_PATH = (default = .:/usr/local/share/splint/lib:/construction/de vel/splint/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:179:26: Parse Error: > Suspect missing struct or union keyword: __clock_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 '/construction/devel/splint/splint-3.1.2/test' Making all in doc gmake[3]: Entering directory '/construction/devel/splint/splint-3.1.2/doc' gmake[3]: Nothing to be done for 'all'. gmake[3]: Leaving directory '/construction/devel/splint/splint-3.1.2/doc' gmake[3]: Entering directory '/construction/devel/splint/splint-3.1.2' gmake[3]: Leaving directory '/construction/devel/splint/splint-3.1.2' gmake[2]: Leaving directory '/construction/devel/splint/splint-3.1.2' gmake[1]: Leaving directory '/construction/devel/splint/splint-3.1.2' SUCCEEDED 00:01:26 ------------------------------------------------------------------------------- -- Phase: run-depends ------------------------------------------------------------------------------- SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: stage ------------------------------------------------------------------------------- ===> Staging for splint-3.1.2 ===> Generating temporary packing list gmake[1]: Entering directory '/construction/devel/splint/splint-3.1.2' Making install in src gmake[2]: Entering directory '/construction/devel/splint/splint-3.1.2/src' gmake[3]: Entering directory '/construction/devel/splint/splint-3.1.2/src' /bin/sh ../config/mkinstalldirs /construction/devel/splint/stage/usr/local/bin install -s -m 555 splint /construction/devel/splint/stage/usr/local/bin/splint gmake[3]: Nothing to be done for 'install-data-am'. gmake[3]: Leaving directory '/construction/devel/splint/splint-3.1.2/src' gmake[2]: Leaving directory '/construction/devel/splint/splint-3.1.2/src' Making install in lib gmake[2]: Entering directory '/construction/devel/splint/splint-3.1.2/lib' ../src/splint -nof -nolib +impconj standard.h -dump standard Splint 3.1.2 --- 29 Jul 2023 Finished checking --- no warnings ../src/splint -nof -nolib +impconj -DSTRICT standard.h -dump standardstrict Splint 3.1.2 --- 29 Jul 2023 Finished checking --- no warnings ../src/splint -nof -nolib +impconj standard.h posix.h -dump posix Splint 3.1.2 --- 29 Jul 2023 Finished checking --- no warnings ../src/splint -nof -nolib +impconj -DSTRICT standard.h posix.h -dump posixstrict Splint 3.1.2 --- 29 Jul 2023 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 --- 29 Jul 2023 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 --- 29 Jul 2023 Finished checking --- no warnings gmake[3]: Entering directory '/construction/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 --- 29 Jul 2023 Finished checking --- no warnings ../src/splint -nof -nolib +impconj -DSTRICT standard.h -dump standardstrict Splint 3.1.2 --- 29 Jul 2023 Finished checking --- no warnings ../src/splint -nof -nolib +impconj standard.h posix.h -dump posix Splint 3.1.2 --- 29 Jul 2023 Finished checking --- no warnings ../src/splint -nof -nolib +impconj -DSTRICT standard.h posix.h -dump posixstrict Splint 3.1.2 --- 29 Jul 2023 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 --- 29 Jul 2023 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 --- 29 Jul 2023 Finished checking --- no warnings /bin/sh ../config/mkinstalldirs /construction/devel/splint/stage/usr/local/share/splint/lib mkdir /construction/devel/splint/stage/usr/local/share/splint mkdir /construction/devel/splint/stage/usr/local/share/splint/lib install -m 0644 standard.h /construction/devel/splint/stage/usr/local/share/splint/lib/standard.h install -m 0644 standard.lcd /construction/devel/splint/stage/usr/local/share/splint/lib/standard.lcd install -m 0644 standardstrict.lcd /construction/devel/splint/stage/usr/local/share/splint/lib/standardstrict.lcd install -m 0644 posix.h /construction/devel/splint/stage/usr/local/share/splint/lib/posix.h install -m 0644 posix.lcd /construction/devel/splint/stage/usr/local/share/splint/lib/posix.lcd install -m 0644 posixstrict.lcd /construction/devel/splint/stage/usr/local/share/splint/lib/posixstrict.lcd install -m 0644 unix.h /construction/devel/splint/stage/usr/local/share/splint/lib/unix.h install -m 0644 unix.lcd /construction/devel/splint/stage/usr/local/share/splint/lib/unix.lcd install -m 0644 unixstrict.lcd /construction/devel/splint/stage/usr/local/share/splint/lib/unixstrict.lcd install -m 0644 CTrait.syms /construction/devel/splint/stage/usr/local/share/splint/lib/CTrait.syms install -m 0644 CTraitGen.lcl /construction/devel/splint/stage/usr/local/share/splint/lib/CTraitGen.lcl install -m 0644 bool.h /construction/devel/splint/stage/usr/local/share/splint/lib/bool.h install -m 0644 file.mts /construction/devel/splint/stage/usr/local/share/splint/lib/file.mts install -m 0644 file.xh /construction/devel/splint/stage/usr/local/share/splint/lib/file.xh install -m 0644 filerw.mts /construction/devel/splint/stage/usr/local/share/splint/lib/filerw.mts install -m 0644 filerw.xh /construction/devel/splint/stage/usr/local/share/splint/lib/filerw.xh install -m 0644 lclinit.lci /construction/devel/splint/stage/usr/local/share/splint/lib/lclinit.lci install -m 0644 linux.h /construction/devel/splint/stage/usr/local/share/splint/lib/linux.h install -m 0644 lslinit.lsi /construction/devel/splint/stage/usr/local/share/splint/lib/lslinit.lsi install -m 0644 tainted.mts /construction/devel/splint/stage/usr/local/share/splint/lib/tainted.mts install -m 0644 tainted.xh /construction/devel/splint/stage/usr/local/share/splint/lib/tainted.xh install -m 0644 stdio.h /construction/devel/splint/stage/usr/local/share/splint/lib/stdio.h install -m 0644 stdlib.h /construction/devel/splint/stage/usr/local/share/splint/lib/stdlib.h install -m 0644 stdio.h /construction/devel/splint/stage/usr/local/share/splint/lib/stdio.h install -m 0644 stdlib.h /construction/devel/splint/stage/usr/local/share/splint/lib/stdlib.h gmake[3]: Leaving directory '/construction/devel/splint/splint-3.1.2/lib' gmake[2]: Leaving directory '/construction/devel/splint/splint-3.1.2/lib' Making install in imports gmake[2]: Entering directory '/construction/devel/splint/splint-3.1.2/imports' gmake[3]: Entering directory '/construction/devel/splint/splint-3.1.2/imports' gmake[3]: Nothing to be done for 'install-exec-am'. /bin/sh ../config/mkinstalldirs /construction/devel/splint/stage/usr/local/share/splint/imports mkdir /construction/devel/splint/stage/usr/local/share/splint/imports install -m 0644 assert.lcl /construction/devel/splint/stage/usr/local/share/splint/imports/assert.lcl install -m 0644 assert.lcs /construction/devel/splint/stage/usr/local/share/splint/imports/assert.lcs install -m 0644 ctype.lcl /construction/devel/splint/stage/usr/local/share/splint/imports/ctype.lcl install -m 0644 ctype.lcs /construction/devel/splint/stage/usr/local/share/splint/imports/ctype.lcs install -m 0644 errno.lcl /construction/devel/splint/stage/usr/local/share/splint/imports/errno.lcl install -m 0644 errno.lcs /construction/devel/splint/stage/usr/local/share/splint/imports/errno.lcs install -m 0644 limits.lcl /construction/devel/splint/stage/usr/local/share/splint/imports/limits.lcl install -m 0644 limits.lcs /construction/devel/splint/stage/usr/local/share/splint/imports/limits.lcs install -m 0644 locale.lcl /construction/devel/splint/stage/usr/local/share/splint/imports/locale.lcl install -m 0644 locale.lcs /construction/devel/splint/stage/usr/local/share/splint/imports/locale.lcs install -m 0644 math.lcl /construction/devel/splint/stage/usr/local/share/splint/imports/math.lcl install -m 0644 math.lcs /construction/devel/splint/stage/usr/local/share/splint/imports/math.lcs install -m 0644 setjmp.lcl /construction/devel/splint/stage/usr/local/share/splint/imports/setjmp.lcl install -m 0644 setjmp.lcs /construction/devel/splint/stage/usr/local/share/splint/imports/setjmp.lcs install -m 0644 signal.lcl /construction/devel/splint/stage/usr/local/share/splint/imports/signal.lcl install -m 0644 signal.lcs /construction/devel/splint/stage/usr/local/share/splint/imports/signal.lcs install -m 0644 stdarg.lcl /construction/devel/splint/stage/usr/local/share/splint/imports/stdarg.lcl install -m 0644 stdarg.lcs /construction/devel/splint/stage/usr/local/share/splint/imports/stdarg.lcs install -m 0644 stdio.lcl /construction/devel/splint/stage/usr/local/share/splint/imports/stdio.lcl install -m 0644 stdio.lcs /construction/devel/splint/stage/usr/local/share/splint/imports/stdio.lcs install -m 0644 stdlib.lcl /construction/devel/splint/stage/usr/local/share/splint/imports/stdlib.lcl install -m 0644 stdlib.lcs /construction/devel/splint/stage/usr/local/share/splint/imports/stdlib.lcs install -m 0644 string.lcl /construction/devel/splint/stage/usr/local/share/splint/imports/string.lcl install -m 0644 string.lcs /construction/devel/splint/stage/usr/local/share/splint/imports/string.lcs install -m 0644 strings.lcl /construction/devel/splint/stage/usr/local/share/splint/imports/strings.lcl install -m 0644 strings.lcs /construction/devel/splint/stage/usr/local/share/splint/imports/strings.lcs install -m 0644 time.lcl /construction/devel/splint/stage/usr/local/share/splint/imports/time.lcl install -m 0644 time.lcs /construction/devel/splint/stage/usr/local/share/splint/imports/time.lcs gmake[3]: Leaving directory '/construction/devel/splint/splint-3.1.2/imports' gmake[2]: Leaving directory '/construction/devel/splint/splint-3.1.2/imports' Making install in test gmake[2]: Entering directory '/construction/devel/splint/splint-3.1.2/test' gmake[3]: Entering directory '/construction/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 '/construction/devel/splint/splint-3.1.2/test' gmake[2]: Leaving directory '/construction/devel/splint/splint-3.1.2/test' Making install in doc gmake[2]: Entering directory '/construction/devel/splint/splint-3.1.2/doc' gmake[3]: Entering directory '/construction/devel/splint/splint-3.1.2/doc' gmake[3]: Nothing to be done for 'install-exec-am'. /bin/sh ../config/mkinstalldirs /construction/devel/splint/stage/usr/local/man/man1 install -m 0644 ./splint.1 /construction/devel/splint/stage/usr/local/man/man1/splint.1 gmake[3]: Leaving directory '/construction/devel/splint/splint-3.1.2/doc' gmake[2]: Leaving directory '/construction/devel/splint/splint-3.1.2/doc' gmake[2]: Entering directory '/construction/devel/splint/splint-3.1.2' gmake[3]: Entering directory '/construction/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 '/construction/devel/splint/splint-3.1.2' gmake[2]: Leaving directory '/construction/devel/splint/splint-3.1.2' gmake[1]: Leaving directory '/construction/devel/splint/splint-3.1.2' ====> Compressing man pages (compress-man) ====> Running Q/A tests (stage-qa) Warning: You have disabled the licenses framework with DISABLE_LICENSES, unable to run checks SUCCEEDED 00:00:02 ------------------------------------------------------------------------------- -- Phase: check-plist ------------------------------------------------------------------------------- ====> Checking for pkg-plist issues (check-plist) ===> Parsing plist ===> Checking for items in STAGEDIR missing from pkg-plist ===> Checking for items in pkg-plist which are not in STAGEDIR ===> No pkg-plist issues found (check-plist) SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: package ------------------------------------------------------------------------------- ===> Building package for splint-3.1.2 file sizes/checksums [53]: 0% file sizes/checksums [53]: 100% Service unavailablepacking files [53]: 0% packing files [53]: 100% packing directories [0]: 0% packing directories [0]: 100% SUCCEEDED 00:00:00 TOTAL TIME 00:01:39