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: