configure ssl in AWS on Windows?

configure ssl in AWS on Windows?

[Stephen Leake]

I'm trying to enable ssl in AWS on Windows 8, with GNAT GPL 2016.

The AWS manual says "compile AWS with ssl". Easier said than done (sigh).

I have mingw32 installed, so I installed the 'openssl-devel' package in that, and copied mingw32/include/openssl to gnat_gpl_2016/include.

I also copied mingw32/lib/libssl.a to gnat_gpl_2016/lib/libssl32.a

However, 'make build' in aws is still complaining about '-leay32'

mingw32 has libeay32.dll and ssleay32.dll, but no corresponding .a.

Searching for 'eay' or 'ssleay' in mingw32 only turns up a couple Perl packages.

Has anyone succeeded at this?

Where can I find libeay32.a?

Rather than copying the files, is there a way to set an AWS makefile config to point to the ssl libs (I could not find one)?

Re : configure ssl in AWS on Windows?

[Pascal Obry]

Stephen,

> I'm trying to enable ssl in AWS on Windows 8, with GNAT GPL 2016.

You may want to upgrade to GPL 2017.

> The AWS manual says "compile AWS with ssl". Easier said than done
> (sigh).

Right. There is no magic solution on Windows.

> I have mingw32 installed, so I installed the 'openssl-devel' package
> in that, and copied mingw32/include/openssl to gnat_gpl_2016/include.
> 
> I also copied mingw32/lib/libssl.a to gnat_gpl_2016/lib/libssl32.a
> 
> However, 'make build' in aws is still complaining about '-leay32'
> 
> mingw32 has libeay32.dll and ssleay32.dll, but no corresponding .a.

I don't remember all the details has I'm not using Windows since many
years now. But you should not need the .a and placing the 2 .dll into
the GNAT Pro bin directory should be sufficient.

To setup AWS:

$ make SOCKET=openssl setup

Then the standard build procedure.

-- 
  Pascal Obry /  Magny Les Hameaux (78)

  The best way to travel is by means of imagination

  http://www.obry.net

  gpg --keyserver keys.gnupg.net --recv-key F949BD3B

Re: Re : configure ssl in AWS on Windows?

[Dmitry A. Kazakov]

On 28/09/2017 07:41, Pascal Obry wrote:

>> The AWS manual says "compile AWS with ssl". Easier said than done
>> (sigh).
> 
> Right. There is no magic solution on Windows.

GNUTLS Windows build worked pretty much out of the box, to me.

There was some exchange here in c.l.a about implementing SSL in Ada 
[+SPARK]. Is the idea dead?

-- 
Regards,
Dmitry A. Kazakov
http://www.dmitry-kazakov.de

Re: configure ssl in AWS on Windows?

[Björn Lundin]

On 2017-09-28 00:57, Stephen Leake wrote:
> I'm trying to enable ssl in AWS on Windows 8, with GNAT GPL 2016.
> Has anyone succeeded at this?

Yes. some time ago.
This is what I did


Notes on installing AWS 3.1 on Windows with ssl-support

* I use mingw ...

Untar/unzip aws

tar xvzf aws-gpl-3.1.0-src.tgz

In AWS root folder change file makefile.conf

# bnl
ENABLE_SHARED = false
#ENABLE_SHARED=$(shell $(GNAT) make -c -q -p \
#               -Pconfig/setup/test_shared 2>/dev/null && echo "true")
...
#bnl
#SOCKET = std
SOCKET  = openssl


I'm not sure about ENABLE_SHARED, but I did change it.



install openssl
http://www.openssl.org points at
http://www.slproweb.com/products/Win32OpenSSL.html

and http://www.microsoft.com/en-us/download/confirmation.aspx?id=29

for redistributionals
download and install both


I installed openssl in
c:\openssl-win32


Now , a bit ugly, but -
put libssl32.dll and libeay32.dll in C:\bnl\tools\gnat\7.1.1\lib
from  c:\openssl-win32

or where-ever the gnat install is

another trick

from a bash-shell. Yes really, I did not succeed outside bash

export C_INCLUDE_PATH=c:/OpenSSL-Win32/include
make setup
make
make install

And that should be all.

-- 
--
Björn

Re: Re : configure ssl in AWS on Windows?

[Shark8]

On Thursday, September 28, 2017 at 1:16:47 AM UTC-6, Dmitry A. Kazakov wrote:
> 
> There was some exchange here in c.l.a about implementing SSL in Ada 
> [+SPARK]. Is the idea dead?

I hope not. It'd be nice to have a SPARK/Ada implementation so we can ditch OpenSSL and other such dubious implementations.

Re: Re : configure ssl in AWS on Windows?

[Dmitry A. Kazakov]

On 2017-09-28 18:51, Shark8 wrote:
> On Thursday, September 28, 2017 at 1:16:47 AM UTC-6, Dmitry A. Kazakov wrote:
>>
>> There was some exchange here in c.l.a about implementing SSL in Ada
>> [+SPARK]. Is the idea dead?
> 
> I hope not. It'd be nice to have a SPARK/Ada implementation so we
> can  ditch OpenSSL and other such dubious implementations.

Yes, that is my hope too.

-- 
Regards,
Dmitry A. Kazakov
http://www.dmitry-kazakov.de

Re: Re : configure ssl in AWS on Windows?

[gautier_niouzes]

> There was some exchange here in c.l.a about implementing SSL in Ada 
> [+SPARK]. Is the idea dead?

In a similar vein a zlib-in-Ada (another AWS dependency) is a permanent low-hanging-fruit: the spec can (and must) be just taken from the zlib-Ada binding, and the compression/decompression part taken from Zip-Ada...

Re: Re : configure ssl in AWS on Windows?

[Dmitry A. Kazakov]

On 2017-10-03 09:37, gautier_niouzes@hotmail.com wrote:
>> There was some exchange here in c.l.a about implementing SSL in Ada
>> [+SPARK]. Is the idea dead?
> 
> In a similar vein a zlib-in-Ada (another AWS dependency) is a
> permanent low-hanging-fruit: the spec can (and must) be just taken from
> the zlib-Ada binding, and the compression/decompression part taken from
> Zip-Ada...

zlib is in GtkAda too. Why AWS uses it? It looks unrelated to HTTP etc.

P.S. The stream interface Zip-Ada would be best possible choice in a 
I/O-driven communication context. I have a lot of trouble with 
interfaces where I cannot read into a fixed buffer or write an 
incomplete portion of data. This is a requirement for any middleman 
protocol implementation.

-- 
Regards,
Dmitry A. Kazakov
http://www.dmitry-kazakov.de

Re : Re : configure ssl in AWS on Windows?

[Pascal Obry]

Le mardi 03 octobre 2017 à 10:07 +0200, Dmitry A. Kazakov a écrit :
> zlib is in GtkAda too. Why AWS uses it? It looks unrelated to HTTP
> etc.

It is related as a message body can be compressed.

-- 
  Pascal Obry /  Magny Les Hameaux (78)

  The best way to travel is by means of imagination

  http://www.obry.net

  gpg --keyserver keys.gnupg.net --recv-key F949BD3B

Re: Re : Re : configure ssl in AWS on Windows?

[Dmitry A. Kazakov]

On 2017-10-03 19:22, Pascal Obry wrote:
> Le mardi 03 octobre 2017 à 10:07 +0200, Dmitry A. Kazakov a écrit :
>> zlib is in GtkAda too. Why AWS uses it? It looks unrelated to HTTP
>> etc.
> 
> It is related as a message body can be compressed.

Encoding is between the custom server and client. As it can be 
practically any, to include a specific method into AWS looks premature.

IMO better to leave that to the server implementation on top, which 
could reasonably prefer Zip-Ada over zlib.

-- 
Regards,
Dmitry A. Kazakov
http://www.dmitry-kazakov.de

Re : Re : Re : configure ssl in AWS on Windows?

[Pascal Obry]

Le mardi 03 octobre 2017 à 21:25 +0200, Dmitry A. Kazakov a écrit :
> Encoding is between the custom server and client. As it can be 
> practically any, to include a specific method into AWS looks
> premature.

I don't think so.

> IMO better to leave that to the server implementation on top, which 
> could reasonably prefer Zip-Ada over zlib.

Certainly not. Better to encapsulate the hard and dirty work for the
end-user to not have to worry about this.

-- 
  Pascal Obry /  Magny Les Hameaux (78)

  The best way to travel is by means of imagination

  http://www.obry.net

  gpg --keyserver keys.gnupg.net --recv-key F949BD3B