add configure script to set ocaml prefix
tree3ccb444ebd1071c3d9db90bd59e6fc68b8fac2dc
-rw-r--r-- 794 .gitignore
-rw-r--r-- 80 .gitmodules
-rw-r--r-- 1692 BUGS
drwxr-xr-x - Bin
drwxr-xr-x - CInterface
drwxr-xr-x - Calcom
-rw-r--r-- 2812 ChangeLog
drwxr-xr-x - CipolCore
drwxr-xr-x - Documentation
drwxr-xr-x - Equival
drwxr-xr-x - Etc
drwxr-xr-x - Formel
-rw-r--r-- 4132 Makefile
drwxr-xr-x - MlTools
drwxr-xr-x - NewPip
drwxr-xr-x - Omega
drwxr-xr-x - Pip
-rw-r--r-- 3802 README
-rw-r--r-- 331 TODO
drwxr-xr-x - Test
-rw-r--r-- 320 configure.ac