products/sources/formale sprachen/Delphi/Bille 0.71/__history/  image not shown  

Quellcode-Bibliothek

© Kompilation durch diese Firma

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

Datei: MakeCoq_SetRootPath.bat   Sprache: Unknown

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 ========== CHOOSE A SENSIBLE ROOT PATH ==========

@ ECHO OFF

REM Figure out a root path for coq and cygwin

REM For the \nul trick for testing folders see
REM https://support.microsoft.com/en-us/kb/65994

IF EXIST D:\bin\nul (
  SET ROOTPATH=D:\bin
) else if EXIST C:\bin (
  SET ROOTPATH=C:\bin
) else (
  SET ROOTPATH=C:
)

ECHO ROOTPATH set to %ROOTPATH%

[ Dauer der Verarbeitung: 0.47 Sekunden  (vorverarbeitet)  ]