ProofWeb

RU SURF VU

Installing ProofWeb on your own server

Install the necessary prerequisite libraries. In Debian/Ubuntu use packages:
sudo aptitude install libxstr-ocaml-dev libpcre-ocaml-dev libocamlnet-ocaml-dev
sudo aptitude install libxml-light-ocaml-dev camlp4-extra camlp5 make libapache2-mod-php5
And optionally (for admin interface) install OCamlScript

Automatic installation:


Download Makefile, put it in an empty directory, set CHROOT variable to chroot location (different empty directory, absolute path!) and run 'make':
CHROOT=/chroot make
After finishing, 'make' will tell you how to start the installed server.
You should now be able to use ProofWeb on your server!

Manual installation:


If you want to tweak the installation (e.g. you need a different Coq version) follow these steps instead:

Server Administration:

Binary:


You can also try the i386 linux chroot obtained in the above way.
You can also try the i386 freebsd chroot.
You still need to do the last step of unpacking and editing the scripts.