<html><head><meta http-equiv="Content-Type" content="text/html charset=us-ascii"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space;"><br><div><div>On Apr 19, 2014, at 5:17 PM, Raphael Kubo da Costa <<a href="mailto:rakuco@FreeBSD.org">rakuco@FreeBSD.org</a>> wrote:</div><br class="Apple-interchange-newline"><blockquote type="cite">Daniel Braniss <<a href="mailto:danny@cs.huji.ac.il">danny@cs.huji.ac.il</a>> writes:<br><br><blockquote type="cite">hi,<br>distinfo has eigen/3.2.1.bz2 while <a href="http://eigen.tuxfamily.org/">eigen.tuxfamily.org/</a> (and probably others) has<br><span class="Apple-tab-span" style="white-space:pre"> </span> eigen-3.2.1.bz2<br></blockquote><br>I fail to see the problem here -- make fetch works just fine here and in<br>the cluster. Are you experiencing any issues?<br></blockquote></div><br><div>remove the tar file from distfiles/eigen3, and let the make fetch it:</div><div><br></div><div><div style="margin: 0px; font-family: Monaco; color: rgb(212, 251, 121); background-color: rgb(66, 66, 66);">rnd> make</div><div style="margin: 0px; font-family: Monaco; color: rgb(212, 251, 121); background-color: rgb(66, 66, 66);">===> License LGPL21 MPL accepted by the user</div><div style="margin: 0px; font-family: Monaco; color: rgb(212, 251, 121); background-color: rgb(66, 66, 66);">===> eigen-3.2.1 depends on file: /usr/local/sbin/pkg - found</div><div style="margin: 0px; font-family: Monaco; color: rgb(212, 251, 121); background-color: rgb(66, 66, 66);">=> 3.2.1.tar.bz2 doesn't seem to exist in /usr/ports/distfiles/eigen.</div><div style="margin: 0px; font-family: Monaco; color: rgb(212, 251, 121); background-color: rgb(66, 66, 66);">=> Attempting to fetch <a href="https://bitbucket.org/eigen/eigen/get/3.2.1.tar.bz2">https://bitbucket.org/eigen/eigen/get/3.2.1.tar.bz2</a></div><div style="margin: 0px; font-family: Monaco; color: rgb(212, 251, 121); background-color: rgb(66, 66, 66);">Certificate verification failed for /C=US/O=DigiCert Inc/OU=<a href="http://www.digicert.com/CN=DigiCert">www.digicert.com/CN=DigiCert</a> High Assurance EV CA-1</div><div style="margin: 0px; font-family: Monaco; color: rgb(212, 251, 121); background-color: rgb(66, 66, 66);">25708:error:14090086:SSL routines:SSL3_GET_SERVER_CERTIFICATE:certificate verify failed:/r+d/stable/9/secure/lib/libssl/../../../crypto/openssl/ssl/s3_clnt.c:993:</div><div style="margin: 0px; font-family: Monaco; color: rgb(212, 251, 121); background-color: rgb(66, 66, 66);">fetch: <a href="https://bitbucket.org/eigen/eigen/get/3.2.1.tar.bz2:">https://bitbucket.org/eigen/eigen/get/3.2.1.tar.bz2:</a> Authentication error</div><div style="margin: 0px; font-family: Monaco; color: rgb(212, 251, 121); background-color: rgb(66, 66, 66);">=> Attempting to fetch <a href="ftp://ftp.FreeBSD.org/pub/FreeBSD/ports/distfiles/eigen/3.2.1.tar.bz2">ftp://ftp.FreeBSD.org/pub/FreeBSD/ports/distfiles/eigen/3.2.1.tar.bz2</a></div><div style="margin: 0px; font-family: Monaco; color: rgb(212, 251, 121); background-color: rgb(66, 66, 66);">fetch: <a href="ftp://ftp.FreeBSD.org/pub/FreeBSD/ports/distfiles/eigen/3.2.1.tar.bz2:">ftp://ftp.FreeBSD.org/pub/FreeBSD/ports/distfiles/eigen/3.2.1.tar.bz2:</a> Not Found</div><div style="margin: 0px; font-family: Monaco; color: rgb(212, 251, 121); background-color: rgb(66, 66, 66);">=> Couldn't fetch it - please try to retrieve this</div><div style="margin: 0px; font-family: Monaco; color: rgb(212, 251, 121); background-color: rgb(66, 66, 66);">=> port manually into /usr/ports/distfiles/eigen and try again.</div><div style="margin: 0px; font-family: Monaco; color: rgb(212, 251, 121); background-color: rgb(66, 66, 66); position: static; z-index: auto;">*** [do-fetch] Error code 1</div></div><div style="margin: 0px; font-family: Monaco; color: rgb(212, 251, 121); background-color: rgb(66, 66, 66); position: static; z-index: auto;"><br></div><div style="margin: 0px; font-family: Monaco; color: rgb(212, 251, 121); background-color: rgb(66, 66, 66); position: relative; z-index: 0;"><br></div><div style="margin: 0px; font-family: Monaco; color: rgb(212, 251, 121); background-color: rgb(66, 66, 66); position: relative; z-index: 0;"><br></div></body></html>