From ee2c0ca203fb3e94f4b438852c97397aa4146ec5 Mon Sep 17 00:00:00 2001 From: rzf Date: Sat, 8 Mar 2008 15:41:01 +0000 Subject: [PATCH] added installation of new solvers git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2134 b08c6af1-5177-4d33-ba66-4b1c6b8b522a --- cplint/Makefile.in | 3 +++ 1 file changed, 3 insertions(+) diff --git a/cplint/Makefile.in b/cplint/Makefile.in index a648516de..47f9ef139 100644 --- a/cplint/Makefile.in +++ b/cplint/Makefile.in @@ -53,6 +53,7 @@ CPLINT_DOCDIR = $(srcdir)/doc CPLINT_PROGRAMS= \ + $(CPLINT_SRCDIR)/lpadvel.pl \ $(CPLINT_SRCDIR)/lpadclpbn.pl \ $(CPLINT_SRCDIR)/lpadsld.pl \ $(CPLINT_SRCDIR)/lpad.pl \ @@ -65,6 +66,8 @@ CPLINT_SEMANTICS_PROGRAMS= \ $(CPLINT_SRCDIR)/slg.pl CPLINT_TEST_PROGRAMS= \ + $(CPLINT_SRCDIR)/testlpadvel.pl \ + $(CPLINT_SRCDIR)/testlpadclpbn.pl \ $(CPLINT_SRCDIR)/testlpadsld_gbtrue.pl \ $(CPLINT_SRCDIR)/testlpadsld_gbfalse.pl \ $(CPLINT_SRCDIR)/testlpad.pl \