hg.stevelosh.com > scully

src/cudd.i @ c3c1d21c6fa8 

Try out trivialib.zdd
author Steve Losh <steve@stevelosh.com>
date Sat, 29 Oct 2016 14:48:46 +0000
parents 5f26bbe7eab3
children (none) 
%module cudd

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

%insert("lisphead")%{

(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"