hg.stevelosh.com > scully

71d4c16c607c 

Load CUDD as a CFFI lib
[view raw] [browse files]
author Steve Losh <steve@stevelosh.com>
date Thu, 27 Oct 2016 14:38:18 +0000
parents 8b62550cc554
children 5f26bbe7eab3
branches/tags (none)
files package.lisp scully.asd src/zdd.lisp

Changes

--- 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)
+
+