# HG changeset patch
# User Steve Losh <steve@stevelosh.com>
# Date 1477579098 0
# Node ID 71d4c16c607ca65c5f3182f4dab4574326bdd2ed
# Parent  8b62550cc5542173b18ddb9f0037883a2673dd4a
Load CUDD as a CFFI lib

diff -r 8b62550cc554 -r 71d4c16c607c package.lisp
--- 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))
 
diff -r 8b62550cc554 -r 71d4c16c607c scully.asd
--- 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
diff -r 8b62550cc554 -r 71d4c16c607c src/zdd.lisp
--- 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)
+
+