cmake
This commit is contained in:
parent
c2ea3b1cd2
commit
1591bfd00d
3
configure
vendored
3
configure
vendored
@ -17834,6 +17834,8 @@ fi
|
||||
if test "$PKG_REAL" != ""; then
|
||||
ac_config_files="$ac_config_files packages/real/Makefile"
|
||||
|
||||
ac_config_files="$ac_config_files packages/real/rconfig.h"
|
||||
|
||||
fi
|
||||
|
||||
if test "$PKG_MYDDAS" != ""; then
|
||||
@ -18614,6 +18616,7 @@ do
|
||||
"packages/swi-minisat2/Makefile") CONFIG_FILES="$CONFIG_FILES packages/swi-minisat2/Makefile" ;;
|
||||
"packages/swi-minisat2/C/Makefile") CONFIG_FILES="$CONFIG_FILES packages/swi-minisat2/C/Makefile" ;;
|
||||
"packages/real/Makefile") CONFIG_FILES="$CONFIG_FILES packages/real/Makefile" ;;
|
||||
"packages/real/rconfig.h") CONFIG_FILES="$CONFIG_FILES packages/real/rconfig.h" ;;
|
||||
"packages/myddas/Makefile") CONFIG_FILES="$CONFIG_FILES packages/myddas/Makefile" ;;
|
||||
"packages/CLPBN/Makefile") CONFIG_FILES="$CONFIG_FILES packages/CLPBN/Makefile" ;;
|
||||
"packages/CLPBN/horus/Makefile") CONFIG_FILES="$CONFIG_FILES packages/CLPBN/horus/Makefile" ;;
|
||||
|
@ -2270,6 +2270,7 @@ fi
|
||||
|
||||
if test "$PKG_REAL" != ""; then
|
||||
AC_CONFIG_FILES([packages/real/Makefile])
|
||||
AC_CONFIG_FILES([packages/real/rconfig.h])
|
||||
fi
|
||||
|
||||
if test "$PKG_MYDDAS" != ""; then
|
||||
|
@ -1 +1 @@
|
||||
Subproject commit e0a566b31a14f28a49fe112f6e56bbd58a12ccd4
|
||||
Subproject commit 5633c5e6852a464e225d32eb1b24f2e8fb84bb3e
|
Reference in New Issue
Block a user