Download

NOTE: Proxima is no longer actively maintained, but you can still build it on ghc 6.10.4.

The Utrecht University Attribute Grammar Compiler (uuagc) and the Lexer generator Alex are required. Install the appropriate versions with:

cabal install uuagc-0.9.13 alex-2.3.1

Checking out

Proxima consists of a generic part and a specific editor instantiation. Currently, the generic directory must reside in the src subdirectory of the instantiation, because tools used for development expect all sources to be in the directory tree of the instantiation. The path to the instantiation directory will be denoted by $instantiation and the path to the Proxima directory by $proxima. Because the Proxima directory is in a subdirectory of the instantiation, we have $proxima = $instantiation/src/proxima.

First, check out the proxima generator from Subversion:

svn checkout svn://svn.oblomov.com/Proxima/generator/trunk generator

Then, check out one of the editor instantiations:

svn checkout svn://svn.oblomov.com/Proxima/declarationForm

or

svn checkout svn://svn.oblomov.com/Proxima/heliumEditor

or

svn checkout svn://svn.oblomov.com/Proxima/dazzleEditor

Through the SVN externals mechanism, the generic Proxima directory are automatically checked out in the src directory of the instantiation (for the Helium editor this also includes the sources for the Helium compiler).

Building Proxima

To compile Proxima, we first need to compile and install the generator. Type:

cd generator
cabal install
cd ..

Now we can build the instantiation:

cd $instantiation
cabal configure
cabal build

The executable will be present in the $instantiation/build/dist/ directory. It should be called from root of the instantiation directory.

Miscellaneous

The src/proxima/etc/fonts directory in the instantiation directory contains the fonts "Chess Font" and "Symbol", wich need to be installed on your system in order to use the Helium editor.

-- MartijnSchrage - 23 Jul 2009