[Nix-dev] Installing older ocaml

[Marco Maggesi]

On Oct 14, 2009, at 4:47 PM, roconnor at theorem.ca wrote:

> Given that I cannot get coq to build, what is the proper proceedure  
> to install an older version of ocaml?

Hi Russell!

I wrote a nix expression for Coq.
You can grab a tarball from my home page.
E.g., you can install coq (with coqide) as follows:

wget http://web.math.unifi.it/~maggesi/mm-nix.tgz
tar xzf mm-nix.tgz
cd mm-nix

<< Edit the file all-packages.nix to change the value of pkgs at its  
beginning >>

nix-env -f all-packages.nix -iA coq

This install coq with coqide.

I packaged ssreflect also, but I didn't had the time to test it.
ProofGeneral should work nicely after suitable configuration in  
~/.emacs.

Please ignore other packages that are distributed in the same
tree (e.g. isabelle, polyml), for most of them I didn't managed to get
them to work properly yet.

M.