name: casadi-bindings-internal version: 0.1.1 license: LGPL-3 license-file: LICENSE category: Numerical, Math copyright: (c) 2013-2014 Greg Horn author: Greg Horn maintainer: gregmainland@gmail.com build-type: Simple cabal-version: >=1.10 synopsis: low level bindings to CasADi description: Debian/Ubuntu instructions . Version numbers correspond to the C++ library version numbers except the very last number which may indicate breaking changes. . This only works on Debian/Ubuntu at the moment (sorry). . Install libcasadi from a .deb package here: https://github.com/casadi/casadi/releases, I use libcasadi-shared. (Get the version corresponding to the current casadi-bindings version, for example casadi-bindings-1.9.0.0 is libcasadi 1.9.0) . Then, - `cabal update; cabal install casadi-bindings` . Temporary note: there is something wrong with casadi and ipopt related to http://list.coin-or.org/pipermail/ipopt/2014-April/003670.html, and https://github.com/casadi/casadi/issues/1075. At the moment this .cabal package works for me as is, but YMMV homepage: http://github.com/ghorn/casadi-bindings extra-tmp-files: Casadi/Callback_stub.h library build-depends: base >=4.6 && <5, vector >=0.10 default-language: Haskell2010 hs-source-dirs: src extra-libraries: stdc++ pkgconfig-depends: casadi_core ghc-prof-options: -O2 -prof -fprof-auto -fprof-cafs -rtsopts ghc-options: -O2 cc-options: -Wall -Wno-delete-non-virtual-dtor C-sources: cbits/hs_tools.cpp cbits/callback.cpp exposed-modules: Casadi.Internal.Marshal Casadi.Internal.MarshalTypes Casadi.Internal.WrapReturn Casadi.Internal.CppHelpers Casadi.Internal.CToolsImports Casadi.Internal.CToolsInstances Casadi.Internal.Callback Casadi.Internal.FormatException source-repository head type: git location: git://github.com/ghorn/casadi-bindings.git