blob: 2e4462ed40ccaf098e9c1dd9f04e700ba55498bc (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
|
#!/usr/bin/env sh
## This file should be run from the root of the Coq 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
nix-shell ./dev/ci/nix/ --show-trace --argstr wd $PWD --argstr branch $BRANCH $PROJECT $BN
|
