missing

packages/bdd/cudd_config.h.cmake

@@ -0,0 +1,32 @@
+// cmake template file
+
+/* Define to 1 if you have the <cuddInt.h> header file. */
+#ifndef HAVE_CUDDINT_H
+#cmakedefine HAVE_CUDDINT_H ${HAVE_CUDDINT_H}
+#endif
+
+/* Define to 1 if you have the <cudd/cuddInt.h> header file. */
+#ifndef HAVE_CUDD_CUDDINT_H
+#cmakedefine HAVE_CUDD_CUDDINT_H ${HAVE_CUDD_CUDDINT_H}
+#endif
+
+/* Define to 1 if you have the <cudd/cudd.h> header file. */
+#ifndef HAVE_CUDD_CUDD_H
+#cmakedefine HAVE_CUDD_CUDD_H ${HAVE_CUDD_CUDD_H}
+#endif
+
+/* Define to 1 if you have the <cudd.h> header file. */
+#ifndef HAVE_CUDD_H
+#cmakedefine HAVE_CUDD_H ${HAVE_CUDD_H}
+#endif
+
+/* Define to 1 if you have the <cudd/util.h> header file. */
+#ifndef HAVE_CUDD_UTIL_H
+#cmakedefine HAVE_CUDD_UTIL_H ${HAVE_CUDD_UTIL_H}
+#endif
+
+/* Define to 1 if you have the <util.h> header file. */
+#ifndef HAVE_UTIL_H
+#cmakedefine HAVE_UTIL_H ${HAVE_UTIL_H}
+#endif
+

packages/bdd/simplecudd/CMakeLists.txt

@@ -0,0 +1,30 @@
+set (SRC
+  general.c
+  problogbdd.c
+  problogmath.c
+  simplecudd.c
+  )
+
+  
+add_executable (Problogbdd
+  ${SRC})
+
+set_target_properties (Problogbdd PROPERTIES
+  OUTPUT_NAME simplecudd
+  )
+
+target_link_libraries(Problogbdd
+  ${CUDD_LIBRARIES}    
+  libYap    
+ )
+
+  INCLUDE_DIRECTORIES( 
+    ${CUDD_INCLUDE_DIR}
+    ${CMAKE_CURRENT_BINARY_DIR}
+    )
+ 
+  install(TARGETS Problogbdd
+    RUNTIME DESTINATION ${bindir}
+    LIBRARY DESTINATION ${dlls}
+    )
+

packages/bdd/simplecudd_lfi/CMakeLists.txt

@@ -0,0 +1,34 @@
+set (SRC
+  adterror.c
+  allocate.c
+  general.c
+  iqueue.c
+  pqueue.c
+  problogbdd_lfi.c
+  problogmath.c
+  simplecudd.c
+  )
+
+ 
+add_executable (Problogbdd-Lfi
+  ${SRC})
+
+set_target_properties (Problogbdd-Lfi PROPERTIES
+  OUTPUT_NAME simplecudd_lfi
+  )
+
+target_link_libraries(Problogbdd-Lfi
+  ${CUDD_LIBRARIES}    
+  libYap    
+ )
+
+  INCLUDE_DIRECTORIES( 
+    ${CUDD_INCLUDE_DIR}
+    ${CMAKE_CURRENT_BINARY_DIR}
+    )
+ 
+  install(TARGETS Problogbdd-Lfi
+    RUNTIME DESTINATION ${bindir}
+    LIBRARY DESTINATION ${dlls}
+    )
+