comp.lang.ada
 help / color / mirror / Atom feed
From: gautier_niouzes@hotmail.com
Subject: Re: Mathpaqs release 13-Mar-2018
Date: Fri, 16 Mar 2018 11:05:57 -0700 (PDT)
Date: 2018-03-16T11:05:57-07:00	[thread overview]
Message-ID: <90d6e2a6-48dd-48cc-9285-8e9e38da4423@googlegroups.com> (raw)
In-Reply-To: <aec973f2-5efe-44d5-9fdd-9a3116ff8ad4@googlegroups.com>

Le vendredi 16 mars 2018 09:34:11 UTC+1, Vincent D. a écrit :
> Le mardi 13 mars 2018 17:39:49 UTC+1, gautier...@hotmail.com a écrit :
> > Mathpaqs is a collection of mathematical packages in the Ada programming language.
> >   More information here: http://mathpaqs.sf.net/
> 
> Hi Gautier,
> 
> I downloaded the file : mathpaqs_2018_03_13.zip and tried to unzip it but the 'LZMA' method was not supported by my unzipping tools.
> 
> Therefore I downloaded the file : zipada53.zip and tried to build unzipada but it failed on OS X with the following error message : 
>  > ld: library not found for -lwin32ada
>  > collect2: error: ld returned 1 exit status
>  > gprbuild: link of unzipada.adb failed
> 
> How can I build unzipada under OS X ?

Quick answer:
in unzipada.adb:
- comment out "with Ada_Directories_Extensions;" (line 18)
- comment out "Ada_Directories_Extensions.Set_Modification_Time(Name, To);" (line 34) and put "null;" instead.

I'll do it as default (hoping Ada_Directories_Extensions.Set_Modification_Time becomes Ada_Directories.Set_Modification_Time one day)...

  parent reply	other threads:[~2018-03-16 18:05 UTC|newest]

Thread overview: 10+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2018-03-13 16:39 Mathpaqs release 13-Mar-2018 gautier_niouzes
2018-03-14 11:16 ` Alejandro R. Mosteo
2018-03-14 11:17   ` Alejandro R. Mosteo
2018-03-14 14:54 ` Vincent D.
2018-03-16 17:59   ` gautier_niouzes
2018-03-16  8:34 ` Vincent D.
2018-03-16 17:54   ` Simon Wright
2018-03-19 20:58     ` vincent.diemunsch
2018-03-16 18:05   ` gautier_niouzes [this message]
2018-03-19 20:55     ` Vincent D.
replies disabled

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox