File archiver

Author(s): The Ciao Development Team, Jose F. Morales.

This module offers predicates to generate file archives in some common formats. An archive file is a file that is composed of one or more computer files along with metadata, with can be compressed. See archive_files/4 for the supported formats.

Usage and interface

  • Library usage:
    :- use_module(library(archive_files)).
  • Exports:

Documentation on exports


Create an archive Archive of the given files at Files, relative to SourceDir. If TopDir is not '', files are placed inside the archive under TopDir.

The format is automatically detected from the extension of Archive (where valid formats are: .tar.gz, .tgz, .tar.bz2, .tbz, and .zip).

Documentation on imports

This module has the following direct dependencies: