The Coq mailing list

[Pierre Boutillier <pierre.boutillier AT pps.univ-paris-diderot.fr>]

Thanks to Enrico Tassi that demonstrates to me that building a Mac .app was 
still possible and 3 (nearly) full days of fight with global variables in 
shell, I think I manage to make a CoqIDE for MacOS …

Could you try if 
http://www.pps.univ-paris-diderot.fr/~pboutill/coq-night/v8.4/coqide-v8.4-2013-12-19.dmg
 is working for you too ?

If so, I'll make coqide-8.4pl3.dmg (which will be exactly the same thing with 
a different name since there is no new commits in v8.4 branch)

Pierre B.

Le 14 déc. 2013 à 18:41, "Terrell, Jeffrey" 
<jeffrey.terrell AT kcl.ac.uk>
 a écrit :

> On the "Software Foundations in Coq" site at 
> http://web.cecs.pdx.edu/~apt/coq_hints.html, there is a reference to 
> coqide-8.4.dmg that works for me under MacOS version 10.7.5. It's not the 
> latest version but it's good enough for me.
> 
> Regards,
> Jeff.
> 
> On 12 Dec 2013, at 08:32, Terrell, Jeffrey wrote:
> 
>> Thanks for the information. Of course, I hadn't realised that you were 
>> writing up and wish you well with your PhD. However, I'm still not 
>> entirely clear on the state of play. Please see below.
>> 
>> On 11 Dec 2013, at 20:55, Pierre Boutillier wrote:
>> 
>>> I am the guy and I send my phd dissertation to its reviewer 2 hours ago 
>>> !!!
>>> In order to do that I haven't open an .ml file since April (OK I lie but 
>>> you get the point)
>>> 
>>> I had by a way or an other a email/a bug/someone in my office about this 
>>> issue and I answer them so I thought everybody was aware of the point. 
>>> I'm sorry if I miss the one of Roe. 
>>> 
>>> Anyway, now I can say it officially : I'll tackle the issue tomorrow.
>>> Well in secret I've already started and my message to coq-club/coqdev 
>>> about changes in the xml protocol between coq and coqide has been done in 
>>> that purpose.
>>> 
>>> Long story short because I send at least 2 email on the subject to this 
>>> list on that subject: I will never ever try to maintain coqide-v8.4 based 
>>> on ocaml threads under macOS.
>> 
>> As a Coq user, I'm not sure of the significance of this remark.
>> 
>>> On Friday, coqide-v8.4pl3.dmg will be coqide trunk based on gtkcallbacks 
>>> plugged to coq top-v8.4pl3.
>> 
>> Are you saying that there will a version of the coqide in the trunk 
>> directory (i.e. the trunk in the directory to which the link below points) 
>> on Friday that I can download and use?
>> 
>> Thanks again.
>> 
>> Regards,
>> Jeff.
>> 
>>> 
>>> If you cannot wait any longer : have a look at the secret factory of mac 
>>> bundle that I already advertised on this list at : 
>>> http://www.pps.univ-paris-diderot.fr/%7Epboutill/coq-night/ (nothing to 
>>> see for now, I am still at the phase where object-introspection is not 
>>> happy with the python version of MacOS 10.6 and the autoconf of gtk wants 
>>> files from object-introspection)
>>> 
>>> Pierre B.
>>> 
>>> 
>>> 
>>> Le 11 déc. 2013 à 21:34, "Terrell, Jeffrey" 
>>> <jeffrey.terrell AT kcl.ac.uk>
>>>  a écrit :
>>> 
>>>> I note that Kenneth Roe posted a similar problem on 26th October, and 
>>>> like me did not receive a reply.
>>>> 
>>>> Surely someone knows - the guy who produced the package in the first 
>>>> place, or maybe one of his associates. It's quite important that I'm 
>>>> able to run the latest version of Coq on a Mac using the Coq IDE. I'd 
>>>> prefer not to go down the Proof General route.
>>>> 
>>>> Thanks.
>>>> 
>>>> Regards,
>>>> Jeff.
>>>> 
>>>> On 8 Dec 2013, at 10:02, Terrell, Jeffrey wrote:
>>>> 
>>>>> I'd like to upgrade the Coq installation on my Mac OSX 10.7.5 to the 
>>>>> latest version. However, although I can install and run coq-8.4.dmg 
>>>>> okay, I can't install and run coqide-8.4pl2.dmg.
>>>>> 
>>>>> The strange thing is that while coq-8.4.dmg installs in the usual 
>>>>> manner via the Mac installer, coqide-8.4pl2.dmg doesn't. In fact, when 
>>>>> I try to install it, the CoqIdE_8.4pl2 application appears to be 
>>>>> available straightaway. But when I select it, all that happens is that 
>>>>> the Coq icon bobs up and down for a few seconds in the tray and then 
>>>>> disappears.  
>>>>> 
>>>>> I'd be grateful for any thoughts on what could be wrong. Thanks.
>>>>> 
>>>>> Regards,
>>>>> Jeff.
>>>> 
>>> 
>> 
>