Fwd: Problem in using BDD libraries with GCC Plugin

2015-05-19 Thread Nishant Sahni
I am facing an issue compiling a gcc plugin. I am using the cudd libraries (binary decision diagram libraries) and my gcc version is 4.7.2. While running the Makefile, the compiler fails to recognize the Cudd & BDD data structures whereas all the necessary header files have been included and the li

Fwd: Problem in using BDD libraries with GCC Plugin

2015-05-19 Thread Nishant Sahni
I am facing an issue compiling a gcc plugin. I am using the cudd libraries (binary decision diagram libraries), Ubuntu version 14.04 and gcc version is 4.7.2. While running the Makefile, the compiler fails to recognize the Cudd & BDD data structures whereas all the necessary header files have been