#! /bin/sh

# ----------------------------------------------------------------------
# Change these variables content to change linked zchaff version:
# ----------------------------------------------------------------------

zchaff_ver="zchaff.2004.11.15"
zchaff_archive="$zchaff_ver.zip"

zchaff_patch="$zchaff_ver-nusmv.patch"
zchaff_topdir="zchaff"

# ----------------------------------------------------------------------
zchaff_link=../${zchaff_ver}