Hi,
while trying to build Genode with dde_linux I noticed that the connection to infradead.org timed out, so I'm not able to retrieve https://www.infradead.org/~tgr/libnl/files/libnl-3.2.25.tar.gz
Is there any other source for this file?
JK
I temporarily got mine from https://github.com/thom311/libnl/. It seemed to work, and I believe the hashes were the same, although I recommend you verify that yourself too.
Maybe this can be changed in the makefile eventually.
Boris
On 11-04-17 09:53, Johannes Kliemann wrote:
Hi,
while trying to build Genode with dde_linux I noticed that the connection to infradead.org timed out, so I'm not able to retrieve https://www.infradead.org/~tgr/libnl/files/libnl-3.2.25.tar.gz
Is there any other source for this file?
JK
Check out the vibrant tech community on one of the world's most engaging tech sites, Slashdot.org! http://sdm.link/slashdot _______________________________________________ genode-main mailing list genode-main@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/genode-main
Thanks, that also worked for me.
Am 11.04.2017 um 09:57 schrieb Boris Mulder:
I temporarily got mine from https://github.com/thom311/libnl/. It seemed to work, and I believe the hashes were the same, although I recommend you verify that yourself too.
Maybe this can be changed in the makefile eventually.
Boris
On 11-04-17 09:53, Johannes Kliemann wrote:
Hi,
while trying to build Genode with dde_linux I noticed that the connection to infradead.org timed out, so I'm not able to retrieve https://www.infradead.org/~tgr/libnl/files/libnl-3.2.25.tar.gz
Is there any other source for this file?
JK
Check out the vibrant tech community on one of the world's most engaging tech sites, Slashdot.org! http://sdm.link/slashdot _______________________________________________ genode-main mailing list genode-main@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/genode-main
Hi,
On 04/11/2017 09:57 AM, Boris Mulder wrote:
I temporarily got mine from https://github.com/thom311/libnl/. It seemed to work, and I believe the hashes were the same, although I recommend you verify that yourself too.
Maybe this can be changed in the makefile eventually.
we check the port-sources every night to detect dead links. Tonight the dde-linux port check did not fail. Do you experienced the connection problem just this morning or already for a longer time? If it is a temporary problem only, I wouldn't change the port file yet.
Regards Stefan
Boris
On 11-04-17 09:53, Johannes Kliemann wrote:
Hi,
while trying to build Genode with dde_linux I noticed that the connection to infradead.org timed out, so I'm not able to retrieve https://www.infradead.org/~tgr/libnl/files/libnl-3.2.25.tar.gz
Is there any other source for this file?
JK
Check out the vibrant tech community on one of the world's most engaging tech sites, Slashdot.org! http://sdm.link/slashdot _______________________________________________ genode-main mailing list genode-main@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/genode-main
It could be that this is the case for an older version of Genode, I just recalled that I had the same issue some time ago. Johannes, does this occur with a newer version too?
And I didn't know you checked the links that often, so in that case I would take back my statement.
On 11-04-17 10:16, Stefan Kalkowski wrote:
Hi,
On 04/11/2017 09:57 AM, Boris Mulder wrote:
I temporarily got mine from https://github.com/thom311/libnl/. It seemed to work, and I believe the hashes were the same, although I recommend you verify that yourself too.
Maybe this can be changed in the makefile eventually.
we check the port-sources every night to detect dead links. Tonight the dde-linux port check did not fail. Do you experienced the connection problem just this morning or already for a longer time? If it is a temporary problem only, I wouldn't change the port file yet.
Regards Stefan
Boris
On 11-04-17 09:53, Johannes Kliemann wrote:
Hi,
while trying to build Genode with dde_linux I noticed that the connection to infradead.org timed out, so I'm not able to retrieve https://www.infradead.org/~tgr/libnl/files/libnl-3.2.25.tar.gz
Is there any other source for this file?
JK
Check out the vibrant tech community on one of the world's most engaging tech sites, Slashdot.org! http://sdm.link/slashdot _______________________________________________ genode-main mailing list genode-main@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/genode-main
Hi,
I tried it first ca. at 8:00. I also tried different connections to eliminate other causes.
JK
Am 11.04.2017 um 10:16 schrieb Stefan Kalkowski:
Hi,
On 04/11/2017 09:57 AM, Boris Mulder wrote:
I temporarily got mine from https://github.com/thom311/libnl/. It seemed to work, and I believe the hashes were the same, although I recommend you verify that yourself too.
Maybe this can be changed in the makefile eventually.
we check the port-sources every night to detect dead links. Tonight the dde-linux port check did not fail. Do you experienced the connection problem just this morning or already for a longer time? If it is a temporary problem only, I wouldn't change the port file yet.
Regards Stefan
Boris
On 11-04-17 09:53, Johannes Kliemann wrote:
Hi,
while trying to build Genode with dde_linux I noticed that the connection to infradead.org timed out, so I'm not able to retrieve https://www.infradead.org/~tgr/libnl/files/libnl-3.2.25.tar.gz
Is there any other source for this file?
JK
Check out the vibrant tech community on one of the world's most engaging tech sites, Slashdot.org! http://sdm.link/slashdot _______________________________________________ genode-main mailing list genode-main@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/genode-main
I just tried it with the current master which uses the same file and got the same result.
Am 11.04.2017 um 10:19 schrieb Boris Mulder:
It could be that this is the case for an older version of Genode, I just recalled that I had the same issue some time ago. Johannes, does this occur with a newer version too?
And I didn't know you checked the links that often, so in that case I would take back my statement.
On 11-04-17 10:16, Stefan Kalkowski wrote:
Hi,
On 04/11/2017 09:57 AM, Boris Mulder wrote:
I temporarily got mine from https://github.com/thom311/libnl/. It seemed to work, and I believe the hashes were the same, although I recommend you verify that yourself too.
Maybe this can be changed in the makefile eventually.
we check the port-sources every night to detect dead links. Tonight the dde-linux port check did not fail. Do you experienced the connection problem just this morning or already for a longer time? If it is a temporary problem only, I wouldn't change the port file yet.
Regards Stefan
Boris
On 11-04-17 09:53, Johannes Kliemann wrote:
Hi,
while trying to build Genode with dde_linux I noticed that the connection to infradead.org timed out, so I'm not able to retrieve https://www.infradead.org/~tgr/libnl/files/libnl-3.2.25.tar.gz
Is there any other source for this file?
JK
Check out the vibrant tech community on one of the world's most engaging tech sites, Slashdot.org! http://sdm.link/slashdot _______________________________________________ genode-main mailing list genode-main@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/genode-main
Hi,
I can acknowledge the Problem because
./tool/ports/check_port_source dde_linux VERBOSE= ... curl -f -L -k -r -2 --max-time 15 --retry 2 https://www.infradead.org/~tgr/libnl/files/libnl-3.2.25.tar.gz > /dev/null 2>&1 || (sleep 1; curl -f -L -k -r -2 --max-time 15 --retry 2 https://www.infradead.org/~tgr/libnl/files/libnl-3.2.25.tar.gz > /dev/null 2>&1)
does not finish. I'd give infradead some time as this may be a temporary issue. If it persists we'll fix it. For the meantime I uploaded the file to
https://genode.org/files/libnl-3.2.25.tar.gz
Greets
-
Boris Mulder -
Christian Helmuth -
Johannes Kliemann -
Stefan Kalkowski