protz/ocaml-installer — pull request #11 by jacobdanner (2012-06-09 06:25:23+00:00)
Title: Attempt to fix Issue #10 Installer should read proxy settings

Please take these changes with a grain of salt. I was unable to get the installer to build locally for many many other reasons and figured it'd be best to pass along an 'example' of how this might be done.
It makes used of the ProxySettings plugin to get the proxy value for HTTP, the value on the stack is the checked and the --proxy flag is added properly.