mozart-1.3.2.20060615-4.i386.rpm on Fedora Core 6 - buglets

[Boriss Mejias]

Jesse Glick wrote:
> Boriss Mejias wrote:
>> Thanks for your feedback. Unfortunately, we are lacking man power, so, 
>> if you can submit a patch it would be highly appreciated.
> 
> Unfortunately I no longer run Fedora (switched to Ubuntu) so I cannot 
> test any RPM patches.

Hi Jesse,

Thanks for the reply. I'm also running Ubuntu (apart from MacOSX) and I 
like it very much... so no strong feelings. :)

Hopefully we will find somebody else to test the packages later.

cheers
Boriss

> 
> Sorry,
> -J.
> 
>> Jesse Glick wrote:
>>> Looking at Oz after browsing a copy of CTMoCP.
>>>
>>>
>>> 1. /usr/lib/mozart/share should ideally be /usr/share/mozart, and so on.
>>>
>>>
>>> 2. /usr/lib/mozart/share/elisp/mozart.el defines
>>>
>>> (defcustom oz-prefix "/var/tmp/mozart-1.3.2.20060615/usr/lib/mozart"...)
>>>
>>> which should I guess be
>>>
>>> (defcustom oz-prefix "/usr/lib/mozart"...)
>>>
>>>
>>> 3. The RPM should include a file
>>>
>>> /usr/share/emacs/site-lisp/site-start.d/mozart.el
>>>
>>> which defines autoloads, e.g.
>>>
>>> (setq load-path (cons "/usr/lib/mozart/share/elisp" load-path))
>>> (setq auto-mode-alist
>>>       (append '(("\\.oz$" . oz-mode)
>>>                 ("\\.ozm$" . ozm-mode)
>>>                 ("\\.ozg$" . oz-gump-mode))
>>>               auto-mode-alist))
>>> (setq interpreter-mode-alist (cons '("oz" . oz-mode) 
>>> interpreter-mode-alist))
>>> (autoload 'run-oz "mozart" "Run Mozart as a sub-process." t)
>>> (autoload 'oz-mode "oz" "Major mode for editing Oz code." t)
>>> (autoload 'ozm-mode "mozart" "Major mode for displaying Oz machine 
>>> code." t)
>>> (autoload 'oz-gump-mode "oz" "Major mode for editing Oz code with 
>>> embedded Gump specifications." t)
>>>
>>>
>>> 4. Feeding
>>>
>>> /usr/lib/mozart/mozart/examples/fd/queens.oz
>>>
>>> pops open the Oz Explorer window, but no queens, and shows in the *Oz 
>>> Emulator* buffer:
>>>
>>> %********************** Error: module manager *******************
>>> %**
>>> %** Could not link module
>>> %**
>>> %** Could not load functor at URL: 
>>> /usr/lib/mozart/examples/fd/graphics/Queens.ozf
>>> %**--------------------------------------------------------------
>>>
>>> The actual file is
>>>
>>> /usr/lib/mozart/mozart/examples/fd/graphics/Queens.oz
>>>
>>> I'm not sure what {Property.get 'oz.home'} is really supposed to be. 
>>> Fixing that path and rerunning results in
>>>
>>> %********************** error in URL support ********************
>>> %**
>>> %** Cannot locate file
>>> %**
>>> %** File name: 
>>> http://www.mozart-oz.org/home/doc/demo/applets/images/animated-queens/micro-queen.xbm 
>>>
>>> %** Operation: localize
>>> %**
>>> %** Call Stack:
>>> %** procedure 'Get' in file "./init/Resolve.oz", line 394, column 6, 
>>> PC = 145830728
>>> %**--------------------------------------------------------------
>>>
>>> In fact the named URL, as computed in
>>>
>>> /usr/lib/mozart/mozart/examples/fd/graphics/Queens.oz
>>>
>>> gives a 404.
> 
>