The following packages will be installed: spin Fetching README... 0%100%100%100%100%100%Done Fetching slack-desc... 0%100%100%100%100%100%Done Fetching spin.SlackBuild... 0%100%100%100%100%100%Done Fetching spin.info... 0%100%100%100%100%100%Done Spin-version-6.5.2/ Spin-version-6.5.2/.gitignore Spin-version-6.5.2/Bin/ Spin-version-6.5.2/Bin/spin649_linux32.gz Spin-version-6.5.2/Bin/spin649_linux64.gz Spin-version-6.5.2/Bin/spin649_mac64.gz Spin-version-6.5.2/Bin/spin649_windows32.exe.gz Spin-version-6.5.2/Bin/spin649_windows64.exe.gz Spin-version-6.5.2/Bin/spin650_linux32.gz Spin-version-6.5.2/Bin/spin650_linux64.gz Spin-version-6.5.2/Bin/spin650_mac64.gz Spin-version-6.5.2/Bin/spin650_windows32.exe.gz Spin-version-6.5.2/Bin/spin650_windows64.exe.gz Spin-version-6.5.2/Bin/spin651_linux32.gz Spin-version-6.5.2/Bin/spin651_linux64.gz Spin-version-6.5.2/Bin/spin651_mac64.gz Spin-version-6.5.2/Bin/spin651_windows32.exe.gz Spin-version-6.5.2/Bin/spin651_windows64.exe.gz Spin-version-6.5.2/Doc/ Spin-version-6.5.2/Doc/Book1991_Ch6_add.txt Spin-version-6.5.2/Doc/Book1991_Errata.txt Spin-version-6.5.2/Doc/Book1991_answers.txt Spin-version-6.5.2/Doc/Book2003_Errata.html Spin-version-6.5.2/Doc/V1.Updates Spin-version-6.5.2/Doc/V2.Updates Spin-version-6.5.2/Doc/V3.Updates Spin-version-6.5.2/Doc/V4.Updates Spin-version-6.5.2/Doc/V5.Updates Spin-version-6.5.2/Doc/V6.Updates Spin-version-6.5.2/Examples/ Spin-version-6.5.2/Examples/Book_1991/ Spin-version-6.5.2/Examples/Book_1991/App.F.datalink.h Spin-version-6.5.2/Examples/Book_1991/App.F.defines.h Spin-version-6.5.2/Examples/Book_1991/App.F.flow_cl.h Spin-version-6.5.2/Examples/Book_1991/App.F.fserver.h Spin-version-6.5.2/Examples/Book_1991/App.F.pftp.pml Spin-version-6.5.2/Examples/Book_1991/App.F.present.h Spin-version-6.5.2/Examples/Book_1991/App.F.session.h Spin-version-6.5.2/Examples/Book_1991/App.F.user.h Spin-version-6.5.2/Examples/Book_1991/README.txt Spin-version-6.5.2/Examples/Book_1991/p101.pml Spin-version-6.5.2/Examples/Book_1991/p102.pml Spin-version-6.5.2/Examples/Book_1991/p104.1.pml Spin-version-6.5.2/Examples/Book_1991/p104.2.pml Spin-version-6.5.2/Examples/Book_1991/p105.1.pml Spin-version-6.5.2/Examples/Book_1991/p105.2.pml Spin-version-6.5.2/Examples/Book_1991/p107.pml Spin-version-6.5.2/Examples/Book_1991/p108.pml Spin-version-6.5.2/Examples/Book_1991/p116.pml Spin-version-6.5.2/Examples/Book_1991/p117.pml Spin-version-6.5.2/Examples/Book_1991/p123.pml Spin-version-6.5.2/Examples/Book_1991/p248.pml Spin-version-6.5.2/Examples/Book_1991/p312.pml Spin-version-6.5.2/Examples/Book_1991/p319.pml Spin-version-6.5.2/Examples/Book_1991/p320.pml Spin-version-6.5.2/Examples/Book_1991/p325.test.h Spin-version-6.5.2/Examples/Book_1991/p327.upper.h Spin-version-6.5.2/Examples/Book_1991/p329.pml Spin-version-6.5.2/Examples/Book_1991/p330.pml Spin-version-6.5.2/Examples/Book_1991/p337.defines2.h Spin-version-6.5.2/Examples/Book_1991/p337.fserver.h Spin-version-6.5.2/Examples/Book_1991/p337.pftp.ses.pml Spin-version-6.5.2/Examples/Book_1991/p337.session.h Spin-version-6.5.2/Examples/Book_1991/p337.user.h Spin-version-6.5.2/Examples/Book_1991/p342.pftp.ses1.h Spin-version-6.5.2/Examples/Book_1991/p343.claim.h Spin-version-6.5.2/Examples/Book_1991/p347.pftp.ses5.pml Spin-version-6.5.2/Examples/Book_1991/p347.pres.sim.h Spin-version-6.5.2/Examples/Book_1991/p347.session.prog.h Spin-version-6.5.2/Examples/Book_1991/p94.pml Spin-version-6.5.2/Examples/Book_1991/p95.1.pml Spin-version-6.5.2/Examples/Book_1991/p95.2.pml Spin-version-6.5.2/Examples/Book_1991/p96.1.pml Spin-version-6.5.2/Examples/Book_1991/p96.2.pml Spin-version-6.5.2/Examples/Book_1991/p97.1.pml Spin-version-6.5.2/Examples/Book_1991/p97.2.pml Spin-version-6.5.2/Examples/Book_1991/p99.pml Spin-version-6.5.2/Examples/Exercises/ Spin-version-6.5.2/Examples/Exercises/ex_1a.pml Spin-version-6.5.2/Examples/Exercises/ex_1f.pml Spin-version-6.5.2/Examples/Exercises/ex_2.pml Spin-version-6.5.2/Examples/Exercises/ex_3a.pml Spin-version-6.5.2/Examples/Exercises/ex_3b.pml Spin-version-6.5.2/Examples/Exercises/ex_3c.pml Spin-version-6.5.2/Examples/Exercises/ex_4.pml Spin-version-6.5.2/Examples/Exercises/ex_5.pml Spin-version-6.5.2/Examples/Exercises/ex_6.pml Spin-version-6.5.2/Examples/LTL/ Spin-version-6.5.2/Examples/LTL/bakery.pml Spin-version-6.5.2/Examples/LTL/diskhead.pml Spin-version-6.5.2/Examples/LTL/leader.pml Spin-version-6.5.2/Examples/LTL/leader_pre.pml Spin-version-6.5.2/Examples/LTL/ltl_always_eventually.pml Spin-version-6.5.2/Examples/LTL/ltl_example.pml Spin-version-6.5.2/Examples/LTL/ltl_gen.pml Spin-version-6.5.2/Examples/LTL/mobile1.pml Spin-version-6.5.2/Examples/LTL/mobile2.pml Spin-version-6.5.2/Examples/LTL/patterns.pml Spin-version-6.5.2/Examples/LTL/petersonN.pml Spin-version-6.5.2/Examples/LTL/pftp.pml Spin-version-6.5.2/Examples/LTL/salesman1.pml Spin-version-6.5.2/Examples/LTL/salesman2.pml Spin-version-6.5.2/Examples/LTL/train.pml Spin-version-6.5.2/Examples/LTL/zune.pml Spin-version-6.5.2/Examples/README_tests.txt Spin-version-6.5.2/Examples/abp.pml Spin-version-6.5.2/Examples/calculator.pml Spin-version-6.5.2/Examples/cambridge.pml Spin-version-6.5.2/Examples/dtp.pml Spin-version-6.5.2/Examples/eratosthenes.pml Spin-version-6.5.2/Examples/for_example.pml Spin-version-6.5.2/Examples/for_select_example.pml Spin-version-6.5.2/Examples/hajek.pml Spin-version-6.5.2/Examples/hello.pml Spin-version-6.5.2/Examples/leader0.pml Spin-version-6.5.2/Examples/leader_trace.pml Spin-version-6.5.2/Examples/life.pml Spin-version-6.5.2/Examples/loops.pml Spin-version-6.5.2/Examples/manna_pnueli.pml Spin-version-6.5.2/Examples/pathfinder.pml Spin-version-6.5.2/Examples/peterson.pml Spin-version-6.5.2/Examples/priorities.pml Spin-version-6.5.2/Examples/rtos1.pml Spin-version-6.5.2/Examples/sat.pml Spin-version-6.5.2/Examples/snoopy.pml Spin-version-6.5.2/Examples/sort.pml Spin-version-6.5.2/Examples/test_mtype.pml Spin-version-6.5.2/Examples/welfare.pml Spin-version-6.5.2/Examples/werkplaats.pml Spin-version-6.5.2/Examples/wordcount.pml Spin-version-6.5.2/Man/ Spin-version-6.5.2/Man/README.md Spin-version-6.5.2/Man/html_manual_pages.tar.gz Spin-version-6.5.2/Man/spin.1 Spin-version-6.5.2/README.md Spin-version-6.5.2/Src/ Spin-version-6.5.2/Src/LICENSE Spin-version-6.5.2/Src/dstep.c Spin-version-6.5.2/Src/flow.c Spin-version-6.5.2/Src/guided.c Spin-version-6.5.2/Src/main.c Spin-version-6.5.2/Src/makefile Spin-version-6.5.2/Src/mesg.c Spin-version-6.5.2/Src/msc_tcl.c Spin-version-6.5.2/Src/pangen1.c Spin-version-6.5.2/Src/pangen1.h Spin-version-6.5.2/Src/pangen2.c Spin-version-6.5.2/Src/pangen2.h Spin-version-6.5.2/Src/pangen3.c Spin-version-6.5.2/Src/pangen3.h Spin-version-6.5.2/Src/pangen4.c Spin-version-6.5.2/Src/pangen4.h Spin-version-6.5.2/Src/pangen5.c Spin-version-6.5.2/Src/pangen5.h Spin-version-6.5.2/Src/pangen6.c Spin-version-6.5.2/Src/pangen6.h Spin-version-6.5.2/Src/pangen7.c Spin-version-6.5.2/Src/pangen7.h Spin-version-6.5.2/Src/reprosrc.c Spin-version-6.5.2/Src/run.c Spin-version-6.5.2/Src/sched.c Spin-version-6.5.2/Src/spin.h Spin-version-6.5.2/Src/spin.y Spin-version-6.5.2/Src/spinlex.c Spin-version-6.5.2/Src/structs.c Spin-version-6.5.2/Src/sym.c Spin-version-6.5.2/Src/tl.h Spin-version-6.5.2/Src/tl_buchi.c Spin-version-6.5.2/Src/tl_cache.c Spin-version-6.5.2/Src/tl_lex.c Spin-version-6.5.2/Src/tl_main.c Spin-version-6.5.2/Src/tl_mem.c Spin-version-6.5.2/Src/tl_parse.c Spin-version-6.5.2/Src/tl_rewrt.c Spin-version-6.5.2/Src/tl_trans.c Spin-version-6.5.2/Src/vars.c Spin-version-6.5.2/Src/version.h Spin-version-6.5.2/makefile Spin-version-6.5.2/optional_gui/ Spin-version-6.5.2/optional_gui/ispin.tcl yacc -v -d spin.y spin.y: warning: 6 reduce/reduce conflicts [-Wconflicts-rr] spin.y: note: rerun with option '-Wcounterexamples' to generate conflict counterexamples cc -O2 -DNXT -Wall -pedantic -c y?tab.c rm -f y?tab.c mv y?tab.o spin.o cc -O2 -DNXT -Wall -pedantic -c -o spinlex.o spinlex.c cc -O2 -DNXT -Wall -pedantic -c -o sym.o sym.c cc -O2 -DNXT -Wall -pedantic -c -o vars.o vars.c cc -O2 -DNXT -Wall -pedantic -c -o main.o main.c main.c: In function ‘main’: main.c:1080:42: warning: ‘.nvr’ directive writing 4 bytes into a region of size between 1 and 512 [-Wformat-overflow=] 1080 | sprintf(out2, "%s.nvr", argv[1]); | ^~~~ main.c:1080:25: note: ‘sprintf’ output between 5 and 516 bytes into a destination of size 512 1080 | sprintf(out2, "%s.nvr", argv[1]); | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ cc -O2 -DNXT -Wall -pedantic -c -o msc_tcl.o msc_tcl.c cc -O2 -DNXT -Wall -pedantic -c -o mesg.o mesg.c cc -O2 -DNXT -Wall -pedantic -c -o flow.o flow.c cc -O2 -DNXT -Wall -pedantic -c -o sched.o sched.c cc -O2 -DNXT -Wall -pedantic -c -o run.o run.c cc -O2 -DNXT -Wall -pedantic -c -o pangen1.o pangen1.c cc -O2 -DNXT -Wall -pedantic -c -o pangen2.o pangen2.c cc -O2 -DNXT -Wall -pedantic -c -o pangen3.o pangen3.c cc -O2 -DNXT -Wall -pedantic -c -o pangen4.o pangen4.c cc -O2 -DNXT -Wall -pedantic -c -o pangen5.o pangen5.c cc -O2 -DNXT -Wall -pedantic -c -o guided.o guided.c cc -O2 -DNXT -Wall -pedantic -c -o dstep.o dstep.c cc -O2 -DNXT -Wall -pedantic -c -o structs.o structs.c cc -O2 -DNXT -Wall -pedantic -c -o pangen6.o pangen6.c cc -O2 -DNXT -Wall -pedantic -c -o pangen7.o pangen7.c cc -O2 -DNXT -Wall -pedantic -c -o reprosrc.o reprosrc.c cc -O2 -DNXT -Wall -pedantic -c -o tl_parse.o tl_parse.c cc -O2 -DNXT -Wall -pedantic -c -o tl_lex.o tl_lex.c cc -O2 -DNXT -Wall -pedantic -c -o tl_main.o tl_main.c cc -O2 -DNXT -Wall -pedantic -c -o tl_trans.o tl_trans.c cc -O2 -DNXT -Wall -pedantic -c -o tl_buchi.o tl_buchi.c cc -O2 -DNXT -Wall -pedantic -c -o tl_mem.o tl_mem.c cc -O2 -DNXT -Wall -pedantic -c -o tl_rewrt.o tl_rewrt.c cc -O2 -DNXT -Wall -pedantic -c -o tl_cache.o tl_cache.c cc -O2 -DNXT -Wall -pedantic -o spin spin.o spinlex.o sym.o vars.o main.o msc_tcl.o mesg.o flow.o sched.o run.o pangen1.o pangen2.o pangen3.o pangen4.o pangen5.o guided.o dstep.o structs.o pangen6.o pangen7.o reprosrc.o tl_parse.o tl_lex.o tl_main.o tl_trans.o tl_buchi.o tl_mem.o tl_rewrt.o tl_cache.o Slackware package maker, version 3.14159265. Searching for symbolic links: No symbolic links were found, so we won't make an installation script. You can make your own later in ./install/doinst.sh and rebuild the package if you like. This next step is optional - you can set the directories in your package to some sane permissions. If any of the directories in your package have special permissions, then DO NOT reset them here! Would you like to reset all directory permissions to 755 (drwxr-xr-x) and directory ownerships to root.root ([y]es, [n]o)? n Creating Slackware package: /usr/src/slapt-src/development/spin/spin-6.5.2-x86_64-1salix15.0.txz ./ install/ install/slack-desc usr/ usr/bin/ usr/bin/spin usr/doc/ usr/doc/spin-6.5.2/ usr/doc/spin-6.5.2/Book1991_Ch6_add.txt usr/doc/spin-6.5.2/Book1991_Errata.txt usr/doc/spin-6.5.2/Book1991_answers.txt usr/doc/spin-6.5.2/Book2003_Errata.html usr/doc/spin-6.5.2/V1.Updates usr/doc/spin-6.5.2/V2.Updates usr/doc/spin-6.5.2/V3.Updates usr/doc/spin-6.5.2/V4.Updates usr/doc/spin-6.5.2/V5.Updates usr/doc/spin-6.5.2/V6.Updates usr/doc/spin-6.5.2/spin.SlackBuild usr/man/ usr/man/man1/ usr/man/man1/spin.1.gz Slackware package /usr/src/slapt-src/development/spin/spin-6.5.2-x86_64-1salix15.0.txz created. Installing package spin-6.5.2-x86_64-1salix15.0... | spin (Spin model checker) | | Spin is a popular open-source software tool, used by thousands of | people worldwide, that can be used for the formal verification of | distributed software systems. In April 2002 the tool was awarded the | prestigious System Software Award for 2001 by the ACM. | | https://spinroot.com/ | | | | |