LASH installation

Instructions

These installation instructions apply to Unix systems. The current version of the package has been tested with Linux 2.6.x on Intel processors (in 32-bit mode), but is probably compatible with other operating systems and platforms.

1. Uncompress and extract the distribution.
   gunzip lash-v0.92.tar.gz
   tar xvf lash-v0.92.tar
2. Build the package.
   cd lash-v0.92
   make clean
   make depend
   make

The LASH executables can then be found in the subdirectory bin/. The LASH libraries are located in the directory lib/. These can be linked to your own programs by running ld, or your compiler.

Examples

• gcc -c my-prog.c
  ld my-prog.o lib/lash-core.o lib/lash-arith.o lib/ndd-package.o
• gcc my-prog.c lib/lash-core.o lib/lash-arith.o lib/ndd-package.o
  
• splash -v lift.spl
• siflash -v lift.if
• presburger formula.prsb