quack/qcaml-tools/install_qcaml.sh

8 lines
119 B
Bash
Raw Normal View History

2020-10-08 10:12:14 +02:00
#!/bin/bash
git clone --single-branch --branch dev https://gitlab.com/scemama/qcaml.git
cd qcaml
make
opam install .