Skip to content

Latest commit

 

History

History
28 lines (23 loc) · 784 Bytes

File metadata and controls

28 lines (23 loc) · 784 Bytes

1. Install dependencies + compile (when not using the Docker image)

  1. Clone this repository including its submodules.
$ git clone --recurse-submodules <this repo's url>
  1. Install basic build tools.
$ sudo apt install build-essential cmake autoconf
  1. Install dependencies.
$ sudo apt install libpopt-dev libgmp-dev libmpfr-dev libmpc-dev
  1. Install Python libraries (creating a virtual environment is optional but recommended).
$ python -m venv .venv
$ source .venv/bin/activate
$ pip install -r requirements.txt
  1. After installing the dependencies above, Q-Sylvan can be compiled with the following (adding -r will recompile everything, i.e. first remove previously compiled files).
$ ./compile_all.sh -q