diff --git a/configure b/configure index 55dca6dc5..f23fd8f3d 100755 --- a/configure +++ b/configure @@ -16776,6 +16776,8 @@ ac_config_files="$ac_config_files packages/cplint/Makefile" ac_config_files="$ac_config_files packages/sgml/Makefile" +ac_config_files="$ac_config_files packages/PLStream/depend" + ac_config_files="$ac_config_files packages/PLStream/Makefile" ac_config_files="$ac_config_files packages/ProbLog/Makefile" @@ -17375,6 +17377,7 @@ do "packages/CLPBN/Makefile") CONFIG_FILES="$CONFIG_FILES packages/CLPBN/Makefile" ;; "packages/cplint/Makefile") CONFIG_FILES="$CONFIG_FILES packages/cplint/Makefile" ;; "packages/sgml/Makefile") CONFIG_FILES="$CONFIG_FILES packages/sgml/Makefile" ;; + "packages/PLStream/depend") CONFIG_FILES="$CONFIG_FILES packages/PLStream/depend" ;; "packages/PLStream/Makefile") CONFIG_FILES="$CONFIG_FILES packages/PLStream/Makefile" ;; "packages/ProbLog/Makefile") CONFIG_FILES="$CONFIG_FILES packages/ProbLog/Makefile" ;; "packages/chr/Makefile") CONFIG_FILES="$CONFIG_FILES packages/chr/Makefile" ;; diff --git a/configure.in b/configure.in index 5e85163b9..d5f69bd06 100644 --- a/configure.in +++ b/configure.in @@ -1575,6 +1575,7 @@ AC_CONFIG_FILES([LGPL/swi_console/Makefile]) AC_CONFIG_FILES([packages/CLPBN/Makefile]) AC_CONFIG_FILES([packages/cplint/Makefile]) AC_CONFIG_FILES([packages/sgml/Makefile]) +AC_CONFIG_FILES([packages/PLStream/depend]) AC_CONFIG_FILES([packages/PLStream/Makefile]) AC_CONFIG_FILES([packages/ProbLog/Makefile ])