@hackage / hBDD-CMUBDD

An FFI binding to CMU/Long's BDD library

Latest0.0.3

About

Metadata

  • Last updated , by PeterGammie
  • License LicenseRef-LGPL

  • Maintained by: peteg42@gmail.com

  • Lottery factor: 0

Links

Installation

Readme

On OS X, there is no dylib, so no GHCi. You can create these by hand:

In the BDD library distribution's mem/ gcc -arch i386 -I -L -O *.c -shared -fPIC -o libmem.dylib (copy libmem.dylib into a library directory)

In the BDD library distribution's bddlib/ gcc -arch i386 -I -L -lmem -O *.c -shared -fPIC -o libbdd.dylib (copy libbdd.dylib into a library directory)