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 = \