• POTTIER Francois's avatar
    Improvements in setup.sh. · 78c57323
    POTTIER Francois authored
    Run [opam update] first, otherwise the script can fail to find the
    required packages.
    If a local switch already exists, ask whether it should be deleted.
    Update some informational messages.
    78c57323