4
1
mirror of https://github.com/pfloos/quack synced 2024-12-22 20:35:36 +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 .