Fix incorrect use of mmap, and incorrect platform recognition for tls

utwente-fmt / sylvan

Multi-core Decision Diagram (BDD/LDD) implementation

Apache License 2.0

41 stars 8 forks source link

Fix incorrect use of mmap, and incorrect platform recognition for tls #3

Closed dennisaanstoot closed 8 years ago

dennisaanstoot commented 9 years ago

Sylvan wasn't able to build on OpenBSD due to a not checking for OpenBSD in getrss.c, and checking for the ELF definition for tls support, while OpenBSD doesn't support that.

Also, mmap was used incorrectly. fd should be -1 when not passing a file.

trolando commented 8 years ago

I have committed the modifications to mmap.

The __thread thread-local functionality is part of the ELF file format, so I'm also leaving that define as it is now.

The getrss.c file is not part of the core library anymore, but it is part of the optional "example" files.