--- a/package.lisp Thu Oct 27 14:34:01 2016 +0000
+++ b/package.lisp Thu Oct 27 14:38:18 2016 +0000
@@ -26,6 +26,7 @@
:losh
:iterate
:cl-arrows
+ :cffi
:scully.quickutils)
(:export))
--- a/scully.asd Thu Oct 27 14:34:01 2016 +0000
+++ b/scully.asd Thu Oct 27 14:38:18 2016 +0000
@@ -16,7 +16,8 @@
:cl-dot
:cl-algebraic-data-type
:cl-arrows
- :cl-ggp)
+ :cl-ggp
+ :cffi)
:serial t
:components ((:module "vendor" :serial t
--- a/src/zdd.lisp Thu Oct 27 14:34:01 2016 +0000
+++ b/src/zdd.lisp Thu Oct 27 14:38:18 2016 +0000
@@ -1,1 +1,9 @@
(in-package :scully.zdd)
+
+;;;; Library ------------------------------------------------------------------
+(define-foreign-library cudd
+ (:darwin "./build/libcudd.dylib"))
+
+(use-foreign-library cudd)
+
+