Commit 5cfbe08d authored by Mahmoud Khaled's avatar Mahmoud Khaled
Browse files

updated to readme

parent ddf581c0
......@@ -29,7 +29,9 @@ The CUDD library by is developed Fabio Somenzi and we include it in this repo si
`$ ./configure --enable-shared --enable-obj --enable-dddmp --prefix=/opt/local/`
- Now, make the libtrary and install it:
`$ make`
`$ sudo make install`
- We noticed that, on some linux systems, the files **config.h** and **util/util.h** do not get copied after the installation. You have to copy them manually to **/opt/local/include/** if they are not copied.
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment