[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Wget-dev] wget2 | make check fails w/ gnulib installed in /usr/share (#

From: Michael A. Peters
Subject: [Wget-dev] wget2 | make check fails w/ gnulib installed in /usr/share (#421)
Date: Sat, 22 Dec 2018 05:25:45 +0000

New Issue was created.

Issue 421: https://gitlab.com/gnuwget/wget2/issues/421
Author:    Michael A. Peters

After several tests pass, make check dies -

    make  check-local
    make[2]: Entering directory `/home/alice/rpmbuild/BUILD/wget2-20181221'
    /bin/sh: line 4: cd: ./gnulib/lib: No such file or directory
    Can't open ./gnulib/lib/intprops.h: No such file or directory.
    maint.mk: found trailing blank(s)
    make[3]: *** [sc_trailing_blank] Error 1
    make[2]: *** [check-local] Error 2

I have gnulib installed in /usr/share/gnulib and am invoking the bootstrap via

    sed -i 
    sed -i 's|doc/INSTALL||' bootstrap
    ./bootstrap --gnulib-srcdir=/usr/share/gnulib --no-git --skip-po 

It seems the test assumes a local bootstrap even though I specified it is 
The file it wants exists as `/usr/share/gnulib/lib/intprops.h`

I'm using gnulib from 2018-07-20

My internet is through phone hotspot and is slow, system installed gnulib 
really is only way for me.


wget2 itself works beautifully, at least the few manual tests I've done with it 

Reply to this email directly or view it on GitLab: 
You're receiving this email because of your account on gitlab.com.

reply via email to

[Prev in Thread] Current Thread [Next in Thread]