pkgsrc-Users archive
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index][Old Index]
wip/ltsmin: seek help
I am trying to build ltsmin model checker [1] on NetBSD
Have made an initial commit in wip/ltsmin
#uname -a
NetBSD localhost 9.1 NetBSD 9.1 (GENERIC) #0: Sun Oct 18 19:24:30 UTC 2020
mkrepro%mkrepro.NetBSD.org@localhost:/usr/src/sys/arch/amd64/compile/GENERIC amd64
x86_64 Intel 686-class NetBSD
pkgsrc-wip updated today, pkgsrc updated a few days back
I am getting the following error. I have pasted this with test program
used by configure in TODO.
configure:17400: gcc -o conftest -O2 -fPIC -D_FORTIFY_SOURCE=2 -pthread
-I/usr/pkg/include -L/usr/pkg/lib
-Wl,-zrelro -Wl,-R/usr/pkg/lib conftest.c -lpthread >&5
conftest.c: In function 'main':
conftest.c:51:9: warning: implicit declaration of function
'pthread_mutexattr_setpshared'; did you mean 'pt
hread_mutexattr_settype'? [-Wimplicit-function-declaration]
if (pthread_mutexattr_setpshared(&attr, PTHREAD_PROCESS_SHARED))
^~~~~~~~~~~~~~~~~~~~~~~~~~~~
pthread_mutexattr_settype
ld: /tmp//ccnFnR6G.o: in function `main':
conftest.c:(.text.startup+0x3b): undefined reference to
`pthread_mutexattr_setpshared'
Requesting help.
[1] https://ltsmin.utwente.nl/
--
Mayuresh
Home |
Main Index |
Thread Index |
Old Index