products/sources/formale sprachen/Coq/dev/build/windows/  image not shown  

Quellcode-Bibliothek

© Kompilation durch diese Firma

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

Datei: Elementary_Metric_Spaces.thy   Sprache: BAT

Original von: Coq©
REM ========== COPYRIGHT/COPYLEFT ==========

REM (C) 2016 Intel Deutschland GmbH
REM Author: Michael Soegtrop

REM Released to the public by Intel under the
REM GNU Lesser General Public License Version 2.1 or later
REM See https://www.gnu.org/licenses/old-licenses/lgpl-2.1.html

REM ========== BUILD COQ ==========

call MakeCoq_SetRootPath

SET HTTP_PROXY=
SET HTTPS_PROXY=
MKDIR C:\Temp\srccache

call MakeCoq_MinGW.bat ^
  -arch=64 ^
  -mode=absolute ^
  -ocaml=Y ^
  -make=Y ^
  -coqver 8.5pl2 ^
  -srccache C:\Temp\srccache ^
  -cygquiet=Y ^
  -destcyg   %ROOTPATH%\cygwin_coq64_85pl2_abs ^
  -destcoq   %ROOTPATH%\coq64_85pl2_abs

pause

¤ Dauer der Verarbeitung: 0.22 Sekunden  (vorverarbeitet)  ¤



Druckansicht
unsichere Verbindung
Druckansicht
sprechenden Kalenders

in der Quellcodebibliothek suchen




schauen Sie vor die Tür

Fenster


Die Firma ist wie angegeben erreichbar.

Die farbliche Syntaxdarstellung ist noch experimentell.


Bot Zugriff