products/sources/formale Sprachen/C/Lyx/images/  image not shown  

Quellcode-Bibliothek

© Kompilation durch diese Firma

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

Datei: ci-compcert.sh   Sprache: Unknown

#!/usr/bin/env bash

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

git_download compcert

( cd "${CI_BUILD_DIR}/compcert" && \
  ./configure -ignore-coq-version x86_32-linux && make && make check-proof )

[ Dauer der Verarbeitung: 0.0 Sekunden  (vorverarbeitet)  ]