Skip to content
Permalink
master
Switch branches/tags

Name already in use

A tag already exists with the provided branch name. Many Git commands accept both tag and branch names, so creating this branch may cause unexpected behavior. Are you sure you want to create this branch?
Go to file
 
 
Cannot retrieve contributors at this time
* Finish guess-cmx to install all files for libraries, integrate it in buildsys
* "..." in freeform doesn't work
* recompilation of .cmxs, must have a pb in detecting update
* Feature protect big changes like the section Object.
* fix +x for configure in oasis-dist
IDEAS:
* oasis-autogenerate: automatically file Modules and ModulesInternal using a field
XAutoGenModulesExpression: src/*.mli
XAutoGenModulesInternal: src/*.ml, -src/*.mli
* oasis-spandeps: create a directory ext/ containing depends and compile/install them
in the project.
Bonus point: use a link/file to include project checkout elsewhere on the FS
Bonus point: also include rev-dependencies