Commit 3d75e312 authored by Pushpak Jagtap's avatar Pushpak Jagtap
Browse files

Update readme.md

parent 708e1db3
...@@ -9,12 +9,15 @@ The tool is implemented in C++ and contains two major parts: ...@@ -9,12 +9,15 @@ The tool is implemented in C++ and contains two major parts:
- the C++ object-oriented wrapper - the C++ object-oriented wrapper
- the dddmp library and - the dddmp library and
- the shared library - the shared library
option enabled. The package follows the usual configure, make, and make install installation
routine. We use cudd-3.0.0, with the configuration option enabled. The package follows the usual configure, make, and make install installation routine. We use cudd-3.0.0, with the configuration
`$ ./configure --enable-shared --enable-obj --enable-dddmp--prefix=/opt/local/` `$ ./configure --enable-shared --enable-obj --enable-dddmp--prefix=/opt/local/`
On Windows and linux, we experienced that the header files util.h and config.h were On Windows and linux, we experienced that the header files util.h and config.h were
missing in /opt/local and we manually copied them to missing in /opt/local and we manually copied them to
/opt/local/include. /opt/local/include.
For further details about windows installation, please refer to the installation_notes_windows.txt For further details about windows installation, please refer to the installation_notes_windows.txt
FOR MORE DETAILS KINDLY REFER TO USER MANUAL AND REFERENCES THEREIN!!! FOR MORE DETAILS KINDLY REFER TO USER MANUAL AND REFERENCES THEREIN!!!
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