[PPL-devel] [GIT] ppl/ppl(master): Added $(top_builddir)/src/libppl. la to ppl_lpsol_LDADD.

25 Aug 2010

Module: ppl/ppl
Branch: master
Commit: e5f7fe919c776c23735eae17d732e66366b20ad2
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e5f7fe919c776...
Author: Roberto Bagnara bagnara@cs.unipr.it
Date:   Wed Aug 25 18:29:52 2010 +0200
Added $(top_builddir)/src/libppl.la to ppl_lpsol_LDADD.
---
demos/ppl_lpsol/Makefile.am |    1 +
 1 files changed, 1 insertions(+), 0 deletions(-)

diff --git a/demos/ppl_lpsol/Makefile.am b/demos/ppl_lpsol/Makefile.am
index ffff80a..c11fba1 100644
--- a/demos/ppl_lpsol/Makefile.am
+++ b/demos/ppl_lpsol/Makefile.am
@@ -59,6 +59,7 @@ dummy.cc
 ppl_lpsol_LDADD = \
 -lglpk \
 $(top_builddir)/interfaces/C/libppl_c.la \
+$(top_builddir)/src/libppl.la \
 @extra_libraries@
dist_man_MANS = \

    