blob: bcb104772c9777a31a6bd3fc65c859dac3facd2a (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
|
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%
|
