more SWI updates.

This commit is contained in:
Vitor Santos Costa 2010-07-28 10:47:18 +01:00
parent c27fdc9b35
commit 431ceadc50
3 changed files with 2571 additions and 12024 deletions

View File

@ -602,6 +602,7 @@ install_win32: startup.yss
(cd packages/clib; $(MAKE) install)
(cd packages/plunit; $(MAKE) install)
(cd packages/http; $(MAKE) install)
(cd packages/RDF; $(MAKE) install)
(cd packages/sgml; $(MAKE) install)
(cd packages/semweb; $(MAKE) install)
@USE_MINISAT@ (cd packages/swi-minisat2/C; $(MAKE) install)

14592
configure vendored

File diff suppressed because it is too large Load Diff

View File

@ -1873,6 +1873,7 @@ mkdir -p packages/PLStream
mkdir -p packages/plunit
mkdir -p packages/ProbLog
mkdir -p packages/ProbLog/simplecudd
mkdir -p packages/RDF
mkdir -p packages/semweb
mkdir -p packages/sgml
@ -1904,6 +1905,7 @@ AC_CONFIG_FILES([packages/tai/libtai/Makefile])
AC_CONFIG_FILES([packages/PLStream/Makefile])
AC_CONFIG_FILES([packages/plunit/Makefile])
AC_CONFIG_FILES([packages/ProbLog/Makefile ])
AC_CONFIG_FILES([packages/RDF/Makefile])
AC_CONFIG_FILES([packages/semweb/Makefile])
AC_CONFIG_FILES([packages/sgml/Makefile])