Robcogen配置流程

下载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:

1. a Java Runtime Environment (JRE)
   安装JDK

2. a Java compiler

3. the Apache ANT tool and IVY
   ANT1.9.15
   IVY，注意，要复制ivy.jar到/opt/apache-ant-1.9.15/下。

4. 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