spechub / Hets

The Heterogeneous Tool Set
http://hets.eu
GNU General Public License v2.0
57 stars 19 forks source link

Also support https downloads #1236

Closed sternk closed 10 years ago

sternk commented 10 years ago

Reported by till and assigned to maeder Migrated from http://trac.informatik.uni-bremen.de:8080/hets/ticket/1236


hets -C http://colore.oor.net=https://raw.github.com/tillmo/colore3/master algebra/module.clif 
hets: user error (https not supported)
sternk commented 10 years ago

Comment by maeder Migrated from http://trac.informatik.uni-bremen.de:8080/hets/ticket/1236#comment:1


I solved this by using wget in spechub/Hets@bde6a2df0a0c3673c18c7fd97cde45844a0374da. The library we used before http://hackage.haskell.org/package/HTTP (that is used by cabal itself!) does not support https. The (better?) alternative http://hackage.haskell.org/package/http-conduit requires the following (30!) extra packages:

   asn1-data-0.7.1
   asn1-types-0.2.3
   byteable-0.1.1
   cereal-0.4.0.1
   certificate-1.3.9
   cipher-aes-0.2.6
   cipher-rc4-0.1.4
   conduit-1.0.9.3
   connection-0.1.3.1
   cookie-0.4.0.1
   cprng-aes-0.5.2
   crypto-cipher-types-0.0.9
   crypto-numbers-0.2.3
   crypto-pubkey-0.2.4
   crypto-pubkey-types-0.4.1
   crypto-random-0.0.7
   cryptohash-0.11.1
   failure-0.2.0.1
   http-client-0.2.1
   http-client-conduit-0.2.0.1
   http-client-tls-0.2.0.2
   http-conduit-2.0.0.3
   pem-0.2.1
   primitive-0.5.1.0
   publicsuffixlist-0.1
   resourcet-0.4.10
   securemem-0.1.3
   socks-0.5.4
   tls-1.1.5
   tls-extra-0.6.6
   vector-0.10.9.1

This looks like overkill to me. Therefore I looked at http://hackage.haskell.org/package/http-wget and just called "wget" directly.