This file is indexed.

/usr/share/mozart/doc/tools/node10.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>3.3 Pickling Options</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="node9.html#section.linker.include">&lt;&lt; Prev</A></TD><TD><A href="node7.html">- Up -</A></TD><TD><A href="node11.html#section.linker.misc">Next &gt;&gt;</A></TD></TR></TABLE><DIV id="section.linker.pickling"><H2><A name="section.linker.pickling">3.3 Pickling Options</A></H2><P> The linker supports the following default options for pickles. </P><P> </P><DL><DT><CODE>--compress</CODE> </DT><DD><BLOCKQUOTE class="synopsis"><P><CODE>--compress=</CODE><CODE><I>N</I></CODE>, <CODE>-z&nbsp;</CODE><CODE><I>N</I></CODE> </P></BLOCKQUOTE></DD><DD><P>The created pickle is compressed with level <CODE><I>N</I></CODE> (a single digit). By default the compression level <CODE><I>N</I></CODE> is <CODE>0</CODE>, that is, no compression is employed. </P></DD><DT><CODE>--executable</CODE> </DT><DD><BLOCKQUOTE class="synopsis"><P><CODE>--executable</CODE> (<CODE>-x</CODE>), <CODE>--noexecutable</CODE> (default) </P></BLOCKQUOTE></DD><DD><P>Output the pickled functor as being executable (that is, with an additional header). </P></DD><DT><CODE>--execheader=</CODE><I>STRING</I></DT><DD><P>When invoked with option <CODE>-x</CODE> the linker first outputs a header so that the output file may be interpreted by the operating system as an executable. Under Unix, the default behaviour is to use the following as header: </P><BLOCKQUOTE class="code"><CODE>#<SPAN class="comment">!/bin/</SPAN><SPAN class="keyword">sh</SPAN><SPAN class="comment">&nbsp;<BR></SPAN><SPAN class="keyword">exec</SPAN>&nbsp;ozengine&nbsp;$<SPAN class="variablename">0</SPAN>&nbsp;<SPAN class="string">&quot;$@&quot;</SPAN></CODE></BLOCKQUOTE><P> The <CODE>--execheader</CODE> option allows you to specify a different header.</P></DD><DT><CODE>--execpath=</CODE><I>STRING</I></DT><DD><P>Uses the header given above in the description of <CODE>--execheader</CODE>, except that <CODE>ozengine</CODE> is replaced by <I>STRING</I>. </P></DD><DT><CODE>--execfile=</CODE><I>FILE</I></DT><DD><P>Reads in <I>FILE</I> and uses this as header. Under Windows, the default behaviour is to use the file provided in <I>ozhome</I><CODE>/bin/ozwrapper.bin</CODE>, where <I>ozhome</I> is Mozart's installation folder. <CODE>ozwrapper.bin</CODE> is a Windows executable that launches <CODE>ozengine</CODE>. </P></DD><DT><CODE>--execwrapper=</CODE><I>FILE</I></DT><DD><P>Reads in <I>ozhome</I><CODE>/bin/</CODE><I>FILE</I> and uses it as header for executable files. Apart from <CODE>ozwrapper.bin</CODE>, an <CODE>ozwrapperw.bin</CODE> is supplied that launches <CODE>ozenginew</CODE> instead of <CODE>ozengine</CODE>. This option provides a convenient way to use this alternative wrapper. </P></DD><DT><CODE>--target=unix</CODE>, <CODE>--unix</CODE></DT><DT><CODE>--target=windows</CODE>, <CODE>--windows</CODE></DT><DD><P>When creating an executable functor, do it for the specified target platform rather than for the current host platform.</P></DD></DL><P> </P><P> </P></DIV><TABLE align="center" border="0" cellpadding="6" cellspacing="6" class="nav"><TR bgcolor="#DDDDDD"><TD><A href="node9.html#section.linker.include">&lt;&lt; Prev</A></TD><TD><A href="node7.html">- Up -</A></TD><TD><A href="node11.html#section.linker.misc">Next &gt;&gt;</A></TD></TR></TABLE><HR><ADDRESS><A href="http://www.ps.uni-sb.de/~duchier/">Denys&nbsp;Duchier</A>, <A href="http://www.ps.uni-sb.de/~kornstae/">Leif&nbsp;Kornstaedt</A> and&nbsp;<A href="http://www.ps.uni-sb.de/~schulte/">Christian&nbsp;Schulte</A><BR><SPAN class="version">Version 1.4.0 (20110908185330)</SPAN></ADDRESS></BODY></HTML>