Installing tla from sources
First, you need to get a tla source distribution (see Getting Arch).
Once the tla source distribution has been fetched and unpacked, compilation and installation of tla typically looks something like the following (assuming that the current directory is the root of the unpacked tree):
% cd src % mkdir =build # [1] % cd =build % ../configure --prefix $INSTALL_PREFIX # [2], [3], [4] ... % make # [4] ... % make test # [6] ... % make install
Notes:
- You must use a build directory which is separate from the source tree.
$INSTALL_PREFIX is the root of the tree where you want tla installed; for instance, if you want to put tla in /usr/local/bin, then subsitute /usr/local for $INSTALL_PREFIX.
If /bin/sh on your system is not POSIX-compatible enough to handle the configure script, but some other shell (bourne-style, not csh!) on your system is -- here we call it $SHELL -- then run configure this way:
$SHELL ../configure --prefix $INSTALL_PREFIX --config-shell $SHELL
Run ../configure --help for information about setting parameters other than --prefix.
- If you see a message like this:
The configured versions of diff and diff3 do not handle files not ending in newline correctly. configured diff = diff. configured diff3 = diff3. Use config options --with-gnu-diff PROG --with-gnu-diff3 PROG NOTE: especially on BSD-derived systems, you will want to grab a recent version of GNU diff and compile it for use with those config options. You don't need to replace the native diff tools on your system, but you do need to configure tla specially. Sorry about that -- some BSDs have made a poor decision about their native diffs. (Example systems: some NetBSD, FreeBSD, and MacOS versions.)
You must use a recent version of GNU make. For now, do not use the -j option to make or otherwise arrange for a parallel make. You can check to see if you have GNU make by typing make -v
To run the tests on some systems, you must use unlimit datasize first.