Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Prepare code coverage infrastructure for the compiler #2

Closed
chambart opened this issue Jun 1, 2015 · 3 comments
Closed

Prepare code coverage infrastructure for the compiler #2

chambart opened this issue Jun 1, 2015 · 3 comments

Comments

@chambart
Copy link
Member

chambart commented Jun 1, 2015

No description provided.

@hnrgrgr
Copy link
Contributor

hnrgrgr commented Jun 16, 2015

See the package ocaml-bisect in opam-flambda-repository-overlay.

It intruments the Flambda compiler with ppx_bisect, then run the OCaml testsuite, and eventually generate a coverage report.

OPAMROOT_ALT=${HOME}/.opam-flambda
opam init --root ${OPAMROOT_ALT} --compiler 4.03.0+flambda flambda-overlay https://github.com/OCamlPro/opam-flambda-repository-overlay.git
eval $(opam config --root ${OPAMROOT_ALT} env)
opam install --build-test ocaml-bisect
xdg-open $(ocamlfind query ocaml-bisect)/coverage/

The instrumented compiler is also installed as ocamlc-bisect.opt and ocamlopt-bisect.opt.

@hnrgrgr hnrgrgr closed this as completed Jun 16, 2015
@lefessan
Copy link
Member

Would it be possible to include the opam-flambda-repository-overlay GIT repo into this repo as a sub-directory, and still use it from OPAM ?
I am not fond of the multiplication of repositories, I prefer when everything related to the task force is included in the same repo..
Your opinion ?

@AltGr
Copy link
Member

AltGr commented Jun 29, 2015

git doesn't allow cloning subdirs, and opam doesn't in general allow using a subdir of what was fetched. But we could have subdirs and advise to first git clone / git update and then use local repositories.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

4 participants