mirage / mirage-www

Website infrastructure and content for mirage.io

Home Page:https://mirage.io

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Mirage.io

Website infrastructure and content for mirage.io

Set up your development environment

You need opam. You can install it by following opam's documentation.

With opam installed, you can install the dependencies in a new local switch with:

make switch

Or globally, with:

make deps

Then, build the project with:

make build

Running the server

After building the project, you can run the server with:

make start

The server runs on port 8080 by default. To change the port, set the MIRAGE_WWW_PORT environment variable:

MIRAGE_WWW_PORT=8088 make start

To start the server in watch mode, you can run:

make watch

This will restart the server on filesystem changes and reload the pages automatically.

MirageOS unikernel

Alternatively, the mirage/ folder implements the webserver as a MirageOS 4 unikernel. To set it up, install the mirage tool:

opam repo add mirage-dev https://github.com/mirage/mirage-dev.git # until MirageOS 4 is released
opam install "mirage>=4.0.0"

Then, the unikernel can be configured:

mirage configure -f mirage/config.ml -t <TARGET> ...

Fetch the dependencies:

make depends

Build the unikernel:

dune build mirage/

Clean up:

mirage clean -f mirage/config.ml
rm -rf mirage/duniverse

About

Website infrastructure and content for mirage.io

https://mirage.io

License:ISC License


Languages

Language:HTML 55.4%Language:CSS 24.6%Language:OCaml 18.8%Language:JavaScript 0.6%Language:Dockerfile 0.5%Language:Makefile 0.0%