kerneis/cil — pull request #4 by pmundkur (2013-10-20 17:28:12+00:00)
Title: Fix native libs install

Native OCaml CIL libs were not getting installed. Configure will now log whether it will install native libs, and the Makefile was fixed to ensure their installation. Also bundled some minor whitespace fixes, and a stylistic fix in cfg.mli.