forked from project-everest/ci-logs
-
Notifications
You must be signed in to change notification settings - Fork 0
/
everest-20161208111822.out
27 lines (25 loc) · 972 Bytes
/
everest-20161208111822.out
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
# Switching to the everest directory ... now in /cygdrive/c/Build/Agent2/_work/7/s
Checking environment
... which found
... no suspicious bash
... 64-bit cygwin
... no suspicious cygwin packages
... all 41 cygwin packages seem to be installed
... proper mingw directory seems to be in PATH
... github.com access ok
... ocaml minimum version requirements met
... flexdll ok
... opam found
... all 15 ocamlfind packages found
... found fsc.exe
... found nmake.exe
... found ml64.exe
... fsc found in PATH
... correct z3 version detected
I don't see any fstar.exe or krml in your path; add /cygdrive/c/Build/Agent2/_work/7/s/FStar/bin and /cygdrive/c/Build/Agent2/_work/7/s/kremlin to your PATH via ~/.bashrc? [Yn]
Skipping ~/.bashrc customization because EVEREST_CI is set
... fstar.exe and krml in PATH
FSTAR_HOME is not set... set it? [Yn]
Skipping ~/.bashrc customization because EVEREST_CI is set
... FSTAR_HOME ok
Remember to run source ~/.bashrc if it was modified!