Closed ryzhyk closed 9 years ago
Automate compilation/recompilation of termite.
Also, what do we do with cudd dynamically linked libraries? Add them to user's LD_LIBRARY_PATH?
Automate compilation/recompilation of termite.
Also, what do we do with cudd dynamically linked libraries? Add them to user's LD_LIBRARY_PATH?