MacOS留学生程序讲解、辅导Java编程语言、Java编程设计调试 解析Haskell程序|讲解SPSS
- 首页 >> Matlab编程 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
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