udpor_global.hpp deifined

diff --git a/src/mc/udpor_global.hpp b/src/mc/udpor_global.hpp
new file mode 100644 (file)
index 0000000..e166ada
--- /dev/null
+++ b/src/mc/udpor_global.hpp
@@ -0,0 +1,15 @@
+/* Copyright (c) 2007-2021. The SimGrid Team. All rights reserved.          */
+
+/* This program is free software; you can redistribute it and/or modify it
+ * under the terms of the license (GNU LGPL) which comes with this package. */
+
+#ifndef SIMGRID_MC_UDPOR_GLOBAL_HPP 
+#define SIMGRID_MC_UDPOR_GLOBAL_HPP
+
+namespace simgrid {
+namespace mc {
+
+
+} // namespace mc
+} // namespace simgrid
+#endif
\ No newline at end of file

diff --git a/tools/cmake/DefinePackages.cmake b/tools/cmake/DefinePackages.cmake
index 5f5883d..a73616e 100644 (file)
--- a/tools/cmake/DefinePackages.cmake
+++ b/tools/cmake/DefinePackages.cmake
@@ -678,6 +678,7 @@ set(MC_SRC
   src/mc/mc_smx.cpp
   src/mc/mc_exit.hpp
   src/mc/Transition.hpp
+  src/mc/udpor_global.hpp
   )
 
 set(MC_SIMGRID_MC_SRC  src/mc/checker/simgrid_mc.cpp)