Merge branch 'local-library-split' into local-trunk
-rw-r--r-- 108 .gitignore
-rw-r--r-- 1689 INSTALL
-rw-r--r-- 7639 LICENSE
-rwxr-xr-x 2058 build
-rwxr-xr-x 2034 configure
drwxr-xr-x - include
-rw-r--r-- 4899 myocamlbuild.ml
-rw-r--r-- 357 myocamlbuild_config.ml.in
drwxr-xr-x - src
drwxr-xr-x - tests
drwxr-xr-x - utils