Skip to content

Latest commit

 

History

History
51 lines (35 loc) · 1.41 KB

README.md

File metadata and controls

51 lines (35 loc) · 1.41 KB

HACS

HACS abbreviates Higher-order Attribute Contraction Schemes, which is a formal system for symbolic rewriting extended with programming idioms commonly used in compiler rewriting.

A compiler written in HACS consists of a single program with a series of formal sections, each corresponding to a stage of the compiler, and each written in a formal style suitable for that stage.

HACS is implemented on top of the CRSX rewriting engine.

How to Install

The installation method depends on how you obtained HACS.

In any case you must have internet access when installing.

Installing from downloaded hacs.zip archive

The simplest mechanism is to download the hacs.zip archive and install with these commands:

wget http://crsx.org/hacs.zip
unzip hacs.zip
make -C hacs all install install-support

This creates the following directories (you can change the default prefix=$HOME/.hacs if you wish):

  • $HOME/.hacs/bin/hacs - the main executable shell script.
  • $HOME/.hacs/lib/hacs - directory with utility binaries.
  • $HOME/.hacs/share/hacs - directory with non-binary utility files.
  • $HOME/.hacs/share/java - directory with Java libraries.
  • $HOME/.hacs/share/doc/hacs - directory with documentation.

Making from source

You can clone the crsx/hacs github project and then

make all install install-support