@hackage hBDD-CMUBDD0.0.3

An FFI binding to CMU/Long's BDD library

  • Categories

    • License

      LicenseRef-LGPL

    • Maintainer

      peteg42@gmail.com

    • Links

    • Versions

    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)