![]() ![]() I downloaded the latest Jape binary for Mac OSX, but when I attempted to start up Jape 7.6.4 (or 7.6.3) on my Mac (running Tiger) I would get the GUI error message, "Dispatcher sees null line - is jape_engine ok?" Choosing "Continue" just brought up the error window again. Jape says: "Dispatcher sees null line - is jape_engine ok?" Once the problem is solved I'll shorten the article even more to concentrate on the germane points. There is still some infelicitous wording including inconsistent tense, and my formatting needs some work. I'm editing this entry to make it better organized and less of the rambling "real time" journal it started off as. Meantime, there's a new how-to-build file for OS X which acknowledges the problem and at least tells you what to do with JarBundler. ![]() Jeff Lindstrom pointed out that (a) Jape doesn't run on OS X 10.4 and (b) it doesn't even build on 10.4. (2nd Feb 2009) Mac OS X stuff again (sigh!). ![]() Richard Bornat notes on the Jape Web site: I also confirmed that the latest Jape doesn't run on a PPC Mac. This article lists some of the problems that arose and some solutions I tried (with considerable help from Richard Bornat).Ĭuriously some older versions of Jape (written before Leopard's introduction) also didn't run on the MacBook Pro, which may mean it's a problem specific to my laptop or with a particular version of Java, and not the fact that I'm not running Leopard. I couldn't get the precompiled binary to run on Mac OSX 10.4.11. I wanted to try out Jape, a proof helper (available at ) designed and maintained by Richard Bornat, with the latest versions compiled using OCaml. I assume will soon add this version for download. Bornat sent me a new version compiled by his collaborator, Bernard Sufrin, and it worked fine. Jape now works on Tiger (Apple's Mac OS X 10.4). ![]()
0 Comments
Leave a Reply. |
AuthorWrite something about yourself. No need to be fancy, just an overview. ArchivesCategories |