SRI-CSL / sally

A model checker for infinite-state systems.
http://sri-csl.github.io/sally/
GNU General Public License v2.0
69 stars 12 forks source link

Fix OCaml build in frontend/apron #36

Closed dddejan closed 8 years ago

dddejan commented 8 years ago

Needs to take into account CMake setup such as BUILD_TYPE=Release.

dddejan commented 8 years ago

Somehow Cmake should try to figure out if there are required ocaml packages. For example bddapron needed for the AI module.