From 3c07f66cac209761c5b436c4df887ad32a1e5a94 Mon Sep 17 00:00:00 2001 From: Fabrizio Riguzzi <fabrizio.riguzzi@unife.it> Date: Thu, 16 Oct 2014 10:20:07 +0200 Subject: [PATCH] repaired configure --- packages/cplint/Makefile.in | 9 +++++++-- packages/cplint/configure.in | 2 +- 2 files changed, 8 insertions(+), 3 deletions(-) diff --git a/packages/cplint/Makefile.in b/packages/cplint/Makefile.in index 08cece659..347d8cc09 100644 --- a/packages/cplint/Makefile.in +++ b/packages/cplint/Makefile.in @@ -41,8 +41,8 @@ CPLINT_LIBS=@CPLINT_LIBS@ #4.1VPATH=@srcdir@:@srcdir@/OPTYap CWD=$(PWD) # -OBJS=cplint_yap.o cplint_Prob.o -SOBJS=cplint.@SHLIB_SUFFIX@ +OBJS=cplint_yap.o cplint_Prob.o bddem.o +SOBJS=cplint.@SHLIB_SUFFIX@ bddem.@SHLIB_SUFFIX@ @@ -161,11 +161,16 @@ cplint_yap.o: $(srcdir)/cplint_yap.c $(srcdir)/cplint.h cplint_Prob.o: $(srcdir)/cplint_Prob.c $(srcdir)/cplint.h $(CC) -c $(CFLAGS) $(CPLINT_CFLAGS) $(srcdir)/cplint_Prob.c -o cplint_Prob.o +bddem.o : $(srcdir)/slipcase/bddem.c + $(CC) -c $(CFLAGS) $(CPLINT_CFLAGS) $(srcdir)/slipcase/bddem.c -o bddem.o @DO_SECOND_LD@cplint.@SHLIB_SUFFIX@: cplint_yap.o cplint_Prob.o @DO_SECOND_LD@ @CPLINT_SHLIB_LD@ -o cplint.@SHLIB_SUFFIX@ $(CPLINT_LDFLAGS) cplint_yap.o cplint_Prob.o $(CPLINT_LIBS) @EXTRA_LIBS_FOR_DLLS@ +@DO_SECOND_LD@bddem.@SHLIB_SUFFIX@: bddem.o +@DO_SECOND_LD@ @CPLINT_SHLIB_LD@ -o bddem.@SHLIB_SUFFIX@ $(CPLINT_LDFLAGS) bddem.o $(CPLINT_LIBS) @EXTRA_LIBS_FOR_DLLS@ + clean: rm -f *.o *~ $(OBJS) $(SOBJS) *.BAK diff --git a/packages/cplint/configure.in b/packages/cplint/configure.in index ebdb4b1ca..e63cedc44 100644 --- a/packages/cplint/configure.in +++ b/packages/cplint/configure.in @@ -27,7 +27,7 @@ if test ! "$yap_cv_cplint" = "no" CPLINT_SHLIB_LD=$SHLIB_LD SHLIB_SUFFIX="so" fi - PKG_CPLINT="packages/cplint packages/cplint/slipcase packages/cplint/approx/simplecuddLPADs" + PKG_CPLINT="packages/cplint packages/cplint/approx/simplecuddLPADs" AC_SUBST(CPLINT_LIBS) AC_SUBST(CPLINT_CFLAGS) AC_SUBST(CPLINT_LDFLAGS)