This repository has been archived by the owner on Jun 20, 2019. It is now read-only.
-
Notifications
You must be signed in to change notification settings - Fork 2
/
Copy patheverest-build-129e2b21-20295.all
339 lines (329 loc) · 15.2 KB
/
everest-build-129e2b21-20295.all
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
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
This is /home/everbld/everest-ci/ci
Working directory: /cygdrive/c/build/agent1/_work/6/s
About to run: everest_rebuild
BUILD_SOURCEBRANCHNAME: cleanup-kremlib-2
BUILD_DEFINITIONNAME: Everest-CI-Windows
BUILD_BUILDID: 20295
DEFINITIONNAME:
Z3 is /home/everbld/everest/z3-4.5.1.1f29cebd4df6-x64-win/bin/z3
Removing FStar/
Removing MLCrypto/
Removing fstarlang_binaries/
Removing hacl-star/
Removing kremlin/
Removing mitls-fstar/
Removing vale/
# Switching to the everest directory ... now in /cygdrive/c/build/agent1/_work/6/s
Checking environment
... which found
... no suspicious bash
... 64-bit cygwin
... no suspicious cygwin packages
... flexlink is good
... all 45 cygwin packages seem to be installed
... proper mingw directory seems to be in PATH
... github.com access ok
... ocaml minimum version requirements met
... opam found
... all 18 ocamlfind packages found
... sample ocamlbuild project compiles successfully
... fsc found in PATH
... cloning FStarLang/binaries
Cloning into 'fstarlang_binaries'...
Already on 'master'
Your branch is up-to-date with 'origin/master'.
HEAD is now at 2e5a5f1 Adding new build package and removing oldest.
... version of z3 found in PATH: 1f29cebd4df6
... version of z3 found in z3-tested is: 1f29cebd4df6
... nuget found in PATH
... Python line found at /cygdrive/c/Python27
... scons.bat found in PATH
Remember to run source "/home/everbld/.bash_profile" if it was modified!
Note: you *may* want to add C:/build/agent1/_work/6/s/FStar/bin and C:/build/agent1/_work/6/s/kremlin to your PATH
Note: you *may* want to export FSTAR_HOME=C:/build/agent1/_work/6/s/FStar
Note: you *may* want to export KREMLIN_HOME=C:/build/agent1/_work/6/s/kremlin
Note: you *may* want to export HACL_HOME=C:/build/agent1/_work/6/s/hacl-star
Pulling mitls-fstar
Note: you're welcome to create symbolic links if you already have cloned the repository elsewhere
Cloning into 'mitls-fstar'...
Branch cleanup-kremlib-2 set up to track remote branch cleanup-kremlib-2 from origin.
Switched to a new branch 'cleanup-kremlib-2'
HEAD is now at d77db026 Switch to EVEREST_WINDOWS=1
Pulling vale
Cloning into 'vale'...
Already on 'master'
Your branch is up-to-date with 'origin/master'.
HEAD is now at 5f0c2bb Add {:from ...} attribute for including files from named directories
Pulling FStar
Cloning into 'FStar'...
Checking out files: 17% (497/2803) Checking out files: 18% (505/2803) Checking out files: 19% (533/2803) Checking out files: 20% (561/2803) Checking out files: 21% (589/2803) Checking out files: 22% (617/2803) Checking out files: 23% (645/2803) Checking out files: 24% (673/2803) Checking out files: 25% (701/2803) Checking out files: 26% (729/2803) Checking out files: 27% (757/2803) Checking out files: 28% (785/2803) Checking out files: 29% (813/2803) Checking out files: 30% (841/2803) Checking out files: 31% (869/2803) Checking out files: 32% (897/2803) Checking out files: 33% (925/2803) Checking out files: 34% (954/2803) Checking out files: 35% (982/2803) Checking out files: 36% (1010/2803) Checking out files: 36% (1022/2803) Checking out files: 37% (1038/2803) Checking out files: 38% (1066/2803) Checking out files: 39% (1094/2803) Checking out files: 40% (1122/2803) Checking out files: 41% (1150/2803) Checking out files: 42% (1178/2803) Checking out files: 43% (1206/2803) Checking out files: 44% (1234/2803) Checking out files: 45% (1262/2803) Checking out files: 46% (1290/2803) Checking out files: 47% (1318/2803) Checking out files: 48% (1346/2803) Checking out files: 49% (1374/2803) Checking out files: 50% (1402/2803) Checking out files: 51% (1430/2803) Checking out files: 52% (1458/2803) Checking out files: 53% (1486/2803) Checking out files: 54% (1514/2803) Checking out files: 54% (1533/2803) Checking out files: 55% (1542/2803) Checking out files: 56% (1570/2803) Checking out files: 57% (1598/2803) Checking out files: 58% (1626/2803) Checking out files: 59% (1654/2803) Checking out files: 60% (1682/2803) Checking out files: 61% (1710/2803) Checking out files: 62% (1738/2803) Checking out files: 63% (1766/2803) Checking out files: 64% (1794/2803) Checking out files: 65% (1822/2803) Checking out files: 66% (1850/2803) Checking out files: 67% (1879/2803) Checking out files: 68% (1907/2803) Checking out files: 69% (1935/2803) Checking out files: 70% (1963/2803) Checking out files: 71% (1991/2803) Checking out files: 72% (2019/2803) Checking out files: 72% (2021/2803) Checking out files: 73% (2047/2803) Checking out files: 74% (2075/2803) Checking out files: 75% (2103/2803) Checking out files: 76% (2131/2803) Checking out files: 77% (2159/2803) Checking out files: 78% (2187/2803) Checking out files: 79% (2215/2803) Checking out files: 80% (2243/2803) Checking out files: 81% (2271/2803) Checking out files: 82% (2299/2803) Checking out files: 83% (2327/2803) Checking out files: 84% (2355/2803) Checking out files: 85% (2383/2803) Checking out files: 86% (2411/2803) Checking out files: 87% (2439/2803) Checking out files: 88% (2467/2803) Checking out files: 88% (2486/2803) Checking out files: 89% (2495/2803) Checking out files: 90% (2523/2803) Checking out files: 91% (2551/2803) Checking out files: 92% (2579/2803) Checking out files: 93% (2607/2803) Checking out files: 94% (2635/2803) Checking out files: 95% (2663/2803) Checking out files: 96% (2691/2803) Checking out files: 97% (2719/2803) Checking out files: 98% (2747/2803) Checking out files: 99% (2775/2803) Checking out files: 100% (2803/2803) Checking out files: 100% (2803/2803), done.
Already on 'master'
Your branch is up-to-date with 'origin/master'.
HEAD is now at 53942989b Merge commit '2205ebe7d89b484f138ec2156cc26a0479dbff1e'
Pulling MLCrypto
Cloning into 'MLCrypto'...
Submodule 'openssl' (https://github.com/openssl/openssl) registered for path 'openssl'
Cloning into '/cygdrive/c/build/agent1/_work/6/s/MLCrypto/openssl'...
Submodule path 'openssl': checked out 'df05f155a69b96b174e0e47bc689bf729de684b6'
Submodule 'boringssl' (https://boringssl.googlesource.com/boringssl) registered for path 'openssl/boringssl'
Submodule 'krb5' (https://github.com/krb5/krb5) registered for path 'openssl/krb5'
Submodule 'pyca.cryptography' (https://github.com/pyca/cryptography.git) registered for path 'openssl/pyca-cryptography'
Cloning into '/cygdrive/c/build/agent1/_work/6/s/MLCrypto/openssl/boringssl'...
Cloning into '/cygdrive/c/build/agent1/_work/6/s/MLCrypto/openssl/krb5'...
Cloning into '/cygdrive/c/build/agent1/_work/6/s/MLCrypto/openssl/pyca-cryptography'...
Submodule path 'openssl/boringssl': checked out '2070f8ad9151dc8f3a73bffaa146b5e6937a583f'
Submodule path 'openssl/krb5': checked out 'b9ad6c49505c96a088326b62a52568e3484f2168'
Submodule path 'openssl/pyca-cryptography': checked out 'c1f8e460330b7ce83d4ea5a9b753a35321f0cf9e'
Already on 'master'
Your branch is up-to-date with 'origin/master'.
HEAD is now at 12f3f1e Revert "Link libcrypto"
Pulling hacl-star
Cloning into 'hacl-star'...
Checking out files: 9% (487/5288) Checking out files: 10% (529/5288) Checking out files: 11% (582/5288) Checking out files: 12% (635/5288) Checking out files: 13% (688/5288) Checking out files: 14% (741/5288) Checking out files: 15% (794/5288) Checking out files: 16% (847/5288) Checking out files: 17% (899/5288) Checking out files: 18% (952/5288) Checking out files: 19% (1005/5288) Checking out files: 19% (1026/5288) Checking out files: 20% (1058/5288) Checking out files: 21% (1111/5288) Checking out files: 22% (1164/5288) Checking out files: 23% (1217/5288) Checking out files: 24% (1270/5288) Checking out files: 25% (1322/5288) Checking out files: 26% (1375/5288) Checking out files: 27% (1428/5288) Checking out files: 28% (1481/5288) Checking out files: 29% (1534/5288) Checking out files: 29% (1582/5288) Checking out files: 30% (1587/5288) Checking out files: 31% (1640/5288) Checking out files: 32% (1693/5288) Checking out files: 33% (1746/5288) Checking out files: 34% (1798/5288) Checking out files: 35% (1851/5288) Checking out files: 36% (1904/5288) Checking out files: 37% (1957/5288) Checking out files: 38% (2010/5288) Checking out files: 39% (2063/5288) Checking out files: 39% (2079/5288) Checking out files: 40% (2116/5288) Checking out files: 41% (2169/5288) Checking out files: 42% (2221/5288) Checking out files: 43% (2274/5288) Checking out files: 44% (2327/5288) Checking out files: 45% (2380/5288) Checking out files: 46% (2433/5288) Checking out files: 47% (2486/5288) Checking out files: 48% (2539/5288) Checking out files: 49% (2592/5288) Checking out files: 49% (2616/5288) Checking out files: 50% (2644/5288) Checking out files: 51% (2697/5288) Checking out files: 52% (2750/5288) Checking out files: 53% (2803/5288) Checking out files: 54% (2856/5288) Checking out files: 55% (2909/5288) Checking out files: 56% (2962/5288) Checking out files: 57% (3015/5288) Checking out files: 58% (3068/5288) Checking out files: 59% (3120/5288) Checking out files: 60% (3173/5288) Checking out files: 60% (3178/5288) Checking out files: 61% (3226/5288) Checking out files: 62% (3279/5288) Checking out files: 63% (3332/5288) Checking out files: 64% (3385/5288) Checking out files: 65% (3438/5288) Checking out files: 66% (3491/5288) Checking out files: 67% (3543/5288) Checking out files: 68% (3596/5288) Checking out files: 69% (3649/5288) Checking out files: 70% (3702/5288) Checking out files: 70% (3743/5288) Checking out files: 71% (3755/5288) Checking out files: 72% (3808/5288) Checking out files: 73% (3861/5288) Checking out files: 74% (3914/5288) Checking out files: 75% (3966/5288) Checking out files: 76% (4019/5288) Checking out files: 77% (4072/5288) Checking out files: 78% (4125/5288) Checking out files: 79% (4178/5288) Checking out files: 80% (4231/5288) Checking out files: 80% (4257/5288) Checking out files: 81% (4284/5288) Checking out files: 82% (4337/5288) Checking out files: 83% (4390/5288) Checking out files: 84% (4442/5288) Checking out files: 85% (4495/5288) Checking out files: 86% (4548/5288) Checking out files: 87% (4601/5288) Checking out files: 88% (4654/5288) Checking out files: 89% (4707/5288) Checking out files: 90% (4760/5288) Checking out files: 90% (4780/5288) Checking out files: 91% (4813/5288) Checking out files: 92% (4865/5288) Checking out files: 93% (4918/5288) Checking out files: 94% (4971/5288) Checking out files: 95% (5024/5288) Checking out files: 96% (5077/5288) Checking out files: 97% (5130/5288) Checking out files: 98% (5183/5288) Checking out files: 99% (5236/5288) Checking out files: 100% (5288/5288) Checking out files: 100% (5288/5288), done.
Submodule 'other_providers/libsodium' (https://github.com/jedisct1/libsodium.git) registered for path 'other_providers/libsodium'
Submodule 'other_providers/openssl' (https://github.com/openssl/openssl.git) registered for path 'other_providers/openssl'
Submodule 'other_providers/vale' (https://github.com/project-everest/vale.git) registered for path 'other_providers/vale'
Cloning into '/cygdrive/c/build/agent1/_work/6/s/hacl-star/other_providers/libsodium'...
Cloning into '/cygdrive/c/build/agent1/_work/6/s/hacl-star/other_providers/openssl'...
Cloning into '/cygdrive/c/build/agent1/_work/6/s/hacl-star/other_providers/vale'...
Submodule path 'other_providers/libsodium': checked out 'e878bc141be12820dc6dbcd7a97bf50070bc1e2a'
Submodule path 'other_providers/openssl': checked out '85d6ad34aa0158fb25538e116e611e6b858d3638'
Submodule 'boringssl' (https://boringssl.googlesource.com/boringssl) registered for path 'other_providers/openssl/boringssl'
Submodule 'krb5' (https://github.com/krb5/krb5) registered for path 'other_providers/openssl/krb5'
Submodule 'pyca.cryptography' (https://github.com/pyca/cryptography.git) registered for path 'other_providers/openssl/pyca-cryptography'
Cloning into '/cygdrive/c/build/agent1/_work/6/s/hacl-star/other_providers/openssl/boringssl'...
Cloning into '/cygdrive/c/build/agent1/_work/6/s/hacl-star/other_providers/openssl/krb5'...
Cloning into '/cygdrive/c/build/agent1/_work/6/s/hacl-star/other_providers/openssl/pyca-cryptography'...
Submodule path 'other_providers/openssl/boringssl': checked out '2070f8ad9151dc8f3a73bffaa146b5e6937a583f'
Submodule path 'other_providers/openssl/krb5': checked out 'b9ad6c49505c96a088326b62a52568e3484f2168'
Submodule path 'other_providers/openssl/pyca-cryptography': checked out 'c1f8e460330b7ce83d4ea5a9b753a35321f0cf9e'
Submodule path 'other_providers/vale': checked out '3b55394035a0f456b29db52e6fcc8bcc8a7e76d4'
Branch cleanup-kremlib-2 set up to track remote branch cleanup-kremlib-2 from origin.
Switched to a new branch 'cleanup-kremlib-2'
error: no such commit 89837c31f495915bdd42038eb2fa633966dd5c80
usage: git branch [<options>] [-r | -a] [--merged | --no-merged]
or: git branch [<options>] [-l] [-f] <branch-name> [<start-point>]
or: git branch [<options>] [-r] (-d | -D) <branch-name>...
or: git branch [<options>] (-m | -M) [<old-branch>] <new-branch>
ERROR: in repository hacl-star, the hash 89837c31f495915bdd42038eb2fa633966dd5c80 claims to belong to branch cleanup-kremlib-2, but cleanup-kremlib-2 pulls from origin/cleanup-kremlib-2 which does not contain 89837c31f495915bdd42038eb2fa633966dd5c80
or: git branch [<options>] [-r | -a] [--points-at]
or: git branch [<options>] [-r | -a] [--format]
Generic options
-v, --verbose show hash and subject, give twice for upstream branch
-q, --quiet suppress informational messages
-t, --track set up tracking mode (see git-pull(1))
--set-upstream change upstream info
-u, --set-upstream-to <upstream>
change the upstream info
--unset-upstream Unset the upstream info
--color[=<when>] use colored output
-r, --remotes act on remote-tracking branches
--contains <commit> print only branches that contain the commit
--no-contains <commit>
print only branches that don't contain the commit
--abbrev[=<n>] use <n> digits to display SHA-1s
Specific git-branch actions:
-a, --all list both remote-tracking and local branches
-d, --delete delete fully merged branch
-D delete branch (even if not merged)
-m, --move move/rename a branch and its reflog
-M move/rename a branch, even if target exists
--list list branch names
-l, --create-reflog create the branch's reflog
--edit-description edit the description for the branch
-f, --force force creation, move/rename, deletion
--merged <commit> print only branches that are merged
--no-merged <commit> print only branches that are not merged
--column[=<style>] list branches in columns
--sort <key> field name to sort on
--points-at <object> print only branches of the object
-i, --ignore-case sorting and filtering are case insensitive
--format <format> format to use for the output