src/surf/ns3/ns3_simulator.cpp )
set(SURF_SRC
- src/kernel/lmm/bmf.hpp
- src/kernel/lmm/bmf.cpp
src/kernel/lmm/fair_bottleneck.cpp
src/kernel/lmm/maxmin.hpp
src/kernel/lmm/maxmin.cpp
src/kernel/resource/VirtualMachineImpl.cpp
src/kernel/resource/WifiLinkImpl.cpp
- src/kernel/resource/profile/DatedValue.cpp
- src/kernel/resource/profile/DatedValue.hpp
src/kernel/resource/profile/Event.hpp
src/kernel/resource/profile/FutureEvtSet.cpp
src/kernel/resource/profile/FutureEvtSet.hpp
src/surf/HostImpl.cpp
src/surf/ptask_L07.cpp
)
+if (Eigen3_FOUND)
+ set(SURF_SRC
+ ${SURF_SRC}
+ src/kernel/lmm/bmf.hpp
+ src/kernel/lmm/bmf.cpp)
+else()
+ set(EXTRA_DIST
+ ${EXTRA_DIST}
+ src/kernel/lmm/bmf.hpp
+ src/kernel/lmm/bmf.cpp)
+endif()
set(PLUGINS_SRC
src/plugins/ProducerConsumer.cpp
set(headers_to_install ${headers_to_install} include/simgrid/plugins/ns3.hpp)
set(simgrid_sources ${simgrid_sources} ${NS3_SRC})
-else()
+else()
set(EXTRA_DIST ${EXTRA_DIST} include/simgrid/plugins/ns3.hpp)
endif()