Ziele Untersuchung
mit Columbo Integrität von
Datenbanken Interaktion und
Portierbarkeit Ergonomie der
Schnittstellen

Angebot Produkte Projekt Beratung

Mittel Analytik Modellierung Sprachen Algebra Logik Hardware Denken Kreativität

Zusammenhänge Gesellschaft Wirtschaft Branche Firma


products/Sources/formale Sprachen/Roqc/dev/ci/scripts/ (Beweissystem des Inria Version 9.1.0^©) Datei vom 15.8.2025 mit Größe 739 B

Quelle ci-fiat_crypto_ocaml.sh Sprache: Shell

#!/usr/bin/env bash

set -e

# fiat-crypto job sets up the sources
if [ "$DOWNLOAD_ONLY" ]; then exit 0; fi

ci_dir="$(dirname "$0")"
. "${ci_dir}/ci-common.sh"

# We set the stack size to 128MiB to be able to build with flambda
# See https://github.com/ocaml/ocaml/issues/7842
ulimit -s 131072

# Regardless of where the dependencies came from when building
# ci-fiat_crypto, we don't need them for building the OCaml
# binaries and lite C files, so we use all external dependencies.
# we explicitly pass OCAMLFIND so that we pick up the opam
# (non-flambda one) rather than the one used to build coq
make_args=(EXTERNAL_DEPENDENCIES=1 OCAMLFIND=ocamlfind)

( cd "${CI_BUILD_DIR}/fiat_crypto"
make "${make_args[@]}" -j 1 lite-c-files
)

Messung V0.5

¤ Dauer der Verarbeitung: 0.13 Sekunden (vorverarbeitet) ¤

Wurzel

Suchen

Beweissystem der NASA

Beweissystem Isabelle

NIST Cobol Testsuite

Cephes Mathematical Library

Wiener Entwicklungsmethode

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.