The ciao command implements most bundle management operations. The most important commands are:
$ ciao list # List bundles in current workspaces $ ciao build [<tgts>] # Build $ ciao build -r [<tgts>] # Build, including dependencies $ ciao fetch [<tgts>] # Fetch all dependencies of a bundle $ ciao get [<tgts>] # Fetch, build, and install a bundle $ ciao rm [<tgts>] # Remove a bundle
Most commands accept one ore more targets (workspace paths, bundle directories, bundle names, or bundle aliases for location on the network). For example, valid targets are:
Execute ciao help to obtain a detailed list of commands.
Ciao locates bundles by looking at one or more workspaces, given by the following (optional) environment variables:
Workspaces from CIAOPATH are consulted from left to right. If CIAOPATH is undefined, a default value of ~/.ciao will be used. The first encountered workspace directory is denoted as the top workspace. The variable CIAOROOT is usually not needed, except when the binaries is being relocated on the filesystem.
As mentioned in Full installation instructions, setting up the environment uses the ciao-env tool, which updates the PATH and other environment variables to make commands and documentation (man, info) accessible by default.
Configuring workspaces: The directory ~/ciao can be added permanently as a workspace as follows. Include the following at the ~/.emacs file:
(setenv "CIAOPATH" (expand-file-name "~/ciao"))
Then add these lines to the ~/.bashrc file:
It is possible to change CIAOPATH temporarily from emacs (M-x setenv) or a shell in a terminal (executing export CIAOPATH=<path>)
Creating new bundles: For creating new bundles it is recommended to define a workspace directory (e.g., ~/ciao) and set the CIAOPATH environment variable to that directory.
Bundles can be created from scratch or cloned from repositories, e.g.:
$ cd ~/ciao $ git clone https://github.com/jfmc/chat80
At that point bundles can be managed with the ciao command. The ciao list should display chat80 as a recognized bundle, and it should be possible to configure, build, or install it (e.g., ciao build at chat80 directory or ciao build chat80 anywhere). Most commands will rescan the bundles at the workspace, but it can be done manually with:
$ ciao rescan-bundlesNote that existing toplevels may need to be restarted to recognize modules at the new bundles.
Network installation: It is possible to download, configure, build, and install automatically bundles from the network. For example:
ciao get github.com/jfmc/chat80will fetch and install chat80 under the top workspace (~/.ciao if CIAOPATH is unset) (see bundle_fetch). The bundle name will be chat80, while the rest of the bundle alias is used to locate the location on the network. The command:
ciao rm chat80removes the bundle (to prevent accidental data losses, only iff it has been marked as downloaded).
In the context of calls to <srcdir>/ciao-boot.sh, CIAOROOT is implicitly set to the directory where ciao-boot.sh is located (<srcdir>) and CIAOPATH is unset. Thus only bundles at <srcdir> (including bundle catalog directories) are considered.
This is useful to:
Example: the following command will bootstrap Ciao from source, as well as fetch and install the full development environment:
./ciao-boot.sh get devenv
The ciaoc_sdyn command can be used to generate binary distributions of executables with complex dependencies, including any 3rd-party dynamic libraries.
mkdir dist; cd dist ciaoc_sdyn ../src/YOURMAINEXEC cp ../src/SOMEASSET
This creates a platform specific binary YOURMAINEXEC at dist/ directory, together with the collection of shared libraries for the dependencies.
rm -f libc.so.* libgcc_s.so.* libm.so.* libstdc++.so.*
:- use_module(library(system), [file_exists/1]). :- use_module(library(pathnames), [path_concat/3]). :- use_module(library(bundle/bundle_paths), [bundle_path/3]). % Find file X in the same directory as the executable % or in the sources. find_asset(Name, Path) :- ( current_executable(ExecPath), path_split(ExecPath, Dir, _) ; bundle_path(<SomeBundle>, 'images', Dir) ), path_concat(Dir, Name, Path0), file_exists(Path0), !, Path = Path0.
The example predicate find_assert/2 above will look for arbitrary files in either the images/ directory or the directory of the current executable.
Q: Changing the (workspace) directory of a bundle.
A: It would be enough to rescan bundles and configure (clean and build is recommended too). Go to the workspace and type the following:
ciao rescan-bundles ciao configure [<configuration-options>]
Q: Compilation of some module complains about missing dependencies (to seemingly auto-generated code and third-party libraries).
A: Make sure that the bundle and its dependencies are properly configured and build (e.g., calling ciao build for each of them or with ciao build -r). Some bundles (e.g., interfaces to external solvers) require pre-build steps to download and compile third-party code. This part of the compilation is not currently handled by the Ciao compiler.
Q: Alias paths configured at .ciaorc are not visible in executables.
A: The .ciaorc file is read only by the Ciao toplevel (not arbitrary Ciao executables). Configure alias paths through manifest files instead.