Thomas Gazagnaire

Cannot build executable in a target directory

2

I am trying to use target directories to generate a `dune` file that generates a binary and then extract that binary from there. But it doesn't seem to work. I...

package external solver?

1

Hi, first of all thanks for all the amazing work on the window port. It (almost :p) work out-of-the box. Few minor issues so far (the main one, being solved...

Just to not lost track of @dbuenzli email > Same here no system compiler. > > Looking at here: http://mirage.github.io/cmdliner/#Cmdliner > > 1) It seems a lot of hyperlinks were...

Sort packages in lexicographic order

2

The list in http://mirage.github.io/ looks a little bit too random to me (well, I guess it reflects some kind of build dependency order, but that's far from ideal)

pure-mli libraries do not have documentation

2

Try `opam doc mirage-types` to reproduce.

`opam-doc-collect` collects too many files

1

Some of these files are part of tests, or are hidden modules. Ideally, we should install only the `cm[td][,i]` for the files the user really wants to install.

The right data is copied into ~/.opam/doc/data-doc but ~/.opam/doc/doc is empty.

Uris

12

Why did you choose `http://ocaml-redesign.github.io/docs/opam/?package=async_core&module=Async_or_error` instead of `http://ocaml-redesign.github.io/docs/opam/async_core/Async_or_error/` ?

footer

6

Not sure that's the right place to report this issue. I quite like the new style of docs, but on my small screen having a fixed header+fixed footer make a...