https://github.com/chris00/megamirage

A submodule collection of all the Mirage libraries
https://github.com/chris00/megamirage

Last synced: 15 days ago
JSON representation

A submodule collection of all the Mirage libraries

• Host: GitHub
• URL: https://github.com/chris00/megamirage
• Owner: Chris00
• Created: 2015-07-28T16:39:57.000Z (over 9 years ago)
• Default Branch: master
• Last Pushed: 2015-07-28T16:40:32.000Z (over 9 years ago)
• Last Synced: 2024-05-09T23:23:06.869Z (6 months ago)
• Language: Shell
• Size: 136 KB
• Stars: 0
• Watchers: 3
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md

Awesome Lists containing this project

README

        
# MegaMirage

This repository contains pointers the majority of libraries developed in the

Mirage OS project.  They are stored as `git submodule` entries, and refreshed

regularly from a cron job.

This is keyed off the [TROVE file in mirage-www](https://github.com/mirage/mirage-www/blob/master/TROVE).

If you are developing a library, just send a pull request to add it to that

file and it will be mirrored in this repository. You can do this even if

your libarary is not yet released (e.g. you want to grab the name).

You can clone all the source code by:

    git clone git://github.com/mirage/megamirage

    git submodule init

    git submodule pull

## TODO

* Add a script to pin all the packages to their respect `opam` packages,

  so that only local source code is used in a build.