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:
Anil Madhavapeddy avsm
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| #use "topfind";; | |
| #thread;; | |
| #camlp4o;; | |
| #require "core.top";; | |
| #require "core.syntax";; |
avsm
/ keybase.md
Created
March 21, 2014 08:45
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| #!/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 |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| #!/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 |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| #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 |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| 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 |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| # 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 ;; |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| clink:packages avsm$ opam update --debug | |
| 00:00.000 060536 60536 locking /Users/avsm/.opam/lock | |
| 00:00.001 060536 FILENAME cleandir /Users/avsm/.opam/log | |
| 00:00.001 060536 SYSTEM rmdir /Users/avsm/.opam/log | |
| 00:00.004 060536 SYSTEM mkdir /Users/avsm/.opam/log | |
| 00:00.005 060536 FILE(aliases) read /Users/avsm/.opam/aliases | |
| 00:00.005 060536 STATE LOAD-STATE(global-lock) | |
| 00:00.005 060536 FILE(config) read /Users/avsm/.opam/config | |
| 00:00.010 060536 FILE(aliases) read /Users/avsm/.opam/aliases | |
| 00:00.013 060536 FILE(repo-config) read /Users/avsm/.opam/repo/opamdoc/config |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| #!/bin/sh -ex | |
| OCAML_BRANCH=4.01 | |
| MAKE=make | |
| inst=`pwd`/inst | |
| if [ ! -d inst ]; then | |
| rm -rf opam | |
| git clone git://github.com/OCamlPro/opam | |
| cd opam |
avsm
/ run_core_toplevel.ml
Created
July 8, 2013 14:17
Script to run a toplevel script and output pretty html
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| (* Syntax hightlight code and eval ocaml toplevel phrases. | |
| * Based on http://github.com/ocaml/ocaml.org | |
| * Modified by Anil Madhavapeddy for Real World OCaml and to use Core *) | |
| open Printf | |
| open Scanf | |
| (* Run these phrases silently before any code *) | |
| let initial_phrases = [ | |
| "#use \"topfind\""; | |
| "#camlp4o"; |