raph-amiard/Z3 — Issue #3: remove ocaml source code
Author: cgeoffroy
Created: 2012-02-26 19:12:20+00:00
State: open

Without considering copyright issue, we are not supposed to "hack" the ocaml source files. So they should be outside of our git repo, in a separate directory, with a clear dependency.
Some $VARIABLE could be setup before compiling to point to the corresponding directory.

Moreover, git is actually tracking some files that are generated during the ./configure step.