SAL 3.0

SAL (Symbolic Analysis Laboratory) is a framework for combining different tools to calculate properties of concurrent systems. The heart of SAL is a language, developed by SRI, Stanford, Berkeley, and Verimag, for specifying concurrent systems in a compositional way.

SRPMS

As SAL has now been released under the GPL, I can offer you sal-3.0-3.src.rpm.

Patch Descriptions

sal-3.0-configure.patch

Updates for the latest autoconf (essentially the result of running autoupdate). Also, the configure script tries to find static libraries for CUDD and libstdc++. However, our packaging of CUDD includes only dynamic libraries, and I want the dynamic libstdc++ for other reasons, so fix the detection logic.

sal-3.0-make.patch

Change the makefile so that the rpmbuild --target has some effect, in the sense that compiler architecture flags are used.

sal-3.0-cudd.patch

Our CUDD build is installed somewhat differently from the one used by SRI. This patch adapts to the differences.

sal-3.0-bigloo.patch

Several updates needed to compile correctly with bigloo 3.1a.

sal-3.0-cond.patch

The name cond is used several places as a local variable, but it is bound to a (very important!) function. This patch changes those uses to cnd.

sal-3.0-div.patch

Quash a compiler warning about fixnum division.

sal-3.0-script.patch

Some of the SAL scripts have to be changed to match our install environment.

sal-3.0-warning.patch

This patch resolves the remaining C compiler warnings, other than those coming from bigloo-generated code.

TODO

• Figure out why bigloo issues a ton of "Rebinding compiled constant" warnings when SAL starts up.
• Figure out why parallel makes don't work.
• Make the build work with ICC.

Back to the RPMS