src/devices/emu/wscript
changeset 4186 f1d57182d491
parent 4122 8f403a728b57
child 4187 900966cabdc6
equal deleted inserted replaced
4185:6740cafc08a9 4186:f1d57182d491
     1 ## -*- Mode: python; py-indent-offset: 4; indent-tabs-mode: nil; coding: utf-8; -*-
     1 ## -*- Mode: python; py-indent-offset: 4; indent-tabs-mode: nil; coding: utf-8; -*-
     2 
     2 
     3 def configure(conf):
     3 def configure(conf):
     4     if conf.env['ENABLE_THREADING']:
     4     if conf.env['ENABLE_THREADING']:
     5         conf.env['ENABLE_EMU'] = conf.check(header_name='linux/if_ether.h',
     5         conf.env['ENABLE_EMU'] = True
     6                                             define_name='HAVE_IF_ETHER_H')
     6         conf.report_optional_feature("EmuNetDevice", "Emulated Net Device", True, 
     7         conf.report_optional_feature("EmuNetDevice", "Emulated Net Device",
     7                                      "")
     8                                      conf.env['ENABLE_EMU'],
       
     9                                      "<linux/if_ether.h> include not detected")
       
    10     else:
     8     else:
    11         conf.report_optional_feature("EmuNetDevice", "Emulated Net Device",
     9         conf.report_optional_feature("EmuNetDevice", "Emulated Net Device", False,
    12                                      False,
       
    13                                      "needs threading support which is not available")
    10                                      "needs threading support which is not available")
    14 
    11 
    15 def build(bld):
    12 def build(bld):
    16     module = bld.create_ns3_module('emu', ['node'])
    13     module = bld.create_ns3_module('emu', ['node'])
    17     module.source = [
    14     module.source = [