Re: make check failure

> * Blake McBride <[email protected]> [2018-03-08 17:32:39 -0600]:
>
> I am running the latest hg pull on a 64 bit Linux box.  I get the following
> on make check:
>
> [...]
> Copyright (c) Bruno Haible, Michael Stoll 1992-1993
> Copyright (c) Bruno Haible, Marcus Daniels 1994-1997
> Copyright (c) Bruno Haible, Pierpaolo Bernardi, Sam Steingold 1998
> Copyright (c) Bruno Haible, Sam Steingold 1999-2000
> Copyright (c) Sam Steingold, Bruno Haible 2001-2018
>
> Type :h and hit Enter for context help.
>
> ;; connecting to
> "http://clisp.org/beta/impnotes/id-href.map"...connected...HTTP/1.1
> 301 Moved Permanently --> "
> https://clisp.sourceforge.io/beta/impnotes/id-href.map"
> *** - OPEN-HTTP("https://clisp.sourceforge.io/beta/impnotes/id-href.map"):
>       HTTPS protocol is not supported yet
> Bye.
> make: *** [check-doc] Error 1

Please try

$ make check-doc IMPNOTES=http://www.gnu.org/software/clisp/impnotes/

or apply the appended patch.
I cannot push to hg because of the savannah transition issues, but will
as soon as that is over.

Thanks.

-- 
Sam Steingold (http://sds.podval.org/) on darwin Ns 10.3.1561
http://steingoldpsychology.com http://www.childpsy.net
http://think-israel.org http://honestreporting.com https://jihadwatch.org
We are born naked, wet, and hungry.  Then things get worse.


diff -r 0e4d38776f59 src/makemake.in
--- a/src/makemake.in	Mon Apr 09 00:48:03 2018 +0200
+++ b/src/makemake.in	Tue Apr 10 11:08:09 2018 -0400
@@ -3616,7 +3616,11 @@ if [ $CROSS = false ] ; then
   # Try wget, lynx, curl in order. wget is common, but MacOS X only has curl.
   # use beta pages for the latest id-href.map
   # NB: keep in sync with doc/Makefile:DIST
-  MYIMPROOT=http://clisp.org/beta/impnotes/
+  # FIXME: temp hack to work around:
+  #  * clisp.org redirects to SourceForge which is HTTPS-only
+  #  * CLISP does not support HTTPS yet
+  #MYIMPROOT=http://clisp.org/beta/impnotes/
+  MYIMPROOT=http://www.gnu.org/software/clisp/impnotes/
   MYTESTURL=${MYIMPROOT}id-href.map
   if test -d "${SRCTOPDIR_}.hg" \
      && { if wget --version >/dev/null 2>/dev/null ; then \

------------------------------------------------------------------------------
Check out the vibrant tech community on one of the world's most
engaging tech sites, Slashdot.org! http://sdm.link/slashdot
_______________________________________________
clisp-devel mailing list
[email protected]
https://lists.sourceforge.net/lists/listinfo/clisp-devel