guix build and HTTPS does not work, but guix download does

[Björn Höfling]

Hi,

I have a problem here that I don't understand. I'm trying to build
Hartmund's Java branch an a Ubuntu/Guix system and I cannot download
over HTTPS while doing guix build. But I can `guix download` and
afterwards build that package.

Here is what I'm doing:

guix pull
# I'm going into 'pure', because there is also guile installed in Ubuntu
# and I don't want any conflicts:
guix environment --pure  guix --ad-hoc gnutls nss-certs git

# This was suggested by Hartmund here:
# https://lists.gnu.org/archive/html/guix-devel/2017-04/msg00565.html
export SSL_CERT_DIR="$GUIX_ENVIRONMENT/etc/ssl/certs"
export
SSL_CERT_FILE="$GUIX_ENVIRONMENT/etc/ssl/certs/ca-certificates.crt"
export GIT_SSL_CAINFO="$SSL_CERT_FILE"

#I'm currently here:
git status
On branch WIP-maven
Your branch is up-to-date with 'goebel/WIP-maven'.

# Now let's get that build:
address@hidden:~/guix/guix$ ./pre-inst-env  guix build
maven-for-bootstrap #@
build-started 
/gnu/store/mqi9b5m5r1swbaa62f9xq1hxyqif4p2v-jsr305-3.0.2-sources.jar.drv
-
x86_64-linux 
/var/log/guix/drvs/mq//i9b5m5r1swbaa62f9xq1hxyqif4p2v-jsr305-3.0.2-sources.jar.drv.bz2

Starting download
of /gnu/store/138srkx9mm6513sl4sxvs3qqk5j3m1mp-jsr305-3.0.2-sources.jar
From
http://search.maven.org/remotecontent?filepath=com/google/code/findbugs/jsr305/3.0.2/jsr305-3.0.2-sources.jar...
following redirection to
`https://repo1.maven.org/maven2/com/google/code/findbugs/jsr305/3.0.2/jsr305-3.0.2-sources.jar'...
 ;;;
Failed to autoload make-session in (gnutls):
;;; ERROR: missing interface for module (gnutls) 
ERROR: In procedure module-lookup: Unbound variable: make-session

[... trying mirrors, they yield a 404]

But then:


address@hidden:~/guix/guix$ ./pre-inst-env guix download
http://search.maven.org/remotecontent?filepath=com/google/code/findbugs/jsr305/3.0.2/jsr305-3.0.2-sources.jar

Starting download of /tmp/guix-file.8fKudD
From
http://search.maven.org/remotecontent?filepath=com/google/code/findbugs/jsr305/3.0.2/jsr305-3.0.2-sources.jar...
following redirection to
`https://repo1.maven.org/maven2/com/google/code/findbugs/jsr305/3.0.2/jsr305-3.0.2-sources.jar'...
 ...-sources.jar
18KiB             406KiB/s 00:00 [####################]
100.0% /gnu/store/138srkx9mm6513sl4sxvs3qqk5j3m1mp-jsr305-3.0.2-sources.jar
0fq6mai14sg5rj1swxfc90xha0qnqwl4iiqxb5m8qw6hfbi8b7hw


address@hidden:~/guix/guix$ ./pre-inst-env  guix build java-jsr305
--> works !!!


Diagnostic info:


address@hidden:~/guix/guix$ set | grep GUI
GUILE_LOAD_COMPILED_PATH=/gnu/store/y4jnnmrzl5ix7yx3wabgvlc3j6r7vxx6-profile/lib/guile/2.0/site-ccache:/gnu/store/y4jnnmrzl5ix7yx3wabgvlc3j6r7vxx6-profile/share/guile/site/2.0
GUILE_LOAD_PATH=/gnu/store/y4jnnmrzl5ix7yx3wabgvlc3j6r7vxx6-profile/share/guile/site/2.0
GUIX_ENVIRONMENT=/gnu/store/y4jnnmrzl5ix7yx3wabgvlc3j6r7vxx6-profile
GUIX_LOCPATH=/home/bjoern/.guix-profile/lib/locale



guile -c '(use-modules (gnutls))'; echo $?
0


In that way I at least come step by step to my goal, but why does `guix
build` fail to download?

Björn