search

utwente-fmt / ltsmin

The LTSmin model checking toolset
http://ltsmin.utwente.nl
BSD 3-Clause "New" or "Revised" License
51 stars 30 forks source link

Build issue on NetBSD #203

Open mayureshw opened 2 years ago

mayureshw commented 2 years ago

I am trying to build LTSmin on NetBSD.

I get an error during configure as it tests for function pthread_mutexattr_setpshared

On NetBSD man pthread_mutexattr_setpshared says:

BUGS The pthread_mutexattr_getpshared() and pthread_mutexattr_setpshared() functions are hidden by default since only thread shared attributes are supported.

Given this, what workaround would you suggest - both for the configure script and use of this function in src/hre/hre_pthread.c.

mayureshw commented 2 years ago

patches.txt

Have attached patches that led to a successful build on NetBSD.

yanntm commented 1 year ago

Would you mind formatting this as a PR, ie.build a fork of current version, edit the files and then build a PR (contribute button on your fork). This would make it easier to integrate, netBSD is not the main platform but minor changes such as these are ok if they are formatted as a PR it's easier than diff format.

mayureshw commented 1 year ago

Above patches were on the last released version. I had a look at the master branch and the patches do not seem to apply as-is. Will need some work on this. Will take it up when time permits.