Overview

Job 1396

CakeML:9962f61c52c582fcd43ffacda21f089f0bd90cf3
  Fix a silly copy-paste mistake
#804 (currheap)
Merging into:e76d28c8e72843dfda88ff470e38d5fdfa8acda4
  Merge pull request #802 from CakeML/data-cost
HOL:ea22210a5c1604df84c66d847322f752e263354d
  Fiddle with file in attempt to get otknl build progressing further
Machine:oven2 4.15.0-34-generic x86_64 GNU/Linux

 Claimed job
 Reusing HOL
 Starting developers
 Finished developers                                               2s 127MB
 Starting developers/bin
 Finished developers/bin                                           6s   1GB
 Starting semantics/ffi
 FAILED: semantics/ffi
Scanning [1m$(CAKEMLDIR)/misc/lem_lib_stub[0m
Starting work on lem_pervasivesTheory
Starting work on lem_pervasives_extraTheory
Starting work on README.md
README.md                                                                                                                                            real:    0s  user:    0s     OK
lem_pervasivesTheory                                                                                                                                 real:    0s  user:    0sFAIL<7F>
 /home/myreen/regression/HOL-ea22210a5c1604df84c66d847322f752e263354d/bin/buildheap: symbol lookup error: /home/myreen/regression/HOL-ea22210a5c1604df84c66d847322f752e263354d/bin/buildheap: undefined symbol: PolyNetworkGetSockTypeList
lem_pervasives_extraTheory                                                                                                                                                   M-KILLED