Commit 8cfa6dac authored by Etienne Renault's avatar Etienne Renault

prefer -pthread to -lpthread

* configure.ac,
spot/ltsmin/Makefile.am,
tests/Makefile.am: Here.
parent be00cada
......@@ -77,8 +77,6 @@ fi
# Activate C11 for gnulib tests
AX_CHECK_COMPILE_FLAG([-std=c11], [CFLAGS="$CFLAGS -std=c11"])
AX_CHECK_COMPILE_FLAG([-lpthread], [CFLAGS="$CFLAGS -lpthread"])
gl_INIT
# Use -Werror since using -fvisibility under MinGW is only a warning.
......
......@@ -20,7 +20,7 @@
AM_CPPFLAGS = -I$(top_builddir) -I$(top_srcdir) \
$(BUDDY_CPPFLAGS) $(LTDLINCL) \
-I$(top_builddir)/lib -I$(top_srcdir)/lib
AM_CXXFLAGS = $(WARNING_CXXFLAGS)
AM_CXXFLAGS = $(WARNING_CXXFLAGS) -pthread
ltsmindir = $(pkgincludedir)/ltsmin
......
......@@ -454,6 +454,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 \
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment