Anil Madhavapeddy avsm

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.

Monday 19th May 2014

1700: Andy Ray and Martyn Riley arriving from Edinburgh.
1730: Flying Pig (Rolf, JonC, Andy, Martyn, Anil, ++)
midnight: all OCaml 2014 speaking submissions to go in.

Tuesday 20th May 2014

Keybase proof

I hereby claim:

I am avsm on github.
I am avsm (https://keybase.io/avsm) on keybase.
I have a public key whose fingerprint is 1544 531A 488B C857 42B1 BF59 2B83 0729 016D 8D09

To claim this, I am signing this object:

	#!/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

	#!/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

	#use "topfind";;
	#thread;;
	#camlp4o;;
	#require "core.top";;
	#require "core.syntax";;

	#!/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

	#!/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

	#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: pa%5founit
	version: 342
	depends: type%5fconv = 342 , ocamlfind
	conflicts: pa%5founit
	number: 109.09.00
	source: pa_ounit

	opam-admin depexts add riakc --os ubuntu --dep protobuf-compiler
	opam-admin depexts add riakc --os debian --dep protobuf-compiler
	opam-admin depexts add frei0r --os ubuntu --dep frei0r-plugins-dev
	opam-admin depexts add frei0r --os debian --dep frei0r-plugins-dev
	opam-admin depexts add voaacenc --os ubuntu --dep camlidl
	opam-admin depexts add voaacenc --os debian --dep camlidl
	opam-admin depexts add svm --os ubuntu --dep libsvm-dev
	opam-admin depexts add svm --os debian --dep libsvm-dev
	opam-admin depexts add buddy --os ubuntu --dep libbdd-dev
	opam-admin depexts add buddy --os debian --dep libbdd-dev

	# Edit this for your own project dependencies
	OPAM_DEPENDS="ocamlfind ounit re"

	case "$OCAML_VERSION,$OPAM_VERSION" in
	3.12.1,1.0.0) ppa=avsm/ocaml312+opam10 ;;
	3.12.1,1.1.0) ppa=avsm/ocaml312+opam11 ;;
	4.00.1,1.0.0) ppa=avsm/ocaml40+opam10 ;;
	4.00.1,1.1.0) ppa=avsm/ocaml40+opam11 ;;
	4.01.0,1.0.0) ppa=avsm/ocaml41+opam10 ;;
	4.01.0,1.1.0) ppa=avsm/ocaml41+opam11 ;;