| #!/bin/sh -ex | |
| V=0.7.1 | |
| curl -OL https://download.libsodium.org/libsodium/releases/libsodium-${V}.tar.gz | |
| tar -zxvf libsodium-${V}.tar.gz | |
| cd libsodium-${V} | |
| ./configure | |
| make | |
| sudo make install |
| #!/bin/sh | |
| # Various things to get OCaml/IPython working on MacOS X | |
| # get the right version of zmq | |
| brew tap homebrew/versions | |
| brew install zeromq32 | |
| brew link zeromq32 | |
| # install ipython | |
| pip install ipython |
| #use "topfind";; | |
| #thread;; | |
| #camlp4o;; | |
| #require "core.top";; | |
| #require "core.syntax";; |
| #!/bin/sh -ex | |
| V=2.0.2 | |
| curl -OL http://tipok.org.ua/downloads/media/aacplus/libaacplus/libaacplus-${V}.tar.gz | |
| tar -zxvf libaacplus-${V}.tar.gz | |
| cd libaacplus-${V} | |
| sudo apt-get install autotools-dev automake autoconf | |
| ./autogen.sh | |
| make | |
| sudo make install |
Several visitors are arriving at the Computer Lab during the week of 19th May, as well as an OCaml Labs group meeting, so planning the agendas here. Talks are in bold.
| #!/bin/sh -ex | |
| V=0.3-beta | |
| curl -OL http://download.nanomsg.org/nanomsg-${V}.tar.gz | |
| tar -zxvf nanomsg-${V}.tar.gz | |
| cd nanomsg-${V} | |
| ./configure | |
| make | |
| sudo make install |
| #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 |
| #!/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 |
$ 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 | (* 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>" |