Skip to content
This repository has been archived by the owner on Oct 22, 2021. It is now read-only.

Latest commit

 

History

History
28 lines (18 loc) · 758 Bytes

INSTALL.md

File metadata and controls

28 lines (18 loc) · 758 Bytes

You will need to install OPAM, for instance via APT on Ubuntu or brew on macOS:

apt install -y opam
brew install opam

If you have set up OPAM in the past, you can probably skip the next step. EBA should work with the 4.07 version of OCaml --- let us know if it doesn't.

If you are installing OPAM for the first time:

opam init --auto-setup
opam switch 4.07.0
eval `opam config env`

Setup customized CIL for EBA:

git clone https://github.com/IagoAbal/eba-cil.git
opam pin add -n cil eba-cil/

Build EBA itself:

git clone https://github.com/IagoAbal/eba.git
opam pin add -y -n eba eba/
opam install eba --deps-only
cd eba
make

And you will find the EBA binary in bin/eba.