Home verismith环境配置(ubuntu16.04)
verismith环境配置(ubuntu16.04)
取消

verismith环境配置(ubuntu16.04)

1 安装Haskell环境

    1. 安装编译库
sudo apt update && sudo apt install build-essential libgmp3-dev zlib1g-dev libnuma-dev curl -y
    1.  安装ghcp8.8.3
curl https://raw.githubusercontent.com/haskell/ghcup/master/bootstrap-haskell -sSf | sh
    1. 设置环境变量
. "$HOME/.ghcup/env"
echo '. $HOME/.ghcup/env' >> "$HOME/.bashrc"
  1. 以上ghcp 安装了 ghc 和 cabal

2.1 安装 verismith

cabal install verismith

 

2.2 通过源代码编译运行

cabal configure & cabal build 
cabal run verismith ..

 

如果要安装 stack

curl -sSL https://get.haskellstack.org/ | sh

 

reference:https://blog.chaos.run/dreams/ubuntu-set-up-haskell-environment/

 

 

源安装法

sudo add-apt-repository ppa:hvr/ghc

然后

sudo apt install ghc xx  下载指定版本的软件工具,再添加环境变量

 

该博客文章由作者通过 CC BY 4.0进行授权。