tempest/resources/3rdparty/cudd-2.5.0/setup.sh

#! /bin/sh
CREATE="ln -s"
if test -d include
  then
    :
  else
    mkdir include
    cd include
    $CREATE ../cudd/cudd.h .
    $CREATE ../cudd/cuddInt.h .
    $CREATE ../epd/epd.h .
    $CREATE ../dddmp/dddmp.h .
    $CREATE ../mtr/mtr.h .
    $CREATE ../obj/cuddObj.hh .
    $CREATE ../st/st.h .
    $CREATE ../util/util.h .
    $CREATE ../mnemosyne/mnemosyne.h .
fi