#!/usr/bin/env bash

dir="cl-plus-ssl"
#uri="https://github.com/cl-plus-ssl/${dir}"
uri="https://github.com/armedbear/${dir}"
root="${HOME}/quicklisp/local-projects"
tag="easye/openjdk14"
#tag=master

mkdir -p ${root}
pushd ${root}

if [[ ! -d ${dir} ]]; then 
    git clone ${uri} ${dir}
fi

pushd ${dir}
if [[ -d .hg ]]; then
    hg update -r $tag
    hg sum -v
else
    git checkout $tag
    git show-ref
    git rev-parse
fi
popd

popd
