Quellcode-Bibliothek

^© Kompilation durch diese Firma

[Weder Korrektheit noch Funktionsfähigkeit der Software werden zugesichert.]

Datei: shell Sprache: Lisp

Original von: Coq^©

#!/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

¤ Dauer der Verarbeitung: 0.13 Sekunden (vorverarbeitet) ¤

Download des Quellennavigators
Download des sprechenden Kalenders
in der Quellcodebibliothek suchen

Haftungshinweis

Die Informationen auf dieser Webseite wurden nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit, noch Qualität der bereit gestellten Informationen zugesichert.

Bemerkung:

Die farbliche Syntaxdarstellung ist noch experimentell.