source: icGREP/icgrep-devel/cudd-2.5.1/setup.sh @ 5354

Last change on this file since 5354 was 4597, checked in by nmedfort, 4 years ago

Upload of the CUDD library.

  • Property svn:executable set to *
File size: 410 bytes
Line 
1#! /bin/sh
2CREATE="ln -s"
3if 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 ../util/cstringstream.h .
18    $CREATE ../mnemosyne/mnemosyne.h .
19fi
Note: See TracBrowser for help on using the repository browser.