10
1
mirror of https://github.com/pfloos/quack synced 2024-11-03 20:53:53 +01:00
QuAcK/qcaml-tools/install_qcaml.sh
2020-10-08 10:12:14 +02:00

8 lines
119 B
Bash
Executable File

#!/bin/bash
git clone --single-branch --branch dev https://gitlab.com/scemama/qcaml.git
cd qcaml
make
opam install .