clean up makefile

packages/bdd/Makefile.in

@@ -65,6 +65,12 @@ install: all
 	for h in $(BDD_PROLOG); do $(INSTALL_DATA) $$h $(DESTDIR)$(SHAREDIR); done
 	$(INSTALL_PROGRAM) $(SOBJS) $(DESTDIR)$(YAPLIBDIR)
 
+install-examples:
+
 clean:
 	rm -f *.o *~ $(OBJS) $(SOBJS) *.BAK
 
+realclean: clean
+	rm -f $(SOBJS) Makefile
+
+

packages/bdd/configure.in

@@ -1,24 +1,23 @@
+
 AC_ARG_WITH(cudd,
 	[ --with-cudd[=DIR]           use CUDD package in DIR],
 	yap_cv_cudd="$withval",
 	[yap_cv_cudd=no])
 
+AC_ARG_ENABLE(bddlib,
+	[ --enable-bddlib           dynamic bdd library ],
+	dynamic_bdd="$enableval", dynamic_bdd=no)
+
 if test "$yap_cv_cudd" = no 
 then
-  ENABLE_CUDD="@# "
+  PKG_BDDLIB=""
-  ENABLE_BDDLIB="@# "
+elif test "$dynamic_bdd" = yes
+then
+  PKG_BDDLIB="packages/bdd packages/ProbLog/simplecudd packages/ProbLog/simplecudd_lfi"
 else
-  if test "$dynamic_bdd" = yes
+  PKG_BDDLIB="packages/ProbLog/simplecudd packages/ProbLog/simplecudd_lfi"
-  then
-    ENABLE_BDDLIB=""
-  else
-    ENABLE_BDDLIB="@# "
-  fi
-  ENABLE_CUDD=""
 fi
 
-
-
 if test "$yap_cv_cudd" != no; then
 
 oldlibs="$LIBS"
@@ -105,7 +104,15 @@ LIBS="$oldlibs"
 fi
 fi
 
-AC_SUBST(ENABLE_CUDD)
+AC_SUBST(PKG_BDDLIB)
-AC_SUBST(ENABLE_BDDLIB)
 AC_SUBST(CUDD_LDFLAGS)
 AC_SUBST(CUDD_CPPFLAGS)
+
+mkdir -p  packages/bdd
+
+if test "$PKG_BDDLIB" != ""; then
+AC_CONFIG_FILES([packages/bdd/Makefile])
+AC_CONFIG_FILES([packages/ProbLog/simplecudd/Makefile])
+AC_CONFIG_FILES([packages/ProbLog/simplecudd_lfi/Makefile])
+fi
+