+ local run_cmd
+ run_cmd=run_su
+ shift
+ run_su /usr/pkg/bin/bmake stage-install BATCH=1 DEPENDS_TARGET=/nonexistent WRKLOG=/tmp/bulklog/spin-6.4.7/work.log
+ su pbulk -c '"$@"' make /usr/pkg/bin/bmake stage-install BATCH=1 DEPENDS_TARGET=/nonexistent WRKLOG=/tmp/bulklog/spin-6.4.7/work.log
=> Bootstrap dependency digest>=20211023: found digest-20220214
===> Installing for spin-6.5.2
=> Generating pre-install file lists
=> Creating installation directories
/usr/bin/install -c -s -o pbulk -g pbulk -m 755 /home/pbulk/build/devel/spin/work/Spin-version-6.5.2/Src/spin /home/pbulk/build/devel/spin/work/.destdir/usr/pkg/bin
/usr/bin/install -c -o pbulk -g pbulk -m 644 /home/pbulk/build/devel/spin/work/Spin-version-6.5.2/Man/spin.1 /home/pbulk/build/devel/spin/work/.destdir/usr/pkg/man/man1/spin.1
cd /home/pbulk/build/devel/spin/work/Spin-version-6.5.2/Examples && /bin/pax -pp -rw * /home/pbulk/build/devel/spin/work/.destdir/usr/pkg/share/examples/spin
=> Automatic manual page handling
=> Generating post-install file lists
=> Checking file-check results for spin-6.5.2
=> Checking for non-existent script interpreters in spin-6.5.2
=> Checking file permissions in spin-6.5.2
warning: /home/pbulk/build/devel/spin/work/.destdir/usr/pkg/share/examples/spin/Book_1991/App.F.datalink.h: executable bit is set on non-executable file.
warning: /home/pbulk/build/devel/spin/work/.destdir/usr/pkg/share/examples/spin/Book_1991/App.F.defines.h: executable bit is set on non-executable file.
warning: /home/pbulk/build/devel/spin/work/.destdir/usr/pkg/share/examples/spin/Book_1991/App.F.flow_cl.h: executable bit is set on non-executable file.
warning: /home/pbulk/build/devel/spin/work/.destdir/usr/pkg/share/examples/spin/Book_1991/App.F.fserver.h: executable bit is set on non-executable file.
warning: /home/pbulk/build/devel/spin/work/.destdir/usr/pkg/share/examples/spin/Book_1991/App.F.pftp.pml: executable bit is set on non-executable file.
warning: /home/pbulk/build/devel/spin/work/.destdir/usr/pkg/share/examples/spin/Book_1991/App.F.present.h: executable bit is set on non-executable file.
warning: /home/pbulk/build/devel/spin/work/.destdir/usr/pkg/share/examples/spin/Book_1991/App.F.session.h: executable bit is set on non-executable file.
warning: /home/pbulk/build/devel/spin/work/.destdir/usr/pkg/share/examples/spin/Book_1991/App.F.user.h: executable bit is set on non-executable file.
warning: /home/pbulk/build/devel/spin/work/.destdir/usr/pkg/share/examples/spin/Book_1991/README.txt: executable bit is set on non-executable file.
warning: /home/pbulk/build/devel/spin/work/.destdir/usr/pkg/share/examples/spin/Book_1991/p101.pml: executable bit is set on non-executable file.
warning: /home/pbulk/build/devel/spin/work/.destdir/usr/pkg/share/examples/spin/Book_1991/p102.pml: executable bit is set on non-executable file.
warning: /home/pbulk/build/devel/spin/work/.destdir/usr/pkg/share/examples/spin/Book_1991/p104.1.pml: executable bit is set on non-executable file.
warning: /home/pbulk/build/devel/spin/work/.destdir/usr/pkg/share/examples/spin/Book_1991/p104.2.pml: executable bit is set on non-executable file.
warning: /home/pbulk/build/devel/spin/work/.destdir/usr/pkg/share/examples/spin/Book_1991/p105.1.pml: executable bit is set on non-executable file.
warning: /home/pbulk/build/devel/spin/work/.destdir/usr/pkg/share/examples/spin/Book_1991/p105.2.pml: executable bit is set on non-executable file.
warning: /home/pbulk/build/devel/spin/work/.destdir/usr/pkg/share/examples/spin/Book_1991/p107.pml: executable bit is set on non-executable file.
warning: /home/pbulk/build/devel/spin/work/.destdir/usr/pkg/share/examples/spin/Book_1991/p108.pml: executable bit is set on non-executable file.
warning: /home/pbulk/build/devel/spin/work/.destdir/usr/pkg/share/examples/spin/Book_1991/p116.pml: executable bit is set on non-executable file.
warning: /home/pbulk/build/devel/spin/work/.destdir/usr/pkg/share/examples/spin/Book_1991/p117.pml: executable bit is set on non-executable file.
warning: /home/pbulk/build/devel/spin/work/.destdir/usr/pkg/share/examples/spin/Book_1991/p123.pml: executable bit is set on non-executable file.
warning: /home/pbulk/build/devel/spin/work/.destdir/usr/pkg/share/examples/spin/Book_1991/p248.pml: executable bit is set on non-executable file.
warning: /home/pbulk/build/devel/spin/work/.destdir/usr/pkg/share/examples/spin/Book_1991/p312.pml: executable bit is set on non-executable file.
warning: /home/pbulk/build/devel/spin/work/.destdir/usr/pkg/share/examples/spin/Book_1991/p319.pml: executable bit is set on non-executable file.
warning: /home/pbulk/build/devel/spin/work/.destdir/usr/pkg/share/examples/spin/Book_1991/p320.pml: executable bit is set on non-executable file.
warning: /home/pbulk/build/devel/spin/work/.destdir/usr/pkg/share/examples/spin/Book_1991/p325.test.h: executable bit is set on non-executable file.
warning: /home/pbulk/build/devel/spin/work/.destdir/usr/pkg/share/examples/spin/Book_1991/p327.upper.h: executable bit is set on non-executable file.
warning: /home/pbulk/build/devel/spin/work/.destdir/usr/pkg/share/examples/spin/Book_1991/p329.pml: executable bit is set on non-executable file.
warning: /home/pbulk/build/devel/spin/work/.destdir/usr/pkg/share/examples/spin/Book_1991/p330.pml: executable bit is set on non-executable file.
warning: /home/pbulk/build/devel/spin/work/.destdir/usr/pkg/share/examples/spin/Book_1991/p337.defines2.h: executable bit is set on non-executable file.
warning: /home/pbulk/build/devel/spin/work/.destdir/usr/pkg/share/examples/spin/Book_1991/p337.fserver.h: executable bit is set on non-executable file.
warning: /home/pbulk/build/devel/spin/work/.destdir/usr/pkg/share/examples/spin/Book_1991/p337.pftp.ses.pml: executable bit is set on non-executable file.
warning: /home/pbulk/build/devel/spin/work/.destdir/usr/pkg/share/examples/spin/Book_1991/p337.session.h: executable bit is set on non-executable file.
warning: /home/pbulk/build/devel/spin/work/.destdir/usr/pkg/share/examples/spin/Book_1991/p337.user.h: executable bit is set on non-executable file.
warning: /home/pbulk/build/devel/spin/work/.destdir/usr/pkg/share/examples/spin/Book_1991/p342.pftp.ses1.h: executable bit is set on non-executable file.
warning: /home/pbulk/build/devel/spin/work/.destdir/usr/pkg/share/examples/spin/Book_1991/p343.claim.h: executable bit is set on non-executable file.
warning: /home/pbulk/build/devel/spin/work/.destdir/usr/pkg/share/examples/spin/Book_1991/p347.pftp.ses5.pml: executable bit is set on non-executable file.
warning: /home/pbulk/build/devel/spin/work/.destdir/usr/pkg/share/examples/spin/Book_1991/p347.pres.sim.h: executable bit is set on non-executable file.
warning: /home/pbulk/build/devel/spin/work/.destdir/usr/pkg/share/examples/spin/Book_1991/p347.session.prog.h: executable bit is set on non-executable file.
warning: /home/pbulk/build/devel/spin/work/.destdir/usr/pkg/share/examples/spin/Book_1991/p94.pml: executable bit is set on non-executable file.
warning: /home/pbulk/build/devel/spin/work/.destdir/usr/pkg/share/examples/spin/Book_1991/p95.1.pml: executable bit is set on non-executable file.
warning: /home/pbulk/build/devel/spin/work/.destdir/usr/pkg/share/examples/spin/Book_1991/p95.2.pml: executable bit is set on non-executable file.
warning: /home/pbulk/build/devel/spin/work/.destdir/usr/pkg/share/examples/spin/Book_1991/p96.1.pml: executable bit is set on non-executable file.
warning: /home/pbulk/build/devel/spin/work/.destdir/usr/pkg/share/examples/spin/Book_1991/p96.2.pml: executable bit is set on non-executable file.
warning: /home/pbulk/build/devel/spin/work/.destdir/usr/pkg/share/examples/spin/Book_1991/p97.1.pml: executable bit is set on non-executable file.
warning: /home/pbulk/build/devel/spin/work/.destdir/usr/pkg/share/examples/spin/Book_1991/p97.2.pml: executable bit is set on non-executable file.
warning: /home/pbulk/build/devel/spin/work/.destdir/usr/pkg/share/examples/spin/Book_1991/p99.pml: executable bit is set on non-executable file.
warning: /home/pbulk/build/devel/spin/work/.destdir/usr/pkg/share/examples/spin/Exercises/ex_1a.pml: executable bit is set on non-executable file.
warning: /home/pbulk/build/devel/spin/work/.destdir/usr/pkg/share/examples/spin/Exercises/ex_1f.pml: executable bit is set on non-executable file.
warning: /home/pbulk/build/devel/spin/work/.destdir/usr/pkg/share/examples/spin/Exercises/ex_2.pml: executable bit is set on non-executable file.
warning: /home/pbulk/build/devel/spin/work/.destdir/usr/pkg/share/examples/spin/Exercises/ex_3a.pml: executable bit is set on non-executable file.
warning: /home/pbulk/build/devel/spin/work/.destdir/usr/pkg/share/examples/spin/Exercises/ex_3b.pml: executable bit is set on non-executable file.
warning: /home/pbulk/build/devel/spin/work/.destdir/usr/pkg/share/examples/spin/Exercises/ex_3c.pml: executable bit is set on non-executable file.
warning: /home/pbulk/build/devel/spin/work/.destdir/usr/pkg/share/examples/spin/Exercises/ex_4.pml: executable bit is set on non-executable file.
warning: /home/pbulk/build/devel/spin/work/.destdir/usr/pkg/share/examples/spin/Exercises/ex_5.pml: executable bit is set on non-executable file.
warning: /home/pbulk/build/devel/spin/work/.destdir/usr/pkg/share/examples/spin/Exercises/ex_6.pml: executable bit is set on non-executable file.
warning: /home/pbulk/build/devel/spin/work/.destdir/usr/pkg/share/examples/spin/LTL/bakery.pml: executable bit is set on non-executable file.
warning: /home/pbulk/build/devel/spin/work/.destdir/usr/pkg/share/examples/spin/LTL/diskhead.pml: executable bit is set on non-executable file.
warning: /home/pbulk/build/devel/spin/work/.destdir/usr/pkg/share/examples/spin/LTL/leader.pml: executable bit is set on non-executable file.
warning: /home/pbulk/build/devel/spin/work/.destdir/usr/pkg/share/examples/spin/LTL/leader_pre.pml: executable bit is set on non-executable file.
warning: /home/pbulk/build/devel/spin/work/.destdir/usr/pkg/share/examples/spin/LTL/ltl_always_eventually.pml: executable bit is set on non-executable file.
warning: /home/pbulk/build/devel/spin/work/.destdir/usr/pkg/share/examples/spin/LTL/ltl_example.pml: executable bit is set on non-executable file.
warning: /home/pbulk/build/devel/spin/work/.destdir/usr/pkg/share/examples/spin/LTL/ltl_gen.pml: executable bit is set on non-executable file.
warning: /home/pbulk/build/devel/spin/work/.destdir/usr/pkg/share/examples/spin/LTL/mobile1.pml: executable bit is set on non-executable file.
warning: /home/pbulk/build/devel/spin/work/.destdir/usr/pkg/share/examples/spin/LTL/mobile2.pml: executable bit is set on non-executable file.
warning: /home/pbulk/build/devel/spin/work/.destdir/usr/pkg/share/examples/spin/LTL/patterns.pml: executable bit is set on non-executable file.
warning: /home/pbulk/build/devel/spin/work/.destdir/usr/pkg/share/examples/spin/LTL/petersonN.pml: executable bit is set on non-executable file.
warning: /home/pbulk/build/devel/spin/work/.destdir/usr/pkg/share/examples/spin/LTL/pftp.pml: executable bit is set on non-executable file.
warning: /home/pbulk/build/devel/spin/work/.destdir/usr/pkg/share/examples/spin/LTL/salesman1.pml: executable bit is set on non-executable file.
warning: /home/pbulk/build/devel/spin/work/.destdir/usr/pkg/share/examples/spin/LTL/salesman2.pml: executable bit is set on non-executable file.
warning: /home/pbulk/build/devel/spin/work/.destdir/usr/pkg/share/examples/spin/LTL/train.pml: executable bit is set on non-executable file.
warning: /home/pbulk/build/devel/spin/work/.destdir/usr/pkg/share/examples/spin/LTL/zune.pml: executable bit is set on non-executable file.
warning: /home/pbulk/build/devel/spin/work/.destdir/usr/pkg/share/examples/spin/README_tests.txt: executable bit is set on non-executable file.
warning: /home/pbulk/build/devel/spin/work/.destdir/usr/pkg/share/examples/spin/abp.pml: executable bit is set on non-executable file.
warning: /home/pbulk/build/devel/spin/work/.destdir/usr/pkg/share/examples/spin/calculator.pml: executable bit is set on non-executable file.
warning: /home/pbulk/build/devel/spin/work/.destdir/usr/pkg/share/examples/spin/cambridge.pml: executable bit is set on non-executable file.
warning: /home/pbulk/build/devel/spin/work/.destdir/usr/pkg/share/examples/spin/dtp.pml: executable bit is set on non-executable file.
warning: /home/pbulk/build/devel/spin/work/.destdir/usr/pkg/share/examples/spin/eratosthenes.pml: executable bit is set on non-executable file.
warning: /home/pbulk/build/devel/spin/work/.destdir/usr/pkg/share/examples/spin/for_example.pml: executable bit is set on non-executable file.
warning: /home/pbulk/build/devel/spin/work/.destdir/usr/pkg/share/examples/spin/for_select_example.pml: executable bit is set on non-executable file.
warning: /home/pbulk/build/devel/spin/work/.destdir/usr/pkg/share/examples/spin/hajek.pml: executable bit is set on non-executable file.
warning: /home/pbulk/build/devel/spin/work/.destdir/usr/pkg/share/examples/spin/hello.pml: executable bit is set on non-executable file.
warning: /home/pbulk/build/devel/spin/work/.destdir/usr/pkg/share/examples/spin/leader0.pml: executable bit is set on non-executable file.
warning: /home/pbulk/build/devel/spin/work/.destdir/usr/pkg/share/examples/spin/leader_trace.pml: executable bit is set on non-executable file.
warning: /home/pbulk/build/devel/spin/work/.destdir/usr/pkg/share/examples/spin/life.pml: executable bit is set on non-executable file.
warning: /home/pbulk/build/devel/spin/work/.destdir/usr/pkg/share/examples/spin/loops.pml: executable bit is set on non-executable file.
warning: /home/pbulk/build/devel/spin/work/.destdir/usr/pkg/share/examples/spin/manna_pnueli.pml: executable bit is set on non-executable file.
warning: /home/pbulk/build/devel/spin/work/.destdir/usr/pkg/share/examples/spin/pathfinder.pml: executable bit is set on non-executable file.
warning: /home/pbulk/build/devel/spin/work/.destdir/usr/pkg/share/examples/spin/peterson.pml: executable bit is set on non-executable file.
warning: /home/pbulk/build/devel/spin/work/.destdir/usr/pkg/share/examples/spin/priorities.pml: executable bit is set on non-executable file.
warning: /home/pbulk/build/devel/spin/work/.destdir/usr/pkg/share/examples/spin/rtos1.pml: executable bit is set on non-executable file.
warning: /home/pbulk/build/devel/spin/work/.destdir/usr/pkg/share/examples/spin/sat.pml: executable bit is set on non-executable file.
warning: /home/pbulk/build/devel/spin/work/.destdir/usr/pkg/share/examples/spin/snoopy.pml: executable bit is set on non-executable file.
warning: /home/pbulk/build/devel/spin/work/.destdir/usr/pkg/share/examples/spin/sort.pml: executable bit is set on non-executable file.
warning: /home/pbulk/build/devel/spin/work/.destdir/usr/pkg/share/examples/spin/test_mtype.pml: executable bit is set on non-executable file.
warning: /home/pbulk/build/devel/spin/work/.destdir/usr/pkg/share/examples/spin/welfare.pml: executable bit is set on non-executable file.
warning: /home/pbulk/build/devel/spin/work/.destdir/usr/pkg/share/examples/spin/werkplaats.pml: executable bit is set on non-executable file.
warning: /home/pbulk/build/devel/spin/work/.destdir/usr/pkg/share/examples/spin/wordcount.pml: executable bit is set on non-executable file.
0 errors and 97 warnings.
=> Checking for PIE in spin-6.5.2
=> Checking for RELRO in spin-6.5.2
=> Checking for missing run-time search paths in spin-6.5.2
=> Checking for work-directory references in spin-6.5.2