On Oct 14, 2009, at 4:47 PM, [email protected] 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.
_______________________________________________
nix-dev mailing list
[email protected]
https://mail.cs.uu.nl/mailman/listinfo/nix-dev
