package dose3

  1. Overview
  2. Docs
Dose library (part of Mancoosi tools)

Install

Dune Dependency

Authors

Maintainers

Sources

dose3-7.0.0.tar.gz
md5=bc99cbcea8fca29dca3ebbee54be45e1
sha512=98dc4bd28e9f4aa8384be71b31783ae1afac577ea587118b8457b554ffe302c98e83d0098971e6b81803ee5c4f2befe3a98ef196d6b0da8feb4121e982ad5c2f

README.git.html

README.git

Submodules
==========

The dose Git report uses submodules to reference external repositories. In
particular:

    cudf/         points to the cudf Git repo of mancoosi-tools
    tests/        points to the dose-testdata Git repo of mancoosi-tools

After cloning the dose Git repo, just use the following to populate the
submodules:

    git submodule update --init

See the git submodules documentation for more usage information [1,2].

[1] http://book.git-scm.com/5_submodules.html
[2] http://man.cx/git-submodule


Note that the submodules are configured using the public git clone URL of
external repositories (i.e. https://gforge.inria.fr/... instead of
git+ssh://scm.gforge.inria.fr//...). This is to allow people checking out the
dose code to easily retrieve the submodules. The drawback is that by default
you cannot push your changes via those URLs. Just add a separate git+ssh remote
and push to it.


 -- Stefano Zacchiroli <zack@upsilon.cc>  Sun, 27 Nov 2011 17:51:30 +0100
OCaml

Innovation. Community. Security.