PPL-devel

Download

ppl-devel@bugseng.com

August 2009

8 participants
62 discussions

[GIT] ppl/ppl(master): Do not add -lm to LDADD for *randphull1.
by Roberto Bagnara 02 Aug '09

02 Aug '09

Module: ppl/ppl Branch: master Commit: 6bfd79445fd0da230f2c8a92b5f152947a048ed3 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=6bfd79445fd0… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Aug 2 17:41:35 2009 +0200 Do not add -lm to LDADD for *randphull1. --- tests/Polyhedron/Makefile.am | 6 +++--- 1 files changed, 3 insertions(+), 3 deletions(-) diff --git a/tests/Polyhedron/Makefile.am b/tests/Polyhedron/Makefile.am index 99b75fa..fa094e5 100644 --- a/tests/Polyhedron/Makefile.am +++ b/tests/Polyhedron/Makefile.am @@ -375,7 +375,6 @@ polyhullifexact1_SOURCES = polyhullifexact1.cc polyhullifexact2_SOURCES = polyhullifexact2.cc randphull1_SOURCES = randphull1.cc -randphull1_LDADD = $(LDADD) -lm refinewithconstraint1_SOURCES = refinewithconstraint1.cc refinewithconstraints1_SOURCES = refinewithconstraints1.cc @@ -606,7 +605,6 @@ nnc_polyhullifexact1_CXXFLAGS = $(DERIVED_CXXFLAGS) nnc_randphull1_SOURCES = randphull1.cc nnc_randphull1_CXXFLAGS = $(DERIVED_CXXFLAGS) -nnc_randphull1_LDADD = $(LDADD) -lm nnc_relations1_SOURCES = relations1.cc nnc_relations1_CXXFLAGS = $(DERIVED_CXXFLAGS) @@ -665,7 +663,9 @@ $(AM_CPPFLAGS) \ -I$(top_builddir)/Watchdog \ -I$(top_builddir)/Watchdog/src -WATCHDOG_LIBRARY_LDADD = $(LDADD) $(top_builddir)/Watchdog/src/libpwl.la +WATCHDOG_LIBRARY_LDADD = \ +$(LDADD) \ +$(top_builddir)/Watchdog/src/libpwl.la watchdog1_SOURCES = $(watchdog1_SRCS) watchdog1_CPPFLAGS = $(WATCHDOG_LIBRARY_CPPFLAGS)

1 0

[GIT] ppl/ppl(master): Do not link with -lm here.
by Roberto Bagnara 02 Aug '09

02 Aug '09

Module: ppl/ppl Branch: master Commit: a41facee8e5c9ad4a88f3da191070bc92f2b224c URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a41facee8e5c… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Aug 2 09:28:50 2009 +0200 Do not link with -lm here. --- Watchdog/tests/Makefile.am | 3 +-- 1 files changed, 1 insertions(+), 2 deletions(-) diff --git a/Watchdog/tests/Makefile.am b/Watchdog/tests/Makefile.am index e235e98..50d11b2 100644 --- a/Watchdog/tests/Makefile.am +++ b/Watchdog/tests/Makefile.am @@ -47,8 +47,7 @@ pwl_test.cc LDADD = \ ../src/libpwl.la \ -libpwl_tests.a \ --lm +libpwl_tests.a noinst_HEADERS = \ pwl_test.hh

1 0