Welcome to Open Dylan
Version 2013.1
Copyright (c) 1997-2004, Functional Objects, Inc.
Portions Copyright (c) 2004-2013, Dylan Hackers
Portions Copyright (c) 2001-2012, Ravenbrook Ltd.
Opened project dfmc-modeling (/home/bruce/Development/dylan/opendylan/sources/dfmc/modeling/modeling.lid)
Number of libraries to compile: 21
Library "dylan" is up to date.
Library "common-dylan" is up to date.
Library "io" is up to date.
Library "system" is up to date.
Library "collections" is up to date.
Library "source-records" is up to date.
Library "ppml" is up to date.
Library "walker" is up to date.
Library "dfmc-mangling" is up to date.
Library "variable-search" is up to date.
Library "dood" is up to date.
Library "dfmc-common" is up to date.
Library "dfmc-conditions" is up to date.
Library "generic-arithmetic" is up to date.
Library "big-integers" is up to date.
Library "parser-run-time" is up to date.
Library "dfmc-reader" is up to date.
Library "dfmc-macro-expander" is up to date.
Library "dfmc-namespace" is up to date.
Library "dfmc-definitions" is up to date.
Updating definitions for dfmc-modeling
  Reading and installing: model-object-macros.dylan
  Reading and installing: namespace-macros.dylan
  Reading and installing: boot.dylan
  Reading and installing: model-object.dylan
  Reading and installing: namespaces.dylan
  Reading and installing: values.dylan
  Reading and installing: objects.dylan
  Reading and installing: signatures.dylan
  Reading and installing: functions.dylan
  Reading and installing: types.dylan
  Reading and installing: classes.dylan
  Reading and installing: singletons.dylan
  Reading and installing: unions.dylan
  Reading and installing: limited-integers.dylan
  Reading and installing: limited-collections.dylan
  Reading and installing: subclasses.dylan
  Reading and installing: primitive-macros.dylan
  Reading and installing: raw-type-macros.dylan
  Reading and installing: raw-types.dylan
  Reading and installing: primitives.dylan
  Reading and installing: machine-word-primitives-support.dylan
  Reading and installing: machine-word-primitives.dylan
  Reading and installing: float-primitives.dylan
  Reading and installing: thread-primitives.dylan
  Reading and installing: c-function-models.dylan
  Reading and installing: inlineable.dylan
  Reading and installing: operations.dylan
  Reading and installing: typist-api-support.dylan
Computing data models for dfmc-modeling
  Computing models for modeling-library.dylan
  Computing models for model-object-macros.dylan
  Computing models for namespace-macros.dylan
  Computing models for boot.dylan
  Computing models for model-object.dylan
  Computing models for namespaces.dylan
  Computing models for values.dylan
  Computing models for objects.dylan
  Computing models for signatures.dylan
  Computing models for functions.dylan
  Computing models for types.dylan
  Computing models for classes.dylan
  Computing models for singletons.dylan
  Computing models for unions.dylan
  Computing models for limited-integers.dylan
  Computing models for limited-collections.dylan
  Computing models for subclasses.dylan
  Computing models for primitive-macros.dylan
  Computing models for raw-type-macros.dylan
  Computing models for raw-types.dylan
  Computing models for primitives.dylan
  Computing models for machine-word-primitives-support.dylan
  Computing models for machine-word-primitives.dylan
  Computing models for float-primitives.dylan
  Computing models for thread-primitives.dylan
  Computing models for c-function-models.dylan
  Computing models for inlineable.dylan
  Computing models for operations.dylan
  Computing models for typist-api-support.dylan
Computing code models for dfmc-modeling
  Computing code models for modeling-library.dylan
  Computing code models for model-object-macros.dylan
  Computing code models for namespace-macros.dylan
  Computing code models for boot.dylan
  Computing code models for model-object.dylan
  Computing code models for namespaces.dylan
  Computing code models for values.dylan
  Computing code models for objects.dylan
  Computing code models for signatures.dylan
  Computing code models for functions.dylan
  Computing code models for types.dylan
  Computing code models for classes.dylan
  Computing code models for singletons.dylan
  Computing code models for unions.dylan
  Computing code models for limited-integers.dylan
  Computing code models for limited-collections.dylan
  Computing code models for subclasses.dylan
  Computing code models for primitive-macros.dylan
  Computing code models for raw-type-macros.dylan
  Computing code models for raw-types.dylan
  Computing code models for primitives.dylan
  Computing code models for machine-word-primitives-support.dylan
  Computing code models for machine-word-primitives.dylan
  Computing code models for float-primitives.dylan
  Computing code models for thread-primitives.dylan
  Computing code models for c-function-models.dylan
  Computing code models for inlineable.dylan
  Computing code models for operations.dylan
  Computing code models for typist-api-support.dylan
Checking bindings in dfmc-modeling
Performing type analysis of dfmc-modeling
Optimizing dfmc-modeling
  Optimizing modeling-library.dylan
  Optimizing model-object-macros.dylan
  Optimizing namespace-macros.dylan
  Optimizing boot.dylan
  Optimizing model-object.dylan
  Optimizing namespaces.dylan
  Optimizing values.dylan
  Optimizing objects.dylan
  Optimizing signatures.dylan
  Optimizing functions.dylan
  Optimizing types.dylan
  Optimizing classes.dylan
  Optimizing singletons.dylan
  Optimizing unions.dylan
  Optimizing limited-integers.dylan
  Optimizing limited-collections.dylan
  Optimizing subclasses.dylan
  Optimizing primitive-macros.dylan
  Optimizing raw-type-macros.dylan
  Optimizing raw-types.dylan
  Optimizing primitives.dylan
  Optimizing machine-word-primitives-support.dylan
  Optimizing machine-word-primitives.dylan
  Optimizing float-primitives.dylan
  Optimizing thread-primitives.dylan
  Optimizing c-function-models.dylan
  Optimizing inlineable.dylan
  Optimizing operations.dylan
  Optimizing typist-api-support.dylan
A total of 2337 calls were processed, and 2003 of these (86%) were optimized.
Dumping conditions to dfmc-modeling.log
There were 0 warnings, 0 serious warnings.
Generating code for dfmc-modeling
  Emitting heap for modeling-library.dylan
  Linking modeling-library.dylan
  Emitting heap for model-object-macros.dylan
  Linking model-object-macros.dylan
  Emitting heap for namespace-macros.dylan
  Linking namespace-macros.dylan
  Emitting heap for boot.dylan
  Linking boot.dylan
  Emitting heap for model-object.dylan
  Linking model-object.dylan
  Emitting heap for namespaces.dylan
  Linking namespaces.dylan
  Emitting heap for values.dylan
  Linking values.dylan
  Emitting heap for objects.dylan
  Linking objects.dylan
  Emitting heap for signatures.dylan
  Linking signatures.dylan
  Emitting heap for functions.dylan
  Linking functions.dylan
  Emitting heap for types.dylan
  Linking types.dylan
  Emitting heap for classes.dylan
  Linking classes.dylan
  Emitting heap for singletons.dylan
  Linking singletons.dylan
  Emitting heap for unions.dylan
  Linking unions.dylan
  Emitting heap for limited-integers.dylan
  Linking limited-integers.dylan
  Emitting heap for limited-collections.dylan
  Linking limited-collections.dylan
  Emitting heap for subclasses.dylan
  Linking subclasses.dylan
  Emitting heap for primitive-macros.dylan
  Linking primitive-macros.dylan
  Emitting heap for raw-type-macros.dylan
  Linking raw-type-macros.dylan
  Emitting heap for raw-types.dylan
  Linking raw-types.dylan
  Emitting heap for primitives.dylan
  Linking primitives.dylan
  Emitting heap for machine-word-primitives-support.dylan
  Linking machine-word-primitives-support.dylan
  Emitting heap for machine-word-primitives.dylan
  Linking machine-word-primitives.dylan
  Emitting heap for float-primitives.dylan
  Linking float-primitives.dylan
  Emitting heap for thread-primitives.dylan
  Linking thread-primitives.dylan
  Emitting heap for c-function-models.dylan
  Linking c-function-models.dylan
  Emitting heap for inlineable.dylan
  Linking inlineable.dylan
  Emitting heap for operations.dylan
  Linking operations.dylan
  Emitting heap for typist-api-support.dylan
  Linking typist-api-support.dylan
Linking object files for dfmc-modeling
Saving database for dfmc-modeling
  Committed 10000.
  Committed 20000.
  Committed 30000.
  Committed 40000.
  Committed 50000.
  Committed 60000.
  Committed 70000.
  Committed 80000.
  Committed 90000.
  Committed 100000.
  Committed 110000.
  Committed 120000.
  Committed 130000.
  Committed 140000.
  Committed 150000.
  Committed 160000.
Time taken per phase:
                                 Elapsed Time (secs)     Amount Allocated (Mb)
  Updating sources          -     0%       0.050000        0%       0.000000
  Updating definitions      -    13%       1.540000        0%       0.000000
  Model object computation  -    12%       1.380000        0%       0.000000
  Model finishing           -     1%       0.060000        0%       0.000000
  Model checking            -     0%       0.020000        0%       0.000000
  DFM generation            -    11%       1.300000        0%       0.000000
  Checking bindings         -     0%       0.000000        0%       0.000000
  Initial type inference    -     1%       0.090000        0%       0.000000
  Optimization              -    24%       2.880000        0%       0.000000
  Preheaping                -     6%       0.710000        0%       0.000000
  Heaping                   -     4%       0.470000        0%       0.000000
  Emitting                  -    13%       1.500000        0%       0.000000
  Linking                   -     5%       0.560000        0%       0.000000
  Glue gen                  -     0%       0.000000        0%       0.000000
  Stripping                 -     1%       0.080000        0%       0.000000
  Saving database           -    11%       1.250000        0%       0.000000
  --
  Sum                       -   100%      11.889999      100%       0.000000
  --
  Compiled 13229 lines at a rate of 66756.944 lines per minute, 0.000000 Mb per second.
  --
  Database 6295664 bytes.
  Data 799720 bytes.
  Code 0 bytes.
 Heap Allocated 179507200 Total 179507200 Free 0
There were 0 warnings, 0 serious warnings and 0 errors.
Build of 'dfmc-modeling' completed
File /home/bruce/Development/dylan/opendylan/Bootstrap.3/lib/dfmc-modeling.mkf : dylanmakefile.mkf
Cc _glue.o : _glue.c
Cc modeling-library.o : modeling-library.c
Cc model-object-macros.o : model-object-macros.c
Cc namespace-macros.o : namespace-macros.c
Cc boot.o : boot.c
Cc model-object.o : model-object.c
Cc namespaces.o : namespaces.c
Cc values.o : values.c
Cc objects.o : objects.c
Cc signatures.o : signatures.c
Cc functions.o : functions.c
Cc types.o : types.c
Cc classes.o : classes.c
Cc singletons.o : singletons.c
Cc unions.o : unions.c
Cc limited-integers.o : limited-integers.c
Cc limited-collections.o : limited-collections.c
Cc subclasses.o : subclasses.c
Cc primitive-macros.o : primitive-macros.c
Cc raw-type-macros.o : raw-type-macros.c
Cc raw-types.o : raw-types.c
Cc primitives.o : primitives.c
Cc machine-word-primitives-support.o : machine-word-primitives-support.c
Cc machine-word-primitives.o : machine-word-primitives.c
Cc float-primitives.o : float-primitives.c
Cc thread-primitives.o : thread-primitives.c
Cc c-function-models.o : c-function-models.c
Cc inlineable.o : inlineable.c
Cc operations.o : operations.c
Cc typist-api-support.o : typist-api-support.c
LinkDLL /home/bruce/Development/dylan/opendylan/Bootstrap.3/lib/libdfmc-modeling.so : _glue.o modeling-library.o model-object-macros.o namespace-macros.o boot.o model-object.o namespaces.o values.o objects.o signatures.o functions.o types.o classes.o singletons.o unions.o limited-integers.o limited-collections.o subclasses.o primitive-macros.o raw-type-macros.o raw-types.o primitives.o machine-word-primitives-support.o machine-word-primitives.o float-primitives.o thread-primitives.o c-function-models.o inlineable.o operations.o typist-api-support.o
