2011-12-07 17 views
6

Estoy tratando de usar haskell en el trabajo. He instalado el HP, pero no puedo actualizar a cabal. Supongo que esto es un problema de firewall o dns.No se puede obtener la actualización de cabal para trabajar dentro de la red corporativa

$ cabal update 
Downloading the latest package list from hackage.haskell.org 
cabal.exe: openTCPConnection: host lookup failure for "hackage.haskell.org" 

¿Alguna idea de por dónde empezar a solucionar esto o una solución?

+1

¿Tiene una conexión a internet? ¿Necesitas un servidor proxy en el trabajo? – fuz

+0

De acuerdo con http://stackoverflow.com/questions/1551053/how-do-i-get-cabal-to-bypass-my-windows-proxy-settings, Cabal detecta automáticamente su configuración de proxy. ¿Su empresa está bloqueando archivos gzip? –

+0

Logré descargar un par de archivos gzip directamente de hackage, así que ese no debería ser el problema –

Respuesta

3

Hay varias posibilidades. Me temo que probablemente deba hablar con su departamento de TI.

  1. Hay un sabor de autenticación de servidor de seguridad llamada NTLM que Cabal no soporta. Es una cosa de propiedad de Microsoft que solo es compatible con Internet Explorer (¿cuál es un pequeño abrazo y se extienden entre amigos?).

  2. como también se sugiere, puede ser que su firewall está bloqueando archivos gzip, o incluso puede estar buscando en su interior y ver código ejecutable. Puede ver si esto es así al intentar descargar un solo paquete con su navegador web: si el contenido está siendo bloqueado, recibirá un mensaje que lo diga y puede hablar con su departamento de TI para desbloquearlo.

alternativa, se puede hacer lo que hice: descargar las descripciones de los paquetes y todo archivo de las versiones más recientes de la casa, llevarlo a trabajar en una unidad zip, y configurarlo como un repositorio local para Cabal Instalar. Lo siento, pero ha pasado un tiempo y no recuerdo exactamente cómo, pero necesitas ambos archivos.

+0

Gracias. Intenté descargar paquetes manualmente y funcionó bien. Entonces no hay problema con eso También tengo instalados otros navegadores, que también funcionan bien, por lo que tampoco hay problemas con Microsoft que causen problemas. –

Cuestiones relacionadas