58         'scheduler-heap.cc',

    58         'scheduler-heap.cc',

    59         'scheduler-map.cc',

    59         'scheduler-map.cc',

    60         'event-impl.cc',

    60         'event-impl.cc',

    61         'simulator.cc',

    61         'simulator.cc',

    62         'time-default-value.cc',

    62         'time-default-value.cc',

    63         ]

    65         ]

    64 

    66 

    65     headers = bld.create_obj('ns3header')

    67     headers = bld.create_obj('ns3header')

    66     headers.source = [

    68     headers.source = [

    67         'high-precision.h',

    69         'high-precision.h',

    71         'simulator.h',

    73         'simulator.h',

    72         'scheduler.h',

    74         'scheduler.h',

    73         'scheduler-factory.h',

    75         'scheduler-factory.h',

    74         'simulation-singleton.h',

    76         'simulation-singleton.h',

    75         'time-default-value.h',

    77         'time-default-value.h',

    76         ]

    79         ]

    77 

    80 

    78     env = bld.env_of_name('default')

    81     env = bld.env_of_name('default')

    79     if env['USE_HIGH_PRECISION_DOUBLE']:

    82     if env['USE_HIGH_PRECISION_DOUBLE']:

    80         sim.source.extend([

    83         sim.source.extend([