echo "deb https://dl.bintray.com/sbt/debian /" | sudo tee -a /etc/apt/sources.list.d/sbt.list
sudo apt-key adv --keyserver hkp://keyserver.ubuntu.com:80 --recv 2EE0EA64E40A89B84B2DF73499E82A75642AC823
sudo apt-get update
sudo apt-get install sbt
JAVA latest:
sudo add-apt-repository ppa:webupd8team/java
sudo apt-get update
sudo apt-get install oracle-java9-installer
sudo apt-get install oracle-java8-installer
或（源码安装http://blog.csdn.net/zhuxiaoping54532/article/details/70158200）：
1、下载 JDK8， 在： http://www.oracle.com/technetwork/java/javase/downloads/jdk8-downloads-2133151.html 页面选择 jdk-8u121-linux-x64.tar.gz 下载
2、确认 /usr/lib/目录下有jvm文件夹，如果没有用sudo 权限创建 jvm文件夹
3、找到下载文件： jdk-8u121-linux-x64.tar.gz 并且 sudo tar zxvf ./jdk-8u121-linux-x64.tar.gz -C /usr/lib/jvm
4、用命令sudo vi ~/.profile 文件，在文件最后面加上下面几行：
export JAVA_HOME=/usr/lib/jvm/jdk1.8.0_121
export JRE_HOME=${JAVA_HOME}/jre
export CLASSPATH=.:${JAVA_HOME}/lib:${JRE_HOME}/lib
export PATH=${JAVA_HOME}/bin:$PATH
5、source ~/.profile， 更新环境变量
6、输入 java -version
ubuntu@ubuntu:/usr/lib/jvm/jdk1.8.0_121$ java -version
java version "1.8.0_121"
Java(TM) SE Runtime Environment (build 1.8.0_121-b13)
Java HotSpot(TM) 64-Bit Server VM (build 25.121-b13, mixed mode)
Dynamically Allocated Neural Network (DANA) Accelerator
https://github.com/bu-icsg/dana
$ sudo apt-get install autoconf automake autotools-dev curl libmpc-dev libmpfr-dev libgmp-dev gawk build-essential bison flex texinfo gperf libtool patchutils bc
sudo apt-get install gtkwave
latex install:
sudo apt-get install texlive-fonts-extra texlive
See to:
https://chisel.eecs.berkeley.edu/chisel-getting-started-chinese.pdf