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