blob: a5f8ee8f549370dfd17d5b67fed8f0d83b7c0933 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
|
#!/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
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
|
