Skip to content

Latest commit

 

History

History
20 lines (13 loc) · 960 Bytes

README_tool.md

File metadata and controls

20 lines (13 loc) · 960 Bytes
Raw

The ACT tools

Repositories that contain standalone ACT tools that link against the core ACT library can be built using the standard Makefile setup in the act repo. Unless otherwise specified in the README, the way to build an ACT tool is:

  • Set the environment variable ACT_HOME to the install directory for the core ACT library (see ACT build instructions)

  • If there is a configure script in the main directory, run ./configure

  • If there is a build.sh script in the main directory, run ./build.sh to build and install the files; otherwise, run make depend, followed by make to build the tools, followed by make install to install the files in the ACT_HOME install directory.

More information:

More detailed documentation is available here: http://avlsi.csl.yale.edu/act/

A first ACT tutorial: http://avlsi.csl.yale.edu/act/doku.php?id=tutorial:start