[PPL-devel] the latest ppl git configure script has something wrong
Roberto Bagnara
bagnara at cs.unipr.it
Wed Aug 10 19:14:22 CEST 2011
On 08/10/11 19:11, PcX wrote:
> 于 2011/8/11 0:23, Roberto Bagnara 写道:
>> On 08/10/11 16:41, PcX wrote:
>>> I pull the latest, but it also has the problem, so there is another problem.
>>
>> Ooopss... my fault again. Should be OK now.
>> Cheers,
>>
>> Roberto
>>
> It hasn't been fixed.
Please let us have your configure script.
Thanks,
Roberto
--
Prof. Roberto Bagnara
Applied Formal Methods Laboratory
Department of Mathematics, University of Parma, Italy
http://www.cs.unipr.it/~bagnara/
mailto:bagnara at cs.unipr.it
More information about the PPL-devel
mailing list