Skip to content
Fetching contributors…
Cannot retrieve contributors at this time
executable file 41 lines (36 sloc) 1.37 KB
3.12.1,1.1.0) ppa=avsm/ocaml312+opam11 ;;
4.00.1,1.1.0) ppa=avsm/ocaml40+opam11 ;;
4.01.0,1.1.0) ppa=avsm/ocaml41+opam11 ;;
3.12.1,1.2.0) ppa=avsm/ocaml312+opam12 ;;
4.00.1,1.2.0) ppa=avsm/ocaml40+opam12 ;;
4.01.0,1.2.0) ppa=avsm/ocaml41+opam12 ;;
4.02.1,1.2.0) ppa=avsm/ocaml42+opam12 ;;
4.02.1,1.2.1) ppa=avsm/ppa-opam-experimental ;;
*) echo Unknown $OCAML_VERSION,$OPAM_VERSION; exit 1 ;;
echo "yes" | sudo add-apt-repository ppa:$ppa
sudo apt-get update -qq
sudo apt-get install -qq ocaml ocaml-native-compilers camlp4-extra opam libxen-dev
export OPAMYES=1
# when preparing a set of synchronised updates for a Mirage release:
# for regular minor updates:
opam init git:// >/dev/null 2>&1
#opam remote add mirage-dev git://
opam install cstruct ounit cmdliner ipaddr re lwt io-page xenstore xenstore_transport
eval `opam config env`
opam pin add mirage .
opam pin add mirage-types .
opam install mirage mirage-types
# install users of the signatures, to make sure we haven't broken something obvious
opam install mirage-console \
mirage-clock-unix mirage-clock-xen \
mirage-block-unix mirage-block-xen \
fat-filesystem crunch mirage-http \
make # build ./main.native
cd lib_test
make MODE=unix
make clean
make MODE=xen
Jump to Line
Something went wrong with that request. Please try again.