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

[Jesse Glick]

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.


Cheers,
-Jesse