> On Apr 25, 2019, at 9:35 AM, Matthew Flatt <mfl...@cs.utah.edu> wrote: > > Assuming that you're using > > https://github.com/greghendershott/travis-racket > <https://github.com/greghendershott/travis-racket> > > then I think "install-racket.sh" has to change so that you have the > option to add "-natipkg" between "linux" and ".sh" in a download URL.
Thanks. This works on 7.1 and 7.2. I can live with that. FWIW: 1) HEAD and HEADCS don't work — they rely on the snapshot servers (Northwestern and Utah, respectively), which apparently (?) do not have "natipkg" builds (??) 2) 6.12 and 7.0 install the "natipkg" build, but then `raco pkg install` fails with an SSL error. This seems to be a recapitulation of an existing bug [1] (I tried the fix suggested by Ryan Culpepper [2], running `export SSL_CERT_DIR=/etc/ssl/certs/`, but this did not help). [1] https://github.com/racket/racket/issues/2184 <https://github.com/racket/racket/issues/2184> [2] https://github.com/racket/racket/issues/2184#issuecomment-428579036 <https://github.com/racket/racket/issues/2184#issuecomment-428579036> -- You received this message because you are subscribed to the Google Groups "Racket Users" group. To unsubscribe from this group and stop receiving emails from it, send an email to racket-users+unsubscr...@googlegroups.com. For more options, visit https://groups.google.com/d/optout.
