[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: Thu, 07 Jan 2021 09:00:06 +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 --

Building directory examples/misc [07 Jan, 09:53:38]
Starting work on autopilotTheory
Starting work on balancedParensTheory
Starting work on contMonadTheory
Starting work on euclid-OK
balancedParensTheory                            real:    3s  user:    1s     OK
Starting work on root2Theory
contMonadTheory                                 real:    4s  user:    1s     OK
Starting work on tailrecAckermannTheory
euclid-OK                                       real:    4s  user:    1s     OK
Starting work on wardTheory
root2Theory                                     real:    2s  user:    1s     OK
tailrecAckermannTheory                          real:    1s  user:    1s     OK
wardTheory                                      real:    1s  user:    0s     OK
autopilotTheory                                 real:    7s  user:    3s     OK
Self-test directory /OSM/CBR/D61_HRT/work/scratch/regressionHOLs/expknl/examples/misc built successfully.
Building directory examples/lambda/basics [07 Jan, 09:53:46]
Starting work on appFOLDLTheory
appFOLDLTheory                                  real:    2s  user:    1s     OK
Self-test directory /OSM/CBR/D61_HRT/work/scratch/regressionHOLs/expknl/examples/lambda/basics built successfully.
Building directory examples/logic [07 Jan, 09:53:49]
Scanning $(HOLDIR)/examples/lambda/basics
Starting work on foltypesTheory
foltypesTheory                                  real:    7s  user:    6s     OK
Self-test directory /OSM/CBR/D61_HRT/work/scratch/regressionHOLs/expknl/examples/logic built successfully.
Building directory examples/unification/triangular/nominal [07 Jan, 09:53:57]
Scanning $(HOLDIR)/examples/lambda/basics
Scanning $(HOLDIR)/examples/unification
Scanning $(HOLDIR)/examples/unification/triangular
Starting work on ntermTheory
Starting work on dis_setTheory
dis_setTheory                                   real:    2s  user:    1s     OK
ntermTheory                                     real:    7s  user:    6s     OK
Starting work on apply_piTheory
Starting work on nsubstTheory
nsubstTheory                                    real:    2s  user:    1s     OK
apply_piTheory                                  real:    2s  user:    2s     OK
Starting work on nwalkTheory
nwalkTheory                                     real:    4s  user:    3s     OK
Starting work on nwalkstarTheory
nwalkstarTheory                                 real:    6s  user:    5s     OK
Starting work on nunifDefTheory
nunifDefTheory                                  real:   19s  user:   18s     OK
Starting work on nunifPropsTheory
nunifPropsTheory                                real:   40s  user:   39s     OK
Self-test directory /OSM/CBR/D61_HRT/work/scratch/regressionHOLs/expknl/examples/unification/triangular/nominal built successfully.
Building directory examples/lambda/barendregt [07 Jan, 09:55:20]
Scanning $(HOLDIR)/examples/lambda/basics
Starting work on chap2Theory
Starting work on labelledTermsTheory
labelledTermsTheory                             real:    5s  user:    4s     OK
chap2Theory                                     real:    8s  user:    7s     OK
Starting work on chap3Theory
Starting work on term_posnsTheory
term_posnsTheory                                real:    5s  user:    4s     OK
chap3Theory                                     real:    9s  user:    8s     OK
Starting work on chap11_1Theory
Starting work on head_reductionTheory
Starting work on takahashiTheory
takahashiTheory                                 real:    4s  user:    2s     OK
chap11_1Theory                                  real:    6s  user:    4s     OK
Starting work on finite_developmentsTheory
head_reductionTheory                            real:    6s  user:    4s     OK
finite_developmentsTheory                       real:   20s  user:   19s     OK
Starting work on standardisationTheory
standardisationTheory                           real:   13s  user:   12s     OK
Starting work on normal_orderTheory
normal_orderTheory                              real:    7s  user:    6s     OK
Self-test directory /OSM/CBR/D61_HRT/work/scratch/regressionHOLs/expknl/examples/lambda/barendregt built successfully.
Building directory examples/computability [07 Jan, 09:56:27]
Starting work on goedelCodeTheory
Starting work on primrecfnsTheory
primrecfnsTheory                                real:    5s  user:    5s     OK
Starting work on prnlistTheory
Starting work on recursivefnsTheory
prnlistTheory                                   real:    1s  user:    1s     OK
recursivefnsTheory                              real:    2s  user:    1s     OK
Starting work on unary_recfnsTheory
unary_recfnsTheory                              real:    6s  user:    5s     OK
*** FATAL: Build failed in directory /OSM/CBR/D61_HRT/work/scratch/regressionHOLs/expknl/examples/computability (with signal 9)