diff options
author | Yann Herklotz <git@ymhg.org> | 2019-05-12 15:47:44 +0100 |
---|---|---|
committer | Yann Herklotz <git@ymhg.org> | 2019-05-12 15:47:44 +0100 |
commit | 0caa12ae41a8bf199974baa09cffe47427a772e3 (patch) | |
tree | 91f2081bdfd9d6aecf3668d18279ef04fe76f5bf /scripts/setup.sh | |
parent | 9b28bc4f876e3362b159b18381b7dde1be124ea0 (diff) | |
download | verismith-0caa12ae41a8bf199974baa09cffe47427a772e3.tar.gz verismith-0caa12ae41a8bf199974baa09cffe47427a772e3.zip |
Add randomisation of config file with --randomise
Diffstat (limited to 'scripts/setup.sh')
-rw-r--r-- | scripts/setup.sh | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/scripts/setup.sh b/scripts/setup.sh index 79d646c..efd07c5 100644 --- a/scripts/setup.sh +++ b/scripts/setup.sh @@ -1,8 +1,10 @@ #!/bin/sh sudo yum -y update + +# In addition, need to install bison-3.3 sudo yum -y install git gcc72 gcc72-c++ tcl-devel python36 \ - graphviz xdot gperf gmp-devel make bison flex autoconf \ + graphviz xdot gperf gmp-devel make flex autoconf \ readline-devel clang6.0 tmux boost libffi-devel sudo mkdir -p /mnt/tools |