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
Proxima consists of a generic part and a
specific editor instantiation. Currently, the generic directory must reside in the
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
and the path to the Proxima directory by $proxima
. Because the Proxima directory is in a subdirectory of the instantiation, we have $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
svn checkout svn://svn.oblomov.com/Proxima/heliumEditor
svn checkout svn://svn.oblomov.com/Proxima/dazzleEditor
Through the SVN externals mechanism, the generic Proxima directory are automatically checked out in the
directory of the instantiation (for the Helium editor this also includes the sources for the Helium compiler).
To compile Proxima, we first need to compile and install the generator. Type:
Now we can build the instantiation:
The executable will be present in the
should be called from root of the instantiation directory.
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.
- 23 Jul 2009