MacOS留学生程序代做、代写Java编程语言、Java编程设计调试

日期：2020-12-24 11:20

jSpin Installation Guide

MacOS

You should use the command line via the Terminal application, which is located

at Applications -> Utilities -> Terminal, to install the jSpin on your Mac.

Here is a simple guide to getting jSpin setup for Mac and Linux:

https://gist.github.com/kocsenc/10130261

You will need 1. Java (1.5+) 2. GCC Compiler 3. brew before the installation of jSpin

Please note that you need homebrew on your Mac. If you don’t have homebrew on your

Mac, install the homebrew first:

https://mirrors.tuna.tsinghua.edu.cn/help/homebrew/

If you want to close the auto-update of the homebrew, you can use this command:

export HOMEBREW_NO_AUTO_UPDATE=true

To update or check the homebrew:

brew update

To check the Java:

java -version

If you don’t have Java on your Mac, you should install Java：

https://docs.oracle.com/javase/10/install/installation-jdk-and-jre-macos.htm#JSJIG-GUID-

2FE451B0-9572-4E38-A1A5-568B77B146DE

To check the path of GCC:

which gcc

To check the version of GCC:

gcc -v

2

If you don’t have GCC on your Mac, you should install the GCC:

xcode-select --install

After the setup of 1. Java (1.5+) 2. GCC Compiler 3. brew, you can start to install the jSpin as

follows:

1. brew install spin

2. Download the jspin*.zip file from direct link for 5.0

3. Change the config.cfg in the jspin folder as follows (the step 4 and 5).

4. Replace config.cfg line 12 => SPIN=/usr/local/bin/spin

5. Replace config.cfg line 27 => C_COMPILER=/usr/bin/gcc

6. Double click on jSpin.jar or run java -jar jSpin.jar in the jSpin folder

To run the Jspin, please use the cd command to locate the jSpin.jar file (which is located in

your download files) :

cd Downloads/jspin-5-0

and then run:

java -jar jSpin.jar

Click Open to check and verify the examples:

3

You can also create your code and run it as follows:

If you want to check the promela grammar, you can refer to this website:

http://spinroot.com/spin/Man/grammar.html

And here are some useful websites for Spin users:

http://spinroot.com/spin/whatispin.html

http://spinroot.com/spin/Man/index.html