#!/bin/false
# script should be sourced

git remote add nightly "https://$GH_TOKEN@github.com/leanprover-community/lean-nightly.git"
set -x				# echo commands
git fetch nightly --tags

export LEAN_VERSION_STRING="nightly-$(date -u +%F)"

# do nothing if commit is already tagged
if git checkout $LEAN_VERSION_STRING || ! git name-rev --name-only --tags --no-undefined HEAD
then
    # write into file since we repeatedly open and close shells on AppVeyor
    cat <<EOF > ./nightly.sh
export LEAN_VERSION_STRING=$LEAN_VERSION_STRING
EOF
    . ./nightly.sh
    OPTIONS+=" -DLEAN_SPECIAL_VERSION_DESC=$LEAN_VERSION_STRING"
else
    unset LEAN_VERSION_STRING
fi

#!/bin/false
# script should be sourced

git remote add nightly "https://$GH_TOKEN@github.com/leanprover-community/lean-nightly.git"
# set -x				# echo commands
git fetch nightly --tags

export LEAN_VERSION_STRING="nightly-$(date -u +%F)"

# do nothing if commit is already tagged
if git checkout $LEAN_VERSION_STRING || ! git name-rev --name-only --tags --no-undefined HEAD
then
    # write into file since we repeatedly open and close shells on AppVeyor
    cat <<EOF > ./nightly.sh
export LEAN_VERSION_STRING=$LEAN_VERSION_STRING
EOF
    . ./nightly.sh
    OPTIONS+=" -DLEAN_SPECIAL_VERSION_DESC=$LEAN_VERSION_STRING"
else
    unset LEAN_VERSION_STRING
fi

Revert "Revert "chore(build): disable tracing""
Revert "Revert "chore(build): disable tracing""

This reverts commit 4ee51c4d59baba46c1f4c50ad94e1259c474f431.
