prolog-tools release prolog-tools-0.2pre1698516985

This page provides release prolog-tools-0.2pre1698516985 of prolog-tools. It was generated automatically on 2009-02-05 14:39:21 UTC from revision 16985 of the path /prolog-tools/trunk of its Subversion repository (the XML record of the build job is available).

Distribution

Source Icon Source distribution

This source distribution requires that the following packages are also installed:

Channel

This release can be installed through Nix, a system for software deployment. It has been built for the following platforms:

You can install this package and keep it up to date by subscribing to the channel prolog-tools-unstable by once executing

$ nix-channel --add http://releases.strategoxt.org/prolog-tools/channels/prolog-tools-unstable
$ nix-channel --update
$ nix-env -i prolog-tools-0.2pre1698516985
and then running
$ nix-channel --update
$ nix-env -u prolog-tools
every time you want to upgrade to the latest release.

Alternatively, if you have Nix 0.8 installed, and have associated the application/nix-package MIME type with the nix-install-package script in your web browser, you can install the package simply by clicking on the links below. This only works if your Nix store is in /nix/store.

The channel contains the following prebuilt packages:

NameSystem
prolog-tools-0.2pre1698516985i686-darwin
i686-linux
x86_64-linux

Problems

In case of build or usage problems with this release, please first check if there are newer releases that solve the problem. Otherwise report problems to stratego@cs.uu.nl, mentioning the full version number and a description of the platform you are building on. In case of a build problem include the part of the build log showing the error. In case of a usage problem try to narrow down the problem as much as possible and include enough information to reproduce the error.

Build Logs

Build of the Source Tarball on i686-linux

Build of a Nix Package on i686-linux

Build of a Nix Package on x86_64-linux

Build of a Nix Package on i686-darwin