Opé Thot Editor Using

How to install the Thot Editor Source Release

The Thot Editor Source Tree

Below is the picture of the whole tree built from the source archives for Thot library and Thot Editor. Since Thot Editor is an application built on top of the Thot library, one need first to extract the Thot source tree, and then graft the Thot Editor sources in the Thot tree.

We assume that all the archives needed have been fetched from INRIA server, and stored in /tmp :

Current versions numbers are 2.0 for Thot and Thot Editor. The platform list enumerate the Targets for wich precompiled libraries are also distributed. Otherwise extract only the two main sources archives and see the document on porting to a new platform.

The tree is created by invoking the following commands in the directory of choice (it will create the Thot sub-directory) :

gunzip -c /tmp/thot-src-xxx.tar.gz | tar xvf -

gunzip -c /tmp/thot-libs-Target-xxx.tar.gz | tar xvf -

cd Thot

gunzip -c /tmp/editor-src-yyy.tar.gz | tar xvf -

Be sure to have plenty of room available, compiling a debug version of Thot Editor can use up to 150 Mbyte of disk space.

The tree is made of (from top to bottom):

Each Target specific archive thot-libs-Target-xxx.tar.gz contains a customized Makefile, precompiled versions of the graphic libraries, as well as the config.h file describing the specific issues on the programming interface of the given Target. These files are stored in a specific subdirectory Thot/Target. This directory is also the base for the build tree related to each Target. See next step Compiling Thot Editor for more information on how to populate this subtree.


Daniel Veillard
Webmaster
$Date: 1997/02/07 00:04:58 $