model-checker : new cfg command line flag (model-check/max_depth) for max depth of...

[simgrid.git] / src / xbt / xbt_sg_stubs.c

diff --git a/src/xbt/xbt_sg_stubs.c b/src/xbt/xbt_sg_stubs.c
index e06f532..dccc235 100644 (file)
--- a/src/xbt/xbt_sg_stubs.c
+++ b/src/xbt/xbt_sg_stubs.c
@@ -22,11 +22,17 @@
 
 #ifndef CONTEXT_THREADS
 #ifndef WIN32
-
+#ifdef HAVE_PTHREAD_H
 /* xbt_threads is loaded in libsimgrid when they are used to implement the xbt_context.
  * The decision (and the loading) is made in xbt/context.c.
  */
 
+int xbt_os_thread_atfork(void (*prepare)(void),
+                         void (*parent)(void), void (*child)(void))
+{
+  return 0;
+}
+
 /* Mod_init/exit mecanism */
 void xbt_os_thread_mod_preinit(void)
 {
@@ -41,7 +47,7 @@ void xbt_os_thread_mod_postexit(void)
 
 xbt_os_thread_t xbt_os_thread_create(const char *name,
                                      pvoid_f_pvoid_t start_routine,
-                                     void *param)
+                                     void *param, void *data)
 {
   xbt_backtrace_display_current();
   xbt_die
@@ -55,6 +61,13 @@ void xbt_os_thread_exit(int *retcode)
       ("No pthread in SG when compiled against the ucontext (xbt_os_thread_exit)");
 }
 
+void xbt_os_thread_detach(xbt_os_thread_t worker)
+{
+  xbt_backtrace_display_current();
+  xbt_die
+      ("No pthread in SG when compiled against the ucontext (xbt_os_thread_exit)");
+}
+
 xbt_os_thread_t xbt_os_thread_self(void)
 {
   xbt_backtrace_display_current();
@@ -143,3 +156,4 @@ void xbt_os_cond_destroy(xbt_os_cond_t cond)
 }
 #endif
 #endif
+#endif