#!/bin/sh

./configure --prefix=/w/design/puneet/project/UCLA_TIMER_v1.3 --disable-all --enable-timer --with-cudd=/path/to/cudd --with-oa=/w/apps.icsl/puneet/tools/oa --with-umpack=/path/to/UMPACK --with-zlib=/path/to/zlib
