dreal3
dreal3 copied to clipboard
segmentation fault in static build (Linux + pthread)
- @pzuliani reported.
- See http://stackoverflow.com/questions/7090623/c0x-thread-static-linking-problem
- For now, a temporary solution is to introduce a compile-time flag for a static build and to disable the use of multi-threads when we build a static binary in Linux.