diff --git a/Makefile.in b/Makefile.in index a15e19674..ba8ea27ec 100644 --- a/Makefile.in +++ b/Makefile.in @@ -703,7 +703,7 @@ all: startup.yss @ENABLE_SEMWEB@ @INSTALL_DLLS@ (cd packages/semweb; $(MAKE)) @ENABLE_SGML@ @INSTALL_DLLS@ (cd packages/sgml; $(MAKE)) @ENABLE_REAL@ (cd packages/real; $(MAKE)) - @ENABLE_CLPBN_BP@ (cd packages/CLPBN/clpbn/bp ; $(MAKE)) + @ENABLE_CLPBN_BP@ (cd packages/CLPBN/horus; $(MAKE)) @ENABLE_MINISAT@ (cd packages/swi-minisat2/C; $(MAKE)) @ENABLE_ZLIB@ @INSTALL_DLLS@ (cd packages/zlib; $(MAKE)) @ENABLE_CPLINT@ (cd packages/cplint/approx/simplecuddLPADs; $(MAKE)) @@ -772,7 +772,7 @@ install_unix: startup.yss libYap.a @ENABLE_SEMWEB@ @INSTALL_DLLS@ (cd packages/semweb; $(MAKE) install) @ENABLE_SGML@ @INSTALL_DLLS@ (cd packages/sgml; $(MAKE) install) @ENABLE_ZLIB@ @INSTALL_DLLS@ (cd packages/zlib; $(MAKE) @ZLIB_INSTALL@) - @ENABLE_CLPBN_BP@ @INSTALL_DLLS@ (cd packages/CLPBN/clpbn/bp ; $(MAKE) install) + @ENABLE_CLPBN_BP@ @INSTALL_DLLS@ (cd packages/CLPBN/horus; $(MAKE) install) @ENABLE_MINISAT@ (cd packages/swi-minisat2/C; $(MAKE) install) @INSTALL_MATLAB@ (cd library/matlab; $(MAKE) install) @ENABLE_REAL@ (cd packages/real; $(MAKE) install) @@ -836,7 +836,7 @@ install_win32: startup.yss @ENABLE_WINCONSOLE@ pl-yap@EXEC_SUFFIX@ @ENABLE_SGML@ (cd packages/sgml; $(MAKE) install) @ENABLE_ZLIB@ (cd packages/zlib; $(MAKE) @ZLIB_INSTALL@) (cd packages/CLPBN ; $(MAKE) install) - @ENABLE_CLPBN_BP@ (cd packages/CLPBN/clpbn/bp ; $(MAKE) install) + @ENABLE_CLPBN_BP@ (cd packages/CLPBN/horus; $(MAKE) install) @ENABLE_JPL@ (cd packages/jpl ; $(MAKE) install) @ENABLE_MINISAT@ (cd packages/swi-minisat2/C; $(MAKE) install) @ENABLE_CPLINT@ (cd packages/cplint; $(MAKE) install) @@ -901,7 +901,7 @@ clean: clean_docs @ENABLE_SGML@ @INSTALL_DLLS@ (cd packages/sgml; $(MAKE) clean) @ENABLE_REAL@ (cd packages/real; $(MAKE) clean) @ENABLE_MINISAT@ (cd packages/swi-minisat2; $(MAKE) clean) - @ENABLE_CLPBN_BP@ (cd packages/CLPBN/clpbn/bp; $(MAKE) clean) + @ENABLE_CLPBN_BP@ (cd packages/CLPBN/horus; $(MAKE) clean) @ENABLE_ZLIB@ @INSTALL_DLLS@ (cd packages/zlib; $(MAKE) clean) @ENABLE_PRISM@ (cd packages/prism/src/c; $(MAKE) clean) @ENABLE_PRISM@ (cd packages/prism/src/prolog; $(MAKE) clean) diff --git a/configure.in b/configure.in index 81732e741..5620f06f2 100755 --- a/configure.in +++ b/configure.in @@ -2288,8 +2288,7 @@ mkdir -p packages/clib/maildrop/rfc822 mkdir -p packages/clib/maildrop/rfc2045 mkdir -p packages/CLPBN mkdir -p packages/CLPBN/clpbn -mkdir -p packages/CLPBN/clpbn/bp -mkdir -p packages/CLPBN/clpbn/bp/xmlParser +mkdir -p packages/CLPBN/horus mkdir -p packages/clpqr mkdir -p packages/cplint mkdir -p packages/cplint/approx @@ -2401,7 +2400,8 @@ fi if test "$ENABLE_ZLIB" = ""; then AC_CONFIG_FILES([packages/zlib/Makefile]) -fi +fi + if test "$ENABLE_CUDD" = ""; then AC_CONFIG_FILES([packages/bdd/Makefile]) @@ -2419,7 +2419,7 @@ AC_CONFIG_FILES([packages/real/Makefile]) fi if test "$ENABLE_CLPBN_BP" = ""; then -AC_CONFIG_FILES([packages/CLPBN/clpbn/bp/Makefile]) +AC_CONFIG_FILES([packages/CLPBN/horus/Makefile]) fi if test "$ENABLE_GECODE" = ""; then