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: d86067c8bf8e
Choose a base ref
...
head repository: mirage/mirage
compare: 52edbbfb6d66
Choose a head ref
  • 6 commits
  • 4 files changed
  • 2 contributors

Commits on Jun 19, 2014

  1. Updated "mirage configure --xen" for new Mini-OS and libm 

    We now get these via pkg-config.
    @talex5
    talex5 committed Jun 19, 2014
    Configuration menu
    Copy the full SHA
    ada8268 View commit details
    Browse the repository at this point in the history

  2. Link libgcc.a 

    This is needed on ARM. Without it, you get:

_build/main.native.o: In function `.L104':
camlinternalOO.o:(.text+0xb36c): undefined reference to `__aeabi_dcmpge'
camlinternalOO.o:(.text+0xb3a0): undefined reference to `__aeabi_dadd'
...
    @talex5
    talex5 committed Jun 19, 2014
    6 Configuration menu
    Copy the full SHA
    c17f2f6 View commit details
    Browse the repository at this point in the history

  3. Convert from ELF to binary format (for ARM)

    @talex5
    talex5 committed Jun 19, 2014
    Configuration menu
    Copy the full SHA
    f1f15ca View commit details
    Browse the repository at this point in the history

Commits on Jul 8, 2014

  1. Abort the build early if pkg-config dependencies are missing

    @talex5
    talex5 committed Jul 8, 2014
    Configuration menu
    Copy the full SHA
    ab55a5c View commit details
    Browse the repository at this point in the history

  2. Get pkg-config dependencies from OPAM

    @talex5
    talex5 committed Jul 8, 2014
    Configuration menu
    Copy the full SHA
    0bcfd2f View commit details
    Browse the repository at this point in the history

  3. Merge pull request #247 from talex5/arm-preview 

    ARM support
    @avsm
    avsm committed Jul 8, 2014
    Configuration menu
    Copy the full SHA
    52edbbf View commit details
    Browse the repository at this point in the history