+
Skip to content

evectant/hacs

 
 

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

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

About

High-Level Compiler Generator based on CRSX

Resources

License

Stars

Watchers

Forks

Packages

No packages published

Languages

  • Makefile 62.0%
  • Haxe 31.6%
  • Shell 6.4%
点击 这是indexloc提供的php浏览器服务,不要输入任何密码和下载