Skip to content
Permalink

Comparing changes

Choose two branches to see what’s changed or to start a new pull request. If you need to, you can also or learn more about diff comparisons.

Open a pull request

Create a new pull request by comparing changes across two branches. If you need to, you can also . Learn more about diff comparisons here.
base repository: mirage/mirage
base: c9ddc52585cf
Choose a base ref
...
head repository: mirage/mirage
compare: 1f53284302e6
Choose a head ref
  • 5 commits
  • 2 files changed
  • 2 contributors

Commits on Dec 5, 2016

  1. Info.root is now an Fpath.t, and configure/build/clean are run within… 

    … the root dir
    @hannesm
    hannesm committed Dec 5, 2016
    Copy the full SHA
    cafdb94 View commit details
    Browse the repository at this point in the history

  2. remove myocamlbuild if it exists and is of size 0, otherwise clean do… 

    …es nothing
    @hannesm
    hannesm committed Dec 5, 2016
    Copy the full SHA
    4245996 View commit details
    Browse the repository at this point in the history

  3. style

    @hannesm
    hannesm committed Dec 5, 2016
    Copy the full SHA
    a9f9e34 View commit details
    Browse the repository at this point in the history

  4. include Makefile.user first, optionally define DEPEXT (only if not de… 

    …fined), allows to override DEPEXT to null command
    @hannesm
    hannesm committed Dec 5, 2016
    Copy the full SHA
    111d446 View commit details
    Browse the repository at this point in the history

Commits on Dec 6, 2016

  1. Merge pull request #722 from hannesm/fpath 

    Fpath
    @yomimono
    yomimono committed Dec 6, 2016
    Copy the full SHA
    1f53284 View commit details
    Browse the repository at this point in the history