alarsyo/spot
1
0
Fork 0
Code Issues Pull requests Projects Releases Wiki Activity

prefer -pthread to -lpthread

Browse source 
* configure.ac,
spot/ltsmin/Makefile.am,
tests/Makefile.am: Here.
This commit is contained in:
Etienne Renault 2018-12-03 14:47:09 +00:00
parent 2b9471b9a7
commit 35f1423e20
3 changed files with 2 additions and 3 deletions
Download patch file Download diff file Expand all files Collapse all files

1
tests/Makefile.am
View file

@ -460,6 +460,7 @@ if USE_LTSMIN
check_PROGRAMS += ltsmin/modelcheck
ltsmin_modelcheck_CPPFLAGS = -I$(top_builddir) -I$(top_srcdir) \
$(BUDDY_CPPFLAGS) \-I$(top_builddir)/lib -I$(top_srcdir)/lib
ltsmin_modelcheck_CXXFLAGS = $(CXXFLAGS) -pthread
ltsmin_modelcheck_SOURCES = ltsmin/modelcheck.cc
ltsmin_modelcheck_LDADD = \
$(top_builddir)/bin/libcommon.a \