ci-opam.sh 75 Bytes
Newer Older
1 2 3 4 5 6
#!/bin/sh

set -e

opam pin -v -y add why3 .
opam pin -v -y add why3-ide .