- Released on: 2016-05-25 15:18:52 +00:00
- Synopsis: Persistent incremental computations, for repeatable tests and benchmarks.
- More Info: Source Code or OPAM Page
- Changes: Unknown
- Released on: 2016-05-25 18:26:45 +00:00
| #!/bin/sh -e | |
| # Build and install latest Docker dev version on an Ubuntu cloud VM | |
| install() { | |
| echo Installing | |
| service docker stop || true | |
| cp -av bundles/latest/binary-daemon/* /usr/bin | |
| cp -av bundles/latest/binary-client/* /usr/bin | |
| service docker start | |
| } |
| # Policy for opam. | |
| # | |
| Policy: /usr/local/bin/opam, Emulation: native | |
| native-rename: filename match "/tmp/*" and filename[1] match "/tmp/*" then permit | |
| native-rename: filename match "/tmp/*" and filename[1] match "$HOME/.opam/*" then permit | |
| native-rename: filename match "$HOME/.opam/*" and filename[1] match "$HOME/.opam/*" then permit | |
| native-rename: filename match "$HOME/.opam/*" and filename[1] match "/tmp/*" then permit | |
| native-chown: filename match "$HOME/.opam/*" then permit | |
| native-chown: filename match "/tmp/*" then permit | |
| native-fswrite: filename match "/tmp/*" then permit |
| open Unix | |
| let () = | |
| let server_sock = socket PF_INET SOCK_STREAM 0 in | |
| (* so we can restart our server quickly *) | |
| setsockopt server_sock SO_REUSEADDR true ; | |
| if not (getsockopt server_sock SO_REUSEADDR) then prerr_endline "fail1"; | |
| (* build up my socket address *) |
| 00:00.000 046309 46309 locking /home/avsm/.opam/lock | |
| 00:00.000 046309 FILE(config) Read ~/.opam/config in 0.000s | |
| 00:00.000 046309 SYSTEM unlocking /home/avsm/.opam/lock (46309) | |
| 00:00.000 046309 SYSTEM rm /home/avsm/.opam/lock | |
| 00:00.000 046309 STATE LOAD-STATE(switch-lock) | |
| 00:00.000 046309 FILE(config) Read ~/.opam/config in 0.000s | |
| 00:00.013 046309 STATE Loaded /home/avsm/.opam/state.cache in 0.011s | |
| 00:00.013 046309 FILE(aliases) Read ~/.opam/aliases in 0.000s | |
| 00:00.018 046309 FILE(repo-config) Read ~/.opam/repo/default/config in 0.000s | |
| 00:00.058 046309 FILE(repo-index) Read ~/.opam/repo/package-index in 0.021s |
| #!/bin/sh -ex | |
| opam remote add mirage git://github.com/mirage/mirage-dev | |
| opam installext -j 3 mirage-www | |
| eval `opam config env` | |
| git clone git://github.com/mirage/mirage-skeleton | |
| cd mirage-skeleton | |
| make configure && make build |
| (* Build with: | |
| ocamlbuild -use-ocamlfind -pkg lwt.unix -tag annot test.native | |
| *) | |
| let id_key = Lwt.new_key () | |
| let log fmt = | |
| let tid = | |
| match Lwt.get id_key with | |
| | None -> "<unknown>" |
$ apt-add-repository "deb http://download.opensuse.org/repositories/openSUSE:/Tools/xUbuntu_14.04/ /"
$ curl http://download.opensuse.org/repositories/openSUSE:/Tools/xUbuntu_14.04/Release.key | sudo apt-key add -
$ apt-get update
$ apt-get install -y osc build | #!/bin/sh -e | |
| rm -rf pkg | |
| ~/src/git/avsm/opam2web/src/_build/opam2web.native --where='tag:org:mirage' --where='tag:org:ocamllabs' --prefix="/projects/ocamllabs/" | |
| cd pkg | |
| rm -f index-*.html | |
| tail -n +2 index.html |sed '$d' > index-b.html | |
| rm -f index.html | |
| # generate subdirs |
| #internal OPAM solver | |
| preamble: | |
| property: installed-root: bool = [false], reinstall: bool = [false], buildessential: bool = [false], essential: bool = [false], sourceversion: int = [1], sourcenumber: string = [""], source: string = [""], number: string, recommends: vpkgformula = [true!] | |
| package: oasis2opam | |
| version: 43 | |
| depends: ocamlfind , oasis-mirage >= 38 | oasis < 52 , oasis-mirage >= 38 | oasis >= 38 , oasis | |
| conflicts: oasis2opam | |
| number: 0.3.4 | |
| source: oasis2opam |