# if it is not 4.12.1 or higher, then run this
#MIRAGEOS TI CONNECT CE INSTALL#
But don't worry: if your compiler is out of date, just run opam switch to have it locally install the right version for you. This is generally the case on macOS, though Debian only has it in the testing distribution at present. Next, make sure you have at least OCaml 4.12.1 or higher as your active compiler. # list of your remotes, which should include You should run this regularly to get the latest packages.
#MIRAGEOS TI CONNECT CE UPDATE#
Package listings are obtained through remote sources, which defaults to the contents of /ocaml/opam-repository.Īfter installation, opam update -u refreshes the package list and recompiles packages to the latest versions.
You should never need to switch to a root user to install packages. opam directory in your home directory, including compiler installations. Some distribution packages provide earlier versions and must be updated check with $ opam -version # response should be at least 2.1.0 viz.Īll the OPAM state is held in the. Note that you require OPAM 2.1.0 or greater to use with MirageOS. There is a Quick Install Guide if the above instructions don't cover your operating system. Please refer to OPAM documentation if you want to know more, but we will cover the basics to get you started here.
It tracks library versions across upgrades and will recompile dependencies automatically if they get out of date. We use OPAM to manage OCaml compiler and library installations. ARM64-specific notesįor notes specific to installing and running MirageOS on ARM64 (including embedded boards such as the Raspberry Pi 3), see this page. FreeBSD currently packages OCaml 4.05.0, so you will need to install a newer compiler using OPAM. To install OPAM use the ocaml-opam port/package. Sudo apt-get install ocaml ocaml-native-compilers camlp4-extra opam The version of OPAM in older Ubuntus is not high enough to run Mirage (which requires OPAM 2.1.0 or higher), so you will need to add a custom PPA for the latest packages: sudo add-apt-repository ppa:avsm/ppa This has the latest packages required in the base distribution, so just run: sudo apt-get update Linux-specific notes Ubuntu 16.04 (Xenial) or higher If you are using Homebrew, run brew install opam Note that we do not test older versions of OSX beyond 10.10.
You will need OPAM 2.1.0 or later and OCaml 4.12.1 or later.įurther requirements for the host/build system depend on the specific backend in use: MirageOS has been tested on many modern Linux distributions, macOS 10.10+ and FreeBSD 11+. After describing MirageOS's system requirements, we will introduce the basics of OPAM and setting up for MirageOS. These libraries are managed via the OPAM tool. MirageOS consists of a set of OCaml libraries that link with a runtime to form either a standalone unikernel or a normal UNIX binary.