| 72 | } |
| 73 | |
| 74 | Thread::Run::Run(Runnable* r0) { |
| 75 | #ifdef GECODE_HAS_THREADS |
| 76 | r.store(r0); |
| 77 | std::thread t([](Thread::Run* r){r->exec();}, this); |
| 78 | t.detach(); |
| 79 | #else |
| 80 | throw OperatingSystemError("Thread::run[Threads not supported]"); |
| 81 | #endif |
| 82 | } |
| 83 | |
| 84 | |
| 85 | namespace { |