General-Options.html 5.2 KB

12345678910111213141516171819202122232425262728293031323334353637383940414243444546474849505152535455565758596061626364656667686970717273747576777879808182
  1. <html lang="en">
  2. <head>
  3. <title>General Options - avram - a virtual machine code interpreter</title>
  4. <meta http-equiv="Content-Type" content="text/html">
  5. <meta name="description" content="avram - a virtual machine code interpreter">
  6. <meta name="generator" content="makeinfo 4.13">
  7. <link title="Top" rel="start" href="index.html#Top">
  8. <link rel="up" href="User-Manual.html#User-Manual" title="User Manual">
  9. <link rel="prev" href="User-Manual.html#User-Manual" title="User Manual">
  10. <link rel="next" href="Modes-of-Operation.html#Modes-of-Operation" title="Modes of Operation">
  11. <link href="http://www.gnu.org/software/texinfo/" rel="generator-home" title="Texinfo Homepage">
  12. <meta http-equiv="Content-Style-Type" content="text/css">
  13. <style type="text/css"><!--
  14. pre.display { font-family:inherit }
  15. pre.format { font-family:inherit }
  16. pre.smalldisplay { font-family:inherit; font-size:smaller }
  17. pre.smallformat { font-family:inherit; font-size:smaller }
  18. pre.smallexample { font-size:smaller }
  19. pre.smalllisp { font-size:smaller }
  20. span.sc { font-variant:small-caps }
  21. span.roman { font-family:serif; font-weight:normal; }
  22. span.sansserif { font-family:sans-serif; font-weight:normal; }
  23. --></style>
  24. </head>
  25. <body>
  26. <div class="node">
  27. <a name="General-Options"></a>
  28. <p>
  29. Next:&nbsp;<a rel="next" accesskey="n" href="Modes-of-Operation.html#Modes-of-Operation">Modes of Operation</a>,
  30. Previous:&nbsp;<a rel="previous" accesskey="p" href="User-Manual.html#User-Manual">User Manual</a>,
  31. Up:&nbsp;<a rel="up" accesskey="u" href="User-Manual.html#User-Manual">User Manual</a>
  32. <hr>
  33. </div>
  34. <h3 class="section">1.1 General Options</h3>
  35. <p>Regardless of whatever other command line parameters are given,
  36. <code>avram</code> accepts the following parameters:
  37. <p><a name="index-help-9"></a><a name="index-emulation-10"></a><a name="index-g_t_0040code_007bhelp_007d-command-line-option-11"></a><a name="index-g_t_0040code_007bemulation_007d-command-line-option-12"></a>
  38. <dl>
  39. <dt><code>-h, --help</code><dd>Show a summary of options and exit.
  40. <br><dt><code>-V,-v, --version</code><dd>Show the version of program and a short copyleft message and exit.
  41. <br><dt><code>--emulation=</code><var>version</var><dd>Be backward compatible with an older version of <code>avram</code>. This
  42. option should include a valid version number, for example
  43. <kbd>0.13.0</kbd>, which is the version of <code>avram</code> to be
  44. emulated. It can make virtual code applications future proof, assuming
  45. that future versions of <code>avram</code> correctly support backward
  46. compatibility. It may be used in conjunction with any other option in
  47. any mode of operation.
  48. <a name="index-web-page-13"></a><a name="index-home-page-14"></a><a name="index-url-15"></a>This copy of the user manual has not been updated since version 0.13.0 of
  49. <code>avram</code>, so it is unable to document incompatibilities with later
  50. versions. The latest version of the manual may be found at
  51. <a href="http://www.lsbu.ac.uk/~fureyd/avram">http://www.lsbu.ac.uk/~fureyd/avram</a>.
  52. <br><dt><code>-e, --external-libraries</code><dd><a name="index-g_t_0040code_007bexternal_002dlibraries_007d-16"></a>Show a list of libraries with which <code>avram</code> has been linked and
  53. whose functions therefore could be called from virtual machine
  54. programs. This growing list currently includes selected functions from
  55. <code>fftw</code>, <code>glpk</code>, <code>gsl</code>, <code>kinsol</code>, <code>lapack</code>,
  56. <code>minpack</code>, <code>mpfr</code>, <code>lpsolve</code>, <code>Rmath</code> and <code>ufsparse</code>
  57. (see <a href="Preface.html#Preface">Preface</a>) which are documented further in <a href="External-Libraries.html#External-Libraries">External Libraries</a>.
  58. <br><dt><code>-j, --jail</code><dd><a name="index-g_t_0040code_007bjail_007d-17"></a>This option disables execution of shell commands by virtual code
  59. applications, which is normally possible by default even for nominally
  60. non-interactive applications (see <a href="Parameter-Mode-Options.html#Parameter-Mode-Options">Parameter Mode Options</a>). A
  61. virtual code application attempting to spawn a shell (using the
  62. <code>interact</code> combinator) when this option is selected will
  63. encounter an exception rather than successful completion of the
  64. operation. This option is provided as a security feature for running
  65. untrusted code (see <a href="Security.html#Security">Security</a>), and is incompatible with
  66. <samp><span class="option">-i</span></samp>, <samp><span class="option">-t</span></samp>, and <samp><span class="option">-s</span></samp>.
  67. <br><dt><code>-f, --force-text-input</code><dd><a name="index-g_t_0040code_007bforce_002dtext_002dinput_007d-command-line-option-18"></a>Normally <code>avram</code> will try to guess by looking at a file whether it
  68. is an ordinary text file or one that has been written in the virtual
  69. code file format, and choose a different internal representation
  70. accordingly. An application may require one representation or the
  71. other. This option tells <code>avram</code> to treat all input files other
  72. than the virtual code file (named in the first command line parameter)
  73. as text files regardless of whether or not it would be possible to
  74. interpret them otherwise. This option may be used in combination with
  75. any other option.
  76. </dl>
  77. </body></html>