#!/bin/sh

set -e

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