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

[Jesse Glick]

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.

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.


-- 
jesse.glick at sun.com  netbeans.org  ant.apache.org  hudson.dev.java.net
             http://google.com/search?q=e%5E%28pi*i%29%2B1