Re: Ann: SWI-Prolog 7.1.10

Hi Jan

building this last release, I get some bold warning

QA Notice: Package triggers severe warnings which indicate that it
           may exhibit random runtime failures.
archive4pl.c:725:3: warning: implicit declaration of function
'archive_filter_count' [-Wimplicit-function-declaration]
archive4pl.c:730:5: warning: implicit declaration of function
'archive_filter_name' [-Wimplicit-function-declaration]


QA Notice: Package triggers severe warnings which indicate that it
           may exhibit random runtime failures.
archive4pl.c:730:9: warning: assignment makes pointer from integer without
a cast [enabled by default]

Should I upgrade libarchive now ?

Thanks Carlo


2014-03-20 11:40 GMT+01:00 Jan Wielemaker <[email protected]>:

> Hi,
>
> I have uploaded SWI-Prolog 7.1.10.  Most changes are bug fixes and
> portability issues.  Highlights:
>
>   - Fixed two GC issues (Atom-GC and normal GC)
>   - Notably enhancements to library(archive), library(zlib) and the
>     RDF packages.
>   - Added check_installation/0 that verifies whether your system is
>     complete and all foreign libraries can be loaded.  Points at
>     wiki pages on swi-prolog.org if it finds an issue.  Most of the
>     pages are still skeletons.  I filled some of them.
>
>         Enjoy --- Jan
>
>
> ========================================
> SWI-Prolog Changelog since version 7.1.9
> ========================================
>
>  * ENHANCED: Interrupt handling
>
>  * MODIFIED: Print debugger interaction to user_error instead of
>    user_output.
>
>  * FIXED: check_installation/0 message if library was not found.
>
>  * ENHANCED: DO not start tracer from forced interrupt (may crash)
>
>  * ENHANCED: Handling of abort from ^C inside readline().
>
>  * ENHANCED: Try harder to exit cleanly if errors arrise.
>
>  * BUILD: Consider configure out of data if there is a newer aclocal.m4
>
>  * FIXED: swipl-ld must dispatch shared objects as liraries to the linker.
>
>  * ADDED: Menu item Help/Check installation (and make check-installation)
>
>  * FIXED: Also get Exit at the bottom of the Qt console File menu
>
>  * FIXED: Windows console: have Exit at the end of the menu again
>
>  * PORT: Check for <readline/history.h> if RLPREFIX is given (MacOS).
>
>  * FIXED: Honour write_attributes flag in write/2, etc.  Abramo Bagnara.
>
>  * FIXED: string_lower/2, string_upper/2: output was an atom.
>    Peter Berry.
>
>  * ENHANCED: limit scope of lock. My mistake in handling Keri's patch
>    05d1e50d24ce3b14797178d98d732b159d9b1e2c.
>
>  * FIXED: Item#673: Interrupt and abort during output set user_output
>    in error-mode. Ulrich Neumerkel.
>
>  * ADDED: Interrupt handling: 's' to print the C-stack (if libunwind or
>    some alternative is around).
>
>  * FIXED: Bug#142: possible crash when marking records in thread message
>    queues
>
>  * FIXED: absolute_file_name/3: use first extension if the same extension
>    appears multiple times in the list.
>
>  * ADDED: check_installation/0 to verify that the installation is sane.
>
>  * UPDATED: Windows builds to use libarchive 3.1.2 (was 3.0.4).
>
>  * FIXED: Raise existence_error if an already closed stream is closed.
>
>  * FIXED: Shell syntax error in packages "make install".  Wouter Beek.
>
>  * PORT: Bug#162: remove prototype for rl_event_hook().  Maks Verver.
>
>  * FIXED: If use_foreign_library/1 loads a C++ object that registers
>    at least one predicate, do not complain that it does not have an
>    initialization function.
>
>  * FIXED: Bug#161: get_dict/3: wrong type error of first argument is
>    not a valid key.  Raivo Laanemets.
>
>  * ADDED: Implement break on unification
>
>  * BUILD: Only report failed packages rather than aborting the build
>    process
>
>  * FIXED: Hide '$expand_goal'/2 and '$expand_term'/4 from the debugger.
>
>  * FIXED: Only wrap the console if input, output and error are attached
>    to a console.
>
>  * PORT: Fixed winsock2.h include
>
>  * PORT: Fixed Windows identification of console I/O using GetFileType().
>
>  * MODIFIED: Only enable colour I/O if stdin, out and error are attached
>    to a terminal.  If you want colour anyway, load library(ansi_term)
>    explicitly.
>
>  * FIXED: Item#672: call_with_inference_limit/3 does not reset limit on
>    retry. Ulrich Neumerkel.
>
>  * ADDED: call_with_inference_limit/3. After discussion with Ulrich
>    Neumerkel and Markus Triska.
>
>  * FIXED: Possible crash in GC related to Goal@Var.  Keri Harris.
>
>  * ADDED: message_to_string/2 as safe predicate for library(sandbox).
>
>
> ===============
> Package archive
> ===============
>
>  * PORT: MacOS: use MacPort libarchive because MacOS is not a compatible
>    library.
>
>  * FIXED: Handling of non-repositioning input.  If seek() fails we should
>    reset the error state of the stream.
>
>  * ENHANCED: Fail with a type error if an archive-argument does not
>    contain an archive.
>
>  * FIXED: AGC interaction
>
>  * ADDED: archive_property/2.
>
>  * MODIFIED: archive_open/3 renamed compression(Compression)
>    to filter(Filter). Old option is still supported for backward
>    compatibility.
>
>  * ADDED: Support 3.1.2 archive formats
>
>  * ADDED: All 3.1.2 filters
>
>  * FIXED: archive_open/3: compensated for fixed double close/1.
>
> ============
> Package clib
> ============
>
>  * FIXED: uri_file_name/2 in mode (+,-): actually check the file scheme.
>
>  * DOC: replace @tbd for syslog with @see library(syslog)
>
>  * MODIFIED: uri_is_global/1 fails for a single-letter scheme.
>    This avoids misinterpretation of DOS path names.
>
> ================
> Package pengines
> ================
>
>  * FIXED: error event if a pengine cannot be created
>
>  * DELETED: the probe and probe_template options
>
>
> ==============
> Package semweb
> ==============
>
>  * FIXED: Prefer exact file name if present.  Wouter Beek.
>
>  * FIXED: library(semweb/rdf_ntriples): if the input is a binary stream,
>    switch it to UTF-8.
>
>  * ADDED: rdf_save_ntriples/2 to library(semweb/turtle).  Wouter Beek.
>
>  * FIXED: Persistency handling of rdf_reset_db/0.  Was lost on 3.0
>    conversion.
>
>  * ADDED: rdf_save_turtle/2 and friends: option prefixes(List) to specify
>    the prefixes used in the output.
>
>  * MODIFIED: Update Accept header for library(http/rdf_http_plugin).
>
>  * DOC: Avoid misinterpretation of <prefix>:<local>
>
>
> ============
> Package sgml
> ============
>
>  * ADDED: Dialect support for xhtml and xhtml5.
>
>  * FIXED: sgml_parse/2 using parse(content) if a `end` callback is
>    defined.
>
> =================
> Package swipl-win
> =================
>
>  * BUILD: Avoid including packs in the app.
>
>  * FIXED: Also add (recursive) dependencies for the .dylibs we copy from
>    MacPorts to the app.
>
> ============
> Package xpce
> ============
>
>  * PORT: Avoid ending up with c89 as local compiler on MacOS
>
>  * BUILD: Use <config.h> for building xpce-copy
>
> ============
> Package zlib
> ============
>
>  * FIXED: Stream deflate handling of end-of-stream (depends on flushing
>    behaviour)
>
>  * ENHANCED: forwarding of deflate errors to exceptions produced by
>    reading predicates. Updated the docs to explain that successful
>    opening of an input stream using zopen/3 does not imply it is a
>    compressed stream.
> _______________________________________________
> SWI-Prolog mailing list
> [email protected]
> https://lists.iai.uni-bonn.de/mailman/listinfo.cgi/swi-prolog
>
-------------- next part --------------
HTML attachment scrubbed and removed