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
Failed to load repositories. Confirm that selected base ref is valid, then try again.
Loading
base: 4f10c95d7fae
Choose a base ref
...
head repository: mirage/mirage
Failed to load repositories. Confirm that selected head ref is valid, then try again.
Loading
compare: e346cf0d7798
Choose a head ref
  • 2 commits
  • 1 file changed
  • 2 contributors

Commits on Oct 24, 2016

  1. use more concise syntax for package

    @hannesm
    hannesm committed Oct 24, 2016
    Copy the full SHA
    3aa5235 View commit details

  2. Merge pull request #634 from hannesm/minor 

    use more concise syntax for package
    @yomimono
    yomimono authored Oct 24, 2016
    Copy the full SHA
    e346cf0 View commit details
Showing with 4 additions and 3 deletions.
  1. +4 −3 _tags
7 changes: 4 additions & 3 deletions _tags
View file
Original file line number Diff line number Diff line change
@@ -7,17 +7,18 @@ true: debug, annot, bin_annot
# Better locations and loc in .mlis
true: keep_locs

<{lib,lib_runtime}/*>: package(ipaddr), package(logs), package(astring)
<{lib,lib_runtime}/*>: package(ipaddr logs astring)

<lib/*>: package(functoria), package(functoria.app)
<lib/*>: package(functoria functoria.app)

# Force the runtime to be unix-independent.
<lib_runtime/*>: package(functoria.runtime)
<lib_runtime/*>: dontlink(unix)

<types/V1.*>: package(result)
<types/V1_LWT.*>: package(cstruct), package(io-page), package(lwt), package(ipaddr)
<types/V1_LWT.*>: package(cstruct io-page lwt ipaddr)

<types>: include

<types/runtime/*>: package(result)
<types/runtime/*>: dontlink(unix)