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

Boriss Mejias boris.mejias at uclouvain.be
Mon Jan 29 18:23:23 CET 2007


Hi Jesse,

Thanks for your feedback. Unfortunately, we are lacking man power, so, 
if you can submit a patch it would be highly appreciated.

For the missing URL, does anybody know what happened to that file?

cheers
Boriss


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.
> 
> 
> Cheers,
> -Jesse
> _________________________________________________________________________________ 
> 
> mozart-hackers mailing list                           
> mozart-hackers at mozart-oz.org      
> http://www.mozart-oz.org/mailman/listinfo/mozart-hackers


More information about the mozart-hackers mailing list