Something went wrong. Try again.
forked from coq/coq
Something went wrong. Try again.
123456789101112131415161718192021222324252627#!/usr/bin/env sh
## This file should be run from the root of the Rocq source tree
BRANCH=$(git rev-parse --abbrev-ref HEAD)echo "Branch: $BRANCH in $PWD"
if [ "$#" -ne 1 ]; then PROJECT=""else PROJECT="--argstr project $1"fi
if [ "$BN" ]; then BN="--argstr bn ${BN}"else BN=""fi
if [ "$NOCOQ" ]; then NOCOQ="--arg withCoq false"else NOCOQ=""fi
nix-shell ./dev/ci/nix/ --show-trace --argstr wd $PWD --argstr branch $BRANCH $PROJECT $BN $NOCOQ