distr/setup.sh

   1 #! /bin/sh
   2 CREATE="ln -s"
   3 if test -d include
   4   then
   5     :
   6   else
   7     mkdir include
   8     cd include
   9     $CREATE ../cudd/cudd.h .
  10     $CREATE ../cudd/cuddInt.h .
  11     $CREATE ../epd/epd.h .
  12     $CREATE ../dddmp/dddmp.h .
  13     $CREATE ../mtr/mtr.h .
  14     $CREATE ../obj/cuddObj.hh .
  15     $CREATE ../st/st.h .
  16     $CREATE ../util/util.h .
  17     $CREATE ../mnemosyne/mnemosyne.h .
  18 fi