src/cudd.i @ 5f26bbe7eab3

Start the CFFI/SWIG/CUDD clown rodeo
author Steve Losh <steve@stevelosh.com>
date Thu, 27 Oct 2016 15:45:42 +0000
parents (none)
children c3c1d21c6fa8
%module cudd

%feature("intern_function","1");
%feature("export");

%insert("lisphead")%{

(cl:defpackage :scully.cudd)
(cl:in-package :scully.cudd)

(cffi:define-foreign-library scully.zdd::cudd
  (:darwin "./build/libcudd.dylib"))

(cffi:use-foreign-library scully.zdd::cudd)

%}

%inline %{

typedef unsigned int size_t;

%}

%include "build/cudd-3.0.0/cudd/cudd.h"