[Hol-builds] FAILURE: --expk:07dca05:poly570:-F-t2

[<Mic...@da...>]

Running in /OSM/HOME-CDC/nor190/scratch/regressionHOLs/expknl on machine d61-04-cdc
Uname info (srm): Linux 3.2.0-4-amd64 x86_64
Cpu: Intel(R) Xeon(R) CPU E5-2640 v4 @ 2.40GHz  x 2
Memory: 8008 MB
ML Implementation: poly570
Started: Sat, 09 Jan 2021 21:00:04 +1100
Extra commandline arguments: -F -t2
Revision: 07dca05 Fix bugs in Makefiles/lib files preventing Lassie from compiling
Already up-to-date.
-- Configuration Description Ends --

Starting work on ffSplitTheory
ffSplitTheory                                   real:   14s  user:   13s     OK
Self-test directory /OSM/CBR/D61_HRT/work/scratch/regressionHOLs/expknl/examples/algebra built successfully.
Building directory examples/simple_complexity [09 Jan, 23:24:00]
Scanning $(HOLDIR)/examples/algebra/lib
Scanning $(HOLDIR)/examples/simple_complexity/lib
Scanning $(HOLDIR)/examples/simple_complexity/loop
Starting work on bitsizeTheory
Starting work on loopTheory
bitsizeTheory                                   real:    3s  user:    2s     OK
Starting work on complexityTheory
complexityTheory                                real:    4s  user:    4s     OK
loopTheory                                      real:   10s  user:    9s     OK
Starting work on loopDecreaseTheory
Starting work on loopDivideTheory
Starting work on loopIncreaseTheory
Starting work on loopListTheory
loopDecreaseTheory                              real:   13s  user:    5s     OK
Starting work on loopMultiplyTheory
loopListTheory                                  real:   13s  user:    5s     OK
loopDivideTheory                                real:   13s  user:    6s     OK
loopIncreaseTheory                              real:   16s  user:    8s     OK
loopMultiplyTheory                              real:    8s  user:    7s     OK
Self-test directory /OSM/CBR/D61_HRT/work/scratch/regressionHOLs/expknl/examples/simple_complexity built successfully.
Building directory examples/AKS [09 Jan, 23:24:34]
Scanning $(HOLDIR)/examples/algebra/lib
Scanning $(HOLDIR)/examples/algebra/monoid
Scanning $(HOLDIR)/examples/algebra/group
Scanning $(HOLDIR)/examples/algebra/ring
Scanning $(HOLDIR)/examples/algebra/field
Scanning $(HOLDIR)/examples/algebra/polynomial
Scanning $(HOLDIR)/examples/algebra/linear
Scanning $(HOLDIR)/examples/algebra/finitefield
Scanning $(HOLDIR)/examples/AKS/compute
Scanning $(HOLDIR)/examples/simple_complexity/lib
Scanning $(HOLDIR)/examples/simple_complexity/loop
Scanning $(HOLDIR)/examples/AKS/machine
Scanning $(HOLDIR)/examples/AKS/theories
Starting work on computeBasicTheory
Starting work on countMonadTheory
countMonadTheory                                real:    1s  user:    1s     OK
Starting work on countMacroTheory
computeBasicTheory                              real:    6s  user:    5s     OK
Starting work on computeOrderTheory
computeOrderTheory                              real:    5s  user:    4s     OK
Starting work on computeParamTheory
Starting work on computePolyTheory
countMacroTheory                                real:    9s  user:    8s     OK
Starting work on countModuloTheory
Starting work on countBasicTheory
countBasicTheory                                real:    9s  user:    4s     OK
Starting work on countPowerTheory
countModuloTheory                               real:   11s  user:    5s     OK
Starting work on countOrderTheory
computeParamTheory                              real:   17s  user:    7s     OK
countOrderTheory                                real:    7s  user:    3s     OK
computePolyTheory                               real:   20s  user:   10s     OK
Starting work on computeRingTheory
countPowerTheory                                real:   12s  user:    6s     OK
Starting work on countParamTheory
Starting work on countPrimeTheory
countPrimeTheory                                real:    7s  user:    3s     OK
computeRingTheory                               real:   10s  user:    7s     OK
Starting work on computeAKSTheory
Starting work on countPolyTheory
Starting work on AKSintroTheory
countParamTheory                                real:   11s  user:    7s     OK
computeAKSTheory                                real:    6s  user:    3s     OK
countPolyTheory                                 real:   20s  user:   16s     OK
Starting work on countAKSTheory
countAKSTheory                                  real:    6s  user:    5s     OK
AKSintroTheory                                  real:   29s  user:   24s     OK
Starting work on AKSsetsTheory
Starting work on AKSshiftTheory
AKSshiftTheory                                  real:    4s  user:    3s     OK
AKSsetsTheory                                   real:   12s  user:   11s     OK
Starting work on AKSmapsTheory
AKSmapsTheory                                   real:   16s  user:   15s     OK
Starting work on AKStheoremTheory
*** FATAL: Build failed in directory /OSM/CBR/D61_HRT/work/scratch/regressionHOLs/expknl/examples/AKS (with signal 9)