Execute configure-script if specified and merge flags in dist/configure.

Doesn't yet take into account options in dist/configure.

Signed-off-by: Jerome Maloberti <jmaloberti@gmail.com>
Refactored options representation.

Signed-off-by: Jerome Maloberti <jmaloberti@gmail.com>
Refactored the programs options.

Signed-off-by: Jerome Maloberti <jmaloberti@gmail.com>
Merge the options from configure before the user options from cli.

Signed-off-by: Jerome Maloberti <jmaloberti@gmail.com>
Removed global variable conf_user_flags.

Signed-off-by: Jerome Maloberti <jmaloberti@gmail.com>
Fix a problem with .svn/.git directories in path.

Signed-off-by: Jerome Maloberti <jmaloberti@gmail.com>
Read dist/setup *before* the project file.

It is necessary to read the options for tests/benchs/etc.

Signed-off-by: Jerome Maloberti <jmaloberti@gmail.com>
Fix a problem when there is only a .mli for a module.

Signed-off-by: Jerome Maloberti <jmaloberti@gmail.com>
Bumped version to 0.0.7

Signed-off-by: Jerome Maloberti <jmaloberti@gmail.com>