Compiling rebis-dev without OpenSSL as a workaround on OSX

[triska]

Dear all,

trying to compile the new rebis-dev branch on OSX Mojave, I get a lot of errors of the form:

  crypto/bn/rsaz-avx512.s:77:29: error: register %ymm16 is only available with AVX512
   vpmadd52luq 32(%rsi),%ymm3,%ymm16
                              ^~~~~~
  crypto/bn/rsaz-avx512.s:78:29: error: register %ymm17 is only available with AVX512
   vpmadd52luq 64(%rsi),%ymm3,%ymm17
                              ^~~~~~
etc.

This stems from the OpenSSL crate, which is needed by Scryer Prolog for a single predicate: crypto_curve_scalar_mult/4, multiplying a point on the given elliptic curve by a scalar.

If you do not need this predicate and want to build the rebis-dev branch on OSX Mojave and possibly other versions, you can apply the following change to remove the dependency on OpenSSL:

triska@8d2ac92

It would be preferable to get OpenSSL compile on this platform. If anyone can reproduce the problem and wants to help with this, I would greatly appreciate it. Thank you a lot!

All the best,
Markus