资源描述：
《关于spin工具的使用说明》由会员上传分享，免费在线阅读，更多相关内容在应用文档-天天文库。
1、SPINOverviewofthisFile1DownloadingSpin2InstallingSpin3Relatedsoftware(gcc,cpp,tcl/tkwish,yacc,dot,etch,jspin,erigone,spinja,ltl2ba)0.OverviewThisreadmefilecontainstheguidelinesfordownloadingandinstallingSpinandrelatedsoftwareonUnix/LinuxandWindowsplatforms.RefertoSpin'shomepageforageneraldescripti
2、onofSpin,withpointerstomanualpages,newsletters.Spinisdistributedinsourceformtoencourageresearchinformalverification,andtohelpasupportfriendlyandopenexchangeofalgorithms,ideas,andtools.ThesoftwareitselfhasacopyrightfromLucentTechnologiesandBellLaboratories,andisdistributedforresearchandeducationalp
3、urposesonly(i.e.,noguaranteeofanykindisimpliedbythedistributionofthecode,andallrightsarereservedbythecopyrightholder).ForthisgeneraluseofSpin,nolicenseisrequired.CommercialapplicationoftheSpinsoftwareisalsoallowed,butrequirestheacceptanceofabasiclicense.RefertotheSpinPubliclicensefordetails.1.Down
4、loadingSpinSpinrunsonUnix,Solaris,andLinuxmachines,onmostflavorsofWindowsPCs,andonMacs.PrecompiledbinaryexecutablesforsomepopulartypesofmachinesareavailableintheSpinBinaries.AllbinarieshaveanextensionthatmatchestheSpinversionnumber,suchasspin610.exe.Toinstallthebinary,renameittospin.exeandcopyitin
5、toyourbindirectory.Ifyouhavemachinetypethatisnotavailablethere,orifyouareinstallingSpinforthefirsttime,thenfollowthemoredetailedinstructionsbelow.·Unixsystems:downloadthemostrecent.tar-filewithsources,thegraphicalinterfaceiSpin,documentationandexamplesfromtheSpinDistribution,andcontinueatStep2a.··
6、PCs(Windows95/98/2000/NT/XP):downloadthemostrecentpc_spin*.zipfile,withaprecompiledSpinexecutable,thegraphicalinterfaceiSpin,andsomeexamplesfromtheSpinDistribution,andcontinueatStep2b.··Macs(MacOSX):downloadthemostrecent.tar-filewithsources,fromtheSpinDistribution,andcontinueatStep2c.2.InstallingS
7、pin·Unix/Linuxsystems(compiledfromthesources)·WindowsPC's(usingtheexecutable)·Macs(compiledfromthesources,withsomepatches)2a.InstallingSpinonaUnix/LinuxSystemPlacethe*.tar.gzfilefromtheSpinSourceDistributionincle
