Home Intro Announce FAQ Docs Download Mail Status Bugs Users Related FM Tools

PVS Bug 1082


Synopsis:        Problem with PVS 5.0 Allegro version on Mac OS X Lion new operating system
Severity:        serious
Priority:        medium
Responsible:     owre
State:           open
Class:           sw-bug
Arrival-Date:    Sat Nov 05 10:30:00 -0700 2011
Originator:      Paul Y Gloess
Release:         PVS 5.0
Organization:    enseirb-matmeca.fr
Environment: 
 System:          
 Architecture: 

Description: 
  
  --Apple-Mail=_6C4101A1-2573-4629-BEAB-4D55B63B2BEA
  Content-Transfer-Encoding: quoted-printable
  Content-Type: text/plain;
  	charset=windows-1252
  
  Dear PVS developers:
  
  I recently installed PVS 5.0 (Allegro binary version) on my MacBookPro =
  with Mac OS X: it worked beautifully.
  
  Since I installed the new Mac OS X Lion 10.7.2 (11C74) operating system, =
  PVS 5.0 no longer starts. When I launch it, PVS initialization (within =
  Emacs window) seems to start fine, but never completes. It says: =
  Initializing PVS: please wait=85; after a while, an error is displayed =
  in the terminal.
  
  Here is a terminal session recording:
  
  lacanau:compiler gloess$ ls -l
  total 328
  -rw-r--r--  1 gloess  staff  26386 24 jan  2002 =
  2.4.compiler.24jan2002.dump.dmp
  -rw-r--r--  1 gloess  staff   3585 12 oct 15:39 =
  5.0.compiler.12oct2011.dump.PVS_Status.txt
  -rw-r--r--  1 gloess  staff  52062 12 oct 15:38 =
  5.0.compiler.12oct2011.dump.dmp
  -rw-r--r--  1 gloess  staff  24830 12 oct 15:03 compiler.prf
  -rw-r--r--  1 gloess  staff   6391 12 oct 15:19 compiler.pvs
  -rw-r--r--  1 gloess  staff    372 12 oct 15:22 dump.pvs
  -rw-r--r--  1 gloess  staff   5130  7 oct 18:06 expressions.prf
  -rw-r--r--  1 gloess  staff   1775  7 oct 18:05 expressions.pvs
  -rw-r--r--  1 gloess  staff   9079  7 oct 18:06 machine.prf
  -rw-r--r--  1 gloess  staff   4212  7 oct 18:05 machine.pvs
  -rwxr-xr-x  1 gloess  staff     69 12 oct 14:57 pve
  lrwxr-xr-x  1 gloess  staff     45 12 oct 14:56 pvs -> =
  /Users/gloess/pvs-5.0-ix86-MacOSX-allegro/pvs
  lacanau:compiler gloess$ ./pvs
  lacanau:compiler gloess$ Nov  3 05:17:28 lacanau.home Emacs[3693] =
  <Error>: kCGErrorInvalidConnection: CGSGetWindowTags: Invalid connection
  Nov  3 05:17:28 lacanau.home Emacs[3693] <Error>: kCGErrorFailure: Set a =
  breakpoint @ CGErrorBreakpoint() to catch errors as they are logged.
  
  Thank you for your help.
  
  Best regards,
  
     Prof. Paul Y Gloess
     http://uuu.enseirb.fr/~gloess/=
  
  --Apple-Mail=_6C4101A1-2573-4629-BEAB-4D55B63B2BEA
  Content-Transfer-Encoding: quoted-printable
  Content-Type: text/html;
  	charset=windows-1252
  
  <html><head></head><body style=3D"word-wrap: break-word; =
  -webkit-nbsp-mode: space; -webkit-line-break: after-white-space; ">Dear =
  PVS developers:<div><br></div><div>I recently installed PVS 5.0 (Allegro =
  binary version) on my MacBookPro with Mac OS X: it worked =
  beautifully.</div><div><br></div><div>Since I installed the =
  new&nbsp;<span class=3D"Apple-style-span" style=3D"font-family: 'Lucida =
  Grande'; font-size: 11px; ">Mac OS X Lion 10.7.2 (11C74) operating =
  system, PVS 5.0 no longer starts. When I launch it, PVS initialization =
  (within Emacs window) seems to start fine, but never completes. It says: =
  Initializing PVS: please wait=85; after a while, an error is displayed =
  in the terminal.</span></div><div><span class=3D"Apple-style-span" =
  style=3D"font-family: 'Lucida Grande'; font-size: 11px; =
  "><br></span></div><div><span class=3D"Apple-style-span" =
  style=3D"font-family: 'Lucida Grande'; font-size: 11px; ">Here is a =
  terminal session recording:</span></div><div><span =
  class=3D"Apple-style-span" style=3D"font-family: 'Lucida Grande'; =
  font-size: 11px; "><br></span></div><blockquote =
  class=3D"webkit-indent-blockquote" style=3D"margin: 0 0 0 40px; border: =
  none; padding: 0px;"><div><span class=3D"Apple-style-span" =
  style=3D"font-family: 'Lucida Grande'; font-size: 11px; =
  "><div>lacanau:compiler gloess$ ls -l</div><div>total =
  328</div><div>-rw-r--r-- &nbsp;1 gloess &nbsp;staff &nbsp;26386 24 jan =
  &nbsp;2002 2.4.compiler.24jan2002.dump.dmp</div><div>-rw-r--r-- &nbsp;1 =
  gloess &nbsp;staff &nbsp; 3585 12 oct 15:39 =
  5.0.compiler.12oct2011.dump.PVS_Status.txt</div><div>-rw-r--r-- &nbsp;1 =
  gloess &nbsp;staff &nbsp;52062 12 oct 15:38 =
  5.0.compiler.12oct2011.dump.dmp</div><div>-rw-r--r-- &nbsp;1 gloess =
  &nbsp;staff &nbsp;24830 12 oct 15:03 compiler.prf</div><div>-rw-r--r-- =
  &nbsp;1 gloess &nbsp;staff &nbsp; 6391 12 oct 15:19 =
  compiler.pvs</div><div>-rw-r--r-- &nbsp;1 gloess &nbsp;staff &nbsp; =
  &nbsp;372 12 oct 15:22 dump.pvs</div><div>-rw-r--r-- &nbsp;1 gloess =
  &nbsp;staff &nbsp; 5130 &nbsp;7 oct 18:06 =
  expressions.prf</div><div>-rw-r--r-- &nbsp;1 gloess &nbsp;staff &nbsp; =
  1775 &nbsp;7 oct 18:05 expressions.pvs</div><div>-rw-r--r-- &nbsp;1 =
  gloess &nbsp;staff &nbsp; 9079 &nbsp;7 oct 18:06 =
  machine.prf</div><div>-rw-r--r-- &nbsp;1 gloess &nbsp;staff &nbsp; 4212 =
  &nbsp;7 oct 18:05 machine.pvs</div><div>-rwxr-xr-x &nbsp;1 gloess =
  &nbsp;staff &nbsp; &nbsp; 69 12 oct 14:57 pve</div><div>lrwxr-xr-x =
  &nbsp;1 gloess &nbsp;staff &nbsp; &nbsp; 45 12 oct 14:56 pvs -&gt; =
  /Users/gloess/pvs-5.0-ix86-MacOSX-allegro/pvs</div><div>lacanau:compiler =
  gloess$ ./pvs</div><div>lacanau:compiler gloess$ Nov &nbsp;3 05:17:28 =
  lacanau.home Emacs[3693] &lt;Error&gt;: kCGErrorInvalidConnection: =
  CGSGetWindowTags: Invalid connection</div><div>Nov &nbsp;3 05:17:28 =
  lacanau.home Emacs[3693] &lt;Error&gt;: kCGErrorFailure: Set a =
  breakpoint @ CGErrorBreakpoint() to catch errors as they are =
  logged.</div></span></div></blockquote><font class=3D"Apple-style-span" =
  face=3D"'Lucida Grande'"><span class=3D"Apple-style-span" =
  style=3D"font-size: 11px;"><br></span></font><div><font =
  class=3D"Apple-style-span" face=3D"'Lucida Grande'"><span =
  class=3D"Apple-style-span" style=3D"font-size: 11px;">Thank you for your =
  help.</span></font></div><div><font class=3D"Apple-style-span" =
  face=3D"'Lucida Grande'"><span class=3D"Apple-style-span" =
  style=3D"font-size: 11px;"><br></span></font></div><div><font =
  class=3D"Apple-style-span" face=3D"'Lucida Grande'"><span =
  class=3D"Apple-style-span" style=3D"font-size: 11px;">Best =
  regards,</span></font></div><div><font class=3D"Apple-style-span" =
  face=3D"'Lucida Grande'"><span class=3D"Apple-style-span" =
  style=3D"font-size: 11px;"><br></span></font></div><div><font =
  class=3D"Apple-style-span" face=3D"'Lucida Grande'"><span =
  class=3D"Apple-style-span" style=3D"font-size: 11px;">&nbsp; &nbsp;Prof. =
  Paul Y Gloess</span></font></div><div><font class=3D"Apple-style-span" =
  face=3D"'Lucida Grande'"><span class=3D"Apple-style-span" =
  style=3D"font-size: 11px;">&nbsp; &nbsp;<a =
  href=3D"http://uuu.enseirb.fr/~gloess/">http://uuu.enseirb.fr/~gloess/</a>=
  </span></font></div></body></html>=
  
  --Apple-Mail=_6C4101A1-2573-4629-BEAB-4D55B63B2BEA--

How-To-Repeat: 

Fix: 
Home Intro Announce FAQ Docs Download Mail Status Bugs Users Related FM Tools