From 35f1423e20921b8df6216634930f3ac3d1147549 Mon Sep 17 00:00:00 2001 From: Etienne Renault Date: Mon, 3 Dec 2018 14:47:09 +0000 Subject: [PATCH] prefer -pthread to -lpthread * configure.ac, spot/ltsmin/Makefile.am, tests/Makefile.am: Here. --- configure.ac | 2 -- spot/ltsmin/Makefile.am | 2 +- tests/Makefile.am | 1 + 3 files changed, 2 insertions(+), 3 deletions(-) diff --git a/configure.ac b/configure.ac index 5ad155170..45b82af9b 100644 --- a/configure.ac +++ b/configure.ac @@ -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. diff --git a/spot/ltsmin/Makefile.am b/spot/ltsmin/Makefile.am index b865bada5..8d5fcb1dc 100644 --- a/spot/ltsmin/Makefile.am +++ b/spot/ltsmin/Makefile.am @@ -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 diff --git a/tests/Makefile.am b/tests/Makefile.am index 98c21d398..0d7c65816 100644 --- a/tests/Makefile.am +++ b/tests/Makefile.am @@ -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 \