下载ETH的robcogen需要执行:
git clone git@bitbucket.org:robcogenteam/robcogen.git
cd robcogen
git submodule update --init
执行git submodule update --init时,没有Bitbucket的SSH会报错。
解决方案:只要按照Bitbucket官方的- Personal Setting - SSH keys设置即可。
bitbucket新增个人ssh公钥
之后还需一些配置
robcogen配置指南
源码安装需要以下四个前提:
To build a distribution of RobCoGen from the source code, you need:
-
a Java Runtime Environment (JRE)
安装JDK -
a Java compiler
-
the Apache ANT tool and IVY
ANT1.9.15
IVY,注意,要复制ivy.jar到/opt/apache-ant-1.9.15/下。 -
the GNU Make tool
或者尝试下面指令:
sudo apt install openjdk-8-jre ant ivy maxima gcc
如果IVY安装失败,尝试:
sudo ln -s /usr/share/java/ivy.jar /usr/share/ant/lib/ivy.jar