/usr/share/mozart/doc/opi/node8.html is in mozart-doc 1.4.0-8ubuntu1.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1 2 | <!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.0 Transitional//EN">
<HTML><HEAD><TITLE>6.2 Profile Parameters</TITLE><LINK href="ozdoc.css" rel="stylesheet" type="text/css"></HEAD><BODY><TABLE align="center" border="0" cellpadding="6" cellspacing="6" class="nav"><TR bgcolor="#DDDDDD"><TD><A href="node7.html#prof.custom"><< Prev</A></TD><TD><A href="node6.html">- Up -</A></TD></TR></TABLE><DIV id="prof.params"><H2><A name="prof.params">6.2 Profile Parameters</A></H2><P>There are many parameters in a profile, but you almost never have to fiddle with them: the very few used in the earlier examples are typically all you'll ever need. They all correspond to parameters also documented elsewhere. However, here is the full list of them: </P><DL><DT><A name="label214"></A><SPAN class="index"><CODE>Name</CODE></SPAN></DT><DD><P>The profile's name</P></DD><DT><A name="label215"></A><SPAN class="index"><CODE>Type</CODE></SPAN></DT><DD><P>Its type: one of <CODE>default</CODE>, <CODE>installed</CODE>, or <CODE>build</CODE></P></DD><DT><A name="label216"></A><SPAN class="index"><CODE>OZHOME</CODE></SPAN></DT><DD><P>Oz installation directory</P></DD><DT><A name="label217"></A><SPAN class="index"><CODE>OZLOAD</CODE></SPAN></DT><DD><P>Methods used by the resolver to resolve URIs</P></DD><DT><A name="label218"></A><SPAN class="index"><CODE>OZPATH</CODE></SPAN></DT><DD><P>Directories searched for <CODE><SPAN class="reference">\insert</SPAN></CODE> directives</P></DD><DT><A name="label219"></A><SPAN class="index"><CODE>OZ_TRACE_LOAD</CODE></SPAN></DT><DD><P>Whether the resolver should output tracing information</P></DD><DT><A name="label220"></A><SPAN class="index"><CODE>OZ_TRACE_MODULE</CODE></SPAN></DT><DD><P>Whether the module manager should output tracing information</P></DD><DT><A name="label221"></A><SPAN class="index"><CODE>LD_LIBRARY_PATH</CODE></SPAN></DT><DD><P>Additional directories to search for dynamically linked libraries</P></DD><DT><A name="label222"></A><SPAN class="index"><CODE>DYLD_LIBRARY_PATH</CODE></SPAN></DT><DD><P>Additional directories to search for MacOS X dylib libraries</P></DD><DT><A name="label223"></A><SPAN class="index"><CODE>OZEMULATOR</CODE></SPAN></DT><DD><P>Path to <CODE>emulator.exe</CODE></P></DD><DT><A name="label224"></A><SPAN class="index"><CODE>OZINIT</CODE></SPAN></DT><DD><P>Path to <CODE>Init.ozf</CODE></P></DD><DT><A name="label225"></A><SPAN class="index"><CODE>PATH</CODE></SPAN></DT><DD><P>Additional directories to search for executable programs</P></DD><DT><A name="label226"></A><SPAN class="index"><CODE>Change Title</CODE></SPAN></DT><DD><P>Whether to change the Emacs frame title while Mozart is running</P></DD><DT><A name="label227"></A><SPAN class="index"><CODE>Frame Title</CODE></SPAN></DT><DD><P>String to use as the Emacs frame title while Mozart is running</P></DD><DT><A name="label228"></A><SPAN class="index"><CODE>Prepend Line</CODE></SPAN></DT><DD><P>Whether to prepend a <CODE><SPAN class="reference">\line</SPAN></CODE> directive to all Oz queries</P></DD><DT><A name="label229"></A><SPAN class="index"><CODE>Default Host</CODE></SPAN></DT><DD><P>Name of host to use for creating socket connections</P></DD><DT><A name="label230"></A><SPAN class="index"><CODE>Source Directory</CODE></SPAN></DT><DD><P>Directory of the Mozart sources</P></DD><DT><A name="label231"></A><SPAN class="index"><CODE>Build Directory</CODE></SPAN></DT><DD><P>Directory in which Mozart was configured and built</P></DD><DT><A name="label232"></A><SPAN class="index"><CODE>Secondary Build Directory</CODE></SPAN></DT><DD><P>Another such directory</P></DD><DT><A name="label233"></A><SPAN class="index"><CODE>Root Functor</CODE></SPAN></DT><DD><P>URI of the root functor to load on startup</P></DD><DT><A name="label234"></A><SPAN class="index"><CODE>Run Under GDB</CODE></SPAN></DT><DD><P>Whether to start the OPI under control of the GNU Debugger. Possible values are one of <CODE>No</CODE>, <CODE>Yes</CODE>, and <CODE>Yes + Auto Start</CODE></P></DD><DT><A name="label235"></A><SPAN class="index"><CODE>Other Buffer Size</CODE></SPAN></DT><DD><P>Percentage of frame to use for Oz Compiler/Emulator/Temp window</P></DD><DT><A name="label236"></A><SPAN class="index"><CODE>Popup on Error</CODE></SPAN></DT><DD><P>Whether to popup the Compiler resp. Emulator buffer upon error</P></DD><DT><A name="label237"></A><SPAN class="index"><CODE>Halt Timeout</CODE></SPAN></DT><DD><P>Number of seconds to wait for shutdown in <CODE>oz-halt</CODE></P></DD><DT><A name="label238"></A><SPAN class="index"><CODE>Compile Command</CODE></SPAN></DT><DD><P>default shell command to do a compilation This may contain at most one occurrence of `%s', which is replaced by the current buffer's file name</P></DD><DT><A name="label239"></A><SPAN class="index"><CODE>Application Command</CODE></SPAN></DT><DD><P>default shell command to execute an Oz application This may contain at most one occurrence of `%s', which is replaced by the current buffer's file name, minus the `.oz' or `.ozg' extension.</P></DD><DT><A name="label240"></A><SPAN class="index"><CODE>Engine Program</CODE></SPAN></DT><DD><P>Default <CODE>ozengine</CODE> to run the OPI</P></DD></DL><P> </P></DIV><TABLE align="center" border="0" cellpadding="6" cellspacing="6" class="nav"><TR bgcolor="#DDDDDD"><TD><A href="node7.html#prof.custom"><< Prev</A></TD><TD><A href="node6.html">- Up -</A></TD></TR></TABLE><HR><ADDRESS><A href="http://www.ps.uni-sb.de/~kornstae/">Leif Kornstaedt</A> and <A href="http://www.ps.uni-sb.de/~duchier/">Denys Duchier</A><BR><SPAN class="version">Version 1.4.0 (20110908185330)</SPAN></ADDRESS></BODY></HTML>
|